Added tests for is_positive assumption for atan and asin