@ASCII-only sorry for the delay.  I have made a breakthrough in efficient multiplication but I am still working on fully formalizing it.  For now all that you need to know that multiplication by 5 and 7 are now worthwhile.  The formulas are as follows: `5:  "(((%s)){}){}{}", 7: "((((%s))){}{}){}{}"`