Details

sample35.0ms

Algorithm

intervals

Results

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

simplify147.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.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.1b	(* (+ y 0.5) (log y))

rewrite27.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)
9.0ms	(* (+ y 0.5) (log y))

series374.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- x (* (+ y 0.5) (log y)))
57.0ms	(- (+ (- x (* (+ y 0.5) (log y))) y) z)
42.0ms	(+ (- x (* (+ y 0.5) (log y))) y)
238.0ms	(* (+ y 0.5) (log y))

simplify50.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (37.0ms)

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

prune198.0ms

Filtered

93 candidates to 69 candidates (74.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	86	7	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	7	94

Merged error: 0.0b

Counts

94 → 7

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-log-exp`
16×	`*-un-lft-identity`
12×	`log-prod`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt`
6×	`pow1` `distribute-rgt-in` `distribute-lft-in` `associate--r+`
5×	`add-exp-log` `flip3--` `diff-log` `add-cbrt-cube` `flip--`
4×	`associate-r` `associate-l` `frac-add` `sum-log`
3×	`sub-neg` `distribute-lft-out`
2×	`associate-+l+` `associate-+r+` `flip3-+` `associate-*l/` `flip-+`
1×	`+-commutative` `associate-+l-` `associate-+r-` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `unswap-sqr`

Counts

3 → 72

Calls

3 calls:

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

series333.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(- x (* (+ y 0.5) (log y)))
53.0ms	(+ (- x (* (+ y 0.5) (log y))) (- y z))
245.0ms	(* (+ y 0.5) (log y))

simplify51.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	502	653
1	1987	616
2	5002	610

prune195.0ms

Filtered

81 candidates to 59 candidates (72.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	81	7	88

Merged error: 0.0b

Counts

88 → 7

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

26×	`associate-+l+`
25×	`distribute-rgt-in` `distribute-lft-in`
24×	`log-prod`
19×	`*-un-lft-identity`
18×	`cbrt-prod`
15×	`add-log-exp`
14×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`flip3-+` `flip-+`
5×	`sum-log`
4×	`pow1` `add-exp-log` `associate-r/` `associate-l/` `frac-add` `add-cbrt-cube`
2×	`+-commutative` `associate-+r+` `pow1/3` `diff-log` `distribute-lft-out`
1×	`associate-+l-` `sub-neg` `distribute-lft-out--`

Counts

4 → 81

Calls

4 calls:

17.0ms	(+ (- x (+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))) y)
20.0ms	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
2.0ms	(cbrt y)
2.0ms	(cbrt y)

series1.2s

Counts

4 → 12

Calls

4 calls:

86.0ms	(+ (- x (+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))) y)
743.0ms	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
186.0ms	(cbrt y)
176.0ms	(cbrt y)

simplify64.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	544	995
1	2332	824
2	5001	791

prune301.0ms

Filtered

93 candidates to 83 candidates (89.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	91	2	93
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	92	8	100

Merged error: 0b

Counts

100 → 8

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

26×	`associate-+l+`
25×	`distribute-rgt-in` `distribute-lft-in`
24×	`log-prod`
20×	`*-un-lft-identity`
15×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
6×	`flip3-+` `flip-+`
5×	`pow1` `add-exp-log` `sum-log`
4×	`associate-r/` `associate-l/` `frac-add` `add-cbrt-cube`
3×	`unpow-prod-down` `pow-unpow`
2×	`+-commutative` `associate-+r+` `diff-log` `distribute-lft-out`
1×	`pow-to-exp` `associate-+l-` `sub-neg` `pow-pow` `unpow1/3` `pow1/3` `pow-exp` `distribute-lft-out--` `sqr-pow`

Counts

4 → 88

Calls

4 calls:

12.0ms	(+ (- x (+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (pow y 1/3)) (+ y 0.5)))) y)
12.0ms	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (pow y 1/3)) (+ y 0.5)))
1.0ms	(cbrt y)
2.0ms	(pow y 1/3)

series1.5s

Counts

4 → 12

Calls

4 calls:

120.0ms	(+ (- x (+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (pow y 1/3)) (+ y 0.5)))) y)
1.0s	(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (pow y 1/3)) (+ y 0.5)))
184.0ms	(cbrt y)
181.0ms	(pow y 1/3)

simplify82.0ms

Algorithm

egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	647	1035
1	2944	852
2	5001	810

prune311.0ms

Filtered

100 candidates to 84 candidates (84.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	100	8	108

Merged error: 0b

Counts

108 → 8

regimes139.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

sample1.0s

Algorithm

intervals

Results

348.0ms	8050×	body	80	valid
287.0ms	8218×	body	80	nan
0.0ms	2×	body	160	valid

Details

sample35.0ms

simplify147.0ms

prune2.0ms

localize9.0ms

rewrite27.0ms

series374.0ms

simplify50.0ms

prune198.0ms

localize10.0ms

rewrite20.0ms

series333.0ms

simplify51.0ms

prune195.0ms

localize25.0ms

rewrite44.0ms

series1.2s

simplify64.0ms

prune301.0ms

localize22.0ms

rewrite30.0ms

series1.5s

simplify82.0ms

prune311.0ms

regimes139.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.0s

Profiling