найти производную функции: y=cos3x-arcctg2x

Вопрос пользователя:

найти производную функции: y=cos3x-arcctg2x

Илюха отвечает:

производная равно -3sin3x+2/(1+4x^2)

если нужно упростите