Optimised reversible divider circuit. (2016)