Details

sample260.0ms

Algorithm

intervals

Results

92.0ms	1367×	body	80	nan
38.0ms	409×	body	80	valid
5.0ms	12×	body	640	valid
4.0ms	16×	body	320	valid
1.0ms	1×	body	1280	valid
1.0ms	5×	body	160	valid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	10
1	58	10
2	129	10
3	318	10
4	1073	10
5	5001	10

prune8.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: 1.9b

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
0.1b	(* y (- (log z) t))
0.5b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
4.1b	(log (- 1.0 z))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt` `log-prod`
24×	`*-un-lft-identity`
22×	`associate--l+`
17×	`distribute-rgt-in` `distribute-lft-in`
15×	`add-cube-cbrt`
14×	`associate-+r+`
10×	`pow1` `associate-+l+` `associate-r/` `associate-r*`
8×	`add-exp-log` `add-cbrt-cube`
6×	`sub-neg` `flip3--` `associate-l` `flip--` `add-log-exp`
5×	`distribute-lft-out--`
4×	`frac-add` `difference-of-squares`
2×	`log-div` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3-+` `rem-log-exp` `exp-sum` `sum-log` `flip-+`

Counts

4 → 107

Calls

4 calls:

11.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
7.0ms	(* y (- (log z) t))
12.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))

series452.0ms

Counts

4 → 12

Calls

4 calls:

149.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
73.0ms	(* y (- (log z) t))
185.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
45.0ms	(log (- 1.0 z))

simplify78.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	675	1085
1	2723	1003
2	5001	985

prune666.0ms

Filtered

119 candidates to 88 candidates (73.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	115	4	119
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	116	4	120

Merged error: 0.2b

Counts

120 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 1/2 (/ (pow z 2) (pow 1.0 2)))
0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
0.1b	(* y (- (log z) t))
0.5b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

88×	`add-sqr-sqrt`
80×	`times-frac`
78×	`associate-r`
56×	`unpow-prod-down`
51×	`*-un-lft-identity`
48×	`add-cube-cbrt`
30×	`add-exp-log`
28×	`associate--l+`
24×	`unpow2` `sqr-pow`
19×	`unswap-sqr`
18×	`log-prod`
17×	`distribute-rgt-in` `distribute-lft-in`
14×	`associate-+r+`
13×	`add-cbrt-cube`
12×	`prod-exp`
11×	`pow1` `associate-*r/`
10×	`associate-+l+`
9×	`div-exp` `associate-l`
8×	`sub-neg`
6×	`pow-to-exp` `pow-exp` `add-log-exp`
5×	`flip3--` `flip--`
4×	`frac-add` `cbrt-unprod`
3×	`pow-prod-down` `*-commutative`
2×	`distribute-lft-out--`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `exp-sum` `sum-log` `log-pow` `flip-+` `div-inv` `difference-of-squares`

Counts

4 → 201

Calls

4 calls:

21.0ms	(* 1/2 (/ (pow z 2) (pow 1.0 2)))
20.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
7.0ms	(* y (- (log z) t))
21.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

series582.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(* 1/2 (/ (pow z 2) (pow 1.0 2)))
218.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))))
66.0ms	(* y (- (log z) t))
245.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b)))

simplify119.0ms

Algorithm

egg-herbie

Counts

213 → 213

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1093	2073
1	4822	1849
2	5001	1849

prune1.2s

Filtered

213 candidates to 139 candidates (65.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	211	2	213
Fresh	2	1	3
Picked	1	0	1
Done	0	0	0
Total	214	3	217

Merged error: 0.0b

Counts

217 → 3

localize24.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
4.1b	(log (- 1.0 z))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `*-un-lft-identity`
9×	`cbrt-prod`
8×	`add-cube-cbrt`
5×	`pow1` `add-exp-log` `log-prod`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow1/3`
2×	`log-div`
1×	`flip3--` `rem-log-exp` `log-pow` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 49

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
3.0ms	(log (- 1.0 z))

series591.0ms

Counts

4 → 12

Calls

4 calls:

183.0ms	(cbrt x)
181.0ms	(cbrt x)
183.0ms	(cbrt x)
43.0ms	(log (- 1.0 z))

simplify44.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 3 (40.0ms)

Iter	Nodes	Cost
0	167	221
1	428	202
2	1428	192
3	5001	189

prune403.0ms

Filtered

61 candidates to 51 candidates (83.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	61	3	64

Merged error: 0.0b

Counts

64 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (log z) t)
0.0b	(exp (+ (* y (- (log z) t)) (* (log 1.0) a)))
0.1b	(* y (- (log z) t))
0.3b	(* x (exp (+ (* y (- (log z) t)) (* (log 1.0) a))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
12×	`add-cube-cbrt`
10×	`pow1` `associate-r`
9×	`log-prod` `associate--l+`
8×	`add-cbrt-cube` `add-log-exp`
7×	`add-exp-log`
6×	`associate-l`
5×	`distribute-rgt-in` `distribute-lft-in`
4×	`distribute-lft-out--`
3×	`sub-neg` `exp-prod`
2×	`flip3--` `associate-r/` `exp-sum` `pow-prod-down` `prod-exp` `log-pow` `-commutative` `flip--` `cbrt-unprod` `rem-exp-log` `difference-of-squares` `unswap-sqr`
1×	`diff-log` `sum-log`

Counts

4 → 83

Calls

4 calls:

4.0ms	(- (log z) t)
7.0ms	(exp (+ (* y (- (log z) t)) (* (log 1.0) a)))
7.0ms	(* y (- (log z) t))
11.0ms	(* x (exp (+ (* y (- (log z) t)) (* (log 1.0) a))))

series381.0ms

Counts

4 → 12

Calls

4 calls:

60.0ms	(- (log z) t)
92.0ms	(exp (+ (* y (- (log z) t)) (* (log 1.0) a)))
70.0ms	(* y (- (log z) t))
160.0ms	(* x (exp (+ (* y (- (log z) t)) (* (log 1.0) a))))

simplify38.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	319	625
1	1173	538
2	5001	519

prune412.0ms

Filtered

95 candidates to 64 candidates (67.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	95	3	98

Merged error: 0.0b

Counts

98 → 3

regimes630.0ms

Accuracy

70% (0.8b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 2.6b

bsearch3.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	34
1	63	34
2	75	34
3	85	34
4	85	34

end0.0ms

sample7.3s

Algorithm

intervals

Results

2.7s	40680×	body	80	nan
934.0ms	12354×	body	80	valid
154.0ms	375×	body	640	valid
110.0ms	423×	body	320	valid
69.0ms	87×	body	1280	valid
46.0ms	285×	body	160	valid

Details

sample260.0ms

simplify38.0ms

prune8.0ms

localize15.0ms

rewrite38.0ms

series452.0ms

simplify78.0ms

prune666.0ms

localize23.0ms

rewrite80.0ms

series582.0ms

simplify119.0ms

prune1.2s

localize24.0ms

rewrite8.0ms

series591.0ms

simplify44.0ms

prune403.0ms

localize13.0ms

rewrite31.0ms

series381.0ms

simplify38.0ms

prune412.0ms

regimes630.0ms

bsearch3.0ms

simplify3.0ms

end0.0ms

sample7.3s

Profiling