Lossy Polynomial Datapath Synthesis