sum_(n=1)^6000 tan(pi/2^n)