what is double exponential distribution - Search