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