Pow cosh Pow E x0 atan sqrt x0 
Mul Pow cosh Pow E x0 Add atan sqrt x0 -1 Add Mul atan sqrt x0 Mul sinh Pow E x0 Mul Pow E Add x0 -1 Mul E log E Mul Mul cosh Pow E x0 log cosh Pow E x0 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 