lim (coshx-1)/(1-cos x), x->0