Add x1 Pow Pow sec x0 sec sqrt x0 Add -4 Mul x0 pi 
Mul Pow Pow sec x0 sec sqrt x0 Add Add -4 Mul x0 pi -1 Add Mul Add -4 Mul x0 pi Mul Pow sec x0 Add sec sqrt x0 -1 Add Mul sec sqrt x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Mul tan sqrt x0 sec sqrt x0 Pow Mul 2 sqrt x0 -1 Mul Mul Pow sec x0 sec sqrt x0 log Pow sec x0 sec sqrt x0 pi 