[math-fun] cos(x)=x question