Avaldis 3: "y" equals left parenthesis, 100 times "x" Superscript, 2 minus left parenthesis, StartFraction, 1 Over "C" , EndFraction , right parenthesis , Baseline , right parenthesis plus "B" plus left parenthesis, left parenthesis, 100 times left parenthesis, "T" Subscript, "d" "e" "s" "t" , Baseline minus 1 , right parenthesis , right parenthesis minus "B" left parenthesis, StartFraction, 1 Over 1 plus StartNestedFraction, 50 "C" NestedOver "K" , EndNestedFraction , EndFraction , right parenthesis minus left parenthesis, 10 times StartFraction, "T" Subscript, "t" "r" "a" "n" "s" "i" "t" , Baseline Over "C" , EndFraction , right parenthesis , right parenthesis minus 100 left brace, "x" greater than 0 , "y" greater than 0 , right bracey=100·x2−1C+B+100·Tdest−1−B11+50CK−10·TtransitC−100x>0,y>0
