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