Add Pow Mul Mul x0 atan sqrt x2 x5 Pow x0 E Pow x0 x1 
Add Mul Pow Mul Mul x0 atan sqrt x2 x5 Add Pow x0 E -1 Add Mul Pow x0 E Mul x5 atan sqrt x2 Mul Mul Mul Mul x0 atan sqrt x2 x5 log Mul Mul x0 atan sqrt x2 x5 Mul Pow x0 Add E -1 E Mul Pow x0 Add x1 -1 x1 