// Test automatic matching. $ (a) + {b/2} + |a|/2 + (b) $ $f(x/2) < zeta(c^2 + |a + b/2|)$