Details

sample39.0ms

Algorithm

intervals

Results

8.0ms	236×	body	80	valid
2.0ms	20×	body	320	valid
2.0ms	14×	body	640	valid
1.0ms	8×	body	1280	valid
1.0ms	11×	body	160	valid

simplify118.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	6
1	52	6
2	109	6
3	195	6
4	445	6
5	828	6
6	1434	6
7	2520	6
8	4830	6
9	5001	6

prune5.0ms

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: 17.2b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 70

Calls

3 calls:

6.0ms	(* (- z t) y)
10.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
9.0ms	(/ (* (- z t) y) (- a t))

series226.0ms

Counts

3 → 9

Calls

3 calls:

33.0ms	(* (- z t) y)
123.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
71.0ms	(/ (* (- z t) y) (- a t))

simplify44.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	383	461
1	1704	422
2	5001	422

prune350.0ms

Filtered

79 candidates to 56 candidates (29.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	70	9	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	9	80

Merged error: 3.4b

Counts

80 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (- a t))
0.7b	(cbrt (- a t))
2.7b	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
9.1b	(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
36×	`times-frac`
35×	`*-un-lft-identity`
30×	`associate-r`
27×	`cbrt-prod`
25×	`add-exp-log`
23×	`add-cube-cbrt`
18×	`cbrt-div` `add-cbrt-cube`
17×	`associate-l`
10×	`flip3--` `associate-/r/` `flip--`
9×	`add-log-exp`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `frac-times` `div-exp`
6×	`pow1` `frac-sub` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
5×	`associate-r/` `associate-l/`
3×	`flip3-+` `flip-+`
2×	`pow1/3` `diff-log` `div-inv`
1×	`sub-neg` `pow-prod-down` `associate--l+` `sum-log` `*-commutative`

Counts

4 → 127

Calls

4 calls:

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

series593.0ms

Counts

4 → 12

Calls

4 calls:

176.0ms	(cbrt (- a t))
173.0ms	(cbrt (- a t))
118.0ms	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
125.0ms	(- (+ x y) (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

simplify87.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	785	1736
1	3321	1577
2	5001	1498

prune1.1s

Filtered

139 candidates to 105 candidates (24.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	134	5	139
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	137	11	148

Merged error: 3.1b

Counts

148 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (- a t))
0.7b	(cbrt (- a t))
2.7b	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
15.2b	(- y (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
36×	`times-frac`
35×	`*-un-lft-identity`
30×	`associate-r`
27×	`cbrt-prod`
25×	`add-exp-log`
23×	`add-cube-cbrt`
18×	`cbrt-div` `add-cbrt-cube`
17×	`associate-l`
10×	`flip3--` `associate-/r/` `flip--`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp`
6×	`pow1` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`
5×	`frac-times`
3×	`associate-r/` `associate-l/`
2×	`pow1/3` `div-inv`
1×	`sub-neg` `diff-log` `pow-prod-down` `*-commutative`

Counts

4 → 119

Calls

4 calls:

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

series559.0ms

Counts

4 → 12

Calls

4 calls:

174.0ms	(cbrt (- a t))
175.0ms	(cbrt (- a t))
117.0ms	(* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t))))
93.0ms	(- y (* (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))) (/ y (cbrt (- a t)))))

simplify73.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	657	1524
1	2791	1373
2	5002	1294

prune1.3s

Filtered

131 candidates to 99 candidates (24.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	131	11	142

Merged error: 3.1b

Counts

142 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

0.9b	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
1.4b	(* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))
1.5b	(* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t)))))
10.3b	(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

101×	`cbrt-div`
60×	`frac-times`
58×	`cbrt-prod` `add-sqr-sqrt`
43×	`times-frac`
38×	`associate-r/` `associate-l/`
34×	`*-un-lft-identity`
31×	`associate-r`
30×	`add-exp-log` `frac-sub`
24×	`add-cube-cbrt`
21×	`associate-l`
18×	`pow1` `associate-/r/`
15×	`flip3-+` `prod-exp` `add-cbrt-cube` `cbrt-unprod` `flip-+`
14×	`flip3--` `flip--`
9×	`pow-prod-down` `add-log-exp` `unswap-sqr`
5×	`distribute-lft-out--` `difference-of-squares`
3×	`cbrt-undiv` `div-exp` `div-inv`
2×	`diff-log` `*-commutative`
1×	`sub-neg` `pow1/3` `associate--l+` `sum-log`

Counts

4 → 186

Calls

4 calls:

16.0ms	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
24.0ms	(* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))
31.0ms	(* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t)))))
9.0ms	(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

series2.2s

Counts

4 → 12

Calls

4 calls:

405.0ms	(cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))
1.6s	(* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))
122.0ms	(* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t)))))
126.0ms	(- (+ x y) (* (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t)))))) (* (cbrt (/ (- z t) (* (cbrt (- a t)) (cbrt (- a t))))) (/ y (cbrt (- a t))))))

simplify130.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 2 (95.0ms)

Iter	Nodes	Cost
0	1185	5216
1	4455	4527
2	5002	4344

prune2.3s

Filtered

198 candidates to 135 candidates (31.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	196	2	198
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	197	12	209

Merged error: 3.1b

Counts

209 → 12

regimes770.0ms

Accuracy

44.2% (3.8b remaining)

Error of 7.6b against oracle of 3.8b and baseline of 10.7b

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	28
1	36	28

end0.0ms

sample887.0ms

Algorithm

intervals

Results

266.0ms	7378×	body	80	valid
58.0ms	440×	body	640	valid
47.0ms	267×	body	1280	valid
45.0ms	405×	body	320	valid
16.0ms	230×	body	160	valid
3.0ms	17×	body	2560	valid

Details

sample39.0ms

simplify118.0ms

prune5.0ms

localize8.0ms

rewrite27.0ms

series226.0ms

simplify44.0ms

prune350.0ms

localize13.0ms

rewrite46.0ms

series593.0ms

simplify87.0ms

prune1.1s

localize13.0ms

rewrite47.0ms

series559.0ms

simplify73.0ms

prune1.3s

localize20.0ms

rewrite91.0ms

series2.2s

simplify130.0ms

prune2.3s

regimes770.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

sample887.0ms

Profiling