Details

sample27.0ms

Algorithm

intervals

Results

9.0ms

275×

body

valid

simplify53.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

prune4.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: 2.3b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite31.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:

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

series48.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(+ x (* y (/ (- z t) (- z a))))
8.0ms	(/ (- z t) (- z a))
15.0ms	(* y (/ (- z t) (- z a)))

simplify50.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (10.0ms)

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

prune141.0ms

Filtered

122 candidates to 83 candidates (32.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	114	8	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	114	9	123

Merged error: 0.0b

Counts

123 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-sqr-sqrt`
98×	`*-un-lft-identity`
93×	`cbrt-prod`
75×	`times-frac`
38×	`add-cube-cbrt`
30×	`distribute-lft-out--` `difference-of-squares`
9×	`pow1` `add-exp-log`
7×	`cbrt-div` `add-cbrt-cube`
6×	`associate-/r/`
4×	`associate-*r/` `add-log-exp`
3×	`flip3--` `pow1/3` `associate-l` `pow-prod-down` `prod-exp` `flip--` `cbrt-unprod` `div-inv`
1×	`frac-times` `associate-r` `associate-l/` `-commutative` `unswap-sqr`

Counts

4 → 142

Calls

4 calls:

20.0ms	(* y (* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a)))))
7.0ms	(cbrt (/ (- z t) (- z a)))
7.0ms	(cbrt (/ (- z t) (- z a)))
9.0ms	(cbrt (/ (- z t) (- z a)))

series133.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify65.0ms

Algorithm

egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 3 (49.0ms)

Iter	Nodes	Cost
0	313	1457
1	736	1387
2	2114	1374
3	5001	1359

prune157.0ms

Filtered

154 candidates to 106 candidates (31.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	153	1	154
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	155	8	163

Merged error: 0.0b

Counts

163 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

70×	`add-sqr-sqrt` `*-un-lft-identity`
67×	`cbrt-prod`
50×	`times-frac`
28×	`add-cube-cbrt`
21×	`distribute-lft-out--` `difference-of-squares`
13×	`add-exp-log`
9×	`pow1` `add-cbrt-cube`
6×	`cbrt-div`
5×	`prod-exp` `cbrt-unprod`
4×	`associate-*r/` `associate-/r/` `add-log-exp`
3×	`flip3--` `pow1/3` `associate-l` `pow-prod-down` `flip--`
2×	`div-inv`
1×	`cbrt-undiv` `frac-times` `div-exp` `associate-r` `associate-l/` `-commutative`

Counts

4 → 118

Calls

4 calls:

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

series127.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt (- z a))
38.0ms	(* y (* (cbrt (/ (- z t) (- z a))) (/ (cbrt (- z t)) (cbrt (- z a)))))
30.0ms	(cbrt (/ (- z t) (- z a)))
32.0ms	(cbrt (/ (- z t) (- z a)))

simplify45.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	441	1223
1	1239	1141
2	5001	1125

prune138.0ms

Filtered

130 candidates to 91 candidates (30.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	130	8	138

Merged error: 0.0b

Counts

138 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

58×	`add-sqr-sqrt` `*-un-lft-identity`
46×	`associate-r`
40×	`cbrt-prod` `times-frac`
30×	`cbrt-div`
28×	`associate-*l/`
26×	`add-cube-cbrt`
25×	`add-exp-log`
18×	`add-cbrt-cube`
16×	`frac-times` `flip3--` `flip--` `distribute-lft-out--` `difference-of-squares`
13×	`pow1`
12×	`prod-exp` `cbrt-unprod`
6×	`pow-prod-down`
5×	`associate-*r/`
4×	`add-log-exp`
3×	`cbrt-undiv` `pow1/3` `div-exp`
2×	`associate-/r/`
1×	`associate-l` `*-commutative` `div-inv`

Counts

4 → 132

Calls

4 calls:

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

series92.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt (- z t))
25.0ms	(cbrt (- z t))
28.0ms	(cbrt (- z t))
15.0ms	(* (* (* (cbrt (- z t)) (cbrt (- z t))) y) (/ (cbrt (- z t)) (- z a)))

simplify85.0ms

Algorithm

egg-herbie

Counts

144 → 144

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	673	1584
1	3211	1432
2	5002	1370

prune135.0ms

Filtered

144 candidates to 103 candidates (28.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	143	1	144
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	143	9	152

Merged error: 0.0b

Counts

152 → 9

regimes734.0ms

Accuracy

42.3% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 1.2b

bsearch37.0ms

Steps

Iters	Range		Point
7	1.8398125602362036e-75	2.6007375332320908e-73	6.569740876352935e-75
9	-2.59977879639377e-83	-1.1218415771848884e-91	-3.1037000586066655e-91

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	17
1	30	17

end0.0ms

sample740.0ms

Algorithm

intervals

Results

296.0ms	8716×	body	80	valid
0.0ms	2×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample27.0ms

simplify53.0ms

prune4.0ms

localize8.0ms

rewrite31.0ms

series48.0ms

simplify50.0ms

prune141.0ms

localize12.0ms

rewrite48.0ms

series133.0ms

simplify65.0ms

prune157.0ms

localize15.0ms

rewrite43.0ms

series127.0ms

simplify45.0ms

prune138.0ms

localize14.0ms

rewrite39.0ms

series92.0ms

simplify85.0ms

prune135.0ms

regimes734.0ms

bsearch37.0ms

simplify2.0ms

end0.0ms

sample740.0ms

Profiling