let mk_inv a = 
  mk_expt (-1) a