Add -2 Mul x3 csch tanh Mul Pow Mul x7 x0 Pow acoth pi x0 exp x0 
Mul x3 Mul Mul Mul -1 coth tanh Mul Pow Mul x7 x0 Pow acoth pi x0 exp x0 csch tanh Mul Pow Mul x7 x0 Pow acoth pi x0 exp x0 Mul Pow sech Mul Pow Mul x7 x0 Pow acoth pi x0 exp x0 2 Add Mul exp x0 Mul Pow Mul x7 x0 Add Pow acoth pi x0 -1 Add Mul Pow acoth pi x0 x7 Mul Mul Mul x7 x0 log Mul x7 x0 Mul Pow acoth pi Add x0 -1 Mul acoth pi log acoth pi Mul Pow Mul x7 x0 Pow acoth pi x0 exp x0 