HIGH and LOW are not simple commands !, they make the port an output first - this takes a certain number of operations, then sets the port HIGH.

If you want speed then make the port an output to begin with then set it high or low as needed. eg GPIO.0=1 for high

as in all things read the manual...page 144