24 sqrt(`+`(7, `-`(x))) = 3.