Pow coth Pow x1 Add Pow x0 E x6 atanh exp x6 
Mul Pow coth Pow x1 Add Pow x0 E x6 Add atanh exp x6 -1 Mul atanh exp x6 Mul Mul -1 Pow csch Pow x1 Add Pow x0 E x6 2 Mul Pow x1 Add Add Pow x0 E x6 -1 Mul Mul x1 log x1 Mul Pow x0 Add E -1 E 