In the CDF step, right after converting X_2 in terms of X_1, shouldn’t be the exponential multiply by lambda. i.e.
(1 — lambda*exp{-lambda(x — X_1)})?

BTW, that was a really good walk through of exponetnial random variables!