sqrt(2)^x + sqrt(3)^x - sqrt(13)^(x/2)