(%i1) '(if a > b then c else d) (%o1) if a > b then c else d (%i2) if a > b then c else d (%o2) if a > b then c else d (%i3) '(if a > b then c) (%o3) if a > b then c (%i4) if a > b then c (%o4) if a > b then c (%i5) '(if a then (if b then (if c then d else (if e then f else g)) else (if h then i else j)) else k) (%o5) if a then (if b then (if c then d else (if e then f else g)) else (if h then i else j)) else k (%i6) if a then (if b then (if c then d else (if e then f else g)) else (if h then i else j)) else k (%o6) if a then (if b then (if c then d else (if e then f else g)) else (if h then i else j)) else k (%i7) '(if a then b) (%o7) if a then b (%i8) '(if a then b else d) (%o8) if a then b else d (%i9) '(if a then b elseif c then false) (%o9) if a then b elseif c then false (%i10) '(if a then b elseif c then d) (%o10) if a then b elseif c then d (%i11) '(if a then b elseif c then d else f) (%o11) if a then b elseif c then d else f (%i12) '(if a then b elseif c then d elseif e then false) (%o12) if a then b elseif c then d elseif e then false (%i13) '(if a then b elseif c then d elseif e then f) (%o13) if a then b elseif c then d elseif e then f (%i14) '(if a then b elseif c then d elseif e then f else h) (%o14) if a then b elseif c then d elseif e then f else h (%i15) '(if a then b elseif c then d elseif e then f elseif g then false) (%o15) if a then b elseif c then d elseif e then f elseif g then false (%i16) '(if a then b elseif c then d elseif e then f elseif g then h) (%o16) if a then b elseif c then d elseif e then f elseif g then h (%i17) if a then b (%o17) if a then b (%i18) if a then b else d (%o18) if a then b else d (%i19) if a then b elseif c then false (%o19) if a then b elseif c then false (%i20) if a then b elseif c then d (%o20) if a then b elseif c then d (%i21) if a then b elseif c then d else f (%o21) if a then b elseif c then d else f (%i22) if a then b elseif c then d elseif e then false (%o22) if a then b elseif c then d elseif e then false (%i23) if a then b elseif c then d elseif e then f (%o23) if a then b elseif c then d elseif e then f (%i24) if a then b elseif c then d elseif e then f else h (%o24) if a then b elseif c then d elseif e then f else h (%i25) if a then b elseif c then d elseif e then f elseif g then false (%o25) if a then b elseif c then d elseif e then f elseif g then false (%i26) if a then b elseif c then d elseif e then f elseif g then h (%o26) if a then b elseif c then d elseif e then f elseif g then h 3 q (%i27) (a : z , b : -, c : x < 1024, d : 1729.0, p e : if a > b then c else d, f : if c < d then a elseif c < b then e else g, g : abs(r), h : %pi e, 0) (%o27) 0 (%i28) if a then b 3 q (%o28) if z then - p (%i29) if a then b else d 3 q (%o29) if z then - else 1729.0 p (%i30) if a then b elseif c then false 3 q (%o30) if z then - elseif x < 1024 then false p (%i31) if a then b elseif c then d 3 q (%o31) if z then - elseif x < 1024 then 1729.0 p (%i32) if a then b elseif c then d else f 3 q (%o32) if z then - elseif x < 1024 then 1729.0 p 3 q else (if x < 1024 < 1729.0 then z elseif x < 1024 < - p 3 q then (if z > - then x < 1024 else 1729.0) else g) p (%i33) if a then b elseif c then d elseif e then false 3 q (%o33) if z then - elseif x < 1024 then 1729.0 p 3 q elseif (if z > - then x < 1024 else 1729.0) then false p (%i34) if a then b elseif c then d elseif e then f 3 q (%o34) if z then - elseif x < 1024 then 1729.0 p 3 q elseif (if z > - then x < 1024 else 1729.0) p 3 q then (if x < 1024 < 1729.0 then z elseif x < 1024 < - p 3 q then (if z > - then x < 1024 else 1729.0) else g) p (%i35) if a then b elseif c then d elseif e then f else h 3 q (%o35) if z then - elseif x < 1024 then 1729.0 p 3 q elseif (if z > - then x < 1024 else 1729.0) p 3 q then (if x < 1024 < 1729.0 then z elseif x < 1024 < - p 3 q then (if z > - then x < 1024 else 1729.0) else g) p 3 q else %pi (if z > - then x < 1024 else 1729.0) p (%i36) if a then b elseif c then d elseif e then f elseif g then false 3 q (%o36) if z then - elseif x < 1024 then 1729.0 p 3 q elseif (if z > - then x < 1024 else 1729.0) p 3 q then (if x < 1024 < 1729.0 then z elseif x < 1024 < - p 3 q then (if z > - then x < 1024 else 1729.0) else g) elseif abs(r) p then false (%i37) if a then b elseif c then d elseif e then f elseif g then h 3 q (%o37) if z then - elseif x < 1024 then 1729.0 p 3 q elseif (if z > - then x < 1024 else 1729.0) p 3 q then (if x < 1024 < 1729.0 then z elseif x < 1024 < - p 3 q then (if z > - then x < 1024 else 1729.0) else g) elseif abs(r) p 3 q then %pi (if z > - then x < 1024 else 1729.0) p