36 sqrt(`+`(37, `*`(7, `*`(x)))) = 4.