Denotar por $S$ el conjunto de los impares múltiplos de ${\pi\over2}$. Al$x\notin S$, entonces está bien definida $k\in{\mathbb Z}$ con
$$x\in J_k:=\left]k\pi-{\pi\over2},\ k\pi+{\pi\over 2}\right[\ .$$
Para $x\in J_k$ deje $$\hat x:=x-k\pi\ .$$
A continuación,$|\hat x|<{\pi\over2}$, e $x-\hat x$ es constante en $J_k$.
La función
$$F(x):=\cases{\sin\hat x+{2\over\pi}(x-\hat x)&$(x\noen S)$ \cr
{2x\\pi}&$(x\in S)$\cr}$$
ha derivado
$$F'(x)=\cos\hat x=|\cos x|\qquad(x\notin S)\ ,$$
y para cualquier $\xi\in S$ obtenemos $\lim_{x\to\xi} F'(x)=0$. Vamos a demostrar que $F$ es continua también en los puntos de $S$. Entonces, esto va a establecer definitivamente $F$ como una primitiva de la función $f(x):=|\cos x|$.
Deje $\xi=(2n+1){\pi\over2}\in S$. A continuación,$\sin\xi=(-1)^n$.
Al $x\to{\xi-}\>$ tenemos $\hat x=x-n\pi$ y por lo tanto
$$F(x)=(-1)^n\sin x+{2\over\pi}(n\pi)\to(-1)^n\sin\xi+2n=1+2n=F(\xi)\qquad(x\to\xi-)\ .$$
Al $x\to\xi+$ tenemos $\hat x=x-(n+1)\pi$ y por lo tanto
$$F(x)=(-1)^{n+1}\sin x+{2\over\pi}(n+1)\pi\to(-1)^{n+1}\sin\xi+2(n+1)=-1+2(n+1)=F(\xi)\qquad(x\to\xi+)\ .$$
Aquí está una foto de $F$: