Removed unnecessary condition in a method of atan to evaluate positive assumption