Ответ: по формуле.(а^n)`=nа^n-1. cos`x=-sinx.F`(x)=(2x^4)`-(3cosx)`=(2·4x^4-1)-(-3sinx)=8x^3+3sinx.что и требовалось доказать.