exp Pow Pow x6 sech coth exp x0 x0 
Mul exp Pow Pow x6 sech coth exp x0 x0 Mul Pow Pow x6 sech coth exp x0 Add x0 -1 Add Mul x0 Mul Pow x6 Add sech coth exp x0 -1 Mul Mul x6 log x6 Mul Mul tanh coth exp x0 Mul -1 sech coth exp x0 Mul Mul -1 Pow csch exp x0 2 exp x0 Mul Pow x6 sech coth exp x0 log Pow x6 sech coth exp x0 