atan Mul Mul -2 Mul x0 Mul log x0 Mul x3 x0 2 
Mul Mul 2 Mul -2 Add Mul log x0 Mul x3 x0 Mul x0 Add Mul Mul x3 x0 Pow x0 -1 Mul log x0 x3 Pow Add 1 Mul Mul Mul -2 Mul x0 Mul log x0 Mul x3 x0 2 Mul Mul -2 Mul x0 Mul log x0 Mul x3 x0 2 -1 