Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	245×	body	80	valid
0.0hr	12×	body	640	valid
0.0hr	9×	body	1280	valid
0.0hr	14×	body	320	valid
0.0hr	11×	body	160	valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	23	6
1	44	6
2	122	6
3	327	6
4	868	6
5	1727	6
6	3544	6
7	5001	6

prune0.0hr

Filtered

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

Counts

2 → 1

localize0.0hr

Local error

Found 3 expressions with local error:

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

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 119

Calls

3 calls:

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

series0.0hr

Counts

3 → 9

Calls

3 calls:

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

simplify0.0hr

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	473	869
1	2012	820
2	5002	820

prune0.0hr

Filtered

128 candidates to 88 candidates (31.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	114	14	128
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	114	15	129

Merged error: 4.7b

Counts

129 → 15

localize0.0hr

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- t x))
0.5b	(cbrt (- t x))
1.1b	(* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
8.7b	(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

0.0hr	(cbrt (- t x))
0.0hr	(cbrt (- t x))
0.0hr	(* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
0.0hr	(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(cbrt (- t x))
0.0hr	(cbrt (- t x))
0.0hr	(* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
0.0hr	(+ x (* (* (- y z) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z))))) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify0.0hr

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	692	1385
1	2703	1174
2	5001	1138

prune0.0hr

Filtered

97 candidates to 72 candidates (25.8%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	97	15	112

Merged error: 4.7b

Counts

112 → 15

localize0.0hr

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- a z))
0.5b	(cbrt (- a z))
1.0b	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
8.4b	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
59×	`*-un-lft-identity`
52×	`times-frac`
46×	`associate-r`
37×	`cbrt-prod`
27×	`add-cube-cbrt`
25×	`add-exp-log`
18×	`cbrt-div` `add-cbrt-cube`
17×	`associate-l`
16×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-/r/`
9×	`flip3--` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `add-log-exp` `unswap-sqr`
5×	`frac-times`
3×	`associate-r/` `associate-l/`
2×	`pow1/3` `div-inv`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `*-commutative` `flip-+`

Counts

4 → 134

Calls

4 calls:

0.0hr	(cbrt (- a z))
0.0hr	(cbrt (- a z))
0.0hr	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
0.0hr	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(cbrt (- a z))
0.0hr	(cbrt (- a z))
0.0hr	(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
0.0hr	(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify0.0hr

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	752	1839
1	3320	1671
2	5001	1580

prune0.0hr

Filtered

146 candidates to 103 candidates (29.5%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	146	15	161

Merged error: 4.7b

Counts

161 → 15

localize0.0hr

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- t x))
0.5b	(cbrt (- t x))
5.9b	(* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z))))
8.4b	(+ x (* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z)))))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

82×	`frac-times`
76×	`cbrt-div`
56×	`flip3--` `flip--`
38×	`associate-*l/`
32×	`associate-*r/`
22×	`add-exp-log`
16×	`add-cbrt-cube`
13×	`pow1` `add-sqr-sqrt` `*-un-lft-identity`
11×	`prod-exp` `cbrt-unprod`
10×	`cbrt-prod`
7×	`add-cube-cbrt`
6×	`pow-prod-down` `add-log-exp`
5×	`associate-l`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `pow1/3` `div-exp`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+`

Counts

4 → 121

Calls

4 calls:

0.0hr	(cbrt (- t x))
0.0hr	(cbrt (- t x))
0.0hr	(* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z))))
0.0hr	(+ x (* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z)))))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(cbrt (- t x))
0.0hr	(cbrt (- t x))
0.0hr	(* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z))))
0.0hr	(+ x (* (- y z) (* (* (cbrt (- t x)) (cbrt (- t x))) (/ (cbrt (- t x)) (- a z)))))

simplify0.0hr

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	782	2055
1	2918	1882
2	5001	1849

prune0.0hr

Filtered

133 candidates to 90 candidates (32.3%)

Pruning

16 alts after pruning (12 fresh and 4 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	0	11	11
Picked	0	1	1
Done	0	3	3
Total	132	16	148

Merged error: 4.7b

Counts

148 → 16

regimes0.0hr

Accuracy

57.3% (3.5b remaining)

Error of 7.5b against oracle of 4.0b and baseline of 12.1b

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	46	51
1	46	51

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	7760×	body	80	valid
0.0hr	492×	body	640	valid
0.0hr	437×	body	320	valid
0.0hr	243×	body	1280	valid
0.0hr	252×	body	160	valid
0.0hr	18×	body	2560	valid

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling