solve a*4^(x+1)+b*4^(x-1)=c over real