Machine learning separates high-frequency trading into supply and demand. — Synthesis