d/dx(log{log{log{log{log{logx}}}}})