Tamarkin equiconvergence theorem and trace formula revisited