While trying to answer this SO question I got stuck on a messy bit of algebra: given
$$ \log m = \log n + \frac32 \, \log \biggl( 1 + \frac{v}{m^2} \biggr) $$
I need to solve for $m$. I no longer remember enough logarithmic identities to attempt to do this by hand. Maxima can’t do it at all, and Wolfram Alpha coughs up a hairball that appears to be the zeroes of a quartic, with no obvious relationship to the original equation.
Is there a short, tidy solution? Failing that, an explanation of how WA managed to turn this into a quartic, and the quartic itself, would be ok.
