Benchmark: running rex1, rex2 for at least 1 CPU seconds...
      rex1:  1 wallclock secs ( 1.16 usr +  0.00 sys =  1.16 CPU) @ 51.04/s (n=59)
      rex2:  1 wallclock secs ( 1.08 usr +  0.00 sys =  1.08 CPU) @ 12.99/s (n=14)
       Rate rex2 rex1
rex2 13.0/s   -- -74%
rex1 50.6/s 290%   --
6291
6291