Details

sample95.0ms

Algorithm

intervals

Results

38.0ms	70×	body	640	valid
18.0ms	129×	body	80	valid
12.0ms	28×	body	320	valid
9.0ms	14×	body	1280	valid
4.0ms	15×	body	160	valid

simplify254.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	475
9	475
8	357
7	164
6	102
5	81
4	65
3	45
2	35
1	21
0	10

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 10.1b

localize40.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- x 1))
0.0b	(/ 1 (+ x 1))
0.0b	(- (/ 1 (+ x 1)) (/ 2 x))
2.4b	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

rewrite844.0ms

Algorithm

rewrite-expression-head

Rules

1579×	`associate-/r*`
1342×	`*-un-lft-identity`
1260×	`frac-sub`
1196×	`frac-add`
1142×	`add-sqr-sqrt`
1080×	`associate-/l*`
741×	`add-cube-cbrt`
360×	`clear-num` `frac-2neg`
198×	`difference-of-squares`
143×	`distribute-lft-out`
110×	`distribute-lft-out--`
96×	`difference-of-sqr-1`
56×	`times-frac`
15×	`flip3--` `flip--`
12×	`add-exp-log`
11×	`add-log-exp`
8×	`add-cbrt-cube` `div-inv`
6×	`pow1`
4×	`div-exp` `associate-/r/` `insert-posit16`
2×	`cbrt-undiv` `rec-exp` `associate-+l+` `sum-log` `sub-neg` `flip3-+` `diff-log` `1-exp` `flip-+` `pow-flip` `inv-pow`
1×	`+-commutative` `associate-+l-`

Counts

4 → 1423

Calls

4 calls:

13.0ms	(/ 1 (- x 1))
14.0ms	(/ 1 (+ x 1))
129.0ms	(- (/ 1 (+ x 1)) (/ 2 x))
510.0ms	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

series228.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(/ 1 (- x 1))
16.0ms	(/ 1 (+ x 1))
34.0ms	(- (/ 1 (+ x 1)) (/ 2 x))
152.0ms	(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))

simplify3.0s

Counts

1435 → 1435

Iterations

Iter	Nodes
done	5000
0	2605

prune3.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.4b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x 1) (/ x 2))
0.0b	(/ (+ (* (- (/ x 2) (+ x 1)) (- x 1)) (* (+ x 1) (/ x 2))) (* (* (+ x 1) (/ x 2)) (- x 1)))
0.0b	(* (* (+ x 1) (/ x 2)) (- x 1))
18.7b	(+ (* (- (/ x 2) (+ x 1)) (- x 1)) (* (+ x 1) (/ x 2)))

rewrite4.6s

Algorithm

rewrite-expression-head

Rules

4962×	`frac-times`
3844×	`frac-add`
3503×	`*-un-lft-identity`
3348×	`frac-sub`
2986×	`flip3-+` `flip-+`
2441×	`associate-/l*`
2334×	`associate-/r*`
2079×	`add-sqr-sqrt`
1924×	`associate-/l/`
1768×	`add-cube-cbrt`
1564×	`associate-*l/`
1552×	`flip3--` `flip--`
1307×	`associate-*r/`
1177×	`associate-l`
897×	`clear-num`
797×	`distribute-lft-out`
782×	`times-frac`
766×	`frac-2neg`
353×	`associate-r`
263×	`distribute-lft-out--`
262×	`un-div-inv`
121×	`unswap-sqr`
95×	`associate-/r/`
35×	`*-commutative`
34×	`difference-of-squares`
32×	`add-cbrt-cube` `add-exp-log`
19×	`div-inv`
17×	`difference-of-sqr-1`
12×	`prod-exp` `cbrt-unprod`
11×	`pow1`
7×	`cbrt-undiv` `div-exp`
6×	`add-log-exp`
4×	`distribute-rgt-in` `associate-+l+` `sub-neg` `distribute-lft-in` `pow-prod-down` `insert-posit16`
1×	`+-commutative` `sum-log`

Counts

4 → 4841

Calls

4 calls:

57.0ms	(* (+ x 1) (/ x 2))
2.6s	(/ (+ (* (- (/ x 2) (+ x 1)) (- x 1)) (* (+ x 1) (/ x 2))) (* (* (+ x 1) (/ x 2)) (- x 1)))
181.0ms	(* (* (+ x 1) (/ x 2)) (- x 1))
959.0ms	(+ (* (- (/ x 2) (+ x 1)) (- x 1)) (* (+ x 1) (/ x 2)))

series326.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(* (+ x 1) (/ x 2))
77.0ms	(/ (+ (* (- (/ x 2) (+ x 1)) (- x 1)) (* (+ x 1) (/ x 2))) (* (* (+ x 1) (/ x 2)) (- x 1)))
182.0ms	(* (* (+ x 1) (/ x 2)) (- x 1))
2.0ms	(+ (* (- (/ x 2) (+ x 1)) (- x 1)) (* (+ x 1) (/ x 2)))

simplify8.3s

Counts

4853 → 4853

Iterations

Iter	Nodes
done	7283
0	7283

prune34.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.3b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ x 1) (/ x 2))
0.0b	(* (* (+ x 1) (/ x 2)) (- x 1))
0.3b	(/ 1 (* (* (+ x 1) (/ x 2)) (- x 1)))

rewrite661.0ms

Algorithm

rewrite-expression-head

Rules

250×	`frac-times`
242×	`add-sqr-sqrt`
182×	`times-frac`
181×	`*-un-lft-identity`
147×	`add-cube-cbrt`
144×	`associate-l`
113×	`associate-r`
102×	`associate-/r*`
95×	`associate-/r/`
76×	`associate-*l/`
73×	`associate-/l*`
70×	`flip3-+` `flip-+`
67×	`associate-*r/`
64×	`flip3--` `flip--`
51×	`add-exp-log`
37×	`unswap-sqr`
31×	`add-cbrt-cube`
29×	`clear-num`
22×	`frac-2neg` `prod-exp`
16×	`pow1`
14×	`un-div-inv`
13×	`div-exp`
12×	`cbrt-unprod`
11×	`*-commutative`
10×	`difference-of-squares`
7×	`cbrt-undiv` `pow-prod-down` `div-inv`
6×	`distribute-lft-out`
5×	`difference-of-sqr-1` `distribute-lft-out--`
4×	`rec-exp` `1-exp`
3×	`insert-posit16` `pow-flip` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
1×	`inv-pow`

Counts

3 → 499

Calls

3 calls:

46.0ms	(* (+ x 1) (/ x 2))
201.0ms	(* (* (+ x 1) (/ x 2)) (- x 1))
384.0ms	(/ 1 (* (* (+ x 1) (/ x 2)) (- x 1)))

series341.0ms

Counts

3 → 9

Calls

3 calls:

89.0ms	(* (+ x 1) (/ x 2))
154.0ms	(* (* (+ x 1) (/ x 2)) (- x 1))
97.0ms	(/ 1 (* (* (+ x 1) (/ x 2)) (- x 1)))

simplify2.2s

Counts

508 → 508

Iterations

Iter	Nodes
done	5001
1	2254
0	645

prune1.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ x 1) (/ x 2))
0.1b	(/ (/ 1 (* (+ x 1) (/ x 2))) (- x 1))
0.3b	(/ 1 (* (+ x 1) (/ x 2)))

rewrite494.0ms

Algorithm

rewrite-expression-head

Rules

1697×	`times-frac`
1248×	`add-sqr-sqrt`
1060×	`*-un-lft-identity`
666×	`add-cube-cbrt`
390×	`associate-r`
281×	`associate-/r/`
216×	`difference-of-squares`
213×	`associate-/l*`
180×	`frac-times`
145×	`associate-/r*`
120×	`associate-l`
108×	`difference-of-sqr-1` `distribute-lft-out--`
100×	`flip3-+` `flip-+`
90×	`associate-*r/`
61×	`add-exp-log`
60×	`unswap-sqr`
43×	`clear-num`
40×	`div-inv`
33×	`frac-2neg`
31×	`add-cbrt-cube`
30×	`*-commutative` `distribute-lft-out` `associate-/l/`
29×	`div-exp`
20×	`associate-*l/` `un-div-inv`
14×	`prod-exp`
13×	`cbrt-undiv`
8×	`pow1`
6×	`rec-exp` `1-exp` `cbrt-unprod`
3×	`insert-posit16` `add-log-exp`
2×	`pow-prod-down` `pow-flip`
1×	`flip3--` `flip--` `inv-pow`

Counts

3 → 1140

Calls

3 calls:

42.0ms	(* (+ x 1) (/ x 2))
225.0ms	(/ (/ 1 (* (+ x 1) (/ x 2))) (- x 1))
91.0ms	(/ 1 (* (+ x 1) (/ x 2)))

series240.0ms

Counts

3 → 9

Calls

3 calls:

100.0ms	(* (+ x 1) (/ x 2))
106.0ms	(/ (/ 1 (* (+ x 1) (/ x 2))) (- x 1))
34.0ms	(/ 1 (* (+ x 1) (/ x 2)))

simplify4.5s

Counts

1149 → 1149

Iterations

Iter	Nodes
done	5001
1	3760
0	1365

prune3.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes44.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	13
1	13
0	9

end0.0ms

sample2.7s

Algorithm

intervals

Results

855.0ms	1836×	body	640	valid
762.0ms	555×	body	1280	valid
570.0ms	4243×	body	80	valid
297.0ms	884×	body	320	valid
100.0ms	482×	body	160	valid