Right: this can take a long time with call by name but should be
almost immediate with call by value. So it's enough if you manage to
run it with call by value. Can you see any difference? You can also
try with a smaller number and see what the difference is then.
Aarne.