74 `^`(7, `+`(3, x)) = `^`(49, `+`(`*`(3, `*`(x)))).