diff(7*sin(5*x-PI/2)+cos(3*x+PI/2),x)