csc cot Mul Mul Mul atan x0 4 Mul -4 x0 Add x0 x5 
Mul Mul Mul -1 cot cot Mul Mul Mul atan x0 4 Mul -4 x0 Add x0 x5 csc cot Mul Mul Mul atan x0 4 Mul -4 x0 Add x0 x5 Mul Mul -1 Pow csc Mul Mul Mul atan x0 4 Mul -4 x0 Add x0 x5 2 Add Mul Add x0 x5 Add Mul Mul -4 x0 Mul 4 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 4 -4 Mul Mul atan x0 4 Mul -4 x0 