∫ 1/(tan(x)+1) dx = ?