Isn't this exponential precision = polynomial time?