Details

sample252.0ms

Algorithm

intervals

Results

91.0ms	1448×	body	80	nan
42.0ms	491×	body	80	valid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5110	16

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

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
0.9b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(/ (* 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)

series126.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (- t 1.0) (log a))
7.0ms	(* y (log z))
44.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
66.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify55.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4987	1254
1	4987	1254

prune182.0ms

Filtered

77 candidates to 107 candidates (-39.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

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

Merged error: 0.0b

Counts

109 → 7

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
1.0b	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.1b	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
21×	`add-exp-log`
20×	`*-un-lft-identity`
16×	`add-cube-cbrt`
13×	`add-cbrt-cube`
12×	`log-prod`
11×	`pow1`
8×	`associate-r` `associate-l`
6×	`distribute-rgt-in` `distribute-lft-in` `prod-exp`
5×	`pow-unpow` `div-exp`
4×	`pow-exp` `add-log-exp`
3×	`unpow-prod-up` `unpow-prod-down` `times-frac` `associate-/r*` `cbrt-unprod`
2×	`cbrt-undiv` `pow-to-exp` `e-exp-1` `pow-prod-down` `associate-l/` `log-pow` `-commutative` `distribute-lft-out--` `pow-sub` `difference-of-squares` `unswap-sqr`
1×	`sub-neg` `flip3--` `pow-pow` `frac-2neg` `associate-r/` `associate--l+` `clear-num` `flip--` `div-inv` `associate-/l/` `associate-/l` `sqr-pow`

Counts

4 → 103

Calls

4 calls:

7.0ms	(* (- t 1.0) (log a))
4.0ms	(* y (log z))
5.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
7.0ms	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

series134.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (- t 1.0) (log a))
6.0ms	(* y (log z))
45.0ms	(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
73.0ms	(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify44.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5261	1535

prune163.0ms

Filtered

78 candidates to 115 candidates (-47.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	114	1	115
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	115	7	122

Merged error: 0.0b

Counts

122 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (pow a (neg 1.0)) (* (* (pow z y) (pow a t)) (exp (neg b))))
0.0b	(* x (* (pow a (neg 1.0)) (* (* (pow z y) (pow a t)) (exp (neg b)))))
0.5b	(* (pow z y) (pow a t))
1.1b	(/ (* x (* (pow a (neg 1.0)) (* (* (pow z y) (pow a t)) (exp (neg b))))) y)

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

347×	`prod-exp`
314×	`add-exp-log`
93×	`pow-to-exp` `pow-exp`
49×	`associate-*r/` `add-cbrt-cube`
35×	`div-exp`
27×	`cbrt-unprod`
25×	`add-sqr-sqrt`
21×	`neg-sub0`
18×	`exp-neg` `frac-times`
17×	`associate-l`
15×	`unpow-prod-down`
13×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow-neg` `pow-sub`
11×	`associate-/l/`
9×	`exp-diff` `associate-r` `un-div-inv` `unswap-sqr` `sqr-pow`
6×	`pow1` `associate-*l/`
5×	`cbrt-undiv`
4×	`add-log-exp`
3×	`times-frac` `associate-/r` `-commutative`
1×	`frac-2neg` `pow-prod-down` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 234

Calls

4 calls:

15.0ms	(* (pow a (neg 1.0)) (* (* (pow z y) (pow a t)) (exp (neg b))))
16.0ms	(* x (* (pow a (neg 1.0)) (* (* (pow z y) (pow a t)) (exp (neg b)))))
6.0ms	(* (pow z y) (pow a t))
18.0ms	(/ (* x (* (pow a (neg 1.0)) (* (* (pow z y) (pow a t)) (exp (neg b))))) y)

series315.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(* (pow a (neg 1.0)) (* (* (pow z y) (pow a t)) (exp (neg b))))
93.0ms	(* x (* (pow a (neg 1.0)) (* (* (pow z y) (pow a t)) (exp (neg b)))))
26.0ms	(* (pow z y) (pow a t))
129.0ms	(/ (* x (* (pow a (neg 1.0)) (* (* (pow z y) (pow a t)) (exp (neg b))))) y)

simplify69.0ms

Algorithm

egg-herbie

Counts

246 → 246

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5105	3759

prune193.0ms

Filtered

101 candidates to 246 candidates (-143.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	243	3	246
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	246	7	253

Merged error: 0b

Counts

253 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (* (pow a t) (pow z y)))
0.0b	(* (pow a 1.0) (exp b))
0.5b	(* (pow a t) (pow z y))
1.1b	(/ (/ (* x (* (pow a t) (pow z y))) (* (pow a 1.0) (exp b))) y)

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

216×	`add-exp-log`
140×	`prod-exp`
89×	`div-exp`
48×	`pow-to-exp` `pow-exp`
42×	`add-cbrt-cube`
39×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
17×	`associate-l`
16×	`unpow-prod-down`
14×	`cbrt-unprod`
13×	`cbrt-undiv`
12×	`unswap-sqr`
11×	`associate-r`
10×	`sqr-pow`
6×	`pow1`
5×	`div-inv` `associate-/l*`
4×	`add-log-exp`
3×	`associate-/r` `-commutative`
1×	`frac-2neg` `pow-prod-down` `clear-num` `associate-/l/`

Counts

4 → 177

Calls

4 calls:

6.0ms	(* x (* (pow a t) (pow z y)))
6.0ms	(* (pow a 1.0) (exp b))
6.0ms	(* (pow a t) (pow z y))
13.0ms	(/ (/ (* x (* (pow a t) (pow z y))) (* (pow a 1.0) (exp b))) y)

series225.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(* x (* (pow a t) (pow z y)))
34.0ms	(* (pow a 1.0) (exp b))
27.0ms	(* (pow a t) (pow z y))
128.0ms	(/ (/ (* x (* (pow a t) (pow z y))) (* (pow a 1.0) (exp b))) y)

simplify78.0ms

Algorithm

egg-herbie

Counts

189 → 189

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5038	2848

prune163.0ms

Filtered

102 candidates to 189 candidates (-85.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	189	0	189
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	189	7	196

Merged error: 0b

Counts

196 → 7

regimes957.0ms

Accuracy

-10.1% (2.1b remaining)

Error of 2.2b against oracle of 0.0b and baseline of 2.0b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	47	57
1	47	57

end0.0ms

sample7.8s

Algorithm

intervals

Results

3.0s	45943×	body	80	nan
1.2s	15311×	body	80	valid

Details

sample252.0ms

simplify42.0ms

prune15.0ms

localize16.0ms

rewrite30.0ms

series126.0ms

simplify55.0ms

prune182.0ms

localize21.0ms

rewrite26.0ms

series134.0ms

simplify44.0ms

prune163.0ms

localize16.0ms

rewrite69.0ms

series315.0ms

simplify69.0ms

prune193.0ms

localize15.0ms

rewrite43.0ms

series225.0ms

simplify78.0ms

prune163.0ms

regimes957.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample7.8s

Profiling