function domain: square root of cos(x)