pushDown: try to push multiplications lower in the circuit
pushDown: try to push multiplications lower in the circuit

spaceships/circuit-synthesis,spaceships/circuit-synthesis,spaceships/circuit-synthesis