Details

sample39.0ms

Algorithm

intervals

Results

9.0ms	231×	body	80	valid
2.0ms	14×	body	640	valid
2.0ms	17×	body	320	valid
1.0ms	8×	body	1280	valid
1.0ms	12×	body	160	valid
0.0ms	1×	body	2560	valid

simplify110.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	5503	13

prune13.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.4b

Counts

2 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite31.0ms

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:

7.0ms	(/ (- z t) (- a t))
16.0ms	(* (- y x) (/ (- z t) (- a t)))
3.0ms	(+ x (* (- y x) (/ (- z t) (- a t))))

series94.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(/ (- z t) (- a t))
31.0ms	(* (- y x) (/ (- z t) (- a t)))
52.0ms	(+ x (* (- y x) (/ (- z t) (- a t))))

simplify53.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4981	1606
1	4981	1606

prune180.0ms

Filtered

87 candidates to 128 candidates (-47.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	119	9	128
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	119	11	130

Merged error: 5.3b

Counts

130 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

3.4b	(+ x (* (* (- y x) (* (cbrt (/ (- z t) (- a t))) (cbrt (/ (- z t) (- a t))))) (cbrt (/ (- z t) (- a t)))))
3.7b	(cbrt (/ (- z t) (- a t)))
3.7b	(cbrt (/ (- z t) (- a t)))
3.7b	(cbrt (/ (- z t) (- a t)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-sqr-sqrt` `*-un-lft-identity`
93×	`cbrt-prod`
75×	`times-frac`
37×	`add-cube-cbrt`
30×	`distribute-lft-out--` `difference-of-squares`
6×	`associate-/r/` `add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`cbrt-div` `flip3--` `pow1/3` `flip--` `div-inv`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 131

Calls

4 calls:

3.0ms	(+ x (* (* (- y x) (* (cbrt (/ (- z t) (- a t))) (cbrt (/ (- z t) (- a t))))) (cbrt (/ (- z t) (- a t)))))
7.0ms	(cbrt (/ (- z t) (- a t)))
7.0ms	(cbrt (/ (- z t) (- a t)))
7.0ms	(cbrt (/ (- z t) (- a t)))

series242.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(+ x (* (* (- y x) (* (cbrt (/ (- z t) (- a t))) (cbrt (/ (- z t) (- a t))))) (cbrt (/ (- z t) (- a t)))))
59.0ms	(cbrt (/ (- z t) (- a t)))
72.0ms	(cbrt (/ (- z t) (- a t)))
60.0ms	(cbrt (/ (- z t) (- a t)))

simplify80.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4943	2301
1	4943	2301

prune161.0ms

Filtered

102 candidates to 143 candidates (-40.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	142	12	154

Merged error: 4.8b

Counts

154 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- z t))
0.5b	(cbrt (- z t))
2.7b	(* (- y x) (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t))))
8.6b	(+ x (* (- y x) (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t)))))

rewrite42.0ms

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:

3.0ms	(cbrt (- z t))
4.0ms	(cbrt (- z t))
24.0ms	(* (- y x) (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t))))
3.0ms	(+ x (* (- y x) (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t)))))

series138.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- z t))
26.0ms	(cbrt (- z t))
35.0ms	(* (- y x) (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t))))
50.0ms	(+ x (* (- y x) (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- a t)))))

simplify59.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5180	2962

prune166.0ms

Filtered

90 candidates to 133 candidates (-47.8%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	133	12	145

Merged error: 4.8b

Counts

145 → 12

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

114×	`cbrt-div`
84×	`frac-times`
58×	`flip3--` `flip--`
52×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
37×	`associate-*r/`
32×	`associate-l`
30×	`add-exp-log` `associate-*l/`
27×	`times-frac`
18×	`pow1` `add-cube-cbrt` `add-cbrt-cube`
15×	`prod-exp` `cbrt-unprod`
12×	`cbrt-prod` `distribute-lft-out--` `difference-of-squares`
9×	`associate-r` `pow-prod-down`
6×	`add-log-exp`
4×	`unswap-sqr`
3×	`cbrt-undiv` `div-exp`
2×	`associate-/r/` `*-commutative`
1×	`+-commutative` `flip3-+` `pow1/3` `sum-log` `flip-+` `div-inv`

Counts

4 → 166

Calls

4 calls:

3.0ms	(cbrt (- y x))
23.0ms	(* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (- z t) (- a t)) (cbrt (- y x))))
18.0ms	(* (/ (- z t) (- a t)) (cbrt (- y x)))
3.0ms	(+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (- z t) (- a t)) (cbrt (- y x)))))

series160.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- y x))
34.0ms	(* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (- z t) (- a t)) (cbrt (- y x))))
44.0ms	(* (/ (- z t) (- a t)) (cbrt (- y x)))
56.0ms	(+ x (* (* (cbrt (- y x)) (cbrt (- y x))) (* (/ (- z t) (- a t)) (cbrt (- y x)))))

simplify59.0ms

Algorithm

egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4982	3757
1	4982	3757

prune142.0ms

Filtered

109 candidates to 178 candidates (-63.3%)

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	176	2	178
Fresh	1	7	8
Picked	0	1	1
Done	0	3	3
Total	177	13	190

Merged error: 4.8b

Counts

190 → 13

regimes688.0ms

Accuracy

38.4% (5.2b remaining)

Error of 8.7b against oracle of 3.5b and baseline of 11.9b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	55
1	33	55

end0.0ms

sample1.1s

Algorithm

intervals

Results

330.0ms	7732×	body	80	valid
77.0ms	484×	body	640	valid
57.0ms	279×	body	1280	valid
49.0ms	408×	body	320	valid
23.0ms	290×	body	160	valid
4.0ms	14×	body	2560	valid

Details

sample39.0ms

simplify110.0ms

prune13.0ms

localize9.0ms

rewrite31.0ms

series94.0ms

simplify53.0ms

prune180.0ms

localize13.0ms

rewrite29.0ms

series242.0ms

simplify80.0ms

prune161.0ms

localize13.0ms

rewrite42.0ms

series138.0ms

simplify59.0ms

prune166.0ms

localize17.0ms

rewrite58.0ms

series160.0ms

simplify59.0ms

prune142.0ms

regimes688.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling