add (untested) "derives epsilon" analysis