69 `^`(`/`(1, 5), `+`(2, `-`(x))) = 25.