acosh Mul Add cosh x0 Pow E x0 Add tan cosh x0 -5 
Mul Add Mul Add tan cosh x0 -5 Add sinh x0 Mul Pow E Add x0 -1 Mul E log E Mul Add cosh x0 Pow E x0 Mul Pow sec cosh x0 2 sinh x0 Pow Mul sqrt Add Mul Add cosh x0 Pow E x0 Add tan cosh x0 -5 -1 sqrt Add 1 Mul Add cosh x0 Pow E x0 Add tan cosh x0 -5 -1 