sum(n=0,inftysum(k=0,n,binom(n,k)sin(2^(k+1))/(2^(n+1)(k+1))))