Mul sqrt x5 Pow Add x0 x0 log atan Pow x0 3 
Mul sqrt x5 Mul Pow Add x0 x0 Add log atan Pow x0 3 -1 Add Mul log atan Pow x0 3 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Mul Mul Pow x0 2 3 Pow Add 1 Mul Pow x0 3 Pow x0 3 -1 Pow atan Pow x0 3 -1 