(1-a^y) + (1-a) * a^y / 2 - (1-a) * ((y-1)*a^(y+1) - y*a^y + a) / (1-a)^2 - a^y * y /. {a->Sqrt[2]-1}