Pow Mul Pow acoth Pow Add x0 x0 log atanh x0 Pow x4 x0 exp x7 x4 
Mul Pow Mul Pow acoth Pow Add x0 x0 log atanh x0 Pow x4 x0 exp x7 Add x4 -1 Mul x4 Mul exp x7 Mul Pow acoth Pow Add x0 x0 log atanh x0 Add Pow x4 x0 -1 Add Mul Pow x4 x0 Mul Mul Pow Add x0 x0 Add log atanh x0 -1 Add Mul log atanh x0 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow atanh x0 -1 Pow Add 1 Mul -1 Mul Pow Add x0 x0 log atanh x0 Pow Add x0 x0 log atanh x0 -1 Mul Mul acoth Pow Add x0 x0 log atanh x0 log acoth Pow Add x0 x0 log atanh x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 