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