In [33] Thorup and Zwick came up with a landmark distance oracle. Given an n-vertex undirected graph G = (V, E) and a parameter k = 1, 2, . . ., their oracle has size O(kn 1+1/k ), and upon a query (u, v) it constructs a path Π between u and v of length δ(u, v) such that u, v). The query time of the oracle from [33] is O(k) (in addition to the length of the returned path), and it was subsequently improved to O(1) [36,13]. A major drawback of the oracle of [33] is that its space is Ω(n · log n). Mendel and Naor [23] devised an oracle with space O(n 1+1/k ) and stretch O(k), but their oracle can only report distance estimates and not actual paths. In this paper we devise a path-reporting distance oracle with size O(n 1+1/k ), stretch O(k) and query time O(n ǫ ), for an arbitrarily small ǫ > 0. In particular, for k = log n our oracle provides logarithmic stretch using linear size. Another variant of our oracle has size O(n log log n), polylogarithmic stretch, and query time O(log log n).For unweighted graphs we devise a distance oracle with multiplicative stretch O(1), additive stretch O(β(k)), for a function β(·), space O(n 1+1/k · β), and query time O(n ǫ ), for an arbitrarily small constant ǫ > 0. The tradeoff between multiplicative stretch and size in these oracles is far below Erdős's girth conjecture threshold (which is stretch 2k − 1 and size O(n 1+1/k )). Breaking the girth conjecture tradeoff is achieved by exhibiting a tradeoff of different nature between additive stretch β(k) and size O(n 1+1/k ). A similar type of tradeoff was exhibited by a construction of (1 + ǫ, β)-spanners due to Elkin and Peleg [18]. However, so far (1 + ǫ, β)-spanners had no counterpart in the distance oracles' world.An important novel tool that we develop on the way to these results is a distancepreserving path-reporting oracle. We believe that this oracle is of independent interest. * A preliminary version of this paper was published in SODA '15 [19].