simplify cos(arcsin(x)%2F2)