Mul Pow asech Mul cosh x0 x3 x2 sech x0 
Add Mul sech x0 Mul Pow asech Mul cosh x0 x3 Add x2 -1 Mul x2 Mul Mul x3 sinh x0 Pow Mul Mul Mul cosh x0 x3 Mul cosh x0 x3 sqrt Add 1 Mul -1 Pow Mul Mul cosh x0 x3 Mul cosh x0 x3 -1 -1 Mul Pow asech Mul cosh x0 x3 x2 Mul tanh x0 Mul -1 sech x0 