Mul x0 cosh Mul asec tanh acsch Mul x7 coth x0 Mul x0 x0 
Add cosh Mul asec tanh acsch Mul x7 coth x0 Mul x0 x0 Mul x0 Mul sinh Mul asec tanh acsch Mul x7 coth x0 Mul x0 x0 Add Mul Mul x0 x0 Mul Mul Pow sech acsch Mul x7 coth x0 2 Mul Mul -1 Mul x7 Mul -1 Pow csch x0 2 Pow Mul Mul Mul x7 coth x0 Mul x7 coth x0 sqrt Add 1 Mul -1 Pow Mul Mul x7 coth x0 Mul x7 coth x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tanh acsch Mul x7 coth x0 tanh acsch Mul x7 coth x0 -1 tanh acsch Mul x7 coth x0 tanh acsch Mul x7 coth x0 -1 Mul asec tanh acsch Mul x7 coth x0 Add x0 x0 