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