intrinsic sqrt
      a = sqrt(cos(0.35))
      end