Mul x0 exp Add -2 acot Mul csc x0 x4 
Add exp Add -2 acot Mul csc x0 x4 Mul x0 Mul exp Add -2 acot Mul csc x0 x4 Mul -1 Mul Mul x4 Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul Mul csc x0 x4 Mul csc x0 x4 -1 