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