cos(12) to 1000 digits