70 `^`(`/`(1, 5), `+`(`-`(3), `-`(x))) = 25.