44 sqrt(`+`(32, `-`(`*`(7, `*`(x))))) = 5.