I think I have encountered a bug of Sympy\'s evalf() method with substitutions passed.
evalf()
By accident, I found an expression that evaluates to a wrong value