Yesterday, nobody contributed anything. :-( The official answer is: (x + 5) / (2 * x).