cos(arccos(sqrt(2)/2)+arcsin(sqrt(3)/2))