exp Mul 0.648054273663885 Mul Mul sec coth x0 x0 -5 
Mul exp Mul 0.648054273663885 Mul Mul sec coth x0 x0 -5 Mul 0.648054273663885 Mul -5 Add Mul x0 Mul Mul tan coth x0 sec coth x0 Mul -1 Pow csch x0 2 sec coth x0 