Details

sample59.0ms

Algorithm

intervals

Results

19.0ms	270×	body	80	nan
18.0ms	260×	body	80	valid

simplify154.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	21	6
1	61	6
2	192	6
3	649	6
4	1602	6
5	2720	6
6	3667	6
7	4387	6
8	4711	6
9	4938	6
10	5002	6

prune2.0ms

Filtered

1 candidates to 0 candidates (0.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: 0.1b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
0.0b	(- x (* (+ y 0.5) (log y)))
0.1b	(+ (- x (* (+ y 0.5) (log y))) y)
0.2b	(* (+ y 0.5) (log y))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
19×	`*-un-lft-identity`
14×	`add-sqr-sqrt`
12×	`log-prod`
10×	`add-cube-cbrt`
7×	`pow1`
6×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `diff-log` `add-cbrt-cube` `associate--r+`
4×	`associate-r` `associate-l` `sum-log`
3×	`sub-neg` `distribute-lft-out`
2×	`associate-+l-` `associate-+l+` `flip3--` `flip3-+` `associate-*l/` `flip--` `flip-+` `distribute-lft-out--`
1×	`+-commutative` `associate--l-` `pow-prod-down` `prod-exp` `associate--l+` `log-pow` `*-commutative` `cbrt-unprod` `difference-of-squares` `unswap-sqr`

Counts

4 → 81

Calls

4 calls:

8.0ms	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
3.0ms	(- x (* (+ y 0.5) (log y)))
5.0ms	(+ (- x (* (+ y 0.5) (log y))) y)
7.0ms	(* (+ y 0.5) (log y))

series371.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
35.0ms	(- x (* (+ y 0.5) (log y)))
45.0ms	(+ (- x (* (+ y 0.5) (log y))) y)
238.0ms	(* (+ y 0.5) (log y))

simplify43.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	446	640
1	1624	597
2	5001	591

prune176.0ms

Filtered

93 candidates to 69 candidates (74.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	88	5	93
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	88	6	94

Merged error: 0.0b

Counts

94 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ y 0.5) (* 2 (log (cbrt y))))
0.3b	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

49×	`distribute-rgt-in` `distribute-lft-in`
48×	`log-prod`
30×	`cbrt-prod`
25×	`*-un-lft-identity`
24×	`associate-+l+`
23×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`flip3-+` `associate-*l/` `flip-+` `add-log-exp`
4×	`associate-r/` `associate-l*` `frac-add`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`associate-+r+` `pow1/3`
1×	`+-commutative` `associate-r` `sum-log` `*-commutative` `distribute-lft-out`

Counts

4 → 108

Calls

4 calls:

9.0ms	(* (+ y 0.5) (* 2 (log (cbrt y))))
12.0ms	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series1.6s

Counts

4 → 12

Calls

4 calls:

483.0ms	(* (+ y 0.5) (* 2 (log (cbrt y))))
761.0ms	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
177.0ms	(cbrt y)
177.0ms	(cbrt y)

simplify73.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	640	1101
1	2507	971
2	5003	939

prune327.0ms

Filtered

120 candidates to 91 candidates (75.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	119	7	126

Merged error: 0.0b

Counts

126 → 7

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (* (log (pow y 1/3)) (+ y (* (+ y 0.5) 2))) (* (log (cbrt y)) 0.5))
0.2b	(* (log (pow y 1/3)) (+ y (* (+ y 0.5) 2)))
0.6b	(cbrt y)
5.0b	(pow y 1/3)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`pow1` `add-exp-log`
6×	`add-cbrt-cube` `add-log-exp`
4×	`associate-l`
3×	`cbrt-prod` `unpow-prod-down` `pow-unpow` `associate-r`
2×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `flip3-+` `associate-*r/` `flip-+`
1×	`+-commutative` `pow-to-exp` `pow-pow` `unpow1/3` `pow1/3` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr` `sqr-pow`

Counts

4 → 65

Calls

4 calls:

7.0ms	(+ (* (log (pow y 1/3)) (+ y (* (+ y 0.5) 2))) (* (log (cbrt y)) 0.5))
6.0ms	(* (log (pow y 1/3)) (+ y (* (+ y 0.5) 2)))
1.0ms	(cbrt y)
2.0ms	(pow y 1/3)

series1.7s

Counts

4 → 12

Calls

4 calls:

913.0ms	(+ (* (log (pow y 1/3)) (+ y (* (+ y 0.5) 2))) (* (log (cbrt y)) 0.5))
465.0ms	(* (log (pow y 1/3)) (+ y (* (+ y 0.5) 2)))
177.0ms	(cbrt y)
171.0ms	(pow y 1/3)

simplify64.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	391	537
1	1772	452
2	5002	434

prune245.0ms

Filtered

77 candidates to 60 candidates (77.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	77	7	84

Merged error: 0.0b

Counts

84 → 7

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ y 0.5) (* 2 (log (pow y 1/3))))
0.3b	(+ (* (+ y 0.5) (* 2 (log (pow y 1/3)))) (* (log (cbrt y)) (+ y 0.5)))
0.6b	(cbrt y)
5.0b	(pow y 1/3)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

57×	`distribute-rgt-in` `distribute-lft-in`
56×	`log-prod`
28×	`associate-+l+`
27×	`unpow-prod-down`
26×	`*-un-lft-identity`
24×	`add-sqr-sqrt` `add-cube-cbrt`
10×	`pow1` `add-exp-log`
9×	`add-cbrt-cube` `sqr-pow`
6×	`flip3-+` `associate-*l/` `flip-+` `add-log-exp`
4×	`associate-r/` `associate-l*` `frac-add`
3×	`cbrt-prod` `pow-unpow` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`associate-+r+`
1×	`+-commutative` `pow-to-exp` `pow-pow` `unpow1/3` `pow1/3` `associate-r` `pow-exp` `sum-log` `*-commutative` `distribute-lft-out`

Counts

4 → 123

Calls

4 calls:

10.0ms	(* (+ y 0.5) (* 2 (log (pow y 1/3))))
13.0ms	(+ (* (+ y 0.5) (* 2 (log (pow y 1/3)))) (* (log (cbrt y)) (+ y 0.5)))
1.0ms	(cbrt y)
2.0ms	(pow y 1/3)

series2.1s

Counts

4 → 12

Calls

4 calls:

454.0ms	(* (+ y 0.5) (* 2 (log (pow y 1/3))))
1.3s	(+ (* (+ y 0.5) (* 2 (log (pow y 1/3)))) (* (log (cbrt y)) (+ y 0.5)))
183.0ms	(cbrt y)
181.0ms	(pow y 1/3)

simplify110.0ms

Algorithm

egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 2 (95.0ms)

Iter	Nodes	Cost
0	808	1193
1	3242	985
2	5002	937

prune373.0ms

Filtered

135 candidates to 94 candidates (69.6%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	135	7	142

Merged error: 0.0b

Counts

142 → 7

regimes169.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	6
1	13	6

end0.0ms

sample983.0ms

Algorithm

intervals

Results

349.0ms	8038×	body	80	valid
283.0ms	7952×	body	80	nan
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

Details

sample59.0ms

simplify154.0ms

prune2.0ms

localize9.0ms

rewrite25.0ms

series371.0ms

simplify43.0ms

prune176.0ms

localize14.0ms

rewrite28.0ms

series1.6s

simplify73.0ms

prune327.0ms

localize26.0ms

rewrite18.0ms

series1.7s

simplify64.0ms

prune245.0ms

localize27.0ms

rewrite33.0ms

series2.1s

simplify110.0ms

prune373.0ms

regimes169.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample983.0ms

Profiling