negative StartFraction, pi Over 2 , EndFraction−π2
StartFraction, pi Over 2 , EndFractionπ2
10
Avaldis 11: "x" equals "a" minus sine "a" squaredx=a−sina2
equals=
negative 3.3 2 1 7 0 7 8 6 8 6 2−3.32170786862
11
Avaldis 12: "y" equals StartAbsoluteValue, sin "a" , EndAbsoluteValuey=sina
equals=
0.8 7 7 8 7 5 3 3 6 4 60.87787533646
12
Avaldis 13: StartAbsoluteValue, sin left parenthesis, "y" , right parenthesis , EndAbsoluteValue minus sine "y" squared equals "x"siny−siny2=x
13
Avaldis 14: "a" minus sine "a" squared minus StartAbsoluteValue, sin "a" , EndAbsoluteValue equals left parenthesis, "x" minus "y" , right parenthesisa−sina2−sina=x−y
14
Avaldis 15: "a" minus sine "a" squared minus StartAbsoluteValue, sin "a" , EndAbsoluteValue equals sine left parenthesis, "x" minus "y" , right parenthesisa−sina2−sina=sinx−y
15
Avaldis 16: "a" minus sine "a" squared minus StartAbsoluteValue, sin "a" , EndAbsoluteValue less than or equal to left parenthesis, sin "x" minus sin "y" , right parenthesisa−sina2−sina≤sinx−siny
16
Avaldis 17: "a" minus sine "a" squared minus StartAbsoluteValue, sin "a" , EndAbsoluteValue less than or equal to left parenthesis, cos "x" minus sin "y" , right parenthesisa−sina2−sina≤cosx−siny
17
Avaldis 18: "a" minus sine "a" squared minus StartAbsoluteValue, sin "a" , EndAbsoluteValue less than or equal to left parenthesis, cos "x" minus cos "y" , right parenthesisa−sina2−sina≤cosx−cosy
18
Avaldis 19: "a" minus sine "a" squared minus StartAbsoluteValue, sin "a" , EndAbsoluteValue less than or equal to left parenthesis, sin "x" minus cos "y" , right parenthesisa−sina2−sina≤sinx−cosy