Mul Add Mul Add Add x0 0.250000000000000 x0 atan acot Add x0 x0 x1 -3.88137358701954 
Mul -3.88137358701954 Add Mul atan acot Add x0 x0 2 Mul Add Add x0 0.250000000000000 x0 Mul Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Pow Add 1 Mul acot Add x0 x0 acot Add x0 x0 -1 