(sqrt(2)-1)^9