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