sech Pow asinh exp cosh x5 Mul 3 x0 
Mul Mul tanh Pow asinh exp cosh x5 Mul 3 x0 Mul -1 sech Pow asinh exp cosh x5 Mul 3 x0 Mul Pow asinh exp cosh x5 Add Mul 3 x0 -1 Mul Mul asinh exp cosh x5 log asinh exp cosh x5 3 