Add Pow atan asec Add -2 acot x3 acos x0 x0 
Add Mul Pow atan asec Add -2 acot x3 Add acos x0 -1 Mul Mul atan asec Add -2 acot x3 log atan asec Add -2 acot x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 