acot atan Pow acot Mul x0 -1 x1 
Mul -1 Mul Mul Mul Pow acot Mul x0 -1 Add x1 -1 Mul x1 Mul -1 Mul -1 Pow Add 1 Mul Mul x0 -1 Mul x0 -1 -1 Pow Add 1 Mul Pow acot Mul x0 -1 x1 Pow acot Mul x0 -1 x1 -1 Pow Add 1 Mul atan Pow acot Mul x0 -1 x1 atan Pow acot Mul x0 -1 x1 -1 