Pow x7 Add Add Pow Pow x0 Pow 3 atan Mul E 4 2 acoth x0 Pow 3 x3 
Mul Pow x7 Add Add Add Pow Pow x0 Pow 3 atan Mul E 4 2 acoth x0 Pow 3 x3 -1 Mul Mul x7 log x7 Add Mul Pow x0 Pow 3 atan Mul E 4 Mul 2 Mul Pow x0 Add Pow 3 atan Mul E 4 -1 Pow 3 atan Mul E 4 Pow Add 1 Mul -1 Mul x0 x0 -1 