(((1+sqrt(5))^9-((1-sqrt(5))^9))/2^9/sqrt(5)