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