Pow x0 Mul 5 Mul Mul x6 3 Pow x1 coth Pow x0 E 
Mul Pow x0 Add Mul 5 Mul Mul x6 3 Pow x1 coth Pow x0 E -1 Add Mul 5 Mul Mul x6 3 Pow x1 coth Pow x0 E Mul Mul x0 log x0 Mul 5 Mul Mul x6 3 Mul Pow x1 Add coth Pow x0 E -1 Mul Mul x1 log x1 Mul Mul -1 Pow csch Pow x0 E 2 Mul Pow x0 Add E -1 E 