-W(-1,-log(-sqrt(2)))/log(-sqrt(2))