Details

sample93.0ms

Algorithm

intervals

Results

23.0ms	38×	body	1280	valid
17.0ms	51×	body	640	valid
9.0ms	5×	body	2560	valid
8.0ms	117×	body	80	valid
7.0ms	31×	body	320	valid
4.0ms	85×	body	80	nan
3.0ms	14×	body	640	nan
2.0ms	16×	body	160	valid
2.0ms	39×	body	80	overflowed
1.0ms	5×	body	320	nan
0.0ms	1×	body	1280	nan
0.0ms	2×	body	160	nan

simplify216.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	7
1	33	7
2	49	7
3	71	7
4	93	7
5	180	7
6	232	7
7	411	7
8	710	7
9	1092	7
10	1240	7
11	1558	7
12	4191	7
13	5001	7

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

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
2.2b	(+ (- 1.0 y) (* y (exp z)))
2.8b	(log (+ (- 1.0 y) (* y (exp z))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
13×	`times-frac`
11×	`add-log-exp`
9×	`pow1`
7×	`add-exp-log`
6×	`log-div` `add-cbrt-cube`
5×	`log-pow`
4×	`flip3-+` `div-sub` `flip-+` `associate-/l*`
3×	`log-prod` `associate-/r*`
2×	`sub-neg` `associate-+l+` `diff-log` `sum-log` `associate--r-` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `flip3--` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `flip--` `div-inv` `distribute-lft-out--`

Counts

4 → 79

Calls

4 calls:

8.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
8.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
6.0ms	(+ (- 1.0 y) (* y (exp z)))
5.0ms	(log (+ (- 1.0 y) (* y (exp z))))

series332.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
151.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
33.0ms	(+ (- 1.0 y) (* y (exp z)))
75.0ms	(log (+ (- 1.0 y) (* y (exp z))))

simplify45.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	473	933
1	1592	875
2	5001	868

prune273.0ms

Filtered

91 candidates to 70 candidates (76.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	80	11	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	11	92

Merged error: 4.9b

Counts

92 → 11

localize9.0ms

Local error

Found 1 expressions with local error:

5.0b	(/ (* z y) t)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/r`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

4.0ms

(/ (* z y) t)

series23.0ms

Counts

1 → 3

Calls

1 calls:

23.0ms

(/ (* z y) t)

simplify57.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	111	85
1	514	70
2	2471	70
3	5001	70

prune89.0ms

Filtered

24 candidates to 16 candidates (66.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	18	6	24
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	20	15	35

Merged error: 4.0b

Counts

35 → 15

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)
3.1b	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt`
28×	`times-frac`
25×	`add-exp-log`
22×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
20×	`cbrt-prod`
18×	`add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
7×	`cbrt-undiv` `div-exp` `associate-l`
6×	`pow1` `unswap-sqr`
4×	`add-log-exp`
3×	`pow1/3`
2×	`div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 92

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)
20.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

series610.0ms

Counts

4 → 12

Calls

4 calls:

172.0ms	(cbrt t)
204.0ms	(cbrt t)
185.0ms	(cbrt t)
49.0ms	(* (/ z (* (cbrt t) (cbrt t))) (/ y (cbrt t)))

simplify53.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	420	720
1	2228	581
2	5001	542

prune401.0ms

Filtered

104 candidates to 82 candidates (78.8%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	97	7	104
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	100	19	119

Merged error: 4.0b

Counts

119 → 19

localize19.0ms

Local error

Found 4 expressions with local error:

0.8b	(* (cbrt (/ z (* (cbrt t) (cbrt t)))) (/ y (cbrt t)))
12.0b	(cbrt (/ z (* (cbrt t) (cbrt t))))
12.0b	(cbrt (/ z (* (cbrt t) (cbrt t))))
12.0b	(cbrt (/ z (* (cbrt t) (cbrt t))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
46×	`cbrt-prod`
39×	`times-frac`
26×	`add-cube-cbrt` `*-un-lft-identity`
22×	`associate-r`
10×	`associate-l`
9×	`add-exp-log` `unswap-sqr`
6×	`pow1` `add-cbrt-cube`
5×	`cbrt-div` `div-inv`
4×	`add-log-exp`
3×	`pow1/3`
2×	`prod-exp` `cbrt-unprod`
1×	`cbrt-undiv` `frac-times` `associate-r/` `div-exp` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 105

Calls

4 calls:

16.0ms	(* (cbrt (/ z (* (cbrt t) (cbrt t)))) (/ y (cbrt t)))
5.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))
5.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))
5.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))

series991.0ms

Counts

4 → 12

Calls

4 calls:

349.0ms	(* (cbrt (/ z (* (cbrt t) (cbrt t)))) (/ y (cbrt t)))
137.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))
367.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))
138.0ms	(cbrt (/ z (* (cbrt t) (cbrt t))))

simplify48.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	356	1113
1	1299	1057
2	5001	1050

prune415.0ms

Filtered

117 candidates to 103 candidates (88.0%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	115	2	117
Fresh	2	16	18
Picked	0	1	1
Done	0	0	0
Total	117	19	136

Merged error: 4.0b

Counts

136 → 19

regimes935.0ms

Accuracy

60.9% (5.1b remaining)

Error of 8.8b against oracle of 3.7b and baseline of 16.7b

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	41
1	36	41

end0.0ms

sample2.7s

Algorithm

intervals

Results

857.0ms	1471×	body	1280	valid
518.0ms	1540×	body	640	valid
243.0ms	3520×	body	80	valid
192.0ms	913×	body	320	valid
121.0ms	2554×	body	80	nan
110.0ms	86×	body	2560	valid
81.0ms	1539×	body	80	overflowed
67.0ms	498×	body	160	valid
57.0ms	244×	body	640	nan
39.0ms	115×	body	1280	nan
27.0ms	173×	body	320	nan
12.0ms	113×	body	160	nan

Details

sample93.0ms

simplify216.0ms

prune3.0ms

localize13.0ms

rewrite29.0ms

series332.0ms

simplify45.0ms

prune273.0ms

localize9.0ms

rewrite5.0ms

series23.0ms

simplify57.0ms

prune89.0ms

localize13.0ms

rewrite28.0ms

series610.0ms

simplify53.0ms

prune401.0ms

localize19.0ms

rewrite34.0ms

series991.0ms

simplify48.0ms

prune415.0ms

regimes935.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

sample2.7s

Profiling