lim cos(x)*log(x-a) / log(e^x -e^a) as x->a