meta.lisp

Revision 177, 51.3 kB (checked in by BCS, 4 years ago)
More rules! If I haven't dropped a file in there somewhere this will now handle most single variable linear problems.

Line
1	(defconstant Meta_Rules
2	'(
3
4	#\|
5
6	The preferred form for results is with a single multiplication or division
7	operation on the outside and a single addtion or subtraction on the inside.
8
9	e.g.
10	(/> a (-> b x)))
11
12	Cases that can't be solved as a assignable form (e.g. (- x x) or (/ x x) ) are
13	to be commented out and marked with "xxx".
14
15	Cases that result in roots (e.g. (* x x) ) are to be commented out and marked
16	with "qqq".
17
18	Compound cases that can't be solved for anything more usefull than would
19	otherwise be generatedresult are to be commented out and marked with "---".
20
21	This definition scheme uses a number of "assignment functions" they are
22	not actually executable but represent actions to be preformed in imperative
23	conceptually, the function is assigned to and then in tern assigns to one
24	of it's arguments.
25
26	the assignment: results in the assignment:
27	(+> a b) := Y b := Y + a
28	(-> a b) := Y b := Y - a
29	(> a b) := Y b := Y a
30	(/> a b) := Y b := Y / a
31	(-r> a b) := Y b := a - Y
32	(/r> a b) := Y b := a / Y
33
34	\|#
35
36	;a
37	((+ a b) (+ a b)) ; a
38	((- a b) (- a b)) ; a
39	((* a b) (* a b)) ; a
40	((/ a b) (/ a b)) ; a
41
42	;x
43	((+ a x) (-> a x)) ; (-> a x)
44	((- a x) (-r> a x)) ; (-r> a x)
45	((* a x) (/> a x)) ; (/> a x)
46	((/ a x) (/r> a x)) ; (/r> a x)
47
48	((+ x a) (-> a x)) ; (-> a x)
49	((- x a) (+> a x)) ; (+> a x)
50	((* x a) (/> a x)) ; (/> a x)
51	((/ x a) (> a x)) ; (> a x)
52
53	;(-> b x)
54	((+ a (-> b x)) (-> (+ a b) x)) ; (-> a x)
55	((- a (-> b x)) (-r> (- a b) x)) ; (-r> a x)
56	((* a (-> b x)) (/> a (-> b x))) ; (/> a (-> b x)))
57	((/ a (-> b x)) (/r> a (-> b x))) ; (/r> a (-> b x)))
58
59	((+ (-> b x) a) (-> (+ a b) x)) ; (-> a x)
60	((- (-> b x) a) (+> (- a b) x)) ; (+> a x)
61	((* (-> b x) a) (/> a (-> b x))) ; (/> a (-> b x)))
62	((/ (-> b x) a) (> a (-> b x))) ; (> a (-> b x)))
63
64	;(+> b x)
65	((+ a (+> b x)) (+> (- b a) x)) ; (+> a x)
66	((- a (+> b x)) (-r> (+ a b) x)) ; (-r> a x)
67	((* a (+> b x)) (/> a (+> b x))) ; (/> a (+> b x)))
68	((/ a (+> b x)) (/r> a (+> b x))) ; (/r> a (+> b x)))
69
70	((+ (+> b x) a) (+> (- b a) x)) ; (+> a x)
71	((- (+> b x) a) (+> (+ a b) x)) ; (+> a x)
72	((* (+> b x) a) (/> a (+> b x))) ; (/> a (+> b x)))
73	((/ (+> b x) a) (> a (+> b x))) ; (> a (+> b x)))
74
75	;(/> b x)
76	((+ a (/> b x)) (/> b (-> (/ a b) x))) ; (/> a (-> b x)))
77	((- a (/> b x)) (/> b (-r> (/ a b) x))) ; (/> a (-r> b x)))
78	((* a (/> b x)) (/> (* a b) x)) ; (/> a x)
79	((/ a (/> b x)) (/r> (/ a b) x)) ; (/r> a x)
80
81	((+ (/> b x) a) (/> b (-> (/ a b) x))) ; (/> a (-> b x)))
82	((- (/> b x) a) (/> b (+> (/ a b) x))) ; (/> a (+> b x)))
83	((* (/> b x) a) (/> (* a b) x)) ; (/> a x)
84	((/ (/> b x) a) (> (/ a b) x)) ; (> a x)
85
86	;(*> b x)
87	((+ a (> b x)) (> b (-> (* a b) x))) ; (*> a (-> b x)))
88	((- a (> b x)) (> b (-r> (* a b) x))) ; (*> a (-r> b x)))
89	((* a (> b x)) (> (/ b a) x)) ; (*> a x)
90	((/ a (> b x)) (/r> ( a b) x)) ; (/r> a x)
91
92	((+ (> b x) a) (> b (-> (* a b) x))) ; (*> a (-> b x)))
93	((- (> b x) a) (> b (+> (* a b) x))) ; (*> a (+> b x)))
94	((* (> b x) a) (> (/ b a) x)) ; (*> a x)
95	((/ (> b x) a) (> (* a b) x)) ; (*> a x)
96
97	;(-r> b x)
98	((+ a (-r> b x)) (-r> (+ a b) x)) ; (-r> a x)
99	((- a (-r> b x)) (+> (- b a) x)) ; (+> a x)
100	; ((* a (-r> b x)) (---))
101	; ((/ a (-r> b x)) (---))
102
103	((+ (-r> b x) a) (-r> (+ a b) x)) ; (-r> a x)
104	((- (-r> b x) a) (-r> (- b a) x)) ; (-r> a x)
105	; ((* (-r> b x) a) (---))
106	; ((/ (-r> b x) a) (---))
107
108	;(/r> b x)
109	; ((+ a (/r> b x)) (---))
110	; ((- a (/r> b x)) (---))
111	((* a (/r> b x)) (/r> (* a b) x)) ; (/r> a x)
112	((/ a (/r> b x)) (> (/ b a) x)) ; (> a x)
113
114	; ((+ (/r> b x) a) (---))
115	; ((- (/r> b x) a) (---))
116	((* (/r> b x) a) (/r> (* a b) x)) ; (/r> a x)
117	((/ (/r> b x) a) (/r> (/ b a) x)) ; (/r> a x)
118
119	;(*> a (-> b x))
120	((+ c (> a (-> b x))) (> a (-> (+(* c a)b) x))) ; (*> a (-> b x))
121	((- c (> a (-> b x))) (> a (-r> (- (* a c) b) x))) ; (*> a (-r> b x))
122	((* c (> a (-> b x))) (> (/ a c) (-> b x))) ; (*> a (-> b x)))
123	((/ c (> a (-> b x))) (/r> ( c a ) (-> b x))) ; (/r> a (-> b x))
124
125	((+ (> a (-> b x)) c) (> a (-> (+(* c a)b) x))) ; (*> a (-> b x))
126	((- (> a (-> b x)) c) (> a (+> (- (* c a) b) x))) ; (*> a (+> b x))
127	((* (> a (-> b x)) c) (> (/ a c) (-> b x))) ; (*> a (-> b x))
128	((/ (> a (-> b x)) c) (> (* c a) (-> b x))) ; (*> a (-> b x))
129
130	;(/> a (-> b x))
131	((+ c (/> a (-> b x))) (/> a (-> (+ (/ c a) b) x))) ; (/> a (-> b x))
132	((- c (/> a (-> b x))) (/> a (-r> (- (/ c a) b) x))) ; (/> a (-r> b x))
133	((* c (/> a (-> b x))) (/> (* c a) (-> b x))) ; (/> a (-> b x))
134	((/ c (/> a (-> b x))) (/r> (/ c a) (-> b x))) ; (/r> a (-> b x))
135
136	((+ (/> a (-> b x)) c) (/> a (-> (+ (/ c a) b) x))) ; (/> a (-> b x))
137	((- (/> a (-> b x)) c) (/> a (+> (- (/ c a) b) x))) ; (/> a (+> b x))
138	((* (/> a (-> b x)) c) (/> (* c a) (-> b x))) ; (/> a (-> b x))
139	((/ (/> a (-> b x)) c) (> (/ c a) (-> b x))) ; (> a (-> b x))
140
141
142	;(/r> a (-> b x))
143	; ((+ c (/r> a (-> b x))) (xxx))
144	; ((- c (/r> a (-> b x))) (xxx))
145	((* c (/r> a (-> b x))) (/r> (* a c) (-> b x))) ; (/r> a (-> b x))
146	((/ c (/r> a (-> b x))) (> (/ a c) (-> b x))) ; (> a (-> b x))
147
148
149	; ((+ (/r> a (-> b x)) c) (xxx))
150	; ((- (/r> a (-> b x)) c) (xxx))
151	((* (/r> a (-> b x)) c) (/r> (* a c) (-> b x))) ; (/r> a (-> b x))
152	((/ (/r> a (-> b x)) c) (/r> (/ a c) (-> b x))) ; (/r> a (-> b x))
153
154	;(*> a (+> b x))
155	((+ c (> a (+> b x))) (> a (+> (- b (* c a)) x))) ; (*> a (+> b x))
156	((- c (> a (+> b x))) (> a (-r> (+ (* c a) b) x))) ; (*> a (-r> a x))
157	((* c (> a (+> b x))) (> (/ a c) (+> b x))) ; (*> a (+> b x))
158	((/ c (> a (+> b x))) (/r> ( a c) (+> b x))) ; (/r> a (+> b x))
159
160	((+ (> a (+> b x)) c) (> a (+> (- b (* c a)) x))) ; (*> a (+> b x))
161	((- (> a (+> b x)) c) (> a (+> (+ (* c a) b) x))) ; (*> a (+> b x))
162	((* (> a (+> b x)) c) (> (/ a c) (+> b x))) ; (*> a (+> b x))
163	((/ (> a (+> b x)) c) (> (* c a) (+> b x))) ; (*> a (+> b x))
164
165
166	;(/> a (+> b x))
167	((+ c (/> a (+> b x))) (/> a (+> (- b (/ c a)) x))) ; (/> a (+> b x))
168	((- c (/> a (+> b x))) (/> a (-r> (+ (/ c a) b) x))) ; (/> a (-r> b x))
169	((* c (/> a (+> b x))) (/> (* c a) (+> b x))) ; (/> a (+> b x))
170	((/ c (/> a (+> b x))) (/r> (/ c a) (+> b x))) ; (/r> a (+> b x))
171
172	((+ (/> a (+> b x)) c) (/> a (+> (- b (/ c a)) x))) ; (/> a (+> b x))
173	((- (/> a (+> b x)) c) (/> a (+> (+ (/ c a) b) x))) ; (/> a (+> b x))
174	((* (/> a (+> b x)) c) (/> (* c a) (+> b x))) ; (/> a (+> b x))
175	((/ (/> a (+> b x)) c) (> (/ c a) (+> b x))) ; (> a (+> b x))
176
177
178	;(/r> a (+> b x))
179	; ((+ c (/r> a (+> b x))) (xxx))
180	; ((- c (/r> a (+> b x))) (xxx))
181	((* c (/r> a (+> b x))) (/r> (* a c) (+> b x))) ; (/r> a (+> b x))
182	((/ c (/r> a (+> b x))) (> (/ a c) (+> b x))) ; (> a (+> b x))
183
184	; ((+ (/r> a (+> b x)) c) (xxx))
185	; ((- (/r> a (+> b x)) c) (xxx))
186	((* (/r> a (+> b x)) c) (/r> (* a c) (+> b x))) ; (/r> a (+> b x))
187	((/ (/r> a (+> b x)) c) (/r> (/ a c) (+> b x))) ; (/r> a (+> b x))
188
189
190
191	;(*> a (-r> b x))
192	((+ c (> a (-r> b x))) (> a (-r> (+ b (* c a)) x))) ; (*> a (-r> b x))
193	((- c (> a (-r> b x))) (> a (+> (- b (* c a)) x))) ; (*> a (+> b x))
194	((* c (> a (-r> b x))) (> (/ a c) (-r> b x))) ; (*> a (-r> b x))
195	((/ c (> a (-r> b x))) (/r> ( a c) (-r> b x))) ; (/r> a (-r> b x))
196
197	((+ (> a (-r> b x)) c) (> a (-r> (+ b (* c a)) x))) ; (*> a (-r> b x))
198	((- (> a (-r> b x)) c) (> a (-r> (- b (* c a)) x))) ; (*> a (-r> b x))
199	((* (> a (-r> b x)) c) (> (/ a c) (-r> b x))) ; (*> a (-r> b x))
200	((/ (> a (-r> b x)) c) (> (* a c) (-r> b x))) ; (*> a (-r> b x))
201
202
203	;(/> a (-r> b x))
204	((+ c (/> a (-r> b x))) (/> a (-r> (+ b (/ c a)) x))) ; (/> a (-r> b x))
205	((- c (/> a (-r> b x))) (/> a (+> (- b (/ c a)) x))) ; (/> a (+> b x))
206	((* c (/> a (-r> b x))) (/> (* a c) (-r> b x))) ; (/> a (-r> b x))
207	((/ c (/> a (-r> b x))) (/r> (/ c a) (-r> b x))) ; (/r> a (-r> b x))
208
209	((+ (/> a (-r> b x)) c) (/> a (-r> (+ b (/ c a)) x))) ; (/> a (-r> b x))
210	((- (/> a (-r> b x)) c) (/> a (-r> (- b (/ c a)) x))) ; (/> a (-r> b x))
211	((* (/> a (-r> b x)) c) (/> (* a c) (-r> b x))) ; (/> a (-r> b x))
212	((/ (/> a (-r> b x)) c) (> (/ c a) (-r> b x))) ; (> a (-r> b x))
213
214
215	((+ x x) (/> 2 x))
216	((+ x (+> e x)) (/> 2 (+> (/ e 2) x))) ; (/> a (+> b x))
217	((+ x (-> e x)) (/> 2 (-> (/ e 2) x))) ; (/> a (-> b x))
218	((+ x (*> e x)) (/> (+ (/ 1 e) 1) x)) ; (/> a x)
219	((+ x (/> e x)) (/> (+ 1 e) x)) ; (/> a x)
220	; ((+ x (-r> e x)) (xxx))
221	; ((+ x (/r> e x)) (xxx))
222	((+ X (*> F (+> E X))) (/> (+ 1 (/ 1 F)) (+> (/ (/ E F) (+ 1 (/ 1 F))) X)))
223	((+ X (*> F (-> E X))) (/> (+ 1 (/ 1 F)) (-> (/ (/ E F) (+ 1 (/ 1 F))) X)))
224	; ((+ x (*> f (-r> e x))) ())
225	((+ X (/> F (+> E X))) (/> (+ 1 F) (+> (/ (* E F) (+ 1 F)) X)))
226	((+ X (/> F (-> E X))) (/> (+ 1 F) (-> (/ (* E F) (+ 1 F)) X)))
227	; ((+ x (/> f (-r> e x))) ())
228	; ((+ x (/r> f (+> e x))) ())
229	; ((+ x (/r> f (-> e x))) ())
230	; ((+ x (/r> f (-r> e x))) ())
231
232	((+ (+> h x) x) (/> 2 (+> (/ h 2) x))) ; (/> a (+> b x))
233	; ((+ (+> h x) (+> e x)) ())
234	; ((+ (+> h x) (-> e x)) ())
235	; ((+ (+> h x) (*> e x)) ())
236	; ((+ (+> h x) (/> e x)) ())
237	; ((+ (+> h x) (-r> e x)) ())
238	; ((+ (+> h x) (/r> e x)) ())
239	; ((+ (+> h x) (*> f (+> e x))) ())
240	; ((+ (+> h x) (*> f (-> e x))) ())
241	; ((+ (+> h x) (*> f (-r> e x))) ())
242	; ((+ (+> h x) (/> f (+> e x))) ())
243	; ((+ (+> h x) (/> f (-> e x))) ())
244	; ((+ (+> h x) (/> f (-r> e x))) ())
245	; ((+ (+> h x) (/r> f (+> e x))) ())
246	; ((+ (+> h x) (/r> f (-> e x))) ())
247	; ((+ (+> h x) (/r> f (-r> e x))) ())
248
249	((+ (-> h x) x) (/> 2 (-> (/ h 2) x))) ; (/> a (-> b x))
250	; ((+ (-> h x) (+> e x)) ())
251	; ((+ (-> h x) (-> e x)) ())
252	; ((+ (-> h x) (*> e x)) ())
253	; ((+ (-> h x) (/> e x)) ())
254	; ((+ (-> h x) (-r> e x)) ())
255	; ((+ (-> h x) (/r> e x)) ())
256	; ((+ (-> h x) (*> f (+> e x))) ())
257	; ((+ (-> h x) (*> f (-> e x))) ())
258	; ((+ (-> h x) (*> f (-r> e x))) ())
259	; ((+ (-> h x) (/> f (+> e x))) ())
260	; ((+ (-> h x) (/> f (-> e x))) ())
261	; ((+ (-> h x) (/> f (-r> e x))) ())
262	; ((+ (-> h x) (/r> f (+> e x))) ())
263	; ((+ (-> h x) (/r> f (-> e x))) ())
264	; ((+ (-> h x) (/r> f (-r> e x))) ())
265
266	((+ (*> h x) x) (/> (+ (/ 1 h) 1) x)) ; (/> a x)
267	; ((+ (*> h x) (+> e x)) ())
268	; ((+ (*> h x) (-> e x)) ())
269	((+ (> H X) (> E X)) (/> (+ (/ 1 H) (/ 1 E)) X))
270	((+ (*> H X) (/> E X)) (/> (+ (/ 1 H) E) X))
271	; ((+ (*> h x) (-r> e x)) ())
272	; ((+ (*> h x) (/r> e x)) ())
273	((+ (> H X) (> F (+> E X))) (/> (+ (/ 1 H) (/ 1 F)) (+> (/ (/ E F) (+ (/ 1 H) (/ 1 F))) X)))
274	((+ (> H X) (> F (-> E X))) (/> (+ (/ 1 H) (/ 1 F)) (-> (/ (/ E F) (+ (/ 1 H) (/ 1 F))) X)))
275	; ((+ (> h x) (> f (-r> e x))) ())
276	((+ (> H X) (/> F (+> E X))) (/> (+ (/ 1 H) F) (+> (/ ( E F) (+ (/ 1 H) F)) X)))
277	((+ (> H X) (/> F (-> E X))) (/> (+ (/ 1 H) F) (-> (/ ( E F) (+ (/ 1 H) F)) X)))
278	; ((+ (*> h x) (/> f (-r> e x))) ())
279	; ((+ (*> h x) (/r> f (+> e x))) ())
280	; ((+ (*> h x) (/r> f (-> e x))) ())
281	; ((+ (*> h x) (/r> f (-r> e x))) ())
282
283	((+ (/> h x) x) (/> (+ h 1) x)) ; (/> a x)
284	; ((+ (/> h x) (+> e x)) ())
285	; ((+ (/> h x) (-> e x)) ())
286	((+ (/> H X) (*> E X)) (/> (+ H (/ 1 E)) X))
287	((+ (/> h x) (/> c x)) (/> (+ h c) x))
288	; ((+ (/> h x) (-r> e x)) ())
289	; ((+ (/> h x) (/r> e x)) ())
290	((+ (/> H X) (*> F (+> E X))) (/> (+ H (/ 1 F)) (+> (/ (/ E F) (+ H (/ 1 F))) X)))
291	((+ (/> H X) (*> F (-> E X))) (/> (+ H (/ 1 F)) (-> (/ (/ E F) (+ H (/ 1 F))) X)))
292	; ((+ (/> h x) (*> f (-r> e x))) ())
293	((+ (/> H X) (/> F (+> E X))) (/> (+ H F) (+> (/ (* E F) (+ H F)) X)))
294	((+ (/> H X) (/> F (-> E X))) (/> (+ H F) (-> (/ (* E F) (+ H F)) X)))
295	; ((+ (/> h x) (/> f (-r> e x))) ())
296	; ((+ (/> h x) (/r> f (+> e x))) ())
297	; ((+ (/> h x) (/r> f (-> e x))) ())
298	; ((+ (/> h x) (/r> f (-r> e x))) ())
299
300	; ((+ (-r> h x) x) (xxx))
301	; ((+ (-r> h x) (+> e x)) ())
302	; ((+ (-r> h x) (-> e x)) ())
303	; ((+ (-r> h x) (*> e x)) ())
304	; ((+ (-r> h x) (/> e x)) ())
305	; ((+ (-r> h x) (-r> e x)) ())
306	; ((+ (-r> h x) (/r> e x)) ())
307	; ((+ (-r> h x) (*> f (+> e x))) ())
308	; ((+ (-r> h x) (*> f (-> e x))) ())
309	; ((+ (-r> h x) (*> f (-r> e x))) ())
310	; ((+ (-r> h x) (/> f (+> e x))) ())
311	; ((+ (-r> h x) (/> f (-> e x))) ())
312	; ((+ (-r> h x) (/> f (-r> e x))) ())
313	; ((+ (-r> h x) (/r> f (+> e x))) ())
314	; ((+ (-r> h x) (/r> f (-> e x))) ())
315	; ((+ (-r> h x) (/r> f (-r> e x))) ())
316
317	; ((+ (/r> h x) x) (qqq))
318	; ((+ (/r> h x) (+> e x)) ())
319	; ((+ (/r> h x) (-> e x)) ())
320	; ((+ (/r> h x) (*> e x)) ())
321	; ((+ (/r> h x) (/> e x)) ())
322	; ((+ (/r> h x) (-r> e x)) ())
323	((+ (/r> h x) (/r> e x)) (/r> (+ h e) x))
324	; ((+ (/r> h x) (*> f (+> e x))) ())
325	; ((+ (/r> h x) (*> f (-> e x))) ())
326	; ((+ (/r> h x) (*> f (-r> e x))) ())
327	; ((+ (/r> h x) (/> f (+> e x))) ())
328	; ((+ (/r> h x) (/> f (-> e x))) ())
329	; ((+ (/r> h x) (/> f (-r> e x))) ())
330	; ((+ (/r> h x) (/r> f (+> e x))) ())
331	; ((+ (/r> h x) (/r> f (-> e x))) ())
332	; ((+ (/r> h x) (/r> f (-r> e x))) ())
333
334	((+ (*> k (+> h x)) x) (/> (+ (/ 1 k) 1) (+> (/ (/ h k) (+ (/ 1 k) 1)) x))) ; (/> A (+> B x))
335	; ((+ (*> k (+> h x)) (+> e x)) ())
336	; ((+ (*> k (+> h x)) (-> e x)) ())
337	((+ (> K (+> H X)) (> E X)) (/> (+ (/ 1 K) (/ 1 E)) (+> (/ (/ H K) (+ (/ 1 K) (/ 1 E))) X)))
338	((+ (*> K (+> H X)) (/> E X)) (/> (+ (/ 1 K) E) (+> (/ (/ H K) (+ (/ 1 K) E)) X)))
339	; ((+ (*> k (+> h x)) (-r> e x)) ())
340	; ((+ (*> k (+> h x)) (/r> e x)) ())
341	((+ (> K (+> H X)) (> F (+> E X))) (/> (+ (/ 1 K) (/ 1 F)) (+> (/ (+ (/ H K) (/ E F)) (+ (/ 1 K) (/ 1 F))) X)))
342	; ((+ (> k (+> h x)) (> f (-> e x))) ())
343	; ((+ (> k (+> h x)) (> f (-r> e x))) ())
344	((+ (> K (+> H X)) (/> F (+> E X))) (/> (+ F (/ 1 K)) (+> (/ (+ (/ H K) ( E F)) (+ F (/ 1 K))) X)))
345	; ((+ (*> k (+> h x)) (/> f (-> e x))) ())
346	; ((+ (*> k (+> h x)) (/> f (-r> e x))) ())
347	; ((+ (*> k (+> h x)) (/r> f (+> e x))) ())
348	; ((+ (*> k (+> h x)) (/r> f (-> e x))) ())
349	; ((+ (*> k (+> h x)) (/r> f (-r> e x))) ())
350
351	; ((+ (*> k (-> h x)) x) ())
352	; ((+ (*> k (-> h x)) (+> e x)) ())
353	; ((+ (*> k (-> h x)) (-> e x)) ())
354	((+ (> K (-> H X)) (> E X)) (/> (+ (/ 1 K) (/ 1 E)) (-> (/ (/ H K) (+ (/ 1 K) (/ 1 E))) X)))
355	((+ (*> K (-> H X)) (/> E X)) (/> (+ E (/ 1 K)) (-> (/ (/ H K) (+ E (/ 1 K))) X)))
356	; ((+ (*> k (-> h x)) (-r> e x)) ())
357	; ((+ (*> k (-> h x)) (/r> e x)) ())
358	; ((+ (> k (-> h x)) (> f (+> e x))) ())
359	((+ (> K (-> H X)) (> F (-> E X))) (/> (+ (/ 1 K) (/ 1 F)) (-> (/ (+ (/ E F) (/ H K)) (+ (/ 1 K) (/ 1 F))) X)))
360	; ((+ (> k (-> h x)) (> f (-r> e x))) ())
361	; ((+ (*> k (-> h x)) (/> f (+> e x))) ())
362	; ((+ (*> k (-> h x)) (/> f (-> e x))) ())
363	((+ (> K (-> H X)) (/> F (-> E X))) (/> (+ (/ 1 K) F) (-> (/ (+ ( H (/ 1 K)) (* E F)) (+ (/ 1 K) F)) X)))
364	; ((+ (*> k (-> h x)) (/> f (-r> e x))) ())
365	; ((+ (*> k (-> h x)) (/r> f (+> e x))) ())
366	; ((+ (*> k (-> h x)) (/r> f (-> e x))) ())
367	; ((+ (*> k (-> h x)) (/r> f (-r> e x))) ())
368
369	; ((+ (*> k (-r> h x)) x) ())
370	; ((+ (*> k (-r> h x)) (+> e x)) ())
371	; ((+ (*> k (-r> h x)) (-> e x)) ())
372	; ((+ (> k (-r> h x)) (> e x)) ())
373	; ((+ (*> k (-r> h x)) (/> e x)) ())
374	; ((+ (*> k (-r> h x)) (-r> e x)) ())
375	; ((+ (*> k (-r> h x)) (/r> e x)) ())
376	; ((+ (> k (-r> h x)) (> f (+> e x))) ())
377	; ((+ (> k (-r> h x)) (> f (-> e x))) ())
378	; ((+ (> k (-r> h x)) (> f (-r> e x))) ())
379	; ((+ (*> k (-r> h x)) (/> f (+> e x))) ())
380	; ((+ (*> k (-r> h x)) (/> f (-> e x))) ())
381	; ((+ (*> k (-r> h x)) (/> f (-r> e x))) ())
382	; ((+ (*> k (-r> h x)) (/r> f (+> e x))) ())
383	; ((+ (*> k (-r> h x)) (/r> f (-> e x))) ())
384	; ((+ (*> k (-r> h x)) (/r> f (-r> e x))) ())
385
386	((+ (/> k (+> h x)) x) (/> (+ k 1) (+> (/ (* h k) (+ k 1)) x))) ; (/> A (+> B x))
387	; ((+ (/> k (+> h x)) (+> e x)) ())
388	; ((+ (/> k (+> h x)) (-> e x)) ())
389	((+ (/> K (+> H X)) (> E X)) (/> (+ K (/ 1 E)) (+> (/ ( H K) (+ K (/ 1 E))) X)))
390	((+ (/> K (+> H X)) (/> E X)) (/> (+ K E) (+> (/ (* H K) (+ K E)) X)))
391	; ((+ (/> k (+> h x)) (-r> e x)) ())
392	; ((+ (/> k (+> h x)) (/r> e x)) ())
393	((+ (/> K (+> H X)) (> F (+> E X))) (/> (+ K (/ 1 F)) (+> (/ (+ ( H K) (/ E F)) (+ K (/ 1 F))) X)))
394	; ((+ (/> k (+> h x)) (*> f (-> e x))) ())
395	; ((+ (/> k (+> h x)) (*> f (-r> e x))) ())
396	((+ (/> K (+> H X)) (/> F (+> E X))) (/> (+ K F) (+> (/ (+ (* H K) (* E F)) (+ K F)) X)))
397	; ((+ (/> k (+> h x)) (/> f (-> e x))) ())
398	; ((+ (/> k (+> h x)) (/> f (-r> e x))) ())
399	; ((+ (/> k (+> h x)) (/r> f (+> e x))) ())
400	; ((+ (/> k (+> h x)) (/r> f (-> e x))) ())
401	; ((+ (/> k (+> h x)) (/r> f (-r> e x))) ())
402
403	((+ (/> k (-> h x)) x) (/> (+ k 1) (-> (/ (* h k) (+ k 1)) x))) ; (/> A (-> B x))
404	; ((+ (/> k (-> h x)) (+> e x)) ())
405	; ((+ (/> k (-> h x)) (-> e x)) ())
406	((+ (/> K (-> H X)) (> E X)) (/> (+ K (/ 1 E)) (-> (/ ( H K) (+ K (/ 1 E))) X)))
407	((+ (/> K (-> H X)) (/> E X)) (/> (+ K E) (-> (/ (* H K) (+ K E)) X)))
408	; ((+ (/> k (-> h x)) (-r> e x)) ())
409	; ((+ (/> k (-> h x)) (/r> e x)) ())
410	; ((+ (/> k (-> h x)) (*> f (+> e x))) ())
411	; ((+ (/> k (-> h x)) (*> f (-> e x))) ())
412	((+ (/> K (-> H X)) (> F (-> E X))) (/> (+ K (/ 1 F)) (-> (/ (+ ( H K) (/ E F)) (+ K (/ 1 F))) X)))
413	; ((+ (/> k (-> h x)) (*> f (-r> e x))) ())
414	; ((+ (/> k (-> h x)) (/> f (+> e x))) ())
415	((+ (/> K (-> H X)) (/> F (-> E X))) (/> (+ K F) (-> (/ (+ (* H K) (* E F)) (+ K F)) X)))
416	; ((+ (/> k (-> h x)) (/> f (-r> e x))) ())
417	; ((+ (/> k (-> h x)) (/r> f (+> e x))) ())
418	; ((+ (/> k (-> h x)) (/r> f (-> e x))) ())
419	; ((+ (/> k (-> h x)) (/r> f (-r> e x))) ())
420
421	; ((+ (/> k (-r> h x)) x) ())
422	; ((+ (/> k (-r> h x)) (+> e x)) ())
423	; ((+ (/> k (-r> h x)) (-> e x)) ())
424	; ((+ (/> k (-r> h x)) (*> e x)) ())
425	; ((+ (/> k (-r> h x)) (/> e x)) ())
426	; ((+ (/> k (-r> h x)) (-r> e x)) ())
427	; ((+ (/> k (-r> h x)) (/r> e x)) ())
428	; ((+ (/> k (-r> h x)) (*> f (+> e x))) ())
429	; ((+ (/> k (-r> h x)) (*> f (-> e x))) ())
430	; ((+ (/> k (-r> h x)) (*> f (-r> e x))) ())
431	; ((+ (/> k (-r> h x)) (/> f (+> e x))) ())
432	; ((+ (/> k (-r> h x)) (/> f (-> e x))) ())
433	; ((+ (/> k (-r> h x)) (/> f (-r> e x))) ())
434	; ((+ (/> k (-r> h x)) (/r> f (+> e x))) ())
435	; ((+ (/> k (-r> h x)) (/r> f (-> e x))) ())
436	; ((+ (/> k (-r> h x)) (/r> f (-r> e x))) ())
437
438	; ((+ (/r> k (+> h x)) x) ())
439	; ((+ (/r> k (+> h x)) (+> e x)) ())
440	; ((+ (/r> k (+> h x)) (-> e x)) ())
441	; ((+ (/r> k (+> h x)) (*> e x)) ())
442	; ((+ (/r> k (+> h x)) (/> e x)) ())
443	; ((+ (/r> k (+> h x)) (-r> e x)) ())
444	; ((+ (/r> k (+> h x)) (/r> e x)) ())
445	; ((+ (/r> k (+> h x)) (*> f (+> e x))) ())
446	; ((+ (/r> k (+> h x)) (*> f (-> e x))) ())
447	; ((+ (/r> k (+> h x)) (*> f (-r> e x))) ())
448	; ((+ (/r> k (+> h x)) (/> f (+> e x))) ())
449	; ((+ (/r> k (+> h x)) (/> f (-> e x))) ())
450	; ((+ (/r> k (+> h x)) (/> f (-r> e x))) ())
451	; ((+ (/r> k (+> h x)) (/r> f (+> e x))) ())
452	; ((+ (/r> k (+> h x)) (/r> f (-> e x))) ())
453	; ((+ (/r> k (+> h x)) (/r> f (-r> e x))) ())
454
455	; ((+ (/r> k (-> h x)) x) (xxx))
456	; ((+ (/r> k (-> h x)) (+> e x)) ())
457	; ((+ (/r> k (-> h x)) (-> e x)) ())
458	; ((+ (/r> k (-> h x)) (*> e x)) ())
459	; ((+ (/r> k (-> h x)) (/> e x)) ())
460	; ((+ (/r> k (-> h x)) (-r> e x)) ())
461	; ((+ (/r> k (-> h x)) (/r> e x)) ())
462	; ((+ (/r> k (-> h x)) (*> f (+> e x))) ())
463	; ((+ (/r> k (-> h x)) (*> f (-> e x))) ())
464	; ((+ (/r> k (-> h x)) (*> f (-r> e x))) ())
465	; ((+ (/r> k (-> h x)) (/> f (+> e x))) ())
466	; ((+ (/r> k (-> h x)) (/> f (-> e x))) ())
467	; ((+ (/r> k (-> h x)) (/> f (-r> e x))) ())
468	; ((+ (/r> k (-> h x)) (/r> f (+> e x))) ())
469	; ((+ (/r> k (-> h x)) (/r> f (-> e x))) ())
470	; ((+ (/r> k (-> h x)) (/r> f (-r> e x))) ())
471
472	; ((+ (/r> k (-r> h x)) x) (xxx))
473	; ((+ (/r> k (-r> h x)) (+> e x)) ())
474	; ((+ (/r> k (-r> h x)) (-> e x)) ())
475	; ((+ (/r> k (-r> h x)) (*> e x)) ())
476	; ((+ (/r> k (-r> h x)) (/> e x)) ())
477	; ((+ (/r> k (-r> h x)) (-r> e x)) ())
478	; ((+ (/r> k (-r> h x)) (/r> e x)) ())
479	; ((+ (/r> k (-r> h x)) (*> f (+> e x))) ())
480	; ((+ (/r> k (-r> h x)) (*> f (-> e x))) ())
481	; ((+ (/r> k (-r> h x)) (*> f (-r> e x))) ())
482	; ((+ (/r> k (-r> h x)) (/> f (+> e x))) ())
483	; ((+ (/r> k (-r> h x)) (/> f (-> e x))) ())
484	; ((+ (/r> k (-r> h x)) (/> f (-r> e x))) ())
485	; ((+ (/r> k (-r> h x)) (/r> f (+> e x))) ())
486	; ((+ (/r> k (-r> h x)) (/r> f (-> e x))) ())
487	; ((+ (/r> k (-r> h x)) (/r> f (-r> e x))) ())
488
489	((- x x) 0)
490	((- x (+> e x)) e)
491	((- x (-> e x)) (- 0 e))
492	((- x (*> e x)) (/> (- 1 (/ 1 e)) x))
493	((- x (/> e x)) (/> (- 1 e) x))
494	((- x (-r> e x)) (/> 2 (+> (/ e 2) x)))
495	; ((- x (/r> e x)) (xxx))
496	((- X (*> F (+> E X))) (/> (- 1 (/ 1 F)) (-> (/ (/ E F) (- 1 (/ 1 F))) X)))
497	((- X (*> F (-> E X))) (/> (- 1 (/ 1 F)) (+> (/ (/ E F) (- 1 (/ 1 F))) X)))
498	((- X (*> F (-R> E X))) (/> (+ 1 (/ 1 F)) (+> (/ (/ E F) (+ 1 (/ 1 F))) X)))
499	((- X (/> F (+> E X))) (/> (- 1 F) (-> (/ (* E F) (- 1 F)) X)))
500	((- X (/> F (-> E X))) (/> (- 1 F) (+> (/ (* E F) (- 1 F)) X)))
501	((- X (/> F (-R> E X))) (/> (+ 1 F) (-> (/ (* E F) (+ 1 F)) X)))
502	; ((- x (/r> f (+> e x))) ())
503	; ((- x (/r> f (-> e x))) ())
504	; ((- x (/r> f (-r> e x))) ())
505
506	; ((- (+> h x) x) (xxx))
507	; ((- (+> h x) (+> e x)) ())
508	; ((- (+> h x) (-> e x)) ())
509	; ((- (+> h x) (*> e x)) ())
510	; ((- (+> h x) (/> e x)) ())
511	; ((- (+> h x) (-r> e x)) ())
512	; ((- (+> h x) (/r> e x)) ())
513	; ((- (+> h x) (*> f (+> e x))) ())
514	; ((- (+> h x) (*> f (-> e x))) ())
515	; ((- (+> h x) (*> f (-r> e x))) ())
516	; ((- (+> h x) (/> f (+> e x))) ())
517	; ((- (+> h x) (/> f (-> e x))) ())
518	; ((- (+> h x) (/> f (-r> e x))) ())
519	; ((- (+> h x) (/r> f (+> e x))) ())
520	; ((- (+> h x) (/r> f (-> e x))) ())
521	; ((- (+> h x) (/r> f (-r> e x))) ())
522
523	; ((- (-> h x) x) (xxx))
524	; ((- (-> h x) (+> e x)) ())
525	; ((- (-> h x) (-> e x)) ())
526	; ((- (-> h x) (*> e x)) ())
527	; ((- (-> h x) (/> e x)) ())
528	; ((- (-> h x) (-r> e x)) ())
529	; ((- (-> h x) (/r> e x)) ())
530	; ((- (-> h x) (*> f (+> e x))) ())
531	; ((- (-> h x) (*> f (-> e x))) ())
532	; ((- (-> h x) (*> f (-r> e x))) ())
533	; ((- (-> h x) (/> f (+> e x))) ())
534	; ((- (-> h x) (/> f (-> e x))) ())
535	; ((- (-> h x) (/> f (-r> e x))) ())
536	; ((- (-> h x) (/r> f (+> e x))) ())
537	; ((- (-> h x) (/r> f (-> e x))) ())
538	; ((- (-> h x) (/r> f (-r> e x))) ())
539
540	((- (*> h x) x) (/> (- (/ 1 h) 1) x))
541	; ((- (*> h x) (+> e x)) ())
542	; ((- (*> h x) (-> e x)) ())
543	((- (> H X) (> E X)) (/> (- (/ 1 H) (/ 1 E)) X))
544	((- (*> H X) (/> E X)) (/> (- (/ 1 H) E) X))
545	; ((- (*> h x) (-r> e x)) ())
546	; ((- (*> h x) (/r> e x)) ())
547	((- (> H X) (> F (+> E X))) (/> (- (/ 1 H) (/ 1 F)) (+> (/ (/ E F) (- (/ 1 H) (/ 1 F))) X)))
548	((- (> h x) (> a (-> b x))) (+> (/ b a) (/> (- (/ 1 h) (/ 1 a)) x)))
549	; ((- (> h x) (> f (-r> e x))) ())
550	((- (> H X) (/> F (+> E X))) (/> (- (/ 1 H) F) (-> (/ ( E F) (- (/ 1 H) F)) X)))
551	((- (> h x) (/> f (-> e x))) (/> (- (/ 1 h) f) (+> (/ ( e f) (- (/ 1 h) f)) x)))
552	; ((- (*> h x) (/> f (-r> e x))) ())
553	; ((- (*> h x) (/r> f (+> e x))) ())
554	; ((- (*> h x) (/r> f (-> e x))) ())
555	; ((- (*> h x) (/r> f (-r> e x))) ())
556
557	((- (/> h x) x) (/> (- h 1) x))
558	; ((- (/> h x) (+> e x)) ())
559	; ((- (/> h x) (-> e x)) ())
560	((- (/> h x) (*> e x)) (/> (- h (/ 1 e)) x))
561	((- (/> h x) (/> e x)) (/> (- h e) x))
562	; ((- (/> h x) (-r> e x)) ())
563	; ((- (/> h x) (/r> e x)) ())
564	((- (/> H X) (*> F (+> E X))) (/> (- H (/ 1 F)) (-> (/ (/ E F) (- H (/ 1 F))) X)))
565	((- (/> h x) (*> f (-> e x))) (/> (- h (/ 1 f)) (+> (/ (/ e f) (- h (/ 1 f))) x)))
566	; ((- (/> h x) (*> f (-r> e x))) ())
567	((- (/> H X) (/> F (+> E X))) (/> (- H F) (-> (/ (* E F) (- H F)) X)))
568	((- (/> h x) (/> f (-> e x))) (/> (- h f) (+> (/ (* e f) (- h f)) x)))
569	; ((- (/> h x) (/> f (-r> e x))) ())
570	; ((- (/> h x) (/r> f (+> e x))) ())
571	; ((- (/> h x) (/r> f (-> e x))) ())
572	; ((- (/> h x) (/r> f (-r> e x))) ())
573
574	((- (-r> h x) x) (/> 2 (-r> (/ h 2) x)))
575	; ((- (-r> h x) (+> e x)) ())
576	; ((- (-r> h x) (-> e x)) ())
577	; ((- (-r> h x) (*> e x)) ())
578	; ((- (-r> h x) (/> e x)) ())
579	; ((- (-r> h x) (-r> e x)) ())
580	; ((- (-r> h x) (/r> e x)) ())
581	; ((- (-r> h x) (*> f (+> e x))) ())
582	; ((- (-r> h x) (*> f (-> e x))) ())
583	; ((- (-r> h x) (*> f (-r> e x))) ())
584	; ((- (-r> h x) (/> f (+> e x))) ())
585	; ((- (-r> h x) (/> f (-> e x))) ())
586	; ((- (-r> h x) (/> f (-r> e x))) ())
587	; ((- (-r> h x) (/r> f (+> e x))) ())
588	; ((- (-r> h x) (/r> f (-> e x))) ())
589	; ((- (-r> h x) (/r> f (-r> e x))) ())
590
591	; ((- (/r> h x) x) (xxx))
592	; ((- (/r> h x) (+> e x)) ())
593	; ((- (/r> h x) (-> e x)) ())
594	; ((- (/r> h x) (*> e x)) ())
595	; ((- (/r> h x) (/> e x)) ())
596	; ((- (/r> h x) (-r> e x)) ())
597	((- (/r> h x) (/r> e x)) (/r> (- h e) x))
598	; ((- (/r> h x) (*> f (+> e x))) ())
599	; ((- (/r> h x) (*> f (-> e x))) ())
600	; ((- (/r> h x) (*> f (-r> e x))) ())
601	; ((- (/r> h x) (/> f (+> e x))) ())
602	; ((- (/r> h x) (/> f (-> e x))) ())
603	; ((- (/r> h x) (/> f (-r> e x))) ())
604	; ((- (/r> h x) (/r> f (+> e x))) ())
605	; ((- (/r> h x) (/r> f (-> e x))) ())
606	; ((- (/r> h x) (/r> f (-r> e x))) ())
607
608	; ((- (*> k (+> h x)) x) ())
609	; ((- (*> k (+> h x)) (+> e x)) ())
610	; ((- (*> k (+> h x)) (-> e x)) ())
611	((- (> K (+> H X)) (> E X)) (/> (- (/ 1 K) (/ 1 E)) (+> (/ (/ H K) (- (/ 1 K) (/ 1 E))) X)))
612	((- (*> K (+> H X)) (/> E X)) (/> (- (/ 1 K) E) (+> (/ (/ H K) (- (/ 1 K) E)) X)))
613	; ((- (*> k (+> h x)) (-r> e x)) ())
614	; ((- (*> k (+> h x)) (/r> e x)) ())
615	((- (> K (+> H X)) (> F (+> E X))) (/> (- (/ 1 K) (/ 1 F)) (-> (/ (- (/ E F) (/ H K)) (- (/ 1 K) (/ 1 F))) X)))
616	; ((- (> k (+> h x)) (> f (-> e x))) ())
617	; ((- (> k (+> h x)) (> f (-r> e x))) ())
618	((- (> K (+> H X)) (/> F (+> E X))) (/> (- (/ 1 K) F) (-> (/ (- ( E F) (/ H K)) (- (/ 1 K) F)) X)))
619	; ((- (*> k (+> h x)) (/> f (-> e x))) ())
620	; ((- (*> k (+> h x)) (/> f (-r> e x))) ())
621	; ((- (*> k (+> h x)) (/r> f (+> e x))) ())
622	; ((- (*> k (+> h x)) (/r> f (-> e x))) ())
623	; ((- (*> k (+> h x)) (/r> f (-r> e x))) ())
624
625	; ((- (*> k (-> h x)) x) ())
626	; ((- (*> k (-> h x)) (+> e x)) ())
627	; ((- (*> k (-> h x)) (-> e x)) ())
628	((- (> K (-> H X)) (> E X)) (/> (- (/ 1 K) (/ 1 E)) (-> (/ (/ H K) (- (/ 1 K) (/ 1 E))) X)))
629	((- (*> K (-> H X)) (/> E X)) (/> (- (/ 1 K) E) (-> (/ (/ H K) (- (/ 1 K) E)) X)))
630	; ((- (*> k (-> h x)) (-r> e x)) ())
631	; ((- (*> k (-> h x)) (/r> e x)) ())
632	; ((- (> k (-> h x)) (> f (+> e x))) ())
633	((- (> K (-> H X)) (> F (-> E X))) (/> (- (/ 1 K) (/ 1 F)) (-> (/ (- (/ H K) (/ E F)) (- (/ 1 K) (/ 1 F))) X)))
634	; ((- (> k (-> h x)) (> f (-r> e x))) ())
635	; ((- (*> k (-> h x)) (/> f (+> e x))) ())
636	((- (> k (-> h x)) (/> f (-> e x))) (/> (- (/ 1 k) f) (-> (/ (- (/ h k) ( e f)) (- (/ 1 k) f)) x)))
637	; ((- (*> k (-> h x)) (/> f (-r> e x))) ())
638	; ((- (*> k (-> h x)) (/r> f (+> e x))) ())
639	; ((- (*> k (-> h x)) (/r> f (-> e x))) ())
640	; ((- (*> k (-> h x)) (/r> f (-r> e x))) ())
641
642	; ((- (*> k (-r> h x)) x) ())
643	; ((- (*> k (-r> h x)) (+> e x)) ())
644	; ((- (*> k (-r> h x)) (-> e x)) ())
645	; ((- (> k (-r> h x)) (> e x)) ())
646	; ((- (*> k (-r> h x)) (/> e x)) ())
647	; ((- (*> k (-r> h x)) (-r> e x)) ())
648	; ((- (*> k (-r> h x)) (/r> e x)) ())
649	; ((- (> k (-r> h x)) (> f (+> e x))) ())
650	; ((- (> k (-r> h x)) (> f (-> e x))) ())
651	; ((- (> k (-r> h x)) (> f (-r> e x))) ())
652	; ((- (*> k (-r> h x)) (/> f (+> e x))) ())
653	; ((- (*> k (-r> h x)) (/> f (-> e x))) ())
654	; ((- (*> k (-r> h x)) (/> f (-r> e x))) ())
655	; ((- (*> k (-r> h x)) (/r> f (+> e x))) ())
656	; ((- (*> k (-r> h x)) (/r> f (-> e x))) ())
657	; ((- (*> k (-r> h x)) (/r> f (-r> e x))) ())
658
659	; ((- (/> k (+> h x)) x) ())
660	; ((- (/> k (+> h x)) (+> e x)) ())
661	; ((- (/> k (+> h x)) (-> e x)) ())
662	((- (/> K (+> H X)) (> E X)) (/> (- K (/ 1 E)) (+> (/ ( H K) (- K (/ 1 E))) X)))
663	((- (/> K (+> H X)) (/> E X)) (/> (- K E) (+> (/ (* H K) (- K E)) X)))
664	; ((- (/> k (+> h x)) (-r> e x)) ())
665	; ((- (/> k (+> h x)) (/r> e x)) ())
666	((- (/> K (+> H X)) (> F (+> E X))) (/> (- K (/ 1 F)) (-> (/ (- (/ E F) ( H K)) (- K (/ 1 F))) X)))
667	; ((- (/> k (+> h x)) (*> f (-> e x))) ())
668	; ((- (/> k (+> h x)) (*> f (-r> e x))) ())
669	((- (/> K (+> H X)) (/> F (+> E X))) (/> (- K F) (-> (/ (- (* E F) (* H K)) (- K F)) X)))
670	; ((- (/> k (+> h x)) (/> f (-> e x))) ())
671	; ((- (/> k (+> h x)) (/> f (-r> e x))) ())
672	; ((- (/> k (+> h x)) (/r> f (+> e x))) ())
673	; ((- (/> k (+> h x)) (/r> f (-> e x))) ())
674	; ((- (/> k (+> h x)) (/r> f (-r> e x))) ())
675
676	; ((- (/> k (-> h x)) x) ())
677	; ((- (/> k (-> h x)) (+> e x)) ())
678	; ((- (/> k (-> h x)) (-> e x)) ())
679	((- (/> K (-> H X)) (> E X)) (/> (- K (/ 1 E)) (-> (/ ( H K) (- K (/ 1 E))) X)))
680	((- (/> K (-> H X)) (/> E X)) (/> (- K E) (-> (/ (* H K) (- K E)) X)))
681	; ((- (/> k (-> h x)) (-r> e x)) ())
682	; ((- (/> k (-> h x)) (/r> e x)) ())
683	; ((- (/> k (-> h x)) (*> f (+> e x))) ())
684	((- (/> k (-> h x)) (> f (-> e x))) (/> (- k (/ 1 f)) (-> (/ (- ( h k) (/ e f)) (- k (/ 1 f))) x)))
685	; ((- (/> k (-> h x)) (*> f (-r> e x))) ())
686	; ((- (/> k (-> h x)) (/> f (+> e x))) ())
687	((- (/> k (-> h x)) (/> f (-> e x))) (/> (- k f) (-> (/ (- (* h k) (* e f)) (- k f)) x)))
688	; ((- (/> k (-> h x)) (/> f (-r> e x))) ())
689	; ((- (/> k (-> h x)) (/r> f (+> e x))) ())
690	; ((- (/> k (-> h x)) (/r> f (-> e x))) ())
691	; ((- (/> k (-> h x)) (/r> f (-r> e x))) ())
692
693	; ((- (/> k (-r> h x)) x) ())
694	; ((- (/> k (-r> h x)) (+> e x)) ())
695	; ((- (/> k (-r> h x)) (-> e x)) ())
696	; ((- (/> k (-r> h x)) (*> e x)) ())
697	; ((- (/> k (-r> h x)) (/> e x)) ())
698	; ((- (/> k (-r> h x)) (-r> e x)) ())
699	; ((- (/> k (-r> h x)) (/r> e x)) ())
700	; ((- (/> k (-r> h x)) (*> f (+> e x))) ())
701	; ((- (/> k (-r> h x)) (*> f (-> e x))) ())
702	; ((- (/> k (-r> h x)) (*> f (-r> e x))) ())
703	; ((- (/> k (-r> h x)) (/> f (+> e x))) ())
704	; ((- (/> k (-r> h x)) (/> f (-> e x))) ())
705	; ((- (/> k (-r> h x)) (/> f (-r> e x))) ())
706	; ((- (/> k (-r> h x)) (/r> f (+> e x))) ())
707	; ((- (/> k (-r> h x)) (/r> f (-> e x))) ())
708	; ((- (/> k (-r> h x)) (/r> f (-r> e x))) ())
709
710	; ((- (/r> k (+> h x)) x) ())
711	; ((- (/r> k (+> h x)) (+> e x)) ())
712	; ((- (/r> k (+> h x)) (-> e x)) ())
713	; ((- (/r> k (+> h x)) (*> e x)) ())
714	; ((- (/r> k (+> h x)) (/> e x)) ())
715	; ((- (/r> k (+> h x)) (-r> e x)) ())
716	; ((- (/r> k (+> h x)) (/r> e x)) ())
717	; ((- (/r> k (+> h x)) (*> f (+> e x))) ())
718	; ((- (/r> k (+> h x)) (*> f (-> e x))) ())
719	; ((- (/r> k (+> h x)) (*> f (-r> e x))) ())
720	; ((- (/r> k (+> h x)) (/> f (+> e x))) ())
721	; ((- (/r> k (+> h x)) (/> f (-> e x))) ())
722	; ((- (/r> k (+> h x)) (/> f (-r> e x))) ())
723	; ((- (/r> k (+> h x)) (/r> f (+> e x))) ())
724	; ((- (/r> k (+> h x)) (/r> f (-> e x))) ())
725	; ((- (/r> k (+> h x)) (/r> f (-r> e x))) ())
726
727	; ((- (/r> k (-> h x)) x) ())
728	; ((- (/r> k (-> h x)) (+> e x)) ())
729	; ((- (/r> k (-> h x)) (-> e x)) ())
730	; ((- (/r> k (-> h x)) (*> e x)) ())
731	; ((- (/r> k (-> h x)) (/> e x)) ())
732	; ((- (/r> k (-> h x)) (-r> e x)) ())
733	; ((- (/r> k (-> h x)) (/r> e x)) ())
734	; ((- (/r> k (-> h x)) (*> f (+> e x))) ())
735	; ((- (/r> k (-> h x)) (*> f (-> e x))) ())
736	; ((- (/r> k (-> h x)) (*> f (-r> e x))) ())
737	; ((- (/r> k (-> h x)) (/> f (+> e x))) ())
738	; ((- (/r> k (-> h x)) (/> f (-> e x))) ())
739	; ((- (/r> k (-> h x)) (/> f (-r> e x))) ())
740	; ((- (/r> k (-> h x)) (/r> f (+> e x))) ())
741	; ((- (/r> k (-> h x)) (/r> f (-> e x))) ())
742	; ((- (/r> k (-> h x)) (/r> f (-r> e x))) ())
743
744	; ((- (/r> k (-r> h x)) x) ())
745	; ((- (/r> k (-r> h x)) (+> e x)) ())
746	; ((- (/r> k (-r> h x)) (-> e x)) ())
747	; ((- (/r> k (-r> h x)) (*> e x)) ())
748	; ((- (/r> k (-r> h x)) (/> e x)) ())
749	; ((- (/r> k (-r> h x)) (-r> e x)) ())
750	; ((- (/r> k (-r> h x)) (/r> e x)) ())
751	; ((- (/r> k (-r> h x)) (*> f (+> e x))) ())
752	; ((- (/r> k (-r> h x)) (*> f (-> e x))) ())
753	; ((- (/r> k (-r> h x)) (*> f (-r> e x))) ())
754	; ((- (/r> k (-r> h x)) (/> f (+> e x))) ())
755	; ((- (/r> k (-r> h x)) (/> f (-> e x))) ())
756	; ((- (/r> k (-r> h x)) (/> f (-r> e x))) ())
757	; ((- (/r> k (-r> h x)) (/r> f (+> e x))) ())
758	; ((- (/r> k (-r> h x)) (/r> f (-> e x))) ())
759	; ((- (/r> k (-r> h x)) (/r> f (-r> e x))) ())
760
761	; ((* x x) (qqq))
762	; ((* x (+> e x)) (qqq))
763	; ((* x (-> e x)) (qqq))
764	; ((* x (*> e x)) (qqq))
765	; ((* x (/> e x)) (qqq))
766	; ((* x (-r> e x)) (qqq))
767	; ((* x (/r> e x)) (xxx))
768	; ((* x (*> f (+> e x))) (qqq))
769	; ((* x (*> f (-> e x))) ())
770	; ((* x (*> f (-r> e x))) (qqq))
771	; ((* x (/> f (+> e x))) (qqq))
772	; ((* x (/> f (-> e x))) (qqq))
773	; ((* x (/> f (-r> e x))) (qqq))
774	; ((* x (/r> f (+> e x))) ())
775	; ((* x (/r> f (-> e x))) ())
776	; ((* x (/r> f (-r> e x))) ())
777
778	; ((* (+> h x) x) (qqq))
779	; ((* (+> h x) (+> e x)) ())
780	; ((* (+> h x) (-> e x)) ())
781	; ((* (+> h x) (*> e x)) ())
782	; ((* (+> h x) (/> e x)) ())
783	; ((* (+> h x) (-r> e x)) ())
784	; ((* (+> h x) (/r> e x)) ())
785	; ((* (+> h x) (*> f (+> e x))) ())
786	; ((* (+> h x) (*> f (-> e x))) ())
787	; ((* (+> h x) (*> f (-r> e x))) ())
788	; ((* (+> h x) (/> f (+> e x))) ())
789	; ((* (+> h x) (/> f (-> e x))) ())
790	; ((* (+> h x) (/> f (-r> e x))) ())
791	; ((* (+> h x) (/r> f (+> e x))) ())
792	; ((* (+> h x) (/r> f (-> e x))) ())
793	; ((* (+> h x) (/r> f (-r> e x))) ())
794
795	; ((* (-> h x) x) (qqq))
796	; ((* (-> h x) (+> e x)) ())
797	; ((* (-> h x) (-> e x)) ())
798	; ((* (-> h x) (*> e x)) ())
799	; ((* (-> h x) (/> e x)) ())
800	; ((* (-> h x) (-r> e x)) ())
801	; ((* (-> h x) (/r> e x)) ())
802	; ((* (-> h x) (*> f (+> e x))) ())
803	; ((* (-> h x) (*> f (-> e x))) ())
804	; ((* (-> h x) (*> f (-r> e x))) ())
805	; ((* (-> h x) (/> f (+> e x))) ())
806	; ((* (-> h x) (/> f (-> e x))) ())
807	; ((* (-> h x) (/> f (-r> e x))) ())
808	; ((* (-> h x) (/r> f (+> e x))) ())
809	; ((* (-> h x) (/r> f (-> e x))) ())
810	; ((* (-> h x) (/r> f (-r> e x))) ())
811
812	; ((* (*> h x) x) (qqq))
813	; ((* (*> h x) (+> e x)) ())
814	; ((* (*> h x) (-> e x)) ())
815	; ((* (> h x) (> e x)) ())
816	; ((* (*> h x) (/> e x)) ())
817	; ((* (*> h x) (-r> e x)) ())
818	; ((* (*> h x) (/r> e x)) ())
819	; ((* (> h x) (> f (+> e x))) ())
820	; ((* (> h x) (> f (-> e x))) ())
821	; ((* (> h x) (> f (-r> e x))) ())
822	; ((* (*> h x) (/> f (+> e x))) ())
823	; ((* (*> h x) (/> f (-> e x))) ())
824	; ((* (*> h x) (/> f (-r> e x))) ())
825	; ((* (*> h x) (/r> f (+> e x))) ())
826	; ((* (*> h x) (/r> f (-> e x))) ())
827	; ((* (*> h x) (/r> f (-r> e x))) ())
828
829	; ((* (/> h x) x) (qqq))
830	; ((* (/> h x) (+> e x)) ())
831	; ((* (/> h x) (-> e x)) ())
832	; ((* (/> h x) (*> e x)) ())
833	; ((* (/> h x) (/> e x)) ())
834	; ((* (/> h x) (-r> e x)) ())
835	; ((* (/> h x) (/r> e x)) ())
836	; ((* (/> h x) (*> f (+> e x))) ())
837	; ((* (/> h x) (*> f (-> e x))) ())
838	; ((* (/> h x) (*> f (-r> e x))) ())
839	; ((* (/> h x) (/> f (+> e x))) ())
840	; ((* (/> h x) (/> f (-> e x))) ())
841	; ((* (/> h x) (/> f (-r> e x))) ())
842	; ((* (/> h x) (/r> f (+> e x))) ())
843	; ((* (/> h x) (/r> f (-> e x))) ())
844	; ((* (/> h x) (/r> f (-r> e x))) ())
845
846	; ((* (-r> h x) x) (qqq))
847	; ((* (-r> h x) (+> e x)) ())
848	; ((* (-r> h x) (-> e x)) ())
849	; ((* (-r> h x) (*> e x)) ())
850	; ((* (-r> h x) (/> e x)) ())
851	; ((* (-r> h x) (-r> e x)) ())
852	; ((* (-r> h x) (/r> e x)) ())
853	; ((* (-r> h x) (*> f (+> e x))) ())
854	; ((* (-r> h x) (*> f (-> e x))) ())
855	; ((* (-r> h x) (*> f (-r> e x))) ())
856	; ((* (-r> h x) (/> f (+> e x))) ())
857	; ((* (-r> h x) (/> f (-> e x))) ())
858	; ((* (-r> h x) (/> f (-r> e x))) ())
859	; ((* (-r> h x) (/r> f (+> e x))) ())
860	; ((* (-r> h x) (/r> f (-> e x))) ())
861	; ((* (-r> h x) (/r> f (-r> e x))) ())
862
863	; ((* (/r> h x) x) (xxx))
864	; ((* (/r> h x) (+> e x)) ())
865	; ((* (/r> h x) (-> e x)) ())
866	; ((* (/r> h x) (*> e x)) ())
867	; ((* (/r> h x) (/> e x)) ())
868	; ((* (/r> h x) (-r> e x)) ())
869	; ((* (/r> h x) (/r> e x)) ())
870	; ((* (/r> h x) (*> f (+> e x))) ())
871	; ((* (/r> h x) (*> f (-> e x))) ())
872	; ((* (/r> h x) (*> f (-r> e x))) ())
873	; ((* (/r> h x) (/> f (+> e x))) ())
874	; ((* (/r> h x) (/> f (-> e x))) ())
875	; ((* (/r> h x) (/> f (-r> e x))) ())
876	; ((* (/r> h x) (/r> f (+> e x))) ())
877	; ((* (/r> h x) (/r> f (-> e x))) ())
878	; ((* (/r> h x) (/r> f (-r> e x))) ())
879
880	; ((* (*> k (+> h x)) x) (qqq))
881	; ((* (*> k (+> h x)) (+> e x)) ())
882	; ((* (*> k (+> h x)) (-> e x)) ())
883	; ((* (> k (+> h x)) (> e x)) ())
884	; ((* (*> k (+> h x)) (/> e x)) ())
885	; ((* (*> k (+> h x)) (-r> e x)) ())
886	; ((* (*> k (+> h x)) (/r> e x)) ())
887	; ((* (> k (+> h x)) (> f (+> e x))) ())
888	; ((* (> k (+> h x)) (> f (-> e x))) ())
889	; ((* (> k (+> h x)) (> f (-r> e x))) ())
890	; ((* (*> k (+> h x)) (/> f (+> e x))) ())
891	; ((* (*> k (+> h x)) (/> f (-> e x))) ())
892	; ((* (*> k (+> h x)) (/> f (-r> e x))) ())
893	; ((* (*> k (+> h x)) (/r> f (+> e x))) ())
894	; ((* (*> k (+> h x)) (/r> f (-> e x))) ())
895	; ((* (*> k (+> h x)) (/r> f (-r> e x))) ())
896
897	; ((* (*> k (-> h x)) x) (qqq))
898	; ((* (*> k (-> h x)) (+> e x)) ())
899	; ((* (*> k (-> h x)) (-> e x)) ())
900	; ((* (> k (-> h x)) (> e x)) ())
901	; ((* (*> k (-> h x)) (/> e x)) ())
902	; ((* (*> k (-> h x)) (-r> e x)) ())
903	; ((* (*> k (-> h x)) (/r> e x)) ())
904	; ((* (> k (-> h x)) (> f (+> e x))) ())
905	; ((* (> k (-> h x)) (> f (-> e x))) ())
906	; ((* (> k (-> h x)) (> f (-r> e x))) ())
907	; ((* (*> k (-> h x)) (/> f (+> e x))) ())
908	; ((* (*> k (-> h x)) (/> f (-> e x))) ())
909	; ((* (*> k (-> h x)) (/> f (-r> e x))) ())
910	; ((* (*> k (-> h x)) (/r> f (+> e x))) ())
911	; ((* (*> k (-> h x)) (/r> f (-> e x))) ())
912	; ((* (*> k (-> h x)) (/r> f (-r> e x))) ())
913
914	; ((* (*> k (-r> h x)) x) (qqq))
915	; ((* (*> k (-r> h x)) (+> e x)) ())
916	; ((* (*> k (-r> h x)) (-> e x)) ())
917	; ((* (> k (-r> h x)) (> e x)) ())
918	; ((* (*> k (-r> h x)) (/> e x)) ())
919	; ((* (*> k (-r> h x)) (-r> e x)) ())
920	; ((* (*> k (-r> h x)) (/r> e x)) ())
921	; ((* (> k (-r> h x)) (> f (+> e x))) ())
922	; ((* (> k (-r> h x)) (> f (-> e x))) ())
923	; ((* (> k (-r> h x)) (> f (-r> e x))) ())
924	; ((* (*> k (-r> h x)) (/> f (+> e x))) ())
925	; ((* (*> k (-r> h x)) (/> f (-> e x))) ())
926	; ((* (*> k (-r> h x)) (/> f (-r> e x))) ())
927	; ((* (*> k (-r> h x)) (/r> f (+> e x))) ())
928	; ((* (*> k (-r> h x)) (/r> f (-> e x))) ())
929	; ((* (*> k (-r> h x)) (/r> f (-r> e x))) ())
930
931	; ((* (/> k (+> h x)) x) (qqq))
932	; ((* (/> k (+> h x)) (+> e x)) ())
933	; ((* (/> k (+> h x)) (-> e x)) ())
934	; ((* (/> k (+> h x)) (*> e x)) ())
935	; ((* (/> k (+> h x)) (/> e x)) ())
936	; ((* (/> k (+> h x)) (-r> e x)) ())
937	; ((* (/> k (+> h x)) (/r> e x)) ())
938	; ((* (/> k (+> h x)) (*> f (+> e x))) ())
939	; ((* (/> k (+> h x)) (*> f (-r e x))) ())
940	; ((* (/> k (+> h x)) (*> f (-r> e x))) ())
941	; ((* (/> k (+> h x)) (/> f (+> e x))) ())
942	; ((* (/> k (+> h x)) (/> f (-> e x))) ())
943	; ((* (/> k (+> h x)) (/> f (-r> e x))) ())
944	; ((* (/> k (+> h x)) (/r> f (+> e x))) ())
945	; ((* (/> k (+> h x)) (/r> f (-> e x))) ())
946	; ((* (/> k (+> h x)) (/r> f (-r> e x))) ())
947
948	; ((* (/> k (-> h x)) x) (qqq))
949	; ((* (/> k (-> h x)) (+> e x)) ())
950	; ((* (/> k (-> h x)) (-> e x)) ())
951	; ((* (/> k (-> h x)) (*> e x)) ())
952	; ((* (/> k (-> h x)) (/> e x)) ())
953	; ((* (/> k (-> h x)) (-r> e x)) ())
954	; ((* (/> k (-> h x)) (/r> e x)) ())
955	; ((* (/> k (-> h x)) (*> f (+> e x))) ())
956	; ((* (/> k (-> h x)) (*> f (-r e x))) ())
957	; ((* (/> k (-> h x)) (*> f (-r> e x))) ())
958	; ((* (/> k (-> h x)) (/> f (+> e x))) ())
959	; ((* (/> k (-> h x)) (/> f (-> e x))) ())
960	; ((* (/> k (-> h x)) (/> f (-r> e x))) ())
961	; ((* (/> k (-> h x)) (/r> f (+> e x))) ())
962	; ((* (/> k (-> h x)) (/r> f (-> e x))) ())
963	; ((* (/> k (-> h x)) (/r> f (-r> e x))) ())
964
965	; ((* (/> k (-r> h x)) x) (qqq))
966	; ((* (/> k (-r> h x)) (+> e x)) ())
967	; ((* (/> k (-r> h x)) (-> e x)) ())
968	; ((* (/> k (-r> h x)) (*> e x)) ())
969	; ((* (/> k (-r> h x)) (/> e x)) ())
970	; ((* (/> k (-r> h x)) (-r> e x)) ())
971	; ((* (/> k (-r> h x)) (/r> e x)) ())
972	; ((* (/> k (-r> h x)) (*> f (+> e x))) ())
973	; ((* (/> k (-r> h x)) (*> f (-> e x))) ())
974	; ((* (/> k (-r> h x)) (*> f (-r> e x))) ())
975	; ((* (/> k (-r> h x)) (/> f (+> e x))) ())
976	; ((* (/> k (-r> h x)) (/> f (-> e x))) ())
977	; ((* (/> k (-r> h x)) (/> f (-r> e x))) ())
978	; ((* (/> k (-r> h x)) (/r> f (+> e x))) ())
979	; ((* (/> k (-r> h x)) (/r> f (-> e x))) ())
980	; ((* (/> k (-r> h x)) (/r> f (-r> e x))) ())
981
982	; ((* (/r> k (+> h x)) x) ())
983	; ((* (/r> k (+> h x)) (+> e x)) ())
984	; ((* (/r> k (+> h x)) (-> e x)) ())
985	; ((* (/r> k (+> h x)) (*> e x)) ())
986	; ((* (/r> k (+> h x)) (/> e x)) ())
987	; ((* (/r> k (+> h x)) (-r> e x)) ())
988	; ((* (/r> k (+> h x)) (/r> e x)) ())
989	; ((* (/r> k (+> h x)) (*> f (+> e x))) ())
990	; ((* (/r> k (+> h x)) (*> f (-> e x))) ())
991	; ((* (/r> k (+> h x)) (*> f (-r> e x))) ())
992	; ((* (/r> k (+> h x)) (/> f (+> e x))) ())
993	; ((* (/r> k (+> h x)) (/> f (-> e x))) ())
994	; ((* (/r> k (+> h x)) (/> f (-r> e x))) ())
995	; ((* (/r> k (+> h x)) (/r> f (+> e x))) ())
996	; ((* (/r> k (+> h x)) (/r> f (-> e x))) ())
997	; ((* (/r> k (+> h x)) (/r> f (-r> e x))) ())
998
999	; ((* (/r> k (-> h x)) x) ())
1000	; ((* (/r> k (-> h x)) (+> e x)) ())
1001	; ((* (/r> k (-> h x)) (-> e x)) ())
1002	; ((* (/r> k (-> h x)) (*> e x)) ())
1003	; ((* (/r> k (-> h x)) (/> e x)) ())
1004	; ((* (/r> k (-> h x)) (-r> e x)) ())
1005	; ((* (/r> k (-> h x)) (/r> e x)) ())
1006	; ((* (/r> k (-> h x)) (*> f (+> e x))) ())
1007	; ((* (/r> k (-> h x)) (*> f (-> e x))) ())
1008	; ((* (/r> k (-> h x)) (*> f (-r> e x))) ())
1009	; ((* (/r> k (-> h x)) (/> f (+> e x))) ())
1010	; ((* (/r> k (-> h x)) (/> f (-> e x))) ())
1011	; ((* (/r> k (-> h x)) (/> f (-r> e x))) ())
1012	; ((* (/r> k (-> h x)) (/r> f (+> e x))) ())
1013	; ((* (/r> k (-> h x)) (/r> f (-> e x))) ())
1014	; ((* (/r> k (-> h x)) (/r> f (-r> e x))) ())
1015
1016	; ((* (/r> k (-r> h x)) x) ())
1017	; ((* (/r> k (-r> h x)) (+> e x)) ())
1018	; ((* (/r> k (-r> h x)) (-> e x)) ())
1019	; ((* (/r> k (-r> h x)) (*> e x)) ())
1020	; ((* (/r> k (-r> h x)) (/> e x)) ())
1021	; ((* (/r> k (-r> h x)) (-r> e x)) ())
1022	; ((* (/r> k (-r> h x)) (/r> e x)) ())
1023	; ((* (/r> k (-r> h x)) (*> f (+> e x))) ())
1024	; ((* (/r> k (-r> h x)) (*> f (-> e x))) ())
1025	; ((* (/r> k (-r> h x)) (*> f (-r> e x))) ())
1026	; ((* (/r> k (-r> h x)) (/> f (+> e x))) ())
1027	; ((* (/r> k (-r> h x)) (/> f (-> e x))) ())
1028	; ((* (/r> k (-r> h x)) (/> f (-r> e x))) ())
1029	; ((* (/r> k (-r> h x)) (/r> f (+> e x))) ())
1030	; ((* (/r> k (-r> h x)) (/r> f (-> e x))) ())
1031	; ((* (/r> k (-r> h x)) (/r> f (-r> e x))) ())
1032
1033	((/ x x) 1)
1034	; ((/ x (+> e x)) (xxx))
1035	; ((/ x (-> e x)) (xxx))
1036	; ((/ x (*> e x)) (xxx))
1037	; ((/ x (/> e x)) (xxx))
1038	; ((/ x (-r> e x)) (xxx))
1039	; ((/ x (/r> e x)) (qqq))
1040	; ((/ x (*> f (+> e x))) ())
1041	; ((/ x (*> f (-> e x))) ())
1042	; ((/ x (*> f (-r> e x))) ())
1043	; ((/ x (/> f (+> e x))) ())
1044	; ((/ x (/> f (-> e x))) ())
1045	; ((/ x (/> f (-r> e x))) ())
1046	; ((/ x (/r> f (+> e x))) ())
1047	; ((/ x (/r> f (-> e x))) ())
1048	; ((/ x (/r> f (-r> e x))) ())
1049
1050	((/ (+> h x) x) (-r> 1 (/r> h x)))
1051	; ((/ (+> h x) (+> e x)) ())
1052	; ((/ (+> h x) (-> e x)) ())
1053	; ((/ (+> h x) (*> e x)) ())
1054	; ((/ (+> h x) (/> e x)) ())
1055	; ((/ (+> h x) (-r> e x)) ())
1056	; ((/ (+> h x) (/r> e x)) ())
1057	; ((/ (+> h x) (*> f (+> e x))) ())
1058	; ((/ (+> h x) (*> f (-> e x))) ())
1059	; ((/ (+> h x) (*> f (-r> e x))) ())
1060	; ((/ (+> h x) (/> f (+> e x))) ())
1061	; ((/ (+> h x) (/> f (-> e x))) ())
1062	; ((/ (+> h x) (/> f (-r> e x))) ())
1063	; ((/ (+> h x) (/r> f (+> e x))) ())
1064	; ((/ (+> h x) (/r> f (-> e x))) ())
1065	; ((/ (+> h x) (/r> f (-r> e x))) ())
1066
1067	((/ (-> h x) x) (-> 1 (/r> h x)))
1068	; ((/ (-> h x) (+> e x)) ())
1069	; ((/ (-> h x) (-> e x)) ())
1070	; ((/ (-> h x) (*> e x)) ())
1071	; ((/ (-> h x) (/> e x)) ())
1072	; ((/ (-> h x) (-r> e x)) ())
1073	; ((/ (-> h x) (/r> e x)) ())
1074	; ((/ (-> h x) (*> f (+> e x))) ())
1075	; ((/ (-> h x) (*> f (-> e x))) ())
1076	; ((/ (-> h x) (*> f (-r> e x))) ())
1077	; ((/ (-> h x) (/> f (+> e x))) ())
1078	; ((/ (-> h x) (/> f (-> e x))) ())
1079	; ((/ (-> h x) (/> f (-r> e x))) ())
1080	; ((/ (-> h x) (/r> f (+> e x))) ())
1081	; ((/ (-> h x) (/r> f (-> e x))) ())
1082	; ((/ (-> h x) (/r> f (-r> e x))) ())
1083
1084	; ((/ (*> h x) x) (xxx))
1085	; ((/ (*> h x) (+> e x)) ())
1086	; ((/ (*> h x) (-> e x)) ())
1087	; ((/ (> h x) (> e x)) ())
1088	; ((/ (*> h x) (/> e x)) ())
1089	; ((/ (*> h x) (-r> e x)) ())
1090	; ((/ (*> h x) (/r> e x)) ())
1091	; ((/ (> h x) (> f (+> e x))) ())
1092	; ((/ (> h x) (> f (-> e x))) ())
1093	; ((/ (> h x) (> f (-r> e x))) ())
1094	; ((/ (*> h x) (/> f (+> e x))) ())
1095	; ((/ (*> h x) (/> f (-> e x))) ())
1096	; ((/ (*> h x) (/> f (-r> e x))) ())
1097	; ((/ (*> h x) (/r> f (+> e x))) ())
1098	; ((/ (*> h x) (/r> f (-> e x))) ())
1099	; ((/ (*> h x) (/r> f (-r> e x))) ())
1100
1101	; ((/ (/> h x) x) (xxx))
1102	; ((/ (/> h x) (+> e x)) ())
1103	; ((/ (/> h x) (-> e x)) ())
1104	; ((/ (/> h x) (*> e x)) ())
1105	; ((/ (/> h x) (/> e x)) ())
1106	; ((/ (/> h x) (-r> e x)) ())
1107	; ((/ (/> h x) (/r> e x)) ())
1108	; ((/ (/> h x) (*> f (+> e x))) ())
1109	; ((/ (/> h x) (*> f (-> e x))) ())
1110	; ((/ (/> h x) (*> f (-r> e x))) ())
1111	; ((/ (/> h x) (/> f (+> e x))) ())
1112	; ((/ (/> h x) (/> f (-> e x))) ())
1113	; ((/ (/> h x) (/> f (-r> e x))) ())
1114	; ((/ (/> h x) (/r> f (+> e x))) ())
1115	; ((/ (/> h x) (/r> f (-> e x))) ())
1116	; ((/ (/> h x) (/r> f (-r> e x))) ())
1117
1118	((/ (-r> h x) x) (*> h (+> h x)))
1119	; ((/ (-r> h x) (+> e x)) ())
1120	; ((/ (-r> h x) (-> e x)) ())
1121	; ((/ (-r> h x) (*> e x)) ())
1122	; ((/ (-r> h x) (/> e x)) ())
1123	; ((/ (-r> h x) (-r> e x)) ())
1124	; ((/ (-r> h x) (/r> e x)) ())
1125	; ((/ (-r> h x) (*> f (+> e x))) ())
1126	; ((/ (-r> h x) (*> f (-> e x))) ())
1127	; ((/ (-r> h x) (*> f (-r> e x))) ())
1128	; ((/ (-r> h x) (/> f (+> e x))) ())
1129	; ((/ (-r> h x) (/> f (-> e x))) ())
1130	; ((/ (-r> h x) (/> f (-r> e x))) ())
1131	; ((/ (-r> h x) (/r> f (+> e x))) ())
1132	; ((/ (-r> h x) (/r> f (-> e x))) ())
1133	; ((/ (-r> h x) (/r> f (-r> e x))) ())
1134
1135	; ((/ (/r> h x) x) (qqq))
1136	; ((/ (/r> h x) (+> e x)) ())
1137	; ((/ (/r> h x) (-> e x)) ())
1138	; ((/ (/r> h x) (*> e x)) ())
1139	; ((/ (/r> h x) (/> e x)) ())
1140	; ((/ (/r> h x) (-r> e x)) ())
1141	; ((/ (/r> h x) (/r> e x)) ())
1142	; ((/ (/r> h x) (*> f (+> e x))) ())
1143	; ((/ (/r> h x) (*> f (-> e x))) ())
1144	; ((/ (/r> h x) (*> f (-r> e x))) ())
1145	; ((/ (/r> h x) (/> f (+> e x))) ())
1146	; ((/ (/r> h x) (/> f (-> e x))) ())
1147	; ((/ (/r> h x) (/> f (-r> e x))) ())
1148	; ((/ (/r> h x) (/r> f (+> e x))) ())
1149	; ((/ (/r> h x) (/r> f (-> e x))) ())
1150	; ((/ (/r> h x) (/r> f (-r> e x))) ())
1151
1152	; ((/ (*> k (+> h x)) x) ())
1153	; ((/ (*> k (+> h x)) (+> e x)) ())
1154	; ((/ (*> k (+> h x)) (-> e x)) ())
1155	; ((/ (> k (+> h x)) (> e x)) ())
1156	; ((/ (*> k (+> h x)) (/> e x)) ())
1157	; ((/ (*> k (+> h x)) (-r> e x)) ())
1158	; ((/ (*> k (+> h x)) (/r> e x)) ())
1159	; ((/ (> k (+> h x)) (> f (+> e x))) ())
1160	; ((/ (> k (+> h x)) (> f (-> e x))) ())
1161	; ((/ (> k (+> h x)) (> f (-r> e x))) ())
1162	; ((/ (*> k (+> h x)) (/> f (+> e x))) ())
1163	; ((/ (*> k (+> h x)) (/> f (-> e x))) ())
1164	; ((/ (*> k (+> h x)) (/> f (-r> e x))) ())
1165	; ((/ (*> k (+> h x)) (/r> f (+> e x))) ())
1166	; ((/ (*> k (+> h x)) (/r> f (-> e x))) ())
1167	; ((/ (*> k (+> h x)) (/r> f (-r> e x))) ())
1168
1169	; ((/ (*> k (-> h x)) x) ())
1170	; ((/ (*> k (-> h x)) (+> e x)) ())
1171	; ((/ (*> k (-> h x)) (-> e x)) ())
1172	; ((/ (> k (-> h x)) (> e x)) ())
1173	; ((/ (*> k (-> h x)) (/> e x)) ())
1174	; ((/ (*> k (-> h x)) (-r> e x)) ())
1175	; ((/ (*> k (-> h x)) (/r> e x)) ())
1176	; ((/ (> k (-> h x)) (> f (+> e x))) ())
1177	; ((/ (> k (-> h x)) (> f (-> e x))) ())
1178	; ((/ (> k (-> h x)) (> f (-r> e x))) ())
1179	; ((/ (*> k (-> h x)) (/> f (+> e x))) ())
1180	; ((/ (*> k (-> h x)) (/> f (-> e x))) ())
1181	; ((/ (*> k (-> h x)) (/> f (-r> e x))) ())
1182	; ((/ (*> k (-> h x)) (/r> f (+> e x))) ())
1183	; ((/ (*> k (-> h x)) (/r> f (-> e x))) ())
1184	; ((/ (*> k (-> h x)) (/r> f (-r> e x))) ())
1185
1186	; ((/ (*> k (-r> h x)) x) ())
1187	; ((/ (*> k (-r> h x)) (+> e x)) ())
1188	; ((/ (*> k (-r> h x)) (-> e x)) ())
1189	; ((/ (> k (-r> h x)) (> e x)) ())
1190	; ((/ (*> k (-r> h x)) (/> e x)) ())
1191	; ((/ (*> k (-r> h x)) (-r> e x)) ())
1192	; ((/ (*> k (-r> h x)) (/r> e x)) ())
1193	; ((/ (> k (-r> h x)) (> f (+> e x))) ())
1194	; ((/ (> k (-r> h x)) (> f (-> e x))) ())
1195	; ((/ (> k (-r> h x)) (> f (-r> e x))) ())
1196	; ((/ (*> k (-r> h x)) (/> f (+> e x))) ())
1197	; ((/ (*> k (-r> h x)) (/> f (-> e x))) ())
1198	; ((/ (*> k (-r> h x)) (/> f (-r> e x))) ())
1199	; ((/ (*> k (-r> h x)) (/r> f (+> e x))) ())
1200	; ((/ (*> k (-r> h x)) (/r> f (-> e x))) ())
1201	; ((/ (*> k (-r> h x)) (/r> f (-r> e x))) ())
1202
1203	; ((/ (/> k (+> h x)) x) ())
1204	; ((/ (/> k (+> h x)) (+> e x)) ())
1205	; ((/ (/> k (+> h x)) (-> e x)) ())
1206	; ((/ (/> k (+> h x)) (*> e x)) ())
1207	; ((/ (/> k (+> h x)) (/> e x)) ())
1208	; ((/ (/> k (+> h x)) (-r> e x)) ())
1209	; ((/ (/> k (+> h x)) (/r> e x)) ())
1210	; ((/ (/> k (+> h x)) (*> f (+> e x))) ())
1211	; ((/ (/> k (+> h x)) (*> f (-> e x))) ())
1212	; ((/ (/> k (+> h x)) (*> f (-r> e x))) ())
1213	; ((/ (/> k (+> h x)) (/> f (+> e x))) ())
1214	; ((/ (/> k (+> h x)) (/> f (-> e x))) ())
1215	; ((/ (/> k (+> h x)) (/> f (-r> e x))) ())
1216	; ((/ (/> k (+> h x)) (/r> f (+> e x))) ())
1217	; ((/ (/> k (+> h x)) (/r> f (-> e x))) ())
1218	; ((/ (/> k (+> h x)) (/r> f (-r> e x))) ())
1219
1220	; ((/ (/> k (-> h x)) x) ())
1221	; ((/ (/> k (-> h x)) (+> e x)) ())
1222	; ((/ (/> k (-> h x)) (-> e x)) ())
1223	; ((/ (/> k (-> h x)) (*> e x)) ())
1224	; ((/ (/> k (-> h x)) (/> e x)) ())
1225	; ((/ (/> k (-> h x)) (-r> e x)) ())
1226	; ((/ (/> k (-> h x)) (/r> e x)) ())
1227	; ((/ (/> k (-> h x)) (*> f (+> e x))) ())
1228	; ((/ (/> k (-> h x)) (*> f (-> e x))) ())
1229	; ((/ (/> k (-> h x)) (*> f (-r> e x))) ())
1230	; ((/ (/> k (-> h x)) (/> f (+> e x))) ())
1231	; ((/ (/> k (-> h x)) (/> f (-> e x))) ())
1232	; ((/ (/> k (-> h x)) (/> f (-r> e x))) ())
1233	; ((/ (/> k (-> h x)) (/r> f (+> e x))) ())
1234	; ((/ (/> k (-> h x)) (/r> f (-> e x))) ())
1235	; ((/ (/> k (-> h x)) (/r> f (-r> e x))) ())
1236
1237	; ((/ (/> k (-r> h x)) x) ())
1238	; ((/ (/> k (-r> h x)) (+> e x)) ())
1239	; ((/ (/> k (-r> h x)) (-> e x)) ())
1240	; ((/ (/> k (-r> h x)) (*> e x)) ())
1241	; ((/ (/> k (-r> h x)) (/> e x)) ())
1242	; ((/ (/> k (-r> h x)) (-r> e x)) ())
1243	; ((/ (/> k (-r> h x)) (/r> e x)) ())
1244	; ((/ (/> k (-r> h x)) (*> f (+> e x))) ())
1245	; ((/ (/> k (-r> h x)) (*> f (-> e x))) ())
1246	; ((/ (/> k (-r> h x)) (*> f (-r> e x))) ())
1247	; ((/ (/> k (-r> h x)) (/> f (+> e x))) ())
1248	; ((/ (/> k (-r> h x)) (/> f (-> e x))) ())
1249	; ((/ (/> k (-r> h x)) (/> f (-r> e x))) ())
1250	; ((/ (/> k (-r> h x)) (/r> f (+> e x))) ())
1251	; ((/ (/> k (-r> h x)) (/r> f (-> e x))) ())
1252	; ((/ (/> k (-r> h x)) (/r> f (-r> e x))) ())
1253
1254	; ((/ (/r> k (+> h x)) x) ())
1255	; ((/ (/r> k (+> h x)) (+> e x)) ())
1256	; ((/ (/r> k (+> h x)) (-> e x)) ())
1257	; ((/ (/r> k (+> h x)) (*> e x)) ())
1258	; ((/ (/r> k (+> h x)) (/> e x)) ())
1259	; ((/ (/r> k (+> h x)) (-r> e x)) ())
1260	; ((/ (/r> k (+> h x)) (/r> e x)) ())
1261	; ((/ (/r> k (+> h x)) (*> f (+> e x))) ())
1262	; ((/ (/r> k (+> h x)) (*> f (-> e x))) ())
1263	; ((/ (/r> k (+> h x)) (*> f (-r> e x))) ())
1264	; ((/ (/r> k (+> h x)) (/> f (+> e x))) ())
1265	; ((/ (/r> k (+> h x)) (/> f (-> e x))) ())
1266	; ((/ (/r> k (+> h x)) (/> f (-r> e x))) ())
1267	; ((/ (/r> k (+> h x)) (/r> f (+> e x))) ())
1268	; ((/ (/r> k (+> h x)) (/r> f (-> e x))) ())
1269	; ((/ (/r> k (+> h x)) (/r> f (-r> e x))) ())
1270
1271	; ((/ (/r> k (-> h x)) x) ())
1272	; ((/ (/r> k (-> h x)) (+> e x)) ())
1273	; ((/ (/r> k (-> h x)) (-> e x)) ())
1274	; ((/ (/r> k (-> h x)) (*> e x)) ())
1275	; ((/ (/r> k (-> h x)) (/> e x)) ())
1276	; ((/ (/r> k (-> h x)) (-r> e x)) ())
1277	; ((/ (/r> k (-> h x)) (/r> e x)) ())
1278	; ((/ (/r> k (-> h x)) (*> f (+> e x))) ())
1279	; ((/ (/r> k (-> h x)) (*> f (-> e x))) ())
1280	; ((/ (/r> k (-> h x)) (*> f (-r> e x))) ())
1281	; ((/ (/r> k (-> h x)) (/> f (+> e x))) ())
1282	; ((/ (/r> k (-> h x)) (/> f (-> e x))) ())
1283	; ((/ (/r> k (-> h x)) (/> f (-r> e x))) ())
1284	; ((/ (/r> k (-> h x)) (/r> f (+> e x))) ())
1285	; ((/ (/r> k (-> h x)) (/r> f (-> e x))) ())
1286	; ((/ (/r> k (-> h x)) (/r> f (-r> e x))) ())
1287
1288	; ((/ (/r> k (-r> h x)) x) ())
1289	; ((/ (/r> k (-r> h x)) (+> e x)) ())
1290	; ((/ (/r> k (-r> h x)) (-> e x)) ())
1291	; ((/ (/r> k (-r> h x)) (*> e x)) ())
1292	; ((/ (/r> k (-r> h x)) (/> e x)) ())
1293	; ((/ (/r> k (-r> h x)) (-r> e x)) ())
1294	; ((/ (/r> k (-r> h x)) (/r> e x)) ())
1295	; ((/ (/r> k (-r> h x)) (*> f (+> e x))) ())
1296	; ((/ (/r> k (-r> h x)) (*> f (-> e x))) ())
1297	; ((/ (/r> k (-r> h x)) (*> f (-r> e x))) ())
1298	; ((/ (/r> k (-r> h x)) (/> f (+> e x))) ())
1299	; ((/ (/r> k (-r> h x)) (/> f (-> e x))) ())
1300	; ((/ (/r> k (-r> h x)) (/> f (-r> e x))) ())
1301	; ((/ (/r> k (-r> h x)) (/r> f (+> e x))) ())
1302	; ((/ (/r> k (-r> h x)) (/r> f (-> e x))) ())
1303	; ((/ (/r> k (-r> h x)) (/r> f (-r> e x))) ())
1304
1305	)
1306	)

Note: See TracBrowser for help on using the browser.

Download in other formats:

Original Format

scrapple

root/trunk/backmath/meta.lisp

Download in other formats: