Add assumption that variables are not equal to zero
Remove second hint when unneccesary