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