Maxima Function
hav (x)
Returns the haversine (1 - cos(x))/2.
(1 - cos(x))/2
To use this function write first load(functs).
load(functs)