sqrt Add x7 Add Add x7 atan sqrt Add x0 x3 0.457657554360286 
Mul Pow Mul 2 sqrt Add x7 Add Add x7 atan sqrt Add x0 x3 0.457657554360286 -1 Mul Pow Mul 2 sqrt Add x0 x3 -1 Pow Add 1 Mul sqrt Add x0 x3 sqrt Add x0 x3 -1 