Details

sample84.0ms

Algorithm

intervals

Results

21.0ms	35×	body	1280	valid
20.0ms	62×	body	640	valid
8.0ms	114×	body	80	valid
5.0ms	26×	body	320	valid
3.0ms	78×	body	80	nan
3.0ms	49×	body	80	overflowed
2.0ms	2×	body	2560	valid
2.0ms	17×	body	160	valid
1.0ms	7×	body	640	nan
1.0ms	7×	body	320	nan
1.0ms	3×	body	1280	nan
0.0ms	3×	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	628	7
9	935	7
10	1028	7
11	1354	7
12	3968	7
13	5002	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: 24.8b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
0.8b	(log (+ (- 1.0 y) (* y (exp z))))
3.0b	(+ (- 1.0 y) (* y (exp z)))

rewrite27.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)))

series298.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* y (exp z))
164.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
77.0ms	(log (+ (- 1.0 y) (* y (exp z))))
35.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify52.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (43.0ms)

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

prune242.0ms

Filtered

92 candidates to 68 candidates (73.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	87	5	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	5	93

Merged error: 4.8b

Counts

93 → 5

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 0.5 (pow z 2)) (* 1.0 z))
3.6b	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
4.9b	(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 62

Calls

3 calls:

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

series309.0ms

Counts

3 → 9

Calls

3 calls:

95.0ms	(+ (* 0.5 (pow z 2)) (* 1.0 z))
88.0ms	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
126.0ms	(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)

simplify47.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	334	703
1	1472	634
2	5002	628

prune223.0ms

Filtered

71 candidates to 53 candidates (74.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	65	6	71
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	66	10	76

Merged error: 4.8b

Counts

76 → 10

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 0.5 (pow z 2)) (* 1.0 z))
3.6b	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
4.9b	(* (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) (/ 1 t))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
16×	`associate-r`
14×	`add-exp-log` `*-un-lft-identity`
13×	`add-cube-cbrt`
11×	`times-frac`
10×	`add-cbrt-cube`
7×	`pow1`
6×	`associate-l`
5×	`prod-exp` `add-log-exp`
4×	`flip3-+` `flip-+` `unswap-sqr`
3×	`associate-*r/` `cbrt-unprod`
2×	`frac-times` `div-exp` `pow-prod-down` `associate-l/` `-commutative`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `rec-exp` `distribute-lft-in` `1-exp` `sum-log` `un-div-inv` `div-inv`

Counts

3 → 73

Calls

3 calls:

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

series293.0ms

Counts

3 → 9

Calls

3 calls:

73.0ms	(+ (* 0.5 (pow z 2)) (* 1.0 z))
92.0ms	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
128.0ms	(* (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) (/ 1 t))

simplify68.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	445	812
1	2232	722
2	5003	710

prune237.0ms

Filtered

82 candidates to 57 candidates (69.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	83	9	92

Merged error: 4.8b

Counts

92 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 0.5 (pow z 2)) (* 1.0 z))
0.5b	(/ 1 (/ t (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z))))))
3.6b	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
4.7b	(/ t (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
60×	`add-sqr-sqrt`
58×	`add-cube-cbrt` `*-un-lft-identity`
19×	`add-exp-log`
18×	`associate-/r*`
13×	`add-cbrt-cube`
11×	`associate-/r/`
8×	`div-exp`
7×	`pow1` `flip3-+` `flip-+`
6×	`div-inv` `associate-/l*` `add-log-exp`
4×	`cbrt-undiv`
3×	`associate-r` `associate-l`
2×	`rec-exp` `frac-2neg` `1-exp` `associate-*r/` `clear-num`
1×	`+-commutative` `distribute-rgt-in` `pow-flip` `distribute-lft-in` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `inv-pow` `unswap-sqr`

Counts

4 → 146

Calls

4 calls:

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

series791.0ms

Counts

4 → 12

Calls

4 calls:

70.0ms	(+ (* 0.5 (pow z 2)) (* 1.0 z))
163.0ms	(/ 1 (/ t (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z))))))
304.0ms	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
253.0ms	(/ t (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))))

simplify91.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	649	2208
1	3269	2016
2	5001	1930

prune310.0ms

Filtered

158 candidates to 90 candidates (57.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	157	1	158
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	158	9	167

Merged error: 4.8b

Counts

167 → 9

regimes418.0ms

Accuracy

73.4% (4.3b remaining)

Error of 8.9b against oracle of 4.6b and baseline of 20.6b

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	27
1	40	27

end0.0ms

sample2.7s

Algorithm

intervals

Results

810.0ms	1415×	body	1280	valid
530.0ms	1584×	body	640	valid
239.0ms	3547×	body	80	valid
184.0ms	890×	body	320	valid
124.0ms	94×	body	2560	valid
111.0ms	2462×	body	80	nan
78.0ms	1540×	body	80	overflowed
74.0ms	287×	body	640	nan
65.0ms	499×	body	160	valid
42.0ms	114×	body	1280	nan
30.0ms	185×	body	320	nan
14.0ms	117×	body	160	nan

Details

sample84.0ms

simplify216.0ms

prune3.0ms

localize14.0ms

rewrite27.0ms

series298.0ms

simplify52.0ms

prune242.0ms

localize13.0ms

rewrite18.0ms

series309.0ms

simplify47.0ms

prune223.0ms

localize14.0ms

rewrite27.0ms

series293.0ms

simplify68.0ms

prune237.0ms

localize14.0ms

rewrite29.0ms

series791.0ms

simplify91.0ms

prune310.0ms

regimes418.0ms

bsearch2.0ms

simplify1.0ms

end0.0ms

sample2.7s

Profiling