You can derive it by generalizing the problem – suppose the distance to work is D, and your rates going there and back are r1 and r2, with corresponding times t1 and t2 (e.g. D = r1t1 = r2t2). You are also given what t1+t2 is. Then you can solve for t1 or t2 and then find D.