let sym_d_expt = function Pp(Expt(n)) -> n | _ -> assert false