Pow atan x0 Add Mul -2 Add Mul x0 x0 x6 x5 
Mul Pow atan x0 Add Add Mul -2 Add Mul x0 x0 x6 x5 -1 Add Mul Add Mul -2 Add Mul x0 x0 x6 x5 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul -2 Add x0 x0 