Mul csc Pow sec x0 x4 Mul Mul x0 Mul x0 -1 4 
Add Mul Mul Mul x0 Mul x0 -1 4 Mul Mul Mul -1 cot Pow sec x0 x4 csc Pow sec x0 x4 Mul Pow sec x0 Add x4 -1 Mul x4 Mul tan x0 sec x0 Mul csc Pow sec x0 x4 Mul 4 Add Mul x0 -1 Mul x0 -1 