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