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