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