Evaluation of Multivariable Function

y = (x[0] * x[0] - 2 * x[0]) * (x[1] * x[1] - 2 * x[1])

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

interval affine