Mul Mul Pow 2 Mul atan x0 Mul x0 0.927373498613843 x5 x0 
Add Mul x0 Mul x5 Mul Pow 2 Add Mul atan x0 Mul x0 0.927373498613843 -1 Mul 2.69314718055995 Add Mul Mul x0 0.927373498613843 Pow Add 1 Mul x0 x0 -1 Mul atan x0 0.927373498613843 Mul Pow 2 Mul atan x0 Mul x0 0.927373498613843 x5 