Towards the automatic exploration of arithmetic-circuit architectures