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