39 sqrt(`+`(13, `-`(`*`(2, `*`(x))))) = 5.