Помогите решить сложные производные функции пожалуйста (по таблице производных)

Решила, вроде правильно. Нет сил проверять

Сейчас будет сложно это нормально написать, но я попробую: 1) 6e^(-7x)*(-7)=-42e^(-7x) 2) 10^x*(cos(5x))=10^x * ln 10 * cos 5x + 10^x * (-sin 5x) * 5 3) 7/((0.5+7x)*ln 10)  4)1/(sin x) * cos x = ctg x 5) (7*x^6 * e^x - (x^7 - 1)*e^x)/(e^x)^2 = (7*x^6 - (x^7 - 1))/e^x 6)6x^5 * ln x + x^6 * 1/x = 6x^5 * ln x + x^5 7)cos (4x-п/4) * 4 8) 1/( 2* корень из( 5*x^6 - x)) * (30*X^5 - 1) Если нужно будет, то могу листочек прислать.