Pow Mul x3 Pow Pow Add E 2 Pow exp x0 atan x0 -1 sqrt x6 
Mul Pow Mul x3 Pow Pow Add E 2 Pow exp x0 atan x0 -1 Add sqrt x6 -1 Mul sqrt x6 Mul x3 Mul Pow Pow Add E 2 Pow exp x0 atan x0 2 Mul -1 Mul Pow Add E 2 Add Pow exp x0 atan x0 -1 Mul Mul Add E 2 log Add E 2 Mul Pow exp x0 Add atan x0 -1 Add Mul atan x0 exp x0 Mul Mul exp x0 log exp x0 Pow Add 1 Mul x0 x0 -1 