Avaldis 5: 0 less than "y" less than sine "x" plus 0 times StartRoot, "x" minus "a" , EndRoot plus 0 times StartRoot, negative "x" plus 2 pi times StartFraction, "b" Over 2 pi , EndFraction , EndRoot0<y<sinx+0·x−a+0·−x+2π·b2π
5
Avaldis 6: sine "x" plus 0 times StartRoot, "x" minus "a" , EndRoot plus 0 times StartRoot, negative "x" plus "b" , EndRoot less than "y" less than 0sinx+0·x−a+0·−x+b<y<0
6
Avaldis 7: "x" equals "a"x=a
7
Avaldis 8: "x" equals "b"x=b
8
Avaldis 9: "y" equals left parenthesis, StartRoot, negative cos "b" plus cos "a" , EndRoot , right parenthesis squaredy=−cosb+cosa2
9
Avaldis 10: "y" equals negative left parenthesis, StartRoot, negative left parenthesis, negative cos "b" plus cos "a" , right parenthesis , EndRoot , right parenthesis squaredy=−−−cosb+cosa2
