How do you simplify #cos (arcsin x - arctan 2)#?