An inverse of the quadratic function returning the positive root
function InverseQuadratic input Real a; input Real b; input Real c; input Real y; output Real x; end InverseQuadratic;