added function gaussian_lens_formula()