At least on my branch of SymEngine (v0.3.0), this test fails because it greedily evaluates the Subs nodes.