1
(%i1) '(if a > b then c else d)
2
(%o1) if a > b then c else d
3
(%i2) if a > b then c else d
4
(%o2) if a > b then c else d
5
(%i3) '(if a > b then c)
9
(%i5) '(if a then (if b then (if c then d
10
else (if e then f else g)) else (if h then i else j)) else k)
11
(%o5) if a then (if b then (if c then d
12
else (if e then f else g)) else (if h then i else j)) else k
13
(%i6) if a then (if b then (if c then d
14
else (if e then f else g)) else (if h then i else j)) else k
15
(%o6) if a then (if b then (if c then d
16
else (if e then f else g)) else (if h then i else j)) else k
19
(%i8) '(if a then b else d)
20
(%o8) if a then b else d
21
(%i9) '(if a then b elseif c then false)
22
(%o9) if a then b elseif c then false
23
(%i10) '(if a then b elseif c then d)
24
(%o10) if a then b elseif c then d
25
(%i11) '(if a then b elseif c then d else f)
26
(%o11) if a then b elseif c then d else f
27
(%i12) '(if a then b elseif c then d elseif e then false)
28
(%o12) if a then b elseif c then d elseif e then false
29
(%i13) '(if a then b elseif c then d elseif e then f)
30
(%o13) if a then b elseif c then d elseif e then f
31
(%i14) '(if a then b elseif c then d elseif e then f else h)
32
(%o14) if a then b elseif c then d elseif e then f else h
33
(%i15) '(if a then b elseif c then d elseif e then f elseif g
35
(%o15) if a then b elseif c then d elseif e then f elseif g
37
(%i16) '(if a then b elseif c then d elseif e then f elseif g
39
(%o16) if a then b elseif c then d elseif e then f elseif g
43
(%i18) if a then b else d
44
(%o18) if a then b else d
45
(%i19) if a then b elseif c then false
46
(%o19) if a then b elseif c then false
47
(%i20) if a then b elseif c then d
48
(%o20) if a then b elseif c then d
49
(%i21) if a then b elseif c then d else f
50
(%o21) if a then b elseif c then d else f
51
(%i22) if a then b elseif c then d elseif e then false
52
(%o22) if a then b elseif c then d elseif e then false
53
(%i23) if a then b elseif c then d elseif e then f
54
(%o23) if a then b elseif c then d elseif e then f
55
(%i24) if a then b elseif c then d elseif e then f else h
56
(%o24) if a then b elseif c then d elseif e then f else h
57
(%i25) if a then b elseif c then d elseif e then f elseif g
59
(%o25) if a then b elseif c then d elseif e then f elseif g
61
(%i26) if a then b elseif c then d elseif e then f elseif g
63
(%o26) if a then b elseif c then d elseif e then f elseif g
66
(%i27) (a : z , b : -, c : x < 1024, d : 1729.0,
68
e : if a > b then c else d, f :
69
if c < d then a elseif c < b then e else g, g : abs(r),
76
(%i29) if a then b else d
78
(%o29) if z then - else 1729.0
80
(%i30) if a then b elseif c then false
82
(%o30) if z then - elseif x < 1024 then false
84
(%i31) if a then b elseif c then d
86
(%o31) if z then - elseif x < 1024 then 1729.0
88
(%i32) if a then b elseif c then d else f
90
(%o32) if z then - elseif x < 1024 then 1729.0
93
else (if x < 1024 < 1729.0 then z elseif x < 1024 < -
96
then (if z > - then x < 1024 else 1729.0) else g)
98
(%i33) if a then b elseif c then d elseif e then false
100
(%o33) if z then - elseif x < 1024 then 1729.0
103
elseif (if z > - then x < 1024 else 1729.0) then false
105
(%i34) if a then b elseif c then d elseif e then f
107
(%o34) if z then - elseif x < 1024 then 1729.0
110
elseif (if z > - then x < 1024 else 1729.0)
113
then (if x < 1024 < 1729.0 then z elseif x < 1024 < -
116
then (if z > - then x < 1024 else 1729.0) else g)
118
(%i35) if a then b elseif c then d elseif e then f else h
120
(%o35) if z then - elseif x < 1024 then 1729.0
123
elseif (if z > - then x < 1024 else 1729.0)
126
then (if x < 1024 < 1729.0 then z elseif x < 1024 < -
129
then (if z > - then x < 1024 else 1729.0) else g)
132
else %pi (if z > - then x < 1024 else 1729.0)
134
(%i36) if a then b elseif c then d elseif e then f elseif g
137
(%o36) if z then - elseif x < 1024 then 1729.0
140
elseif (if z > - then x < 1024 else 1729.0)
143
then (if x < 1024 < 1729.0 then z elseif x < 1024 < -
146
then (if z > - then x < 1024 else 1729.0) else g) elseif abs(r)
149
(%i37) if a then b elseif c then d elseif e then f elseif g
152
(%o37) if z then - elseif x < 1024 then 1729.0
155
elseif (if z > - then x < 1024 else 1729.0)
158
then (if x < 1024 < 1729.0 then z elseif x < 1024 < -
161
then (if z > - then x < 1024 else 1729.0) else g) elseif abs(r)
164
then %pi (if z > - then x < 1024 else 1729.0)