Pow Add asech Pow cosh x0 E 1 Mul x0 x3 
Mul Pow Add asech Pow cosh x0 E 1 Add Mul x0 x3 -1 Add Mul Mul x0 x3 Mul Mul Pow cosh x0 Add E -1 Mul E sinh x0 Pow Mul Mul Pow cosh x0 E Pow cosh x0 E sqrt Add 1 Mul -1 Pow Mul Pow cosh x0 E Pow cosh x0 E -1 -1 Mul Mul Add asech Pow cosh x0 E 1 log Add asech Pow cosh x0 E 1 x3 