Also known as odd factorial, semifactorial, factdouble
product of all the integers from 1 up to the integral input of the function that have the same parity as this input
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).