multiplication regex: Remove an unnecessary check (an earlier assertion already implies it); length-=10