meta.lisp

Revision 177, 51.3 kB (checked in by BCS, 1 year 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))) ())

scrapple

root/trunk/backmath/meta.lisp