Expression 15: "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 , right parenthesisS3=signL+epsilon−fxstar−delta
equals=
11
15
Expression 16: "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=
negative 1−1
16
Expression 17: "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.5 , right parenthesisS=signS1+S2+S3+S4−3.5
equals=
negative 1−1
17
Expression 18: "x" squared plus left parenthesis, "y" plus 2 , right parenthesis squared less than or equal to 2x2+y+22≤2
18
Expression 19: 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
19
Expression 20: 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
20
Expression 21: 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
21
Expression 22: 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
22
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
23
Expression 24: "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
24
Expression 25: 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
25
Expression 26: 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
26
Expression 27: 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
27
Expression 28: 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
28
Expression 29: 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
29
Expression 30: 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 : 0 , right brace less than "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+delta:0<y≤xstar−delta≤x≤xstar+delta:fx