Add Mul Add -3 atan E Add x0 Pow Pow Pow Mul 3 Pow x6 x0 acot x2 -1.57079632679490 acosh Add x0 x3 E 
Mul Add -3 atan E Add 1 Mul Pow Pow Pow Mul 3 Pow x6 x0 acot x2 -1.57079632679490 Add acosh Add x0 x3 -1 Add Mul acosh Add x0 x3 Mul Pow Pow Mul 3 Pow x6 x0 acot x2 -2.57079632679490 Mul -1.57079632679490 Mul Pow Mul 3 Pow x6 x0 Add acot x2 -1 Mul acot x2 Mul 3 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Mul Pow Pow Mul 3 Pow x6 x0 acot x2 -1.57079632679490 log Pow Pow Mul 3 Pow x6 x0 acot x2 -1.57079632679490 Pow Mul sqrt Add Add x0 x3 -1 sqrt Add 1 Add x0 x3 -1 