Details

analyze910.0ms

Algorithm: search

sample55.0ms

Algorithm

intervals

Results

12.0ms	195×	body	80	valid
9.0ms	17×	body	1280	valid
7.0ms	23×	body	640	valid
6.0ms	16×	body	320	valid
2.0ms	43×	body	80	nan
2.0ms	4×	body	1280	invalid
2.0ms	6×	body	640	invalid
1.0ms	5×	body	320	invalid
1.0ms	17×	body	80	invalid
1.0ms	5×	body	160	valid
0.0ms	1×	body	160	invalid

simplify125.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	7
1	27	7
2	54	7
3	109	7
4	307	7
5	777	7
6	4145	7
7	5002	7

prune4.0ms

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: 7.4b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ y (+ z y))
0.0b	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
0.1b	(* y (log (/ y (+ z y))))
8.8b	(log (/ y (+ z y)))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

67×	`*-un-lft-identity`
54×	`log-prod`
48×	`times-frac`
41×	`add-sqr-sqrt`
39×	`add-cube-cbrt`
18×	`distribute-rgt-in` `distribute-lft-in`
14×	`distribute-lft-out`
11×	`add-exp-log`
8×	`pow1` `associate-/r/` `add-cbrt-cube`
6×	`add-log-exp`
5×	`flip3-+` `flip-+`
4×	`associate-r` `associate-/r*` `div-inv`
3×	`associate-l` `associate-/l*`
2×	`div-exp` `rem-log-exp` `log-pow`
1×	`cbrt-undiv` `+-commutative` `log-div` `frac-2neg` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 129

Calls

4 calls:

5.0ms	(/ y (+ z y))
35.0ms	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
8.0ms	(* y (log (/ y (+ z y))))
5.0ms	(log (/ y (+ z y)))

series53.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ y (+ z y))
21.0ms	(+ x (/ (exp (* y (log (/ y (+ z y))))) y))
14.0ms	(* y (log (/ y (+ z y))))
12.0ms	(log (/ y (+ z y)))

simplify53.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	412	1027
1	1668	939
2	5002	913

prune162.0ms

Filtered

90 candidates to 141 candidates (-56.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	136	5	141
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	137	5	142

Merged error: 0.3b

Counts

142 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
2.2b	(log (/ (cbrt y) (cbrt (+ z y))))
2.2b	(log (/ (cbrt y) (cbrt (+ z y))))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

96×	`cbrt-prod` `log-prod`
84×	`*-un-lft-identity` `times-frac`
60×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`distribute-lft-out`
10×	`add-exp-log`
6×	`pow1`
4×	`cbrt-div` `rem-log-exp` `associate-/r/` `add-cbrt-cube` `add-log-exp`
2×	`log-div` `flip3-+` `pow1/3` `div-exp` `log-pow` `flip-+` `div-inv`

Counts

4 → 140

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
7.0ms	(log (/ (cbrt y) (cbrt (+ z y))))
7.0ms	(log (/ (cbrt y) (cbrt (+ z y))))

series96.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(cbrt y)
22.0ms	(cbrt y)
27.0ms	(log (/ (cbrt y) (cbrt (+ z y))))
24.0ms	(log (/ (cbrt y) (cbrt (+ z y))))

simplify72.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 3 (57.0ms)

Iter	Nodes	Cost
0	336	1450
1	742	1380
2	2184	1330
3	5001	1322

prune174.0ms

Filtered

102 candidates to 152 candidates (-49.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	152	5	157

Merged error: 0.3b

Counts

157 → 5

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
34.3b	(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-exp-log`
10×	`pow1`
9×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`prod-exp`
5×	`rem-log-exp`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow1/3` `pow-prod-down` `log-pow`
2×	`div-exp`
1×	`log-div` `log-prod` `associate-*r/`

Counts

4 → 50

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
12.0ms	(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

series86.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt y)
24.0ms	(cbrt y)
22.0ms	(cbrt y)
16.0ms	(log (* (* (cbrt y) (cbrt y)) (/ (cbrt y) (+ z y))))

simplify50.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 3 (14.0ms)

Iter	Nodes	Cost
0	91	288
1	175	255
2	468	216
3	1704	195
4	5002	195

prune90.0ms

Filtered

49 candidates to 62 candidates (-26.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	62	5	67

Merged error: 0.3b

Counts

67 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ z y))
0.5b	(cbrt (+ z y))
0.5b	(cbrt (+ z y))
18.4b	(log (* (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ (sqrt y) (cbrt (+ z y)))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-exp-log`
13×	`*-un-lft-identity`
12×	`cbrt-prod`
8×	`prod-exp`
7×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `div-exp` `rem-log-exp`
6×	`cbrt-div`
4×	`add-cbrt-cube` `add-log-exp`
3×	`log-div` `flip3-+` `pow1/3` `flip-+` `distribute-lft-out`
2×	`log-pow`
1×	`frac-times` `log-prod` `associate-r/` `pow-prod-down` `associate-l/`

Counts

4 → 62

Calls

4 calls:

3.0ms	(cbrt (+ z y))
3.0ms	(cbrt (+ z y))
3.0ms	(cbrt (+ z y))
19.0ms	(log (* (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ (sqrt y) (cbrt (+ z y)))))

series115.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(cbrt (+ z y))
34.0ms	(cbrt (+ z y))
32.0ms	(cbrt (+ z y))
18.0ms	(log (* (/ (sqrt y) (* (cbrt (+ z y)) (cbrt (+ z y)))) (/ (sqrt y) (cbrt (+ z y)))))

simplify69.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 3 (62.0ms)

Iter	Nodes	Cost
0	228	545
1	705	486
2	2528	449
3	5002	423

prune110.0ms

Filtered

63 candidates to 74 candidates (-17.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	74	5	79

Merged error: 0.3b

Counts

79 → 5

regimes429.0ms

Accuracy

0% (0.6b remaining)

Error of 1.1b against oracle of 0.5b and baseline of 1.1b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	16
1	20	16

end0.0ms

analyze915.0ms

Algorithm: search

sample1.6s

Algorithm

intervals

Results

387.0ms	6080×	body	80	valid
349.0ms	667×	body	1280	valid
210.0ms	649×	body	640	valid
90.0ms	400×	body	320	valid
79.0ms	255×	body	640	invalid
56.0ms	118×	body	1280	invalid
51.0ms	1099×	body	80	nan
37.0ms	170×	body	320	invalid
28.0ms	204×	body	160	valid
23.0ms	346×	body	80	invalid
13.0ms	101×	body	160	invalid

Details

analyze910.0ms

sample55.0ms

simplify125.0ms

prune4.0ms

localize10.0ms

rewrite59.0ms

series53.0ms

simplify53.0ms

prune162.0ms

localize16.0ms

rewrite25.0ms

series96.0ms

simplify72.0ms

prune174.0ms

localize17.0ms

rewrite17.0ms

series86.0ms

simplify50.0ms

prune90.0ms

localize19.0ms

rewrite30.0ms

series115.0ms

simplify69.0ms

prune110.0ms

regimes429.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze915.0ms

sample1.6s

Profiling