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