В условии вроде бы ln(ln(x)+7), а не ln(x*(lnx+7)), так что производная в первом посте взята правильно.