02 `*`(`^`(`+`(x, `-`(10)), 2)) = `*`(`^`(`+`(4, x), 2)).