use MaskedArray.compressed() -- much faster