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