Question about integrals of an unkown function and then differentiating to it

19 Views Asked by At

In my thesis I encountered the following problem: I have an unknown function y(x) and I need to calculate the following combination of integrating and differentiating: $\frac{d}{dy}\int_0^1\cos(y(x))dx$ Is there a general theory on how to determine such an expression? Many thanks in advance