acot Pow acot Mul x0 -3 Pow 4 x1 
Mul -1 Mul Mul Pow acot Mul x0 -3 Add Pow 4 x1 -1 Mul Pow 4 x1 Mul -1 Mul -3 Pow Add 1 Mul Mul x0 -3 Mul x0 -3 -1 Pow Add 1 Mul Pow acot Mul x0 -3 Pow 4 x1 Pow acot Mul x0 -3 Pow 4 x1 -1 