.5^(sqrt(10)-1)/2^(-sqrt(10))