expand log2(sqrt(a-1)/9)