01  `^`(2, `+`(1, `-`(`*`(4, `*`(x))))) = 32.