Details

sample111.0ms

Algorithm

intervals

Results

33.0ms	57×	body	1280	valid
15.0ms	42×	body	640	valid
8.0ms	112×	body	80	valid
6.0ms	4×	body	2560	valid
5.0ms	22×	body	320	valid
4.0ms	81×	body	80	nan
3.0ms	53×	body	80	overflowed
2.0ms	19×	body	160	valid
2.0ms	8×	body	640	nan
1.0ms	8×	body	320	nan
1.0ms	2×	body	1280	nan
0.0ms	4×	body	160	nan

simplify220.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	628	7
9	935	7
10	1028	7
11	1354	7
12	3968	7
13	5002	7

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

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
2.0b	(log (+ (- 1.0 y) (* y (exp z))))
2.4b	(+ (- 1.0 y) (* y (exp z)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
11×	`pow1`
9×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
5×	`log-pow`
4×	`log-div` `associate-/l*`
3×	`log-prod` `flip3-+` `associate-r` `associate-l` `associate-/r*` `flip-+`
2×	`associate-+l+` `div-sub` `sum-log`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

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

series66.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* y (exp z))
41.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
13.0ms	(log (+ (- 1.0 y) (* y (exp z))))
7.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify49.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	452	795
1	1740	733
2	5002	726

prune618.0ms

Filtered

92 candidates to 68 candidates (26.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	86	6	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	6	93

Merged error: 3.7b

Counts

93 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

2.8b	(/ (* z y) t)
3.9b	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
7.4b	(/ (* (pow z 2) y) t)
8.9b	(* (pow z 2) y)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-exp-log`
17×	`add-sqr-sqrt`
16×	`add-cbrt-cube`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`add-log-exp`
8×	`associate-l`
7×	`prod-exp`
6×	`times-frac` `div-exp` `associate-/r*`
4×	`pow1` `cbrt-undiv` `unpow-prod-down` `associate-*r/` `frac-add` `unswap-sqr`
3×	`associate-r` `sum-log` `cbrt-unprod`
2×	`pow-to-exp` `frac-2neg` `flip3-+` `pow-exp` `clear-num` `flip-+` `div-inv` `associate-/l*` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `*-commutative`

Counts

4 → 87

Calls

4 calls:

5.0ms	(/ (* z y) t)
12.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.0ms	(/ (* (pow z 2) y) t)
5.0ms	(* (pow z 2) y)

series33.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ (* z y) t)
19.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.0ms	(/ (* (pow z 2) y) t)
4.0ms	(* (pow z 2) y)

simplify65.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	492	659
1	2299	586
2	5001	586

prune702.0ms

Filtered

99 candidates to 66 candidates (33.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	94	5	99
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	95	10	105

Merged error: 3.1b

Counts

105 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

3.1b	(/ t (* z y))
3.9b	(+ (* 1.0 (/ 1 (/ t (* z y)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
7.4b	(/ (* (pow z 2) y) t)
8.9b	(* (pow z 2) y)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-exp-log`
17×	`add-sqr-sqrt`
16×	`add-cbrt-cube`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`add-log-exp`
8×	`associate-l` `frac-add`
7×	`prod-exp`
6×	`times-frac` `div-exp`
5×	`associate-*r/`
4×	`pow1` `cbrt-undiv` `unpow-prod-down` `associate-/r` `associate-/l` `unswap-sqr`
3×	`flip3-+` `associate-r` `sum-log` `un-div-inv` `cbrt-unprod` `flip-+`
2×	`pow-to-exp` `frac-2neg` `pow-exp` `clear-num` `div-inv` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `*-commutative`

Counts

4 → 90

Calls

4 calls:

4.0ms	(/ t (* z y))
18.0ms	(+ (* 1.0 (/ 1 (/ t (* z y)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.0ms	(/ (* (pow z 2) y) t)
5.0ms	(* (pow z 2) y)

series37.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ t (* z y))
23.0ms	(+ (* 1.0 (/ 1 (/ t (* z y)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.0ms	(/ (* (pow z 2) y) t)
4.0ms	(* (pow z 2) y)

simplify72.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	536	799
1	2526	716
2	5001	713

prune771.0ms

Filtered

102 candidates to 67 candidates (34.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	103	9	112

Merged error: 3.1b

Counts

112 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

3.9b	(+ (* 1.0 (/ 1 (/ (/ t z) y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
4.1b	(/ (/ t z) y)
7.4b	(/ (* (pow z 2) y) t)
8.9b	(* (pow z 2) y)

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

78×	`times-frac`
57×	`add-sqr-sqrt`
51×	`add-cube-cbrt` `*-un-lft-identity`
24×	`add-exp-log`
16×	`add-cbrt-cube`
14×	`associate-/l*`
9×	`add-log-exp`
8×	`associate-l` `frac-add`
7×	`div-exp`
6×	`prod-exp` `associate-/r*` `div-inv`
5×	`cbrt-undiv` `associate-*r/`
4×	`pow1` `unpow-prod-down` `unswap-sqr`
3×	`flip3-+` `associate-r` `sum-log` `un-div-inv` `flip-+`
2×	`pow-to-exp` `frac-2neg` `pow-exp` `clear-num` `cbrt-unprod` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `*-commutative` `associate-/l/`

Counts

4 → 139

Calls

4 calls:

25.0ms	(+ (* 1.0 (/ 1 (/ (/ t z) y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.0ms	(/ (/ t z) y)
5.0ms	(/ (* (pow z 2) y) t)
6.0ms	(* (pow z 2) y)

series37.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(+ (* 1.0 (/ 1 (/ (/ t z) y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
5.0ms	(/ (/ t z) y)
5.0ms	(/ (* (pow z 2) y) t)
4.0ms	(* (pow z 2) y)

simplify92.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 2 (79.0ms)

Iter	Nodes	Cost
0	758	1157
1	3630	1072
2	5001	1069

prune2.0s

Filtered

151 candidates to 112 candidates (25.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	150	1	151
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	150	10	160

Merged error: 3.1b

Counts

160 → 10

regimes995.0ms

Accuracy

72.2% (4.6b remaining)

Error of 8.8b against oracle of 4.2b and baseline of 20.8b

bsearch90.0ms

Steps

Iters	Range		Point
7	-9.166754617272618e-35	-1.362015970312198e-36	-9.052149923627763e-35

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	25
1	44	25

end0.0ms

sample2.9s

Algorithm

intervals

Results

826.0ms	1437×	body	1280	valid
519.0ms	1578×	body	640	valid
235.0ms	3519×	body	80	valid
202.0ms	938×	body	320	valid
122.0ms	92×	body	2560	valid
110.0ms	2438×	body	80	nan
77.0ms	1475×	body	80	overflowed
66.0ms	286×	body	640	nan
60.0ms	463×	body	160	valid
38.0ms	112×	body	1280	nan
31.0ms	194×	body	320	nan
10.0ms	98×	body	160	nan

Details

sample111.0ms

simplify220.0ms

prune5.0ms

localize10.0ms

rewrite26.0ms

series66.0ms

simplify49.0ms

prune618.0ms

localize16.0ms

rewrite30.0ms

series33.0ms

simplify65.0ms

prune702.0ms

localize17.0ms

rewrite36.0ms

series37.0ms

simplify72.0ms

prune771.0ms

localize17.0ms

rewrite48.0ms

series37.0ms

simplify92.0ms

prune2.0s

regimes995.0ms

bsearch90.0ms

simplify1.0ms

end0.0ms

sample2.9s

Profiling