Pow Mul 3 csc x0 Pow tan x0 x4 
Mul Pow Mul 3 csc x0 Add Pow tan x0 x4 -1 Add Mul Pow tan x0 x4 Mul 3 Mul Mul -1 cot x0 csc x0 Mul Mul Mul 3 csc x0 log Mul 3 csc x0 Mul Pow tan x0 Add x4 -1 Mul x4 Pow sec x0 2 