4^x = 16 sqrt 2