Details

sample26.0ms

Algorithm

intervals

Results

11.0ms

265×

body

valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	8
1	39	8
2	47	8
3	49	8
4	49	8

prune3.0ms

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 15.9b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (/ (* y b) t))
3.2b	(/ (* y b) t)
4.5b	(/ (* y z) t)
12.8b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

123×	`*-un-lft-identity`
105×	`add-sqr-sqrt`
92×	`times-frac`
81×	`add-cube-cbrt`
76×	`associate-/l*`
72×	`frac-add`
39×	`flip3-+` `flip-+`
38×	`associate-/r/`
36×	`associate-r` `associate-l`
24×	`distribute-lft-out`
23×	`associate-/r*`
16×	`add-exp-log` `add-cbrt-cube`
12×	`*-commutative` `unswap-sqr`
9×	`add-log-exp`
7×	`frac-2neg` `clear-num`
5×	`cbrt-undiv` `div-exp`
4×	`pow1`
3×	`sum-log` `div-inv`
2×	`+-commutative` `associate-+l+` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

4 → 263

Calls

4 calls:

22.0ms	(+ (+ a 1.0) (/ (* y b) t))
7.0ms	(/ (* y b) t)
7.0ms	(/ (* y z) t)
32.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series173.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(+ (+ a 1.0) (/ (* y b) t))
20.0ms	(/ (* y b) t)
19.0ms	(/ (* y z) t)
100.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify62.0ms

Algorithm

egg-herbie

Counts

275 → 275

Iterations

Useful iterations: 1 (35.0ms)

Iter	Nodes	Cost
0	1044	2590
1	5001	2517

prune638.0ms

Filtered

275 candidates to 202 candidates (26.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	264	11	275
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	265	11	276

Merged error: 10.7b

Counts

276 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (/ (* y b) t))
3.2b	(/ (* y b) t)
4.5b	(/ z (/ t y))
12.8b	(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

142×	`*-un-lft-identity`
131×	`times-frac`
116×	`add-sqr-sqrt`
100×	`add-cube-cbrt`
72×	`frac-add`
70×	`associate-/l*`
47×	`associate-/r/`
39×	`flip3-+` `flip-+`
36×	`associate-/r*`
24×	`associate-r` `associate-l` `distribute-lft-out`
16×	`add-exp-log` `add-cbrt-cube`
9×	`add-log-exp`
8×	`frac-2neg` `clear-num` `*-commutative` `unswap-sqr`
7×	`div-inv`
6×	`cbrt-undiv` `div-exp`
4×	`pow1`
3×	`sum-log`
2×	`+-commutative` `associate-+l+` `associate-/l/`
1×	`prod-exp` `cbrt-unprod`

Counts

4 → 276

Calls

4 calls:

19.0ms	(+ (+ a 1.0) (/ (* y b) t))
7.0ms	(/ (* y b) t)
6.0ms	(/ z (/ t y))
37.0ms	(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (/ (* y b) t)))

series172.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(+ (+ a 1.0) (/ (* y b) t))
21.0ms	(/ (* y b) t)
22.0ms	(/ z (/ t y))
99.0ms	(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (/ (* y b) t)))

simplify68.0ms

Algorithm

egg-herbie

Counts

288 → 288

Iterations

Useful iterations: 1 (36.0ms)

Iter	Nodes	Cost
0	1135	2719
1	5001	2643

prune645.0ms

Filtered

288 candidates to 214 candidates (25.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	284	4	288
Fresh	5	5	10
Picked	0	1	1
Done	0	0	0
Total	289	10	299

Merged error: 10.4b

Counts

299 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
3.2b	(/ (* y b) t)
4.5b	(/ z (/ t y))
12.8b	(* (+ x (/ z (/ t y))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

169×	`*-un-lft-identity`
143×	`times-frac`
138×	`add-sqr-sqrt`
115×	`add-cube-cbrt`
85×	`associate-/r/`
81×	`associate-r`
79×	`associate-/l*`
72×	`frac-add`
51×	`associate-/r*`
50×	`flip3-+` `flip-+`
31×	`distribute-lft-out`
28×	`associate-l`
27×	`add-exp-log`
22×	`frac-times`
21×	`add-cbrt-cube`
12×	`clear-num`
11×	`frac-2neg` `associate-*r/` `unswap-sqr`
9×	`div-exp` `*-commutative`
8×	`div-inv`
7×	`pow1` `cbrt-undiv`
5×	`prod-exp`
4×	`add-log-exp`
3×	`un-div-inv` `cbrt-unprod`
2×	`rec-exp` `1-exp` `associate-*l/`
1×	`pow-flip` `pow-prod-down` `inv-pow`

Counts

4 → 337

Calls

4 calls:

22.0ms	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
7.0ms	(/ (* y b) t)
9.0ms	(/ z (/ t y))
49.0ms	(* (+ x (/ z (/ t y))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

series203.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
20.0ms	(/ (* y b) t)
25.0ms	(/ z (/ t y))
98.0ms	(* (+ x (/ z (/ t y))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

simplify72.0ms

Algorithm

egg-herbie

Counts

349 → 349

Iterations

Useful iterations: 1 (39.0ms)

Iter	Nodes	Cost
0	1327	3205
1	5001	3070

prune758.0ms

Filtered

349 candidates to 237 candidates (32.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	348	1	349
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	349	10	359

Merged error: 10.4b

Counts

359 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
3.2b	(* b (/ y t))
4.5b	(/ (* y z) t)
12.8b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* b (/ y t))))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

127×	`*-un-lft-identity`
74×	`times-frac`
69×	`add-sqr-sqrt`
56×	`add-cube-cbrt`
39×	`distribute-lft-out`
28×	`associate-/l*`
27×	`associate-*r/`
25×	`associate-r` `associate-l`
24×	`associate-/r/`
22×	`frac-add`
19×	`associate-/r*`
16×	`add-exp-log` `add-cbrt-cube`
14×	`flip3-+` `flip-+`
8×	`clear-num`
6×	`pow1` `un-div-inv` `add-log-exp` `unswap-sqr`
5×	`frac-2neg` `*-commutative`
4×	`cbrt-undiv` `div-exp`
3×	`prod-exp` `cbrt-unprod` `div-inv`
2×	`associate-/l/`
1×	`+-commutative` `pow-prod-down` `sum-log`

Counts

4 → 196

Calls

4 calls:

12.0ms	(+ x (/ (* y z) t))
8.0ms	(* b (/ y t))
8.0ms	(/ (* y z) t)
33.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* b (/ y t))))

series175.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(+ x (/ (* y z) t))
23.0ms	(* b (/ y t))
19.0ms	(/ (* y z) t)
104.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* b (/ y t))))

simplify109.0ms

Algorithm

egg-herbie

Counts

208 → 208

Iterations

Useful iterations: 2 (90.0ms)

Iter	Nodes	Cost
0	773	1576
1	3438	1515
2	5001	1512

prune373.0ms

Filtered

208 candidates to 133 candidates (36.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	206	2	208
Fresh	3	4	7
Picked	0	1	1
Done	0	2	2
Total	209	9	218

Merged error: 10.4b

Counts

218 → 9

regimes272.0ms

Accuracy

0% (6.5b remaining)

Error of 16.2b against oracle of 9.7b and baseline of 16.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	8
1	19	8

end0.0ms

sample652.0ms

Algorithm

intervals

Results

366.0ms

8266×

body

valid