Mul x0 Mul acot Mul -1 Add Mul Mul x0 x0 csc x7 -1 -4 
Add Mul acot Mul -1 Add Mul Mul x0 x0 csc x7 -1 -4 Mul x0 Mul -4 Mul -1 Mul Mul -1 Mul csc x7 Add x0 x0 Pow Add 1 Mul Mul -1 Add Mul Mul x0 x0 csc x7 -1 Mul -1 Add Mul Mul x0 x0 csc x7 -1 -1 