Iterating polynomials for square root of 2