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