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