Details

sample35.0ms

Algorithm

intervals

Results

11.0ms	257×	body	80	valid
9.0ms	265×	body	80	nan

simplify158.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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.2b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (* (+ y 0.5) (log y)))
0.0b	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
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:

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

series370.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(- x (* (+ y 0.5) (log y)))
53.0ms	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
42.0ms	(+ (- x (* (+ y 0.5) (log y))) y)
239.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	5002	591

prune207.0ms

Filtered

93 candidates to 69 candidates (74.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	83	10	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	10	94

Merged error: 0.0b

Counts

94 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
15×	`*-un-lft-identity`
10×	`add-sqr-sqrt`
7×	`pow1`
6×	`add-exp-log` `add-cube-cbrt` `diff-log` `add-cbrt-cube`
4×	`associate-r` `associate-l` `sum-log`
3×	`sub-neg` `distribute-lft-out`
2×	`distribute-rgt-in` `associate-+r-` `associate-+r+` `flip3--` `distribute-lft-in` `flip3-+` `associate-*r/` `flip--` `flip-+` `associate--r+` `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 → 73

Calls

4 calls:

4.0ms	(+ x (- y (* (log y) (+ y 0.5))))
7.0ms	(- (+ x (- y (* (log y) (+ y 0.5)))) z)
3.0ms	(- y (* (log y) (+ y 0.5)))
6.0ms	(* (log y) (+ y 0.5))

series752.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(+ x (- y (* (log y) (+ y 0.5))))
53.0ms	(- (+ x (- y (* (log y) (+ y 0.5)))) z)
418.0ms	(- y (* (log y) (+ y 0.5)))
241.0ms	(* (log y) (+ y 0.5))

simplify44.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	403	561
1	1620	527
2	5003	525

prune165.0ms

Filtered

85 candidates to 59 candidates (69.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	84	11	95

Merged error: 0.0b

Counts

95 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (+ 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)

rewrite27.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:

8.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:

445.0ms	(* (+ y 0.5) (* 2 (log (cbrt y))))
772.0ms	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
171.0ms	(cbrt y)
177.0ms	(cbrt y)

simplify69.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (58.0ms)

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

prune321.0ms

Filtered

120 candidates to 91 candidates (75.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	122	9	131

Merged error: 0b

Counts

131 → 9

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (+ 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.2b	(pow y 1/3)

rewrite35.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:

9.0ms	(* (+ y 0.5) (* 2 (log (pow y 1/3))))
16.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)

series1.9s

Counts

4 → 12

Calls

4 calls:

466.0ms	(* (+ y 0.5) (* 2 (log (pow y 1/3))))
1.1s	(+ (* (+ y 0.5) (* 2 (log (pow y 1/3)))) (* (log (cbrt y)) (+ y 0.5)))
175.0ms	(cbrt y)
169.0ms	(pow y 1/3)

simplify97.0ms

Algorithm

egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 2 (84.0ms)

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

prune344.0ms

Filtered

135 candidates to 94 candidates (69.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	135	9	144

Merged error: 0b

Counts

144 → 9

regimes108.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	13
1	24	13

end1.0ms

sample983.0ms

Algorithm

intervals

Results

344.0ms	8033×	body	80	valid
287.0ms	8303×	body	80	nan
0.0ms	2×	body	640	valid

Details

sample35.0ms

simplify158.0ms

prune2.0ms

localize9.0ms

rewrite25.0ms

series370.0ms

simplify43.0ms

prune207.0ms

localize9.0ms

rewrite21.0ms

series752.0ms

simplify44.0ms

prune165.0ms

localize14.0ms

rewrite27.0ms

series1.6s

simplify69.0ms

prune321.0ms

localize22.0ms

rewrite35.0ms

series1.9s

simplify97.0ms

prune344.0ms

regimes108.0ms

bsearch0.0ms

simplify2.0ms

end1.0ms

sample983.0ms

Profiling