reduce.txt

pow(a, log2(a, x)) = a^log(a, x) = x = x
log2(a, x) + log2(a, y) = log(a, x)+log(a, y) = log(a, (y*x)) = \log(a, {( y x)})
log2(a, x) - log2(a, y) = log(a, x)-log(a, y) = log(a, (y^(-1)*x)) = \log(a, {(\frac{x}{y})})
log2(a, pow(x, b)) = log(a, x)*b = log(a, x)*b = \log(a, x) b
log2(a, 1 / x) = -log(a, x) = -log(a, x) = - \log(a, x)
log2(a, x) * log2(b, a) = log(a, x)*log(b, a) = log(b, x) = \log(b, x)
log2(b, a) * log2(a, x) = log(a, x)*log(b, a) = log(b, x) = \log(b, x)
log2(b, x) / log2(b, a) = log(b, a)^(-1)*log(b, x) = log(a, x) = \log(a, x)
1 / log2(x, a) = log(x, a)^(-1) = log(a, x) = \log(a, x)
log2(1 / a, x) = -log(x)*log(a)^(-1) = -log(x)*log(a)^(-1) = -\frac{\ln(x)}{\ln(a)}
1+exp(Pi)^I = 0