Details

sample22.0ms

Algorithm

intervals

Results

10.0ms

277×

body

valid

simplify76.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	21	5
1	35	5
2	56	5
3	94	5
4	150	5
5	185	5
6	203	5
7	230	5
8	280	5
9	368	5
10	457	5
11	723	5
12	922	5
13	1038	5
14	1060	5
15	1060	5

prune3.0ms

Filtered

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

Counts

2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `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 → 113

Calls

3 calls:

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

series190.0ms

Counts

3 → 9

Calls

3 calls:

72.0ms	(+ x (* y (/ (- z t) (- z a))))
56.0ms	(/ (- z t) (- z a))
62.0ms	(* y (/ (- z t) (- z a)))

simplify47.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	423	747
1	1655	704
2	5001	704

prune283.0ms

Filtered

122 candidates to 83 candidates (68.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	115	7	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	115	8	123

Merged error: 0.0b

Counts

123 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a))))
3.2b	(cbrt (/ (- z t) (- z a)))
3.2b	(cbrt (/ (- z t) (- z a)))
3.2b	(cbrt (/ (- z t) (- z a)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

333×	`*-un-lft-identity`
277×	`cbrt-prod`
273×	`add-sqr-sqrt`
229×	`times-frac`
106×	`distribute-lft-out--`
93×	`add-cube-cbrt`
78×	`difference-of-squares`
58×	`swap-sqr`
34×	`associate-r` `associate-l`
14×	`associate-/r/`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `flip3--` `flip--` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 276

Calls

4 calls:

36.0ms	(* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a))))
7.0ms	(cbrt (/ (- z t) (- z a)))
7.0ms	(cbrt (/ (- z t) (- z a)))
7.0ms	(cbrt (/ (- z t) (- z a)))

series531.0ms

Counts

4 → 12

Calls

4 calls:

148.0ms	(* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a))))
128.0ms	(cbrt (/ (- z t) (- z a)))
127.0ms	(cbrt (/ (- z t) (- z a)))
128.0ms	(cbrt (/ (- z t) (- z a)))

simplify107.0ms

Algorithm

egg-herbie

Counts

288 → 288

Iterations

Useful iterations: 3 (73.0ms)

Iter	Nodes	Cost
0	381	3471
1	1199	3405
2	4304	3218
3	5002	3212

prune652.0ms

Filtered

288 candidates to 176 candidates (61.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	288	0	288
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	288	8	296

Merged error: 0.0b

Counts

296 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

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

series512.0ms

Counts

4 → 12

Calls

4 calls:

155.0ms	(cbrt (- z t))
146.0ms	(cbrt (- z t))
147.0ms	(cbrt (- z t))
64.0ms	(* y (* (* (cbrt (- z t)) (cbrt (- z t))) (/ (cbrt (- z t)) (- z a))))

simplify47.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	445	925
1	1410	785
2	5001	730

prune278.0ms

Filtered

99 candidates to 74 candidates (74.7%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	99	8	107

Merged error: 0.0b

Counts

107 → 8

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 67

Calls

3 calls:

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

series172.0ms

Counts

3 → 9

Calls

3 calls:

74.0ms	(+ x (/ (* y (- z t)) (- z a)))
34.0ms	(* y (- z t))
64.0ms	(/ (* y (- z t)) (- z a))

simplify41.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	337	381
1	1443	342
2	5002	342

prune121.0ms

Filtered

76 candidates to 49 candidates (64.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	73	3	76
Fresh	3	1	4
Picked	0	1	1
Done	1	2	3
Total	77	7	84

Merged error: 0b

Counts

84 → 7

regimes245.0ms

Accuracy

67.6% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 1.3b

bsearch66.0ms

Steps

Iters	Range		Point
8	6.981571855752943e-34	8.36028770994799e-30	7.864061327514831e-32
6	-1.5486867439100889e-89	-9.795227389329092e-91	-7.6446180261455285e-90

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	10
1	26	10

end0.0ms

sample592.0ms

Algorithm

intervals

Results

320.0ms	8707×	body	80	valid
1.0ms	3×	body	2560	valid

Details

sample22.0ms

simplify76.0ms

prune3.0ms

localize14.0ms

rewrite45.0ms

series190.0ms

simplify47.0ms

prune283.0ms

localize12.0ms

rewrite74.0ms

series531.0ms

simplify107.0ms

prune652.0ms

localize12.0ms

rewrite34.0ms

series512.0ms

simplify47.0ms

prune278.0ms

localize8.0ms

rewrite23.0ms

series172.0ms

simplify41.0ms

prune121.0ms

regimes245.0ms

bsearch66.0ms

simplify1.0ms

end0.0ms

sample592.0ms

Profiling