The last line ```return self.args[0].is_positive``` is returning True if the Symbol is positive as the graph of sin inverse remains +ve in [-1, 1].

If a user is passing positive Symbol which doesn't have any value, how to test the domain?