Mul Mul cosh Pow sech pi x0 sqrt x0 sinh Mul asinh x7 x0 
Add Mul sinh Mul asinh x7 x0 Add Mul sqrt x0 Mul sinh Pow sech pi x0 Mul Pow sech pi Add x0 -1 Mul sech pi log sech pi Mul cosh Pow sech pi x0 Pow Mul 2 sqrt x0 -1 Mul Mul cosh Pow sech pi x0 sqrt x0 Mul cosh Mul asinh x7 x0 asinh x7 