Verified Nonlinear Equation Solver
(All Solution Finder)

y[0] = 2*x[0]**3 + 2*x[0]*x[1] - 22*x[0] + x[1]**2 + 10 + pi y[1] = x[0]**2 + 2*x[0]*sin(x[1]) + 2*x[1]**3 - 14*x[1] + "9.1"

• python-like syntax
• x: input vector (x[0] ... x[n-1])
• y: output vector (y[0] ... y[n-1])
• solve systems of equation y[0] = 0, ... , y[n-1] = 0
• numeric constants pi, e, ln2 can be used
• double quoted decimal string is converted to the interval including the value represented by the string