Analysis of information sources in references of the Wikipedia article "半正矢公式" in Chinese language version.
The haversine first appears in the tables of logarithmic versines of José de Mendoza y Rios (Madrid, 1801, also 1805, 1809), and later in a treatise on navigation of James Inman (1821).