Pow Mul acos Mul x0 Pow Pow 3 x1 Mul Mul acoth Mul x6 x1 x0 x7 3 Add atan x0 Add x0 2 
Mul Pow Mul acos Mul x0 Pow Pow 3 x1 Mul Mul acoth Mul x6 x1 x0 x7 3 Add Add atan x0 Add x0 2 -1 Add Mul Add atan x0 Add x0 2 Mul 3 Mul -1 Mul Add Pow Pow 3 x1 Mul Mul acoth Mul x6 x1 x0 x7 Mul x0 Mul Pow Pow 3 x1 Add Mul Mul acoth Mul x6 x1 x0 x7 -1 Mul Mul Pow 3 x1 log Pow 3 x1 Mul x7 acoth Mul x6 x1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Pow Pow 3 x1 Mul Mul acoth Mul x6 x1 x0 x7 Mul x0 Pow Pow 3 x1 Mul Mul acoth Mul x6 x1 x0 x7 -1 Mul Mul Mul acos Mul x0 Pow Pow 3 x1 Mul Mul acoth Mul x6 x1 x0 x7 3 log Mul acos Mul x0 Pow Pow 3 x1 Mul Mul acoth Mul x6 x1 x0 x7 3 Add Pow Add 1 Mul x0 x0 -1 1 