Sqrt[5]^x + Sqrt[5]^(-x)