Mul Pow tan x0 Add x7 x3 Mul Mul x0 2 Add tan cbrt csc log E x0 
Add Mul Mul Mul x0 2 Add tan cbrt csc log E x0 Mul Pow tan x0 Add Add x7 x3 -1 Mul Add x7 x3 Pow sec x0 2 Mul Pow tan x0 Add x7 x3 Add Mul Add tan cbrt csc log E x0 2 Mul x0 2 