75 `^`(8, `+`(4, `-`(x))) = `^`(64, `+`(`*`(2, `*`(x)))).