atan Add pi cot Add Pow x0 x1 Mul pi acsc x2 
Mul Mul Mul -1 Pow csc Add Pow x0 x1 Mul pi acsc x2 2 Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul Add pi cot Add Pow x0 x1 Mul pi acsc x2 Add pi cot Add Pow x0 x1 Mul pi acsc x2 -1 