Para ponerlo en castellano, por más que el optimizador evite muchos de los pasos teóricos, está haciendo lo siguiente (teóricamente):
1. Generar una lista de todos los caracteres que son espacios
2. Generar una lista de todos los caracteres que NO son espacios
3. Unir 1 y 2
4. Compilar el pattern
5. Recorrer, desde el primer caracter hasta el último, probando:
5.1 Repetir desde 2 hasta 0:
5.1.a El caracter actual coincide con la lista de (3)?
5.1.a.i Si coincide, ir a (5.1.b)
5.1.a.ii Si no coincide, backtrack al (5.1.a.i) previo