Details

sample109.0ms

Algorithm

intervals

Results

28.0ms	49×	body	1280	valid
15.0ms	43×	body	640	valid
9.0ms	124×	body	80	valid
8.0ms	5×	body	2560	valid
5.0ms	28×	body	320	valid
3.0ms	72×	body	80	nan
3.0ms	51×	body	80	overflowed
1.0ms	10×	body	160	valid
1.0ms	4×	body	1280	nan
1.0ms	4×	body	640	nan
1.0ms	6×	body	320	nan
0.0ms	2×	body	160	nan

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

prune4.0ms

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

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)
1.9b	(log (+ (- 1.0 y) (* y (exp z))))
2.1b	(+ (- 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))
10.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)))

series62.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* y (exp z))
37.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 (41.0ms)

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

prune160.0ms

Filtered

68 candidates to 92 candidates (-35.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	85	7	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	7	93

Merged error: 4.8b

Counts

93 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

3.8b	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
4.6b	(/ (* (pow z 2) y) t)
6.9b	(/ (* z y) t)
7.9b	(* (pow z 2) y)

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

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

series30.0ms

Counts

4 → 12

Calls

4 calls:

16.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	(/ (* z y) t)
4.0ms	(* (pow z 2) y)

simplify64.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	492	659
1	2302	586
2	5002	586

prune189.0ms

Filtered

66 candidates to 99 candidates (-50.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	94	5	99
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	96	10	106

Merged error: 4.0b

Counts

106 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

3.8b	(+ (* 1.0 (* (* z y) (/ 1 t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
4.6b	(/ (* (pow z 2) y) t)
6.9b	(* (* z y) (/ 1 t))
7.9b	(* (pow z 2) y)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 107

Calls

4 calls:

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

series33.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify92.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (81.0ms)

Iter	Nodes	Cost
0	673	881
1	3461	770
2	5002	752

prune192.0ms

Filtered

70 candidates to 119 candidates (-70.0%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	119	10	129

Merged error: 4.0b

Counts

129 → 10

localize22.0ms

Local error

Found 4 expressions with local error:

7.9b	(* (pow z 2) y)
23.9b	(cbrt (/ (* z y) t))
23.9b	(cbrt (/ (* z y) t))
23.9b	(cbrt (/ (* z y) t))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
19×	`add-sqr-sqrt`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`add-exp-log` `times-frac`
8×	`associate-l`
6×	`add-cbrt-cube`
4×	`pow1` `unpow-prod-down` `add-log-exp` `unswap-sqr`
3×	`cbrt-div` `pow1/3` `associate-r` `prod-exp` `div-inv`
2×	`unpow2` `sqr-pow`
1×	`pow-to-exp` `pow-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 75

Calls

4 calls:

5.0ms	(* (pow z 2) y)
3.0ms	(cbrt (/ (* z y) t))
3.0ms	(cbrt (/ (* z y) t))
3.0ms	(cbrt (/ (* z y) t))

series64.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (pow z 2) y)
22.0ms	(cbrt (/ (* z y) t))
19.0ms	(cbrt (/ (* z y) t))
19.0ms	(cbrt (/ (* z y) t))

simplify114.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 3 (107.0ms)

Iter	Nodes	Cost
0	210	471
1	648	436
2	3650	421
3	5002	382

prune130.0ms

Filtered

64 candidates to 87 candidates (-35.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	84	3	87
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	86	11	97

Merged error: 4.0b

Counts

97 → 11

regimes1.2s

Accuracy

69.6% (5.1b remaining)

Error of 8.8b against oracle of 3.7b and baseline of 20.5b

bsearch46.0ms

Steps

Iters	Range		Point
8	-7926850381944.045	-192505864.77369198	-196534513.85775933

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	25
1	46	25

end0.0ms

sample2.9s

Algorithm

intervals

Results

863.0ms	1449×	body	1280	valid
547.0ms	1586×	body	640	valid
255.0ms	3509×	body	80	valid
203.0ms	922×	body	320	valid
126.0ms	93×	body	2560	valid
116.0ms	2357×	body	80	nan
82.0ms	1504×	body	80	overflowed
66.0ms	261×	body	640	nan
63.0ms	465×	body	160	valid
38.0ms	107×	body	1280	nan
32.0ms	180×	body	320	nan
11.0ms	105×	body	160	nan

Details

sample109.0ms

simplify210.0ms

prune4.0ms

localize10.0ms

rewrite28.0ms

series62.0ms

simplify49.0ms

prune160.0ms

localize18.0ms

rewrite28.0ms

series30.0ms

simplify64.0ms

prune189.0ms

localize17.0ms

rewrite36.0ms

series33.0ms

simplify92.0ms

prune192.0ms

localize22.0ms

rewrite15.0ms

series64.0ms

simplify114.0ms

prune130.0ms

regimes1.2s

bsearch46.0ms

simplify1.0ms

end0.0ms

sample2.9s

Profiling