((1+sqrt 2)^10+(1- sqrt 2)^10)/2