Arithmetic transformations to maximise the use of compressor trees | IEEE Conference Publication | IEEE Xplore