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