cos | [.0,PI.] is decreasing