Y mul div c c mul x0 mul pow x1 c add mul add mul c pow x1 c mul c mul sqrt c mul sqrt mul x1 x1 add c x0 add c add x1 mul pow x1 c sqrt x1 mul c mul pow x1 c mul sqrt x1 add pow x1 c mul c mul add c mul sqrt c sqrt mul x1 x1 add c x0