Wallis-type product formulas and associated Wallis integrals | Synapse