domain of definition y = log[7,[log[1/2,x^2-7x+12]+1]