Details

sample22.0ms

Algorithm

intervals

Results

8.0ms

334×

body

valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	13	5
1	13	5

prune9.0ms

Filtered

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

Counts

2 → 2

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(* d1 (+ d2 d3))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`associate-r`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `add-log-exp` `unswap-sqr`

Counts

1 → 23

Calls

1 calls:

6.0ms

(* d1 (+ d2 d3))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(* d1 (+ d2 d3))

simplify71.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4889	163
1	4889	163

prune28.0ms

Filtered

15 candidates to 26 candidates (-73.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	25	1	26
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	26	2	28

Merged error: 0.0b

Counts

28 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* d1 d2) (* d1 d3))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 12

Calls

1 calls:

4.0ms

(+ (* d1 d2) (* d1 d3))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(+ (* d1 d2) (* d1 d3))

simplify50.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5364	114

prune17.0ms

Filtered

10 candidates to 15 candidates (-50.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	15	2	17

Merged error: 0.0b

Counts

17 → 2

localize6.0ms

Local error

Found 4 expressions with local error:

0.0b	(* d1 (+ d2 d3))
0.3b	(* (sqrt (* d1 (+ d2 d3))) (sqrt (* d1 (+ d2 d3))))
2.6b	(sqrt (* d1 (+ d2 d3)))
2.6b	(sqrt (* d1 (+ d2 d3)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

61×	`pow1`
32×	`sqrt-pow1`
23×	`pow-prod-down`
20×	`associate-*r/`
16×	`sqrt-div`
14×	`add-sqr-sqrt`
12×	`*-un-lft-identity` `pow1/2`
10×	`add-cube-cbrt` `pow-prod-up`
9×	`flip3-+` `flip-+`
8×	`add-exp-log` `associate-r` `add-cbrt-cube`
7×	`associate-l`
6×	`sqrt-prod` `pow-sqr`
4×	`frac-times` `swap-sqr` `add-log-exp`
2×	`associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `sqrt-unprod` `rem-square-sqrt` `distribute-lft-out`

Counts

4 → 106

Calls

4 calls:

6.0ms	(* d1 (+ d2 d3))
12.0ms	(* (sqrt (* d1 (+ d2 d3))) (sqrt (* d1 (+ d2 d3))))
4.0ms	(sqrt (* d1 (+ d2 d3)))
7.0ms	(sqrt (* d1 (+ d2 d3)))

series40.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* d1 (+ d2 d3))
6.0ms	(* (sqrt (* d1 (+ d2 d3))) (sqrt (* d1 (+ d2 d3))))
14.0ms	(sqrt (* d1 (+ d2 d3)))
14.0ms	(sqrt (* d1 (+ d2 d3)))

simplify33.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5115	888

prune86.0ms

Filtered

69 candidates to 118 candidates (-71.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	117	1	118
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	117	3	120

Merged error: 0b

Counts

120 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sqrt (* d1 (+ d2 d3))) (* (sqrt (sqrt (* d1 (+ d2 d3)))) (sqrt (sqrt (* d1 (+ d2 d3))))))
2.6b	(sqrt (* d1 (+ d2 d3)))
2.6b	(sqrt (* d1 (+ d2 d3)))
2.6b	(sqrt (* d1 (+ d2 d3)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

190×	`sqrt-pow1`
169×	`pow1`
96×	`sqrt-div`
79×	`pow-prod-up`
74×	`associate-*r/`
57×	`pow-prod-down`
50×	`pow1/2`
30×	`flip3-+` `flip-+`
28×	`frac-times`
17×	`pow-sqr`
9×	`add-exp-log` `add-cbrt-cube`
8×	`associate-*l/`
7×	`add-sqr-sqrt`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-l` `sqrt-prod` `add-log-exp`
3×	`prod-exp` `cbrt-unprod`
2×	`sqrt-unprod`
1×	`swap-sqr` `associate-r` `*-commutative` `unswap-sqr`

Counts

4 → 138

Calls

4 calls:

30.0ms	(* (sqrt (* d1 (+ d2 d3))) (* (sqrt (sqrt (* d1 (+ d2 d3)))) (sqrt (sqrt (* d1 (+ d2 d3))))))
4.0ms	(sqrt (* d1 (+ d2 d3)))
4.0ms	(sqrt (* d1 (+ d2 d3)))
4.0ms	(sqrt (* d1 (+ d2 d3)))

series49.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (sqrt (* d1 (+ d2 d3))) (* (sqrt (sqrt (* d1 (+ d2 d3)))) (sqrt (sqrt (* d1 (+ d2 d3))))))
14.0ms	(sqrt (* d1 (+ d2 d3)))
14.0ms	(sqrt (* d1 (+ d2 d3)))
14.0ms	(sqrt (* d1 (+ d2 d3)))

simplify33.0ms

Algorithm

egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5010	1474

prune103.0ms

Filtered

77 candidates to 150 candidates (-94.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	150	3	153

Merged error: 0b

Counts

153 → 3

regimes168.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	7
1	9	7

end0.0ms

sample563.0ms

Algorithm

intervals

Results

229.0ms

10177×

body

valid

Details

sample22.0ms

simplify3.0ms

prune9.0ms

localize4.0ms

rewrite6.0ms

series6.0ms

simplify71.0ms

prune28.0ms

localize5.0ms

rewrite4.0ms

series7.0ms

simplify50.0ms

prune17.0ms

localize6.0ms

rewrite33.0ms

series40.0ms

simplify33.0ms

prune86.0ms

localize9.0ms

rewrite55.0ms

series49.0ms

simplify33.0ms

prune103.0ms

regimes168.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample563.0ms

Profiling