Add Pow acos Mul sec x0 Pow Pow 3 pi E x0 Mul x0 Add E x0 
Add Mul Pow acos Mul sec x0 Pow Pow 3 pi E Add x0 -1 Add Mul x0 Mul -1 Mul Mul Pow Pow 3 pi E Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Mul sec x0 Pow Pow 3 pi E Mul sec x0 Pow Pow 3 pi E -1 Mul acos Mul sec x0 Pow Pow 3 pi E log acos Mul sec x0 Pow Pow 3 pi E Add Add E x0 x0 