Pow tanh exp Mul Pow acsch x0 Mul Mul cosh x5 x0 x0 x0 asech x0 
Mul Pow tanh exp Mul Pow acsch x0 Mul Mul cosh x5 x0 x0 x0 Add asech x0 -1 Add Mul asech x0 Mul Pow sech exp Mul Pow acsch x0 Mul Mul cosh x5 x0 x0 x0 2 Mul exp Mul Pow acsch x0 Mul Mul cosh x5 x0 x0 x0 Add Mul x0 Mul Pow acsch x0 Add Mul Mul cosh x5 x0 x0 -1 Add Mul Mul Mul cosh x5 x0 x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul acsch x0 log acsch x0 Add Mul x0 cosh x5 Mul cosh x5 x0 Pow acsch x0 Mul Mul cosh x5 x0 x0 Mul Mul tanh exp Mul Pow acsch x0 Mul Mul cosh x5 x0 x0 x0 log tanh exp Mul Pow acsch x0 Mul Mul cosh x5 x0 x0 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 