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