Details

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
18.4%	81.3%	0.2%	13
29.5%	70.3%	0.2%	14

sample36.0ms

Algorithm

intervals

Results

14.0ms	256×	body	80	valid
2.0ms	34×	body	80	invalid

simplify144.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (142.0ms)

Iter	Nodes	Cost
0	4786	11
1	4786	11

prune18.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.1b

Counts

2 → 2

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ t (- a z))
0.0b	(+ x (* (- y z) (/ t (- a z))))
8.4b	(* (- y z) (/ t (- a z)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
31×	`times-frac`
23×	`add-cube-cbrt`
21×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
5×	`pow1` `associate-l` `associate-/r*` `add-log-exp`
4×	`flip3--` `associate-/r/` `flip--`
3×	`associate-/l*`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 94

Calls

3 calls:

5.0ms	(/ t (- a z))
4.0ms	(+ x (* (- y z) (/ t (- a z))))
13.0ms	(* (- y z) (/ t (- a z)))

series50.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(/ t (- a z))
26.0ms	(+ x (* (- y z) (/ t (- a z))))
15.0ms	(* (- y z) (/ t (- a z)))

simplify65.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4978	1059
1	4978	1059

prune141.0ms

Filtered

75 candidates to 103 candidates (-37.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	95	8	103
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	95	10	105

Merged error: 0b

Counts

105 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)
2.0b	(* (- y z) (* (/ (cbrt t) (cbrt (- a z))) (/ (cbrt t) (cbrt (- a z)))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log`
14×	`add-cbrt-cube`
11×	`add-sqr-sqrt`
10×	`*-un-lft-identity`
9×	`pow1` `cbrt-prod` `frac-times` `prod-exp` `cbrt-unprod`
8×	`add-cube-cbrt`
6×	`associate-*r/`
5×	`associate-l` `associate-*l/`
4×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `add-log-exp`
3×	`pow1/3` `pow-prod-down`
1×	`associate-r` `*-commutative` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 71

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)
24.0ms	(* (- y z) (* (/ (cbrt t) (cbrt (- a z))) (/ (cbrt t) (cbrt (- a z)))))

series141.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt t)
20.0ms	(cbrt t)
21.0ms	(cbrt t)
79.0ms	(* (- y z) (* (/ (cbrt t) (cbrt (- a z))) (/ (cbrt t) (cbrt (- a z)))))

simplify91.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	5041	886

prune112.0ms

Filtered

56 candidates to 83 candidates (-48.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

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

Merged error: 0b

Counts

93 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.5b	(cbrt (- a z))
0.5b	(* (cbrt (- a z)) (cbrt (- a z)))
3.4b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ t (cbrt (- a z))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
57×	`*-un-lft-identity`
55×	`cbrt-prod`
38×	`associate-r`
36×	`times-frac`
31×	`add-cube-cbrt`
30×	`cbrt-div`
27×	`add-exp-log`
25×	`associate-l`
18×	`add-cbrt-cube`
15×	`flip3--` `flip--`
13×	`pow1`
12×	`distribute-lft-out--`
10×	`swap-sqr` `associate-/r/` `difference-of-squares` `unswap-sqr`
9×	`frac-times` `prod-exp` `cbrt-unprod`
8×	`pow1/3`
7×	`cbrt-undiv` `div-exp`
5×	`associate-r/` `associate-l/`
4×	`add-log-exp`
3×	`pow-prod-down`
2×	`pow-sqr` `*-commutative` `pow-prod-up` `div-inv`
1×	`pow2` `pow-plus`

Counts

4 → 163

Calls

4 calls:

3.0ms	(cbrt (- a z))
3.0ms	(cbrt (- a z))
11.0ms	(* (cbrt (- a z)) (cbrt (- a z)))
28.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ t (cbrt (- a z))))

series104.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- a z))
25.0ms	(cbrt (- a z))
32.0ms	(* (cbrt (- a z)) (cbrt (- a z)))
22.0ms	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ t (cbrt (- a z))))

simplify70.0ms

Algorithm

egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4946	2242
1	4946	2242

prune208.0ms

Filtered

120 candidates to 175 candidates (-45.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	175	10	185

Merged error: 0b

Counts

185 → 10

localize13.0ms

Local error

Found 4 expressions with local error:

2.0b	(* (- y z) (* (cbrt (/ t (- a z))) (cbrt (/ t (- a z)))))
12.6b	(cbrt (/ t (- a z)))
12.6b	(cbrt (/ t (- a z)))
12.6b	(cbrt (/ t (- a z)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

63×	`cbrt-prod`
53×	`add-sqr-sqrt`
52×	`*-un-lft-identity`
45×	`times-frac`
32×	`add-cube-cbrt`
15×	`cbrt-div`
10×	`distribute-lft-out--` `difference-of-squares`
9×	`pow1` `add-exp-log` `frac-times`
7×	`flip3--` `add-cbrt-cube` `flip--`
6×	`associate-*r/` `associate-/r/`
5×	`associate-l` `associate-*l/`
4×	`add-log-exp`
3×	`pow1/3` `pow-prod-down` `prod-exp` `cbrt-unprod` `div-inv`
1×	`associate-r` `*-commutative` `unswap-sqr`

Counts

4 → 122

Calls

4 calls:

19.0ms	(* (- y z) (* (cbrt (/ t (- a z))) (cbrt (/ t (- a z)))))
5.0ms	(cbrt (/ t (- a z)))
5.0ms	(cbrt (/ t (- a z)))
5.0ms	(cbrt (/ t (- a z)))

series251.0ms

Counts

4 → 12

Calls

4 calls:

139.0ms	(* (- y z) (* (cbrt (/ t (- a z))) (cbrt (/ t (- a z)))))
40.0ms	(cbrt (/ t (- a z)))
35.0ms	(cbrt (/ t (- a z)))
37.0ms	(cbrt (/ t (- a z)))

simplify91.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5159	1803

prune142.0ms

Filtered

107 candidates to 134 candidates (-25.2%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	134	10	144

Merged error: 0b

Counts

144 → 10

regimes669.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	29
1	29	29

end0.0ms

sample578.0ms

Algorithm

intervals

Results

301.0ms	7998×	body	80	valid
26.0ms	745×	body	80	invalid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

analyze1.1s

sample36.0ms

simplify144.0ms

prune18.0ms

localize8.0ms

rewrite25.0ms

series50.0ms

simplify65.0ms

prune141.0ms

localize14.0ms

rewrite29.0ms

series141.0ms

simplify91.0ms

prune112.0ms

localize14.0ms

rewrite52.0ms

series104.0ms

simplify70.0ms

prune208.0ms

localize13.0ms

rewrite40.0ms

series251.0ms

simplify91.0ms

prune142.0ms

regimes669.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample578.0ms

Profiling