Mul x0 Mul sec x0 Mul x1 Mul x3 Mul Add -4 cot x0 x7 
Add Mul sec x0 Mul x1 Mul x3 Mul Add -4 cot x0 x7 Mul x0 Add Mul Mul x1 Mul x3 Mul Add -4 cot x0 x7 Mul tan x0 sec x0 Mul sec x0 Mul x1 Mul x3 Mul x7 Mul -1 Pow csc x0 2 