acoth exp coth Pow x3 Mul x0 E 
Mul Mul exp coth Pow x3 Mul x0 E Mul Mul -1 Pow csch Pow x3 Mul x0 E 2 Mul Pow x3 Add Mul x0 E -1 Mul Mul x3 log x3 E Pow Add 1 Mul -1 Mul exp coth Pow x3 Mul x0 E exp coth Pow x3 Mul x0 E -1 