Details

sample116.0ms

Algorithm

intervals

Results

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

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

rewrite29.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))))
9.0ms	(+ (- 1.0 y) (* y (exp z)))

series331.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* y (exp z))
178.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
86.0ms	(log (+ (- 1.0 y) (* y (exp z))))
42.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

prune620.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

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

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

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

series165.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ (* z y) t)
100.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
20.0ms	(/ (* (pow z 2) y) t)
20.0ms	(* (pow z 2) y)

simplify63.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (11.0ms)

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

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

rewrite35.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))
17.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)
5.0ms	(* (pow z 2) y)

series214.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify73.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (60.0ms)

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

prune766.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

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

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

series215.0ms

Counts

4 → 12

Calls

4 calls:

145.0ms	(+ (* 1.0 (/ 1 (/ (/ t z) y))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
27.0ms	(/ (/ t z) y)
21.0ms	(/ (* (pow z 2) y) t)
21.0ms	(* (pow z 2) y)

simplify93.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 2 (76.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

regimes1.2s

Accuracy

72.2% (4.6b remaining)

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

bsearch86.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

832.0ms	1437×	body	1280	valid
520.0ms	1578×	body	640	valid
241.0ms	3519×	body	80	valid
199.0ms	938×	body	320	valid
121.0ms	92×	body	2560	valid
107.0ms	2438×	body	80	nan
79.0ms	1475×	body	80	overflowed
70.0ms	286×	body	640	nan
60.0ms	463×	body	160	valid
40.0ms	112×	body	1280	nan
30.0ms	194×	body	320	nan
10.0ms	98×	body	160	nan

Details

sample116.0ms

simplify215.0ms

prune5.0ms

localize10.0ms

rewrite29.0ms

series331.0ms

simplify51.0ms

prune620.0ms

localize15.0ms

rewrite32.0ms

series165.0ms

simplify63.0ms

prune697.0ms

localize17.0ms

rewrite35.0ms

series214.0ms

simplify73.0ms

prune766.0ms

localize16.0ms

rewrite48.0ms

series215.0ms

simplify93.0ms

prune2.0s

regimes1.2s

bsearch86.0ms

simplify1.0ms

end0.0ms

sample2.9s

Profiling