An old problem of Leibniz asks about the possibility of squaring ovals. The problem goes back to a dispute with Newton about the correctness of Lemma XXVIII in the Principia. In the talk we shall give first a historical account of the problem and then explain how the Analytic Subgroup Theorem is applied to give a solution of the problem adapted to modern times.