Mul Pow csc x0 -1 Mul x0 Pow x0 Mul 4 x4 
Add Mul Mul x0 Pow x0 Mul 4 x4 Mul Pow csc x0 2 Mul -1 Mul Mul -1 cot x0 csc x0 Mul Pow csc x0 -1 Add Pow x0 Mul 4 x4 Mul x0 Mul Pow x0 Add Mul 4 x4 -1 Mul 4 x4 