Y mul div c c mul x2 mul sqrt mul x0 add mul c x5 add mul c x0 add mul c x2 mul x5 pow x2 c mul pow add mul c x2 mul c sqrt mul x0 add mul c x5 add mul c x0 add mul c x2 mul x5 pow x2 c c mul pow add mul c x5 add mul c x0 add mul c x2 mul x5 pow x2 c c add c pow x2 c