I have been using the formula above in the picture to estimate the lens I require... Since I can estimate the input beam diam, output beam diam, and the secondary lens I can rearrange the formula to work out the FL primary lens I need.
Since the output is d and the input is (f2 / f1) * d, I can...