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