d/dx ( int texp(-t) from 0 to x )