Add the is_positive assumption for asin and acos