There's a few reasons, even if you don't intend on deriving similar formulas in the future.
First, it's hard to remember formulas. For many people, it's easier to remember reasons - maybe not the whole proof, but if you remember just the outline of the proof it can help you remember the formula. For example, I can't for the life of me remember the formula for the arc length of a curve - but I do remember the gist of the way it's derived, by taking an infinitesimal fragment of the curve and applying the Pythagorean Theorem. That's enough for me to remember that I'm looking for something like $\int \sqrt{?^2 + ?^2}dt$, and then it's just a matter of filling in the blanks.
Second, it's hard to remember the uses of formulas. Yes, most formulas have a one-to-three-word phrase that describes their use; for example, the quadratic formula is for "solving quadratic equations". But even in these simple cases, there are literally thousands of random special situations where you can use them - for example, the quadratic formula can be used to solve $x^4 + 2x^2 + 3 = 0$, and by analyzing the formula you can see a way to tell whether a quadratic has a real root without having to take any square roots. Knowing the reason behind the formula - in this case, remembering that the proof of the quadratic formula doesn't depend on using $x$ specifically rather than $x^2$ - helps you see these additional uses without having to do huge amounts of memorization.
Third, it's hard to remember the non-uses of formulas - that is, the situations where a formula might look like it applies, even though it doesn't. Taking the quadratic formula example from above, it's a common mistake for students to try to apply the quadratic formula to situations like $x^3 + 2x + 1 = 0$, or to $x^2 + 2x + 1 = 1$ without rearranging the formula first. Understanding the proof behind the quadratic formula makes it obvious that the formula simply doesn't apply in either of these cases; the first because the proof is about squares rather than cubes, and the second because the proof gives a factorization of the quadratic rather than just "the answer".
Fourth (and finally, for now), it helps unify formulas. To take an example from multivariable calculus: Green's Theorem, Stokes' Theorem, and the Divergence Theorem are all basically the same formula - each applies in different situations, but they all arise the same way. If you've never seen a proof of these theorems, or if you didn't understand the proof you were shown, then you wind up just memorizing three separate formulas and having to memorize a laundry list of situations in which one applies and the others don't. If you do understand how these formulas arise, then to you they're more like one theorem than three; and when to use which one becomes obvious, requiring no memorization at all. This sort of thing happens a lot - and even when it doesn't, there are still a lot of situations where several formulas are closely related, and understanding their relationships can help understand how to use them.