Avaldis 13: "w" equals left parenthesis, left parenthesis, left parenthesis, "c" squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c"w=c2+c2+c2+c2+c
13
Avaldis 14: "v" equals left parenthesis, left parenthesis, left parenthesis, left parenthesis, "c" squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c"v=c2+c2+c2+c2+c2+c
14
Avaldis 15: "d" equals left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, "c" squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c"d=c2+c2+c2+c2+c2+c2+c
15
Avaldis 16: "g" equals left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, left parenthesis, "c" squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c" , right parenthesis squared plus "c"g=c2+c2+c2+c2+c2+c2+c2+c
16
Avaldis 17: "F" equals hsv left parenthesis, "K" , 1 , 1 , right parenthesisF=hsvK,1,1
17
Avaldis 18: "K" equals left bracket, 0...1 0 0 0 , right bracketK=0...1000
18
Avaldis 19: "y" equals left bracket, negative 5...5 , right brackety=−5...5
19
Avaldis 20: "R" equals left bracket, 1...1 0 0 0 , right bracketR=1...1000
20
Avaldis 21: "x" squared plus "y" squared equals "R" squaredx2+y2=R2
21
Avaldis 22: "f" equals left bracket, rgb left parenthesis, 89 , 62 , 152 , right parenthesis , rgb left parenthesis, 43 , 103 , 163 , right parenthesis , rgb left parenthesis, 54 , 128 , 65 , right parenthesis , rgb left parenthesis, 228 , 209 , 71 , right parenthesis , rgb left parenthesis, 226 , 117 , 27 , right parenthesis , rgb left parenthesis, 181 , 63 , 60 , right parenthesis , right bracketf=rgb89,62,152,rgb43,103,163,rgb54,128,65,rgb228,209,71,rgb226,117,27,rgb181,63,60