Pow cosh x0 sec sqrt Add x0 -3 
Mul Pow cosh x0 Add sec sqrt Add x0 -3 -1 Add Mul sec sqrt Add x0 -3 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Mul tan sqrt Add x0 -3 sec sqrt Add x0 -3 Pow Mul 2 sqrt Add x0 -3 -1 