atan(2*sqrt(3)-sqrt(5+2*sqrt(5)))/pi to 1000 digits