Removes info no longer needed.
Replaces log^O(1) with polylog