Expression 17: "S" Subscript, 3 , Baseline equals signum left parenthesis, left parenthesis, "L" plus "e" Subscript, "p" "s" "i" "l" "o" "n" , Baseline , right parenthesis minus "f" left parenthesis, "x" Subscript, "s" "t" "a" "r" , Baseline minus "d" Subscript, "e" "l" "t" "a" , Baseline , right parenthesis plus 0.0 0 0 0 1 , right parenthesisS3=signL+epsilon−fxstar−delta+0.00001
equals=
11
17
Expression 18: "S" Subscript, 4 , Baseline equals signum left parenthesis, left parenthesis, "L" plus "e" Subscript, "p" "s" "i" "l" "o" "n" , Baseline , right parenthesis minus "f" left parenthesis, "x" Subscript, "s" "t" "a" "r" , Baseline plus "d" Subscript, "e" "l" "t" "a" , Baseline , right parenthesis plus 0.0 0 0 0 0 1 , right parenthesisS4=signL+epsilon−fxstar+delta+0.000001
equals=
11
18
Expression 19: "S" equals signum left parenthesis, "S" Subscript, 1 , Baseline plus "S" Subscript, 2 , Baseline plus "S" Subscript, 3 , Baseline plus "S" Subscript, 4 , Baseline minus 3.9 , right parenthesisS=signS1+S2+S3+S4−3.9
equals=
11
19
Expression 20: "x" squared plus left parenthesis, "y" plus 2 , right parenthesis squared less than or equal to 2x2+y+22≤2
20
Expression 21: left parenthesis, "x" minus 0.5 , right parenthesis squared plus left parenthesis, "y" plus 1.4 , right parenthesis squared less than or equal to 0.0 3x−0.52+y+1.42≤0.03
21
Expression 22: left parenthesis, "x" plus 0.5 , right parenthesis squared plus left parenthesis, "y" plus 1.4 , right parenthesis squared less than or equal to 0.0 3x+0.52+y+1.42≤0.03
22
Expression 23: left brace, negative 0.6 5 less than or equal to "x" less than or equal to 0.6 5 : "S" "x" squared minus 2.7 5 , right brace less than or equal to "y" less than or equal to negative 2.3 5 plus left parenthesis, "S" minus 1 , right parenthesis−0.65≤x≤0.65:Sx2−2.75≤y≤−2.35+S−1
23
Expression 24: 3 left parenthesis, "S" plus 1 , right parenthesis minus 2.7 5 less than or equal to "y" less than or equal to left brace, negative 0.6 5 less than or equal to "x" less than or equal to 0.6 5 : "S" "x" squared minus 2.3 5 , right brace3S+1−2.75≤y≤−0.65≤x≤0.65:Sx2−2.35
24
Hidden Label: left parenthesis, "x" Subscript, "s" "t" "a" "r" , Baseline , "f" left parenthesis, "x" Subscript, "s" "t" "a" "r" , Baseline , right parenthesis , right parenthesisxstar,fxstar
Label
equals=
left parenthesis, 2 , 4 , right parenthesis2,4
25
Expression 26: "x" equals left brace, 0 less than or equal to "y" less than or equal to "f" left parenthesis, "x" Subscript, "s" "t" "a" "r" , Baseline , right parenthesis : "x" Subscript, "s" "t" "a" "r" , Baseline , right bracex=0≤y≤fxstar:xstar
26
Expression 27: left brace, 0 less than or equal to "x" : max left parenthesis, "f" left parenthesis, "x" , right parenthesis , "L" , right parenthesis , right brace less than or equal to "y" less than or equal to left brace, 0 less than or equal to "x" : "L" plus "e" Subscript, "p" "s" "i" "l" "o" "n" , Baseline , right brace0≤x:maxfx,L≤y≤0≤x:L+epsilon
27
Expression 28: left brace, 0 less than or equal to "x" : max left parenthesis, "f" left parenthesis, "x" , right parenthesis , "L" minus "e" Subscript, "p" "s" "i" "l" "o" "n" , Baseline , right parenthesis , right brace less than or equal to "y" less than or equal to left brace, 0 less than or equal to "x" : "L" , right brace0≤x:maxfx,L−epsilon≤y≤0≤x:L
28
Expression 29: left brace, 0 less than or equal to "y" less than or equal to negative 1000 left parenthesis, "S" minus 1 , right parenthesis : max left parenthesis, StartRoot, "y" , EndRoot , "x" Subscript, "s" "t" "a" "r" , Baseline minus "d" Subscript, "e" "l" "t" "a" , Baseline , right parenthesis , right brace less than or equal to "x" less than or equal to left brace, 0 less than or equal to "y" : "x" Subscript, "s" "t" "a" "r" , Baseline plus "d" Subscript, "e" "l" "t" "a" , Baseline , right brace0≤y≤−1000S−1:maxy,xstar−delta≤x≤0≤y:xstar+delta
29
Expression 30: left brace, 0 less than or equal to "y" less than or equal to 1000 left parenthesis, "S" plus 1 , right parenthesis : max left parenthesis, StartRoot, "y" , EndRoot , "x" Subscript, "s" "t" "a" "r" , Baseline minus "d" Subscript, "e" "l" "t" "a" , Baseline , right parenthesis , right brace less than or equal to "x" less than or equal to left brace, 0 less than or equal to "y" : "x" Subscript, "s" "t" "a" "r" , Baseline plus "d" Subscript, "e" "l" "t" "a" , Baseline , right brace0≤y≤1000S+1:maxy,xstar−delta≤x≤0≤y:xstar+delta
30
Expression 31: left brace, 0 less than or equal to "y" : max left parenthesis, StartRoot, "y" , EndRoot , "x" Subscript, "s" "t" "a" "r" , Baseline minus "d" Subscript, "e" "l" "t" "a" , Baseline , right parenthesis , right brace less than or equal to "x" less than or equal to left brace, 0 less than or equal to "y" : "x" Subscript, "s" "t" "a" "r" , Baseline plus "d" Subscript, "e" "l" "t" "a" , Baseline , right brace0≤y:maxy,xstar−delta≤x≤0≤y:xstar+delta
31
Expression 32: left brace, "x" Subscript, "s" "t" "a" "r" , Baseline minus "d" Subscript, "e" "l" "t" "a" , Baseline less than or equal to "x" less than or equal to StartFraction, left parenthesis, "x" Subscript, "s" "t" "a" "r" , Baseline plus "d" Subscript, "e" "l" "t" "a" , Baseline , right parenthesis left parenthesis, "S" minus 1 , right parenthesis Over negative 2 , EndFraction : 0 , right brace less than or equal to "y" less than or equal to left brace, "x" Subscript, "s" "t" "a" "r" , Baseline minus "d" Subscript, "e" "l" "t" "a" , Baseline less than or equal to "x" less than or equal to "x" Subscript, "s" "t" "a" "r" , Baseline plus "d" Subscript, "e" "l" "t" "a" , Baseline : "f" left parenthesis, "x" , right parenthesis , right bracexstar−delta≤x≤xstar+deltaS−1−2:0≤y≤xstar−delta≤x≤xstar+delta:fx
32
Expression 33: left brace, "x" Subscript, "s" "t" "a" "r" , Baseline minus "d" Subscript, "e" "l" "t" "a" , Baseline less than or equal to "x" less than or equal to StartFraction, left parenthesis, "x" Subscript, "s" "t" "a" "r" , Baseline plus "d" Subscript, "e" "l" "t" "a" , Baseline , right parenthesis left parenthesis, "S" plus 1 , right parenthesis Over 2 , EndFraction : 0 , right brace less than or equal to "y" less than or equal to left brace, "x" Subscript, "s" "t" "a" "r" , Baseline minus "d" Subscript, "e" "l" "t" "a" , Baseline less than or equal to "x" less than or equal to "x" Subscript, "s" "t" "a" "r" , Baseline plus "d" Subscript, "e" "l" "t" "a" , Baseline : "f" left parenthesis, "x" , right parenthesis , right bracexstar−delta≤x≤xstar+deltaS+12:0≤y≤xstar−delta≤x≤xstar+delta:fx
