<var>y= ( (sin6x)' * ln(5e^x) - sin6x * ( ln(5e^x))' ) / (ln5e^x)^2 = 6*cos6x*ln(5e^x) - sin6x* 5e^x / 5e^x = 6*cos6x * ln(5e^x) - sin6x</var>
по правилам производной от частного и формулах производных основных элементарных фукнций
10-9с+18/-27+7с-16
10-9с+2-3+7с-16
-7-2с = -2с
тождество не доказано