Gauss's Machin-like formula