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