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