I am trying to decompose a 4x4 unitary into 2 qubit circuit using U3 and CNOT gates but the circuit implementation qiskit gives me is not optimized. So I started looking at qiskit-symb and qympy to see if I can design a parameterized circuit and solve the circuit unitary parameters to get my desired unitary. I am not sure how to equate the parameterized (symbolic) unitary to the unitary I want by solving/evaluating these parameters. Any guidance would be helpful
Thanks!
