Mul Mul x7 atanh Add Mul x1 acoth log x0 Pow x6 x7 3 
Mul 3 Mul x7 Mul Mul x1 Mul Pow x0 -1 Pow Add 1 Mul -1 Mul log x0 log x0 -1 Pow Add 1 Mul -1 Mul Add Mul x1 acoth log x0 Pow x6 x7 Add Mul x1 acoth log x0 Pow x6 x7 -1 