Is this from the paper? It seems like this might fail if the roots are in a certain way (close enough maybe, I don't actually know what these computations represent).