degrees(2*arctan( (sqrt(3)/2) (radius of earth) / (1au) ))