integral ln|tan(x/2)|