simplify relations, especially when it involves a monotone function on one side and a number on the other.  Fail more gracefully when assume throws an error
simplify relations, especially when it involves a monotone function on one side and a number on the other.  Fail more gracefully when assume throws an error

zaxtax/hakaru,suhailshergill/hakaru,zachsully/hakaru,zaxtax/hakaru,bitemyapp/hakaru,zachsully/hakaru