\form#0:$ b^z = b^x + b^y $
\form#1:$ b^z = b^x(1 + b^{y-x}) = b^y(1 + e^{x-y}) $
\form#2:$ z = x + log_b(1 + b^{y-x}) = y + log_b(1 + b^{x-y}) $
\form#3:$ y > x, z = y + logadd\_table[-(x-y)] $
\form#4:$ x > y, z = x + logadd\_table[-(y-x)] $
\form#5:$ logadd\_table[n] = log_b(1 + b^{-n}) $
\form#6:$ log_b(2.0) $
\form#7:$ y = x $
\form#8:$ z = log_b(2x) = log_b(2) + x $
\form#9:$ log_b(x+y) = x = y $