Pow x7 Pow x0 acot Add -1.95025402748740 atan x3 
Mul Pow x7 Add Pow x0 acot Add -1.95025402748740 atan x3 -1 Mul Mul x7 log x7 Mul Pow x0 Add acot Add -1.95025402748740 atan x3 -1 acot Add -1.95025402748740 atan x3 