Details

sample91.0ms

Algorithm

intervals

Results

27.0ms	48×	body	1280	valid
15.0ms	46×	body	640	valid
10.0ms	111×	body	80	valid
7.0ms	36×	body	320	valid
4.0ms	2×	body	2560	valid
3.0ms	77×	body	80	nan
2.0ms	46×	body	80	overflowed
2.0ms	14×	body	160	valid
2.0ms	7×	body	640	nan
1.0ms	6×	body	320	nan
0.0ms	1×	body	1280	nan
0.0ms	2×	body	160	nan

simplify219.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: 26.4b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.1b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
1.9b	(log (+ (- 1.0 y) (* y (exp z))))
4.0b	(+ (- 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)))

series292.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* y (exp z))
152.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
75.0ms	(log (+ (- 1.0 y) (* y (exp z))))
38.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify51.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 2 (42.0ms)

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

prune240.0ms

Filtered

92 candidates to 68 candidates (73.9%)

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

Counts

93 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t))
0.0b	(+ (* 0.5 (pow z 2)) (* 1.0 z))
3.3b	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
5.0b	(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 77

Calls

4 calls:

7.0ms	(- x (/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t))
4.0ms	(+ (* 0.5 (pow z 2)) (* 1.0 z))
6.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)

series404.0ms

Counts

4 → 12

Calls

4 calls:

130.0ms	(- x (/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t))
64.0ms	(+ (* 0.5 (pow z 2)) (* 1.0 z))
86.0ms	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
124.0ms	(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)

simplify57.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	402	953
1	1641	882
2	5001	876

prune282.0ms

Filtered

89 candidates to 66 candidates (74.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	81	8	89
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	82	13	95

Merged error: 5.0b

Counts

95 → 13

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
4.6b	(/ (* z y) t)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 37

Calls

2 calls:

10.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
4.0ms	(/ (* z y) t)

series106.0ms

Counts

2 → 6

Calls

2 calls:

86.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
20.0ms	(/ (* z y) t)

simplify82.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	204	286
1	812	256
2	3760	256
3	5001	256

prune131.0ms

Filtered

43 candidates to 29 candidates (67.4%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	37	6	43
Fresh	3	9	12
Picked	0	1	1
Done	0	0	0
Total	40	16	56

Merged error: 4.6b

Counts

56 → 16

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (+ (* 1.0 (/ 1 (/ t (* z y)))) (/ (log 1.0) t)))
0.3b	(/ 1 (/ t (* z y)))
4.6b	(/ t (* z y))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
29×	`add-exp-log`
23×	`add-sqr-sqrt` `*-un-lft-identity`
21×	`add-cube-cbrt`
17×	`add-cbrt-cube`
14×	`div-exp`
8×	`associate-/r*` `add-log-exp`
7×	`cbrt-undiv`
6×	`div-inv` `associate-/l*`
4×	`pow1` `prod-exp`
3×	`rec-exp` `1-exp`
2×	`frac-2neg` `diff-log` `clear-num` `cbrt-unprod`
1×	`sub-neg` `flip3--` `pow-flip` `sum-log` `associate-/r/` `flip--` `associate--r+` `distribute-lft-out--` `inv-pow` `difference-of-squares`

Counts

3 → 93

Calls

3 calls:

16.0ms	(- x (+ (* 1.0 (/ 1 (/ t (* z y)))) (/ (log 1.0) t)))
6.0ms	(/ 1 (/ t (* z y)))
4.0ms	(/ t (* z y))

series201.0ms

Counts

3 → 9

Calls

3 calls:

146.0ms	(- x (+ (* 1.0 (/ 1 (/ t (* z y)))) (/ (log 1.0) t)))
34.0ms	(/ 1 (/ t (* z y)))
21.0ms	(/ t (* z y))

simplify51.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	374	630
1	1604	544
2	5001	494

prune329.0ms

Filtered

102 candidates to 52 candidates (51.0%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	1	13	14
Picked	0	1	1
Done	0	1	1
Total	102	16	118

Merged error: 4.6b

Counts

118 → 16

regimes615.0ms

Accuracy

61% (5.2b remaining)

Error of 8.8b against oracle of 3.6b and baseline of 17.0b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	20
1	31	20

end0.0ms

sample2.7s

Algorithm

intervals

Results

823.0ms	1398×	body	1280	valid
536.0ms	1597×	body	640	valid
248.0ms	3545×	body	80	valid
208.0ms	953×	body	320	valid
117.0ms	2455×	body	80	nan
90.0ms	67×	body	2560	valid
84.0ms	1544×	body	80	overflowed
75.0ms	293×	body	640	nan
61.0ms	466×	body	160	valid
41.0ms	104×	body	1280	nan
34.0ms	206×	body	320	nan
12.0ms	117×	body	160	nan

Details

sample91.0ms

simplify219.0ms

prune3.0ms

localize10.0ms

rewrite26.0ms

series292.0ms

simplify51.0ms

prune240.0ms

localize12.0ms

rewrite26.0ms

series404.0ms

simplify57.0ms

prune282.0ms

localize13.0ms

rewrite15.0ms

series106.0ms

simplify82.0ms

prune131.0ms

localize10.0ms

rewrite29.0ms

series201.0ms

simplify51.0ms

prune329.0ms

regimes615.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample2.7s

Profiling