> Note that our degree reduction is lossless, in the sense that the original cubic curve can be perfectly reconstructed from the quadratic curves we generate, though the cubic and quadratic curves have slightly different shapes