the sum of 9 and twice a of x