(3cos^2(x)-ctg(x/2)+5)'