\cos(\cos(1))-\cos(1)>0