Details

sample21.0ms

Algorithm

intervals

Results

9.0ms	294×	body	80	valid
1.0ms	6×	body	1280	valid
1.0ms	5×	body	640	valid
0.0ms	2×	body	320	valid
0.0ms	2×	body	160	valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	18	4
1	34	3
2	52	3
3	60	3
4	60	3

prune5.0ms

Filtered

1 candidates to 1 candidates (100.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

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 26

Calls

2 calls:

6.0ms	(+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))
4.0ms	(+ (* d1 3.0) (* d1 d2))

series82.0ms

Counts

2 → 6

Calls

2 calls:

37.0ms	(+ (+ (* d1 3.0) (* d1 d2)) (* d1 d3))
45.0ms	(+ (* d1 3.0) (* d1 d2))

simplify106.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	187	191
1	787	163
2	3595	151
3	5001	151

prune56.0ms

Filtered

32 candidates to 23 candidates (71.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	30	2	32
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	30	4	34

Merged error: 0.0b

Counts

34 → 4

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 24

Calls

1 calls:

8.0ms

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

series31.0ms

Counts

1 → 3

Calls

1 calls:

31.0ms

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

simplify93.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	149	120
1	720	103
2	3972	103
3	5002	103

prune35.0ms

Filtered

27 candidates to 16 candidates (59.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	26	1	27
Fresh	2	0	2
Picked	0	1	1
Done	0	1	1
Total	28	3	31

Merged error: 0.0b

Counts

31 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

1.1b	(- (* d3 d3) (* (+ 3.0 d2) d3))
2.5b	(+ (pow (+ 3.0 d2) 3) (pow d3 3))
5.5b	(* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3)))
29.5b	(/ (* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3))) (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity`
26×	`distribute-lft-out`
18×	`associate-/r/`
16×	`unpow-prod-down` `flip3-+` `cube-prod` `frac-add` `flip-+`
13×	`associate-r`
11×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt`
9×	`flip3--` `flip--`
8×	`frac-times` `add-cube-cbrt` `associate-*r/` `add-log-exp`
6×	`pow1`
4×	`associate-*l/`
3×	`times-frac` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `sum-cubes` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `distribute-rgt-in` `sub-neg` `distribute-rgt-out--` `frac-2neg` `distribute-lft-in` `diff-log` `pow-prod-down` `clear-num` `sum-log` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 107

Calls

4 calls:

3.0ms	(- (* d3 d3) (* (+ 3.0 d2) d3))
14.0ms	(+ (pow (+ 3.0 d2) 3) (pow d3 3))
18.0ms	(* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3)))
28.0ms	(/ (* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3))) (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))

series436.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(- (* d3 d3) (* (+ 3.0 d2) d3))
63.0ms	(+ (pow (+ 3.0 d2) 3) (pow d3 3))
148.0ms	(* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3)))
192.0ms	(/ (* d1 (+ (pow (+ 3.0 d2) 3) (pow d3 3))) (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))

simplify114.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (99.0ms)

Iter	Nodes	Cost
0	824	1527
1	4352	1379
2	5001	1374

prune280.0ms

Filtered

119 candidates to 78 candidates (65.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	0	0	0
Picked	0	1	1
Done	1	1	2
Total	119	3	122

Merged error: 0b

Counts

122 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

9.3b	(/ (+ (pow (+ 3.0 d2) 3) (pow d3 3)) (sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3)))))
18.7b	(sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))
18.7b	(sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))
23.0b	(* (/ d1 (sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))) (/ (+ (pow (+ 3.0 d2) 3) (pow d3 3)) (sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))))

rewrite188.0ms

Algorithm

rewrite-expression-head

Rules

373×	`*-un-lft-identity`
186×	`times-frac`
169×	`distribute-lft-out`
119×	`add-sqr-sqrt`
104×	`unpow-prod-down` `cube-prod`
102×	`sqrt-prod`
100×	`associate-r`
90×	`sqrt-div`
87×	`add-cube-cbrt`
80×	`frac-add`
66×	`flip3-+` `flip-+`
54×	`associate-/r/`
41×	`frac-times`
40×	`flip3--` `associate-l` `flip--`
21×	`associate-r/` `associate-l/`
18×	`add-exp-log` `add-cbrt-cube`
13×	`sum-cubes` `associate-/l*`
9×	`unswap-sqr`
8×	`pow1`
6×	`associate-/r*`
5×	`cbrt-undiv` `div-exp`
4×	`prod-exp` `cbrt-unprod` `add-log-exp`
3×	`div-inv`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-/l/`
1×	`frac-2neg` `pow-prod-down` `clear-num` `*-commutative`

Counts

4 → 360

Calls

4 calls:

33.0ms	(/ (+ (pow (+ 3.0 d2) 3) (pow d3 3)) (sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3)))))
12.0ms	(sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))
12.0ms	(sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))
105.0ms	(* (/ d1 (sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))) (/ (+ (pow (+ 3.0 d2) 3) (pow d3 3)) (sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))))

series506.0ms

Counts

4 → 12

Calls

4 calls:

167.0ms	(/ (+ (pow (+ 3.0 d2) 3) (pow d3 3)) (sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3)))))
73.0ms	(sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))
72.0ms	(sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))
194.0ms	(* (/ d1 (sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))) (/ (+ (pow (+ 3.0 d2) 3) (pow d3 3)) (sqrt (+ (* (+ 3.0 d2) (+ 3.0 d2)) (- (* d3 d3) (* (+ 3.0 d2) d3))))))

simplify119.0ms

Algorithm

egg-herbie

Counts

372 → 372

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1372	10251
1	5001	9951

prune959.0ms

Filtered

372 candidates to 186 candidates (50.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	372	0	372
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	372	3	375

Merged error: 0b

Counts

375 → 3

regimes78.0ms

Accuracy

0% (0.0b 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	14	5
1	14	5

end0.0ms

sample595.0ms

Algorithm

intervals

Results

311.0ms	9677×	body	80	valid
22.0ms	200×	body	640	valid
17.0ms	107×	body	1280	valid
13.0ms	154×	body	320	valid
4.0ms	73×	body	160	valid

Details

sample21.0ms

simplify9.0ms

prune5.0ms

localize7.0ms

rewrite10.0ms

series82.0ms

simplify106.0ms

prune56.0ms

localize5.0ms

rewrite9.0ms

series31.0ms

simplify93.0ms

prune35.0ms

localize19.0ms

rewrite68.0ms

series436.0ms

simplify114.0ms

prune280.0ms

localize18.0ms

rewrite188.0ms

series506.0ms

simplify119.0ms

prune959.0ms

regimes78.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample595.0ms

Profiling