Pow Pow cosh asinh Mul sqrt x4 exp x2 x0 E 
Mul Pow Pow cosh asinh Mul sqrt x4 exp x2 x0 Add E -1 Mul E Mul Pow cosh asinh Mul sqrt x4 exp x2 Add x0 -1 Mul cosh asinh Mul sqrt x4 exp x2 log cosh asinh Mul sqrt x4 exp x2 