Add Pow E asech x0 Mul x0 Mul Pow Mul Mul -2 x0 Pow Mul log x0 Mul x0 cosh Add x0 x6 E x2 x0 
Add Mul Pow E Add asech x0 -1 Mul Mul E log E Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Add Mul Pow Mul Mul -2 x0 Pow Mul log x0 Mul x0 cosh Add x0 x6 E x2 x0 Mul x0 Add Mul x0 Mul Pow Mul Mul -2 x0 Pow Mul log x0 Mul x0 cosh Add x0 x6 E Add x2 -1 Mul x2 Add Mul Pow Mul log x0 Mul x0 cosh Add x0 x6 E -2 Mul Mul -2 x0 Mul Pow Mul log x0 Mul x0 cosh Add x0 x6 Add E -1 Mul E Add Mul Mul x0 cosh Add x0 x6 Pow x0 -1 Mul log x0 Add cosh Add x0 x6 Mul x0 sinh Add x0 x6 Pow Mul Mul -2 x0 Pow Mul log x0 Mul x0 cosh Add x0 x6 E x2 