Details

sample38.0ms

Algorithm

intervals

Results

14.0ms

256×

body

valid

simplify117.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (115.0ms)

Iter	Nodes	Cost
0	3975	21
1	3975	21

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 28.5b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ t y) a)
0.6b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
2.7b	(+ (* (+ x y) z) (* (+ t y) a))
26.6b	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity`
18×	`add-sqr-sqrt`
16×	`add-cube-cbrt`
15×	`times-frac`
13×	`distribute-lft-out`
11×	`add-log-exp`
10×	`associate-*l/`
8×	`add-exp-log` `add-cbrt-cube`
7×	`flip3-+` `flip-+`
6×	`pow1`
5×	`associate-/r*`
4×	`associate-l` `frac-add`
3×	`associate-r` `associate-/l*`
2×	`flip3--` `diff-log` `sum-log` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `associate--l+` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 90

Calls

4 calls:

5.0ms	(* (+ t y) a)
12.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
6.0ms	(+ (* (+ x y) z) (* (+ t y) a))
14.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series193.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ t y) a)
29.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
18.0ms	(+ (* (+ x y) z) (* (+ t y) a))
140.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify43.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5406	2061

prune166.0ms

Filtered

78 candidates to 102 candidates (-30.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	91	11	102
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	11	103

Merged error: 4.8b

Counts

103 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ y t) a)
2.7b	(+ (* (+ x y) z) (* (+ y t) a))
4.1b	(* (/ y (+ x (+ y t))) b)
24.3b	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
33×	`add-sqr-sqrt`
31×	`times-frac`
26×	`add-cube-cbrt`
25×	`associate-l`
22×	`distribute-lft-out`
19×	`associate-*l/`
13×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
8×	`pow1` `frac-add`
6×	`associate-r` `associate-/l/` `add-log-exp`
5×	`associate-/r*`
4×	`associate-/r/`
3×	`prod-exp` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `div-inv`
1×	`+-commutative` `frac-2neg` `clear-num` `sum-log`

Counts

4 → 119

Calls

4 calls:

5.0ms	(* (+ y t) a)
6.0ms	(+ (* (+ x y) z) (* (+ y t) a))
12.0ms	(* (/ y (+ x (+ y t))) b)
13.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series116.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ y t) a)
17.0ms	(+ (* (+ x y) z) (* (+ y t) a))
29.0ms	(* (/ y (+ x (+ y t))) b)
64.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify55.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4973	2019
1	4973	2019

prune160.0ms

Filtered

92 candidates to 131 candidates (-42.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	127	4	131
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	131	11	142

Merged error: 2.9b

Counts

142 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ b (+ x (+ y t)))
2.7b	(+ (* (+ x y) z) (* (+ y t) a))
7.6b	(* y (/ b (+ x (+ y t))))
24.3b	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

89×	`*-un-lft-identity`
46×	`times-frac`
39×	`add-sqr-sqrt`
34×	`add-cube-cbrt`
33×	`distribute-lft-out`
21×	`associate-r`
16×	`associate-*l/`
13×	`add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
10×	`associate-/r*`
8×	`frac-add`
6×	`pow1` `associate-/r/` `associate-/l/` `associate-/l*` `add-log-exp`
3×	`cbrt-undiv` `div-exp` `associate-l` `div-inv`
2×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-r/` `pow-prod-down` `sum-log` `-commutative`

Counts

4 → 135

Calls

4 calls:

6.0ms	(/ b (+ x (+ y t)))
7.0ms	(+ (* (+ x y) z) (* (+ y t) a))
12.0ms	(* y (/ b (+ x (+ y t))))
13.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

series108.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(/ b (+ x (+ y t)))
17.0ms	(+ (* (+ x y) z) (* (+ y t) a))
17.0ms	(* y (/ b (+ x (+ y t))))
64.0ms	(/ (+ (* (+ x y) z) (* (+ y t) a)) (+ x (+ y t)))

simplify55.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5191	2247

prune156.0ms

Filtered

100 candidates to 147 candidates (-47.0%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	147	11	158

Merged error: 2.9b

Counts

158 → 11

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (+ x (+ y t)))
0.6b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
2.7b	(+ (* (+ x y) z) (* (+ t y) a))
26.7b	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ x (+ y t))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

60×	`*-un-lft-identity`
32×	`times-frac`
31×	`add-sqr-sqrt`
24×	`add-cube-cbrt`
21×	`associate-r` `distribute-lft-out`
17×	`add-exp-log`
11×	`add-cbrt-cube` `add-log-exp`
10×	`associate-*l/`
7×	`pow1` `flip3-+` `flip-+`
5×	`associate-/r*`
4×	`div-exp` `frac-add` `prod-exp` `associate-/r/`
3×	`flip3--` `associate-l` `flip--` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `rec-exp` `diff-log` `1-exp` `sum-log` `cbrt-unprod` `div-inv`
1×	`+-commutative` `sub-neg` `pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `associate--l+` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 118

Calls

4 calls:

6.0ms	(/ 1 (+ x (+ y t)))
9.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
8.0ms	(+ (* (+ x y) z) (* (+ t y) a))
18.0ms	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ x (+ y t))))

series198.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ 1 (+ x (+ y t)))
30.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
16.0ms	(+ (* (+ x y) z) (* (+ t y) a))
142.0ms	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ x (+ y t))))

simplify46.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5239	2278

prune105.0ms

Filtered

82 candidates to 130 candidates (-58.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	130	11	141

Merged error: 2.9b

Counts

141 → 11

regimes864.0ms

Accuracy

10.7% (19.4b remaining)

Error of 22.3b against oracle of 2.9b and baseline of 24.6b

bsearch151.0ms

Steps

Iters	Range		Point
7	1.2924569742211753e+175	4.9194300841420393e+176	8.284603592914101e+175
6	2.3646349931466572e+141	2.9832472864328395e+142	2.9132840402052166e+142
8	113.00353102525105	1079929.916481607	1983.1357397404784
9	4.1696649166383e-215	4.173000503768959e-210	2.7457475397052064e-210
7	-7.004503707497217e-176	-4.29851568316371e-178	-1.0403241314872403e-176
5	-3.6166946556184107e-44	-1.4318868493562026e-44	-1.455285275136091e-44
9	-2.4052036288306873e+149	-2.2808954697681606e+141	-2.326165403571434e+143

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	59	127
1	59	127

end0.0ms

sample941.0ms

Algorithm

intervals

Results

454.0ms	7997×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

Details

sample38.0ms

simplify117.0ms

prune9.0ms

localize14.0ms

rewrite40.0ms

series193.0ms

simplify43.0ms

prune166.0ms

localize14.0ms

rewrite41.0ms

series116.0ms

simplify55.0ms

prune160.0ms

localize14.0ms

rewrite43.0ms

series108.0ms

simplify55.0ms

prune156.0ms

localize15.0ms

rewrite46.0ms

series198.0ms

simplify46.0ms

prune105.0ms

regimes864.0ms

bsearch151.0ms

simplify2.0ms

end0.0ms

sample941.0ms

Profiling