Quanto: optimizing quantum circuits with automatic generation of circuit identities by Pointing, J, Padon, O, Jia, Z, Ma, H, Hirth, A, Palsberg, J, Aiken, A