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