a(n)=2cos(a(n-1)), a(0)=1.5