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