Add 3 exp Pow exp atan x0 Mul Pow x0 3 7 
Mul exp Pow exp atan x0 Mul Pow x0 3 7 Mul Pow exp atan x0 Add Mul Pow x0 3 7 -1 Add Mul Mul Pow x0 3 7 Mul exp atan x0 Pow Add 1 Mul x0 x0 -1 Mul Mul exp atan x0 log exp atan x0 Mul 7 Mul Pow x0 2 3 