Mul asec Add sinh sec x0 2 exp cosh x0 
Add Mul exp cosh x0 Mul Mul cosh sec x0 Mul tan x0 sec x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add sinh sec x0 2 Add sinh sec x0 2 -1 Add sinh sec x0 2 Add sinh sec x0 2 -1 Mul asec Add sinh sec x0 2 Mul exp cosh x0 sinh x0 