Sipser's function
Definition
TODO: write the definition! See here for definition and properties: https://arxiv.org/pdf/1504.03398.pdf
Properties
- TODO. Can be used to show that depth d circuits are exponentially more powerful than depth d-1 circuits.