sec Mul x0 Mul x0 exp Pow x0 Mul coth x0 x7 
Mul Mul tan Mul x0 Mul x0 exp Pow x0 Mul coth x0 x7 sec Mul x0 Mul x0 exp Pow x0 Mul coth x0 x7 Add Mul x0 exp Pow x0 Mul coth x0 x7 Mul x0 Add exp Pow x0 Mul coth x0 x7 Mul x0 Mul exp Pow x0 Mul coth x0 x7 Mul Pow x0 Add Mul coth x0 x7 -1 Add Mul coth x0 x7 Mul Mul x0 log x0 Mul x7 Mul -1 Pow csch x0 2 