How do you find the exact value of log_2 sqrt2?