Avaldis 6: StartAbsoluteValue, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, "x" plus "i" "y" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , EndAbsoluteValue less than or equal to 2x+iy2+x2+x2+x2+x2+x≤2
6
Avaldis 7: StartAbsoluteValue, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, "x" plus "i" "y" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , EndAbsoluteValue less than or equal to 2x+iy2+x2+x2+x2+x2+x2+x≤2
7
Avaldis 8: StartAbsoluteValue, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, "x" plus "i" "y" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , EndAbsoluteValue less than or equal to 2x+iy2+x2+x2+x2+x2+x2+x2+x≤2
8
Avaldis 9: StartAbsoluteValue, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, "x" plus "i" "y" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , EndAbsoluteValue less than or equal to 2x+iy2+x2+x2+x2+x2+x2+x2+x2+x≤2
9
Avaldis 10: StartAbsoluteValue, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, "x" plus "i" "y" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , EndAbsoluteValue less than or equal to 2x+iy2+x2+x2+x2+x2+x2+x2+x2+x2+x≤2
10
Avaldis 11: StartAbsoluteValue, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, "x" plus "i" "y" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , right parenthesis squared plus "x" , EndAbsoluteValue less than or equal to 2x+iy2+x2+x2+x2+x2+x2+x2+x2+x2+x2+x≤2
