[math-fun] circuit complexity of table lookups