38 sqrt(`+`(64, `*`(8, `*`(x)))) = 4.