Mul Pow Pow Mul x6 -4 E acos tan Mul sec x0 pi x0 
Add Mul x0 Mul Pow Pow Mul x6 -4 E Add acos tan Mul sec x0 pi -1 Mul Mul Pow Mul x6 -4 E log Pow Mul x6 -4 E Mul -1 Mul Mul Pow sec Mul sec x0 pi 2 Mul pi Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul tan Mul sec x0 pi tan Mul sec x0 pi -1 Pow Pow Mul x6 -4 E acos tan Mul sec x0 pi 