Add x0 exp Pow Mul Pow asech x0 2 Mul exp Mul x0 sech Add Mul Pow E x5 cosh x2 x2 Add x2 3 -2 
Add 1 Mul exp Pow Mul Pow asech x0 2 Mul exp Mul x0 sech Add Mul Pow E x5 cosh x2 x2 Add x2 3 -2 Mul Pow Mul Pow asech x0 2 Mul exp Mul x0 sech Add Mul Pow E x5 cosh x2 x2 Add x2 3 3 Mul -2 Add Mul Mul exp Mul x0 sech Add Mul Pow E x5 cosh x2 x2 Add x2 3 Mul asech x0 Mul 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow asech x0 2 Mul Add x2 3 Mul exp Mul x0 sech Add Mul Pow E x5 cosh x2 x2 sech Add Mul Pow E x5 cosh x2 x2 