diff -r 51ac1ab6e1fd -r 9c52c21b5db3 Spiral.scala
--- a/Spiral.scala	Thu Jul 25 21:02:06 2019 +0100
+++ b/Spiral.scala	Sun Aug 18 22:19:46 2019 +0100
@@ -580,6 +580,22 @@
     }
   }
 
+  def speed_test(){
+    val s0 = "a"*1000
+    val r = SEQ(STAR("a"), "b")
+    for(i <- 1 to 30){
+      val s = s0*i
+      val start = System.nanoTime()
+      try{
+        blex_simp(internalise(r), s.toList)
+      }
+      catch{
+        case x: Exception =>
+      }
+      val end = System.nanoTime()
+      printf("%d  %f\n",i, (end - start)/1.0e9)
+    }
+  }
   def main(args: Array[String]) {
     //check_all()   
     //radical_correctness()
@@ -587,9 +603,10 @@
     //retrieve_experience()
     //neat_retrieve()
     //test_bsimp2()
-    christian_def2()
+    //christian_def2()
     //christian_def()
     //essence_posix()
+    speed_test()
   } 
 }