sech Mul csch Mul atan x5 coth x0 -2 
Mul Mul tanh Mul csch Mul atan x5 coth x0 -2 Mul -1 sech Mul csch Mul atan x5 coth x0 -2 Mul -2 Mul Mul Mul -1 coth Mul atan x5 coth x0 csch Mul atan x5 coth x0 Mul atan x5 Mul -1 Pow csch x0 2 