test: branching, math