Nontrivial yes, but it's not that complicated to figure out that floats are a piecewise linear approximation of the base 2 logarithm.

Edit: or base 2^k, depends a bit how you view it.