Mul atan Pow Mul Pow sec x0 x0 Pow Mul atan pi -3 x0 pi Add x4 x2 
Mul Add x4 x2 Mul Mul Pow Mul Pow sec x0 x0 Pow Mul atan pi -3 x0 Add pi -1 Mul pi Add Mul Pow Mul atan pi -3 x0 Mul Pow sec x0 Add x0 -1 Add Mul x0 Mul tan x0 sec x0 Mul sec x0 log sec x0 Mul Pow sec x0 x0 Mul Pow Mul atan pi -3 Add x0 -1 Mul Mul atan pi -3 log Mul atan pi -3 Pow Add 1 Mul Pow Mul Pow sec x0 x0 Pow Mul atan pi -3 x0 pi Pow Mul Pow sec x0 x0 Pow Mul atan pi -3 x0 pi -1 