f ′ ( x ) = ∫ 0 1 2 cos − 1 ( x ) ⋅ d x {\displaystyle f'(x)=\int _{0}^{\frac {1}{2}}\cos ^{-1}(x)\cdot dx}
