Найти производную функции y=arcctgx52∙ln72-x

Y'=arcctgx52∙ln72-x'=
=arcctgx52'∙ln72-x+arcctgx52∙ln72-x'=
=-11+x522∙x52'∙ln72-x+arcctgx52∙7ln7-12-xln2-x'=
=-11+x104∙12x5'∙ln72-x+7arcctgx52∙ln62-x∙12-x2-x'=
=-1x10+44∙5x5-1∙ln72-x2+7arcctgx52∙ln62-x∙12-x∙0-1=
=-4x10+4∙5x4∙ln72-x2-7arcctgx52∙ln62-x2-x=
=-10x4∙ln72-xx10+4-7arcctgx52∙ln62-x2-x
Использовано правило дифференцирования произведения u∙v'=u'v+uv' , правило дифференцирования сложной функции uv'=u'v∙v',
правило вынесения постоянного множителя за знак производной Cu'=Cu'
и таблица производных
Ответ: -10x4∙ln72-xx10+4-7arcctgx52∙ln62-x2-x