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