Learning One-Variable Pattern Languages Very Efficiently