Re: [math-fun] "Reverse factoring" complexity of addition