> while others (such as log2(3)) are more puzzling.

> I'm a bit puzzled why the 8087 doesn't need the constant log2(1 + 2^-1)

log2(3/2) = log2(3) - log2(2) = log2(3) - 1

Problem... solved?