Question:
Given controlled-SWAP (CSWAP) and Hadamard (H) gates, is it possible to exactly compile the Toffoli (CCX) gate?
Note that I'm not looking for an encoded Toffoli gate. The answer should implement Toffoli exactly on three physical qubits. The use of ancilla qubits is allowed and, in fact, necessary (see This question for proof).

