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