Pow Mul x0 3 Pow x3 Mul Pow Add -3 atan x0 -1 coth Pow atanh x7 0.0625000000000000 
Mul Pow Mul x0 3 Add Pow x3 Mul Pow Add -3 atan x0 -1 coth Pow atanh x7 0.0625000000000000 -1 Add Mul Pow x3 Mul Pow Add -3 atan x0 -1 coth Pow atanh x7 0.0625000000000000 3 Mul Mul Mul x0 3 log Mul x0 3 Mul Pow x3 Add Mul Pow Add -3 atan x0 -1 coth Pow atanh x7 0.0625000000000000 -1 Mul Mul x3 log x3 Mul coth Pow atanh x7 0.0625000000000000 Mul Pow Add -3 atan x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 