Details

sample255.0ms

Algorithm

intervals

Results

92.0ms	1433×	body	80	nan
37.0ms	500×	body	80	valid

simplify51.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	32	10
1	65	10
2	181	8
3	522	8
4	2203	8
5	5002	8

prune20.0ms

Filtered

1 candidates to 1 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: 0.2b

Counts

2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.2b	(* y (log z))
1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.5b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 95

Calls

4 calls:

7.0ms	(* (- t 1.0) (log a))
4.0ms	(* y (log z))
6.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
10.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series458.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(* (- t 1.0) (log a))
47.0ms	(* y (log z))
141.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
197.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify55.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	492	869
1	2033	708
2	5002	676

prune1.1s

Filtered

107 candidates to 75 candidates (29.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	101	6	107
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	102	7	109

Merged error: 0.0b

Counts

109 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.5b	(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 89

Calls

4 calls:

7.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
7.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
7.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
30.0ms	(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

series597.0ms

Counts

4 → 12

Calls

4 calls:

134.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
134.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
134.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
193.0ms	(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

simplify49.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	398	1739
1	1551	1170
2	5001	1027

prune732.0ms

Filtered

101 candidates to 80 candidates (20.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	101	7	108

Merged error: 0.0b

Counts

108 → 7

localize27.0ms

Local error

Found 4 expressions with local error:

1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.2b	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.5b	(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log`
16×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
14×	`add-cbrt-cube`
12×	`cbrt-div`
10×	`add-cube-cbrt` `exp-prod` `exp-diff` `associate-*r/`
7×	`associate-/l/`
6×	`exp-sum` `prod-exp` `cbrt-unprod` `rem-exp-log`
5×	`pow1` `frac-times` `pow-unpow` `associate-*l/` `pow-sub`
4×	`cbrt-undiv` `diff-log` `div-exp`
3×	`unpow-prod-up` `sub-neg` `unpow-prod-down` `times-frac` `associate--l+` `associate-/r*` `distribute-lft-out--` `difference-of-squares`
2×	`pow-exp` `sum-log`
1×	`pow-to-exp` `e-exp-1` `pow-pow` `frac-2neg` `clear-num` `div-inv` `associate-/l*` `sqr-pow`

Counts

4 → 94

Calls

4 calls:

7.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
7.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
6.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
25.0ms	(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

series717.0ms

Counts

4 → 12

Calls

4 calls:

141.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
135.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
138.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
302.0ms	(/ (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) y)

simplify57.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	497	1829
1	2016	1474
2	5002	1194

prune888.0ms

Filtered

106 candidates to 82 candidates (22.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	106	7	113

Merged error: 0.0b

Counts

113 → 7

localize31.0ms

Local error

Found 4 expressions with local error:

1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.0b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.2b	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.5b	(* (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

65×	`add-exp-log`
40×	`prod-exp`
28×	`add-cbrt-cube`
24×	`cbrt-div`
21×	`add-sqr-sqrt` `-un-lft-identity` `associate-r/`
20×	`cbrt-unprod`
19×	`pow1`
18×	`exp-diff`
17×	`frac-times` `associate-*l/`
16×	`add-log-exp`
15×	`add-cube-cbrt`
13×	`associate-r`
10×	`exp-prod` `pow-prod-down`
9×	`times-frac` `pow-sub`
8×	`div-exp`
6×	`exp-sum` `rem-exp-log`
5×	`pow-unpow`
4×	`cbrt-undiv` `rec-exp` `diff-log` `1-exp`
3×	`unpow-prod-up` `sub-neg` `unpow-prod-down` `associate--l+` `distribute-lft-out--` `difference-of-squares`
2×	`pow-exp` `sum-log`
1×	`pow-to-exp` `e-exp-1` `pow-pow` `associate-l` `un-div-inv` `*-commutative` `div-inv` `sqr-pow`

Counts

4 → 128

Calls

4 calls:

7.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
7.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
6.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
29.0ms	(* (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))

series730.0ms

Counts

4 → 12

Calls

4 calls:

143.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
138.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
144.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
305.0ms	(* (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (/ 1 y))

simplify93.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	781	3191
1	3497	2632
2	5001	2189

prune964.0ms

Filtered

140 candidates to 91 candidates (35.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	139	1	140
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	139	8	147

Merged error: 0.0b

Counts

147 → 8

regimes1.2s

Accuracy

75.9% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 2.1b

bsearch354.0ms

Steps

Iters	Range		Point
7	7.850288575739227e+54	1.097104070587792e+57	9.44396578167887e+56
6	-4.7839524747197416e+70	-6.802072897758687e+69	-8.340451938947048e+69

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	46
1	60	46

end0.0ms

sample7.5s

Algorithm

intervals

Results

2.8s	44862×	body	80	nan
1.1s	15060×	body	80	valid

Details

sample255.0ms

simplify51.0ms

prune20.0ms

localize20.0ms

rewrite30.0ms

series458.0ms

simplify55.0ms

prune1.1s

localize22.0ms

rewrite55.0ms

series597.0ms

simplify49.0ms

prune732.0ms

localize27.0ms

rewrite47.0ms

series717.0ms

simplify57.0ms

prune888.0ms

localize31.0ms

rewrite58.0ms

series730.0ms

simplify93.0ms

prune964.0ms

regimes1.2s

bsearch354.0ms

simplify2.0ms

end0.0ms

sample7.5s

Profiling