Details

analyze376.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
35.9%	64%	0.1%	9
47.6%	49.9%	2.5%	10
49.1%	46.8%	4%	11
51.1%	44.1%	4.8%	12
60.2%	29.9%	9.9%	13
60.6%	27.9%	11.6%	14

sample22.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
1.0ms	43×	body	80	invalid

simplify49.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5021	11

prune10.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: 12.7b

Counts

2 → 2

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (+ z 1.0))
0.1b	(* z (* z (+ z 1.0)))
7.7b	(* x (/ y (* z (* z (+ z 1.0)))))
8.5b	(/ y (* z (* z (+ z 1.0))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-exp-log` `add-cbrt-cube`
16×	`add-sqr-sqrt`
15×	`associate-*r/`
14×	`-un-lft-identity` `associate-r*` `prod-exp` `cbrt-unprod`
13×	`pow1`
12×	`add-cube-cbrt`
9×	`associate-l`
6×	`cbrt-undiv` `times-frac` `div-exp`
5×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down`
4×	`flip3-+` `associate-/r/` `flip-+` `add-log-exp`
3×	`-commutative` `associate-/l`
2×	`div-inv` `unswap-sqr`
1×	`frac-2neg` `clear-num` `associate-/r*` `distribute-lft-out`

Counts

4 → 103

Calls

4 calls:

6.0ms	(* z (+ z 1.0))
7.0ms	(* z (* z (+ z 1.0)))
11.0ms	(* x (/ y (* z (* z (+ z 1.0)))))
7.0ms	(/ y (* z (* z (+ z 1.0))))

series36.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* z (+ z 1.0))
5.0ms	(* z (* z (+ z 1.0)))
17.0ms	(* x (/ y (* z (* z (+ z 1.0)))))
9.0ms	(/ y (* z (* z (+ z 1.0))))

simplify29.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5158	1122

prune141.0ms

Filtered

74 candidates to 115 candidates (-55.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	107	8	115
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	108	9	117

Merged error: 1.9b

Counts

117 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
1.9b	(* (* (* (cbrt y) (/ (cbrt y) z)) x) (/ (cbrt y) (* z (+ z 1.0))))
2.4b	(/ (cbrt y) (* z (+ z 1.0)))
3.1b	(* (* (cbrt y) (/ (cbrt y) z)) x)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

72×	`add-exp-log`
50×	`add-cbrt-cube`
37×	`prod-exp` `cbrt-unprod`
18×	`pow1`
15×	`associate-r`
14×	`cbrt-undiv` `div-exp`
13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`cbrt-prod` `times-frac`
9×	`pow-prod-down`
8×	`associate-*r/`
6×	`associate-/l*`
4×	`associate-*l/` `associate-/r/` `add-log-exp`
2×	`flip3-+` `associate-l` `*-commutative` `flip-+` `div-inv`
1×	`frac-times` `frac-2neg` `pow1/3` `clear-num` `associate-/r*`

Counts

4 → 112

Calls

4 calls:

1.0ms	(cbrt y)
16.0ms	(* (* (* (cbrt y) (/ (cbrt y) z)) x) (/ (cbrt y) (* z (+ z 1.0))))
7.0ms	(/ (cbrt y) (* z (+ z 1.0)))
8.0ms	(* (* (cbrt y) (/ (cbrt y) z)) x)

series107.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt y)
17.0ms	(* (* (* (cbrt y) (/ (cbrt y) z)) x) (/ (cbrt y) (* z (+ z 1.0))))
24.0ms	(/ (cbrt y) (* z (+ z 1.0)))
42.0ms	(* (* (cbrt y) (/ (cbrt y) z)) x)

simplify38.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5114	1389

prune159.0ms

Filtered

79 candidates to 124 candidates (-57.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	118	6	124
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	120	13	133

Merged error: 0.0b

Counts

133 → 13

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (* (cbrt y) (* (/ (cbrt y) z) (* x (/ (cbrt (* (cbrt y) (cbrt y))) z)))) (/ (cbrt (cbrt y)) (+ z 1.0)))
0.6b	(cbrt (cbrt y))
0.8b	(* x (/ (cbrt (* (cbrt y) (cbrt y))) z))
3.5b	(* (cbrt y) (* (/ (cbrt y) z) (* x (/ (cbrt (* (cbrt y) (cbrt y))) z))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

122×	`add-exp-log`
77×	`add-cbrt-cube`
69×	`prod-exp` `cbrt-unprod`
59×	`associate-r`
57×	`*-un-lft-identity`
52×	`cbrt-prod`
50×	`times-frac`
46×	`add-sqr-sqrt`
39×	`add-cube-cbrt`
29×	`pow1`
24×	`cbrt-undiv` `div-exp`
20×	`associate-*r/`
17×	`pow-prod-down`
10×	`associate-l`
9×	`distribute-lft-out`
6×	`frac-times` `associate-*l/`
4×	`add-log-exp`
3×	`*-commutative` `unswap-sqr`
2×	`associate-/r/` `div-inv`
1×	`flip3-+` `pow1/3` `flip-+`

Counts

4 → 179

Calls

4 calls:

23.0ms	(* (* (cbrt y) (* (/ (cbrt y) z) (* x (/ (cbrt (* (cbrt y) (cbrt y))) z)))) (/ (cbrt (cbrt y)) (+ z 1.0)))
2.0ms	(cbrt (cbrt y))
7.0ms	(* x (/ (cbrt (* (cbrt y) (cbrt y))) z))
12.0ms	(* (cbrt y) (* (/ (cbrt y) z) (* x (/ (cbrt (* (cbrt y) (cbrt y))) z))))

series146.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* (* (cbrt y) (* (/ (cbrt y) z) (* x (/ (cbrt (* (cbrt y) (cbrt y))) z)))) (/ (cbrt (cbrt y)) (+ z 1.0)))
34.0ms	(cbrt (cbrt y))
34.0ms	(* x (/ (cbrt (* (cbrt y) (cbrt y))) z))
60.0ms	(* (cbrt y) (* (/ (cbrt y) z) (* x (/ (cbrt (* (cbrt y) (cbrt y))) z))))

simplify83.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4953	3796
1	4953	3796

prune226.0ms

Filtered

120 candidates to 191 candidates (-59.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	188	3	191
Fresh	2	10	12
Picked	1	0	1
Done	0	0	0
Total	191	13	204

Merged error: 0.0b

Counts

204 → 13

localize20.0ms

Local error

Found 4 expressions with local error:

0.8b	(* x (/ (cbrt (* (cbrt y) (cbrt y))) z))
0.9b	(pow (cbrt (cbrt y)) 4)
1.7b	(* (cbrt (* (cbrt y) (cbrt y))) (/ (* (* x (/ (cbrt (* (cbrt y) (cbrt y))) z)) (pow (cbrt (cbrt y)) 4)) z))
2.1b	(* (* x (/ (cbrt (* (cbrt y) (cbrt y))) z)) (pow (cbrt (cbrt y)) 4))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

81×	`add-exp-log`
43×	`prod-exp`
36×	`associate-r`
34×	`add-sqr-sqrt`
30×	`add-cbrt-cube`
24×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
18×	`unpow-prod-down`
17×	`times-frac` `div-exp` `cbrt-unprod`
9×	`pow1`
8×	`associate-l`
7×	`cbrt-undiv` `pow-to-exp` `pow-exp`
5×	`unswap-sqr`
4×	`add-log-exp`
3×	`pow-unpow` `associate-r/` `-commutative`
2×	`pow-pow` `pow-prod-down` `div-inv` `sqr-pow`
1×	`pow1/3` `associate-*l/`

Counts

4 → 134

Calls

4 calls:

7.0ms	(* x (/ (cbrt (* (cbrt y) (cbrt y))) z))
3.0ms	(pow (cbrt (cbrt y)) 4)
14.0ms	(* (cbrt (* (cbrt y) (cbrt y))) (/ (* (* x (/ (cbrt (* (cbrt y) (cbrt y))) z)) (pow (cbrt (cbrt y)) 4)) z))
14.0ms	(* (* x (/ (cbrt (* (cbrt y) (cbrt y))) z)) (pow (cbrt (cbrt y)) 4))

series168.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* x (/ (cbrt (* (cbrt y) (cbrt y))) z))
42.0ms	(pow (cbrt (cbrt y)) 4)
59.0ms	(* (cbrt (* (cbrt y) (cbrt y))) (/ (* (* x (/ (cbrt (* (cbrt y) (cbrt y))) z)) (pow (cbrt (cbrt y)) 4)) z))
31.0ms	(* (* x (/ (cbrt (* (cbrt y) (cbrt y))) z)) (pow (cbrt (cbrt y)) 4))

simplify60.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4985	2390
1	4985	2390

prune181.0ms

Filtered

101 candidates to 146 candidates (-44.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	146	13	159

Merged error: 0.0b

Counts

159 → 13

regimes557.0ms

Accuracy

26.9% (2.0b remaining)

Error of 2.1b against oracle of 0.1b and baseline of 2.8b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	52	85
1	52	85

end0.0ms

sample537.0ms

Algorithm

intervals

Results

281.0ms	8000×	body	80	valid
62.0ms	1653×	body	80	invalid

Details

analyze376.0ms

sample22.0ms

simplify49.0ms

prune10.0ms

localize7.0ms

rewrite34.0ms

series36.0ms

simplify29.0ms

prune141.0ms

localize12.0ms

rewrite35.0ms

series107.0ms

simplify38.0ms

prune159.0ms

localize20.0ms

rewrite52.0ms

series146.0ms

simplify83.0ms

prune226.0ms

localize20.0ms

rewrite43.0ms

series168.0ms

simplify60.0ms

prune181.0ms

regimes557.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample537.0ms

Profiling