The proper way to write inverse cosine