Solving the following problem is crucial when compiling for a
quantum computer: given a finite set $G$ of elements of $SU(2)$,
target element $U$ from $SU(2)$ and real number $\epsilon$ find
$g_1,\dotsc, g_N$ from $G$ such that $\| g_1 \dotsm g_N -...