SQRT1_2
Returns the square root of 1/2, approximately equal to 0.707
Try it yourself:
$1  SQRT1_2
 
$2  sqrt(1/2)

Returns the square root of 1/2, approximately equal to 0.707
Try it yourself:
$1  SQRT1_2
 
$2  sqrt(1/2)
