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