$$\text {Let }H(x)=(\int^{\pi}_{\sin(x)}\frac{t}{\cos(t)}dt)^3$$
My steps:
$$H(x) = (-\int^{\sin(x)}_{\pi} \frac{t}{\cos(t)}dt)^3$$ $$H'(x) = 3(-\int^{\sin(x)}_{\pi} \frac{t}{\cos(t)}dt)^2\frac{\sin(x)}{\cos(\sin(x)}\cos(x)$$ $$H'(x) = \frac{3\sin(x)\cos(x)}{\cos(\sin(x))}(-\int^{\sin(x)}_{\pi} \frac{t}{\cos(t)}dt)^2$$
Is this correct.
Also can I pull the negative sign out or not? It's squared, so can I really?