-integral tan(t/2) dt