mulf - symbolic multiplication
returns the string 'c*d' Trivial simplifications such as '1*c' = 'c' are performed.
mulf('1','a') mulf('0','a') 'a'+'b' //Caution...