simplify log_b(a) * log_b(a^-1)