Global Solutions of Well-Constrained Transcendental Systems Using Expression Trees and a Single Solution Test.