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