sec asech Mul cosh x0 sech x3 
Mul Mul tan asech Mul cosh x0 sech x3 sec asech Mul cosh x0 sech x3 Mul Mul sech x3 sinh x0 Pow Mul Mul Mul cosh x0 sech x3 Mul cosh x0 sech x3 sqrt Add 1 Mul -1 Pow Mul Mul cosh x0 sech x3 Mul cosh x0 sech x3 -1 -1 