Details

sample87.0ms

Algorithm

intervals

Results

29.0ms	47×	body	1280	valid
10.0ms	31×	body	640	valid
9.0ms	127×	body	80	valid
8.0ms	39×	body	320	valid
4.0ms	97×	body	80	nan
3.0ms	2×	body	2560	valid
2.0ms	48×	body	80	overflowed
2.0ms	7×	body	640	nan
1.0ms	12×	body	160	valid
1.0ms	4×	body	1280	nan
1.0ms	4×	body	320	nan
0.0ms	1×	body	160	nan

simplify212.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: 23.0b

Counts

2 → 1

localize9.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))))
3.2b	(+ (- 1.0 y) (* y (exp z)))

rewrite28.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)
8.0ms	(log (+ (- 1.0 y) (* y (exp z))))
6.0ms	(+ (- 1.0 y) (* y (exp z)))

series269.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* y (exp z))
145.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
70.0ms	(log (+ (- 1.0 y) (* y (exp z))))
33.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

prune259.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: 3.7b

Counts

93 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

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

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

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

series405.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(+ (* 0.5 (pow z 2)) (* 1.0 z))
115.0ms	(- x (/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t))
113.0ms	(* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))
113.0ms	(/ (+ (log 1.0) (* y (+ (* 0.5 (pow z 2)) (* 1.0 z)))) t)

simplify69.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (55.0ms)

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

prune256.0ms

Filtered

89 candidates to 66 candidates (74.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	83	6	89
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	84	11	95

Merged error: 3.6b

Counts

95 → 11

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
4.1b	(/ (* 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)

series100.0ms

Counts

2 → 6

Calls

2 calls:

81.0ms	(- x (+ (* 1.0 (/ (* z y) t)) (/ (log 1.0) t)))
19.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

prune118.0ms

Filtered

43 candidates to 29 candidates (67.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	37	6	43
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	40	14	54

Merged error: 3.1b

Counts

54 → 14

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (+ (* 1.0 (/ 1 (/ t (* z y)))) (/ (log 1.0) t)))
0.8b	(/ 1 (/ t (* z y)))
4.1b	(/ t (* z y))

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

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

series155.0ms

Counts

3 → 9

Calls

3 calls:

116.0ms	(- x (+ (* 1.0 (/ 1 (/ t (* z y)))) (/ (log 1.0) t)))
20.0ms	(/ 1 (/ t (* z y)))
19.0ms	(/ t (* z y))

simplify41.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (33.0ms)

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

prune136.0ms

Filtered

102 candidates to 52 candidates (51.0%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	2	10	12
Picked	1	0	1
Done	0	1	1
Total	103	13	116

Merged error: 3.1b

Counts

116 → 13

regimes498.0ms

Accuracy

64.9% (4.7b remaining)

Error of 8.8b against oracle of 4.1b and baseline of 17.5b

bsearch131.0ms

Steps

Iters	Range		Point
8	2.8970360652286497e-55	4.570696158225727e-52	1.5727810401070491e-53
7	-6.754110612241716e-09	-3.253994509623961e-10	-2.958703342189582e-09

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	23
1	49	23

end0.0ms

sample2.8s

Algorithm

intervals

Results

856.0ms	1431×	body	1280	valid
530.0ms	1524×	body	640	valid
255.0ms	3571×	body	80	valid
215.0ms	973×	body	320	valid
116.0ms	2454×	body	80	nan
104.0ms	75×	body	2560	valid
83.0ms	1514×	body	80	overflowed
62.0ms	454×	body	160	valid
57.0ms	236×	body	640	nan
48.0ms	139×	body	1280	nan
35.0ms	199×	body	320	nan
14.0ms	133×	body	160	nan

Details

sample87.0ms

simplify212.0ms

prune3.0ms

localize9.0ms

rewrite28.0ms

series269.0ms

simplify49.0ms

prune259.0ms

localize12.0ms

rewrite28.0ms

series405.0ms

simplify69.0ms

prune256.0ms

localize9.0ms

rewrite15.0ms

series100.0ms

simplify82.0ms

prune118.0ms

localize14.0ms

rewrite25.0ms

series155.0ms

simplify41.0ms

prune136.0ms

regimes498.0ms

bsearch131.0ms

simplify1.0ms

end0.0ms

sample2.8s

Profiling