One of us is misunderstanding something. What I'm imagining is, you adjust the value by dragging it, and then the CAS solves for the red value. There's no requirement for monotonicity or anything, if the CAS can solve for a unique red value to satisfy the equation, you're good.
