(y2 1) dx y sec