2^(3+x)=(2/5)*5^(3+x) over the reals