"max (max (max (w + 2) (x + 4)) (y + 2)) (z + 5)"
"x"
"x"
"1"
"x + 1"
"x + 1"
"x + 1"
"#[0, 0, 1, x, x, x + 1, x + 2, y, z, z + 2]"