distribution of function of random variables