redefine TR0 to be expand_mul