let mult_set s1 s2 = e_app2 mk_rmult s1 s2