Efficient acceptance-rejection simulation