d(log(log(x)))/dx