lim(x->inf) ((1+π^4*2^(-4x-2) -π^2/2^(2x)) / (cos(2π/2^x) +1) +√5/2)