cos (sqrt(pi)/2)