integrate 2 x_1 x_2 exp(- 2x_2p_2-2x_1(p_1-p_2)) for p_1 from 2p_2 to infinity, p_2 from 0 to infinity, 0 <= x_0 < x_1 < x_2 <= 1