Verify that y = e^(-t)cos t is a solution to y'' + 2y' + 2y = 0