See multiplication: repeated addition compressed