shav - Haversine hav(x)

function shav (x) 
function shavf(x)

Given a value $x$ this function computes the haversine of $x$ , $hav(x)$ .