\sum^{\infty}_{n=1}ln(cos\frac{a}{2^n}), a\in [0,1]