2^x -(x+3)