What is the local linearization of F(x) = cos(x) at a=pi/4?