Current mul() algorithm is not symmetric

@emortikov pointed out that currently the complexities of calculating mul(1,1000) and mul(1000,1) are essentially different. And this is not what one might expect from a function called mul().