Efficient Extraction for Effectful E-graphs