Simplify expressions like $\arcsin(\sin x) = x$ with domain restrictions.