discrete_logarithm