asech exp Add x2 Mul Pow asinh x0 cosh x0 cosh x0 
Mul Mul exp Add x2 Mul Pow asinh x0 cosh x0 cosh x0 Add Mul cosh x0 Mul Pow asinh x0 Add cosh x0 -1 Add Mul cosh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 sinh x0 Mul Pow asinh x0 cosh x0 sinh x0 Pow Mul Mul exp Add x2 Mul Pow asinh x0 cosh x0 cosh x0 exp Add x2 Mul Pow asinh x0 cosh x0 cosh x0 sqrt Add 1 Mul -1 Pow Mul exp Add x2 Mul Pow asinh x0 cosh x0 cosh x0 exp Add x2 Mul Pow asinh x0 cosh x0 cosh x0 -1 -1 