-productlog(-ln(sqrt(2)))/(ln sqrt(2))