cos(arcsin (x)/2) を簡単な形式にする