Mul cot sec x0 Pow Mul 0.250000000000000 x0 E 
Add Mul Pow Mul 0.250000000000000 x0 E Mul Mul -1 Pow csc sec x0 2 Mul tan x0 sec x0 Mul cot sec x0 Mul Pow Mul 0.250000000000000 x0 Add E -1 Mul E 0.250000000000000 