Details

sample208.0ms

Algorithm

intervals

Results

88.0ms	1599×	body	80	nan
33.0ms	515×	body	80	valid

simplify50.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	33	10
1	73	10
2	197	8
3	558	8
4	2287	8
5	5001	8

prune9.0ms

Filtered

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

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.8b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.2b	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

8×	`exp-sum`
6×	`associate-/l*`
4×	`associate-r` `associate--l+`
3×	`*-commutative`
2×	`+-commutative` `sub-neg` `exp-diff` `associate-*l/`
1×	`flip3--` `frac-2neg` `associate-*r/` `clear-num` `flip--` `div-inv` `associate-/l/`

Counts

4 → 19

Calls

4 calls:

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

series367.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (- t 1.0) (log a))
35.0ms	(* y (log z))
114.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
160.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify62.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 3 (58.0ms)

Iter	Nodes	Cost
0	269	243
1	727	209
2	2479	175
3	5001	169

prune113.0ms

Filtered

31 candidates to 23 candidates (74.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	26	5	31
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	28	5	33

Merged error: 0.0b

Counts

33 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- t 1.0) (log a))
0.3b	(* y (log z))
0.8b	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.2b	(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

8×	`exp-sum`
7×	`associate-*r/`
6×	`associate-l`
5×	`exp-diff` `associate-r`
4×	`associate--l+` `*-commutative`
3×	`frac-times` `associate-*l/` `clear-num`
2×	`+-commutative` `sub-neg` `frac-2neg` `un-div-inv`
1×	`flip3--` `flip--` `div-inv`

Counts

4 → 26

Calls

4 calls:

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

series375.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(* (- t 1.0) (log a))
42.0ms	(* y (log z))
111.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
168.0ms	(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))

simplify81.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 3 (77.0ms)

Iter	Nodes	Cost
0	309	303
1	1002	248
2	3438	213
3	5001	212

prune139.0ms

Filtered

38 candidates to 30 candidates (78.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	36	2	38
Fresh	3	1	4
Picked	0	1	1
Done	0	0	0
Total	39	4	43

Merged error: 0.0b

Counts

43 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))
0.1b	(fma (log (/ 1 a)) t b)
1.2b	(/ (/ (/ x (pow a 1.0)) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) y)
5.7b	(/ (/ x (pow a 1.0)) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

17×	`associate-/l/`
7×	`div-inv`
6×	`fma-udef`
5×	`frac-2neg` `clear-num`
4×	`exp-sum` `associate-/r` `associate-/l`
2×	`times-frac` `sqr-pow`

Counts

4 → 26

Calls

4 calls:

1.0ms	(fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))
1.0ms	(fma (log (/ 1 a)) t b)
5.0ms	(/ (/ (/ x (pow a 1.0)) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) y)
4.0ms	(/ (/ x (pow a 1.0)) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))

series878.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))
70.0ms	(fma (log (/ 1 a)) t b)
338.0ms	(/ (/ (/ x (pow a 1.0)) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) y)
387.0ms	(/ (/ x (pow a 1.0)) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))

simplify115.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 3 (108.0ms)

Iter	Nodes	Cost
0	280	371
1	820	349
2	3546	343
3	5002	337

prune151.0ms

Filtered

38 candidates to 29 candidates (76.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	37	1	38
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	37	5	42

Merged error: 0.0b

Counts

42 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (log (/ 1 a)) t b)
0.3b	(* (/ x (exp (* y (log (/ 1 z))))) (/ (/ 1 (pow a 1.0)) (exp (fma (log (/ 1 a)) t b))))
0.3b	(* y (log (/ 1 z)))
1.2b	(/ (* (/ x (exp (* y (log (/ 1 z))))) (/ (/ 1 (pow a 1.0)) (exp (fma (log (/ 1 a)) t b)))) y)

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

115×	`associate-/l/`
90×	`frac-times`
64×	`associate-/r*`
63×	`div-inv`
54×	`exp-sum`
52×	`clear-num`
45×	`frac-2neg`
42×	`log-prod`
21×	`distribute-rgt-in` `distribute-lft-in` `associate-/l*`
18×	`associate-*r/`
15×	`fma-udef`
12×	`sqr-pow`
10×	`associate-*l/`
8×	`un-div-inv`
6×	`associate-l` `log-rec` `distribute-rgt-neg-out`
5×	`associate-r`
4×	`exp-neg` `associate-/r/`
3×	`*-commutative`
2×	`times-frac`
1×	`log-pow` `inv-pow`

Counts

4 → 149

Calls

4 calls:

1.0ms	(fma (log (/ 1 a)) t b)
10.0ms	(* (/ x (exp (* y (log (/ 1 z))))) (/ (/ 1 (pow a 1.0)) (exp (fma (log (/ 1 a)) t b))))
3.0ms	(* y (log (/ 1 z)))
18.0ms	(/ (* (/ x (exp (* y (log (/ 1 z))))) (/ (/ 1 (pow a 1.0)) (exp (fma (log (/ 1 a)) t b)))) y)

series1.0s

Counts

4 → 12

Calls

4 calls:

247.0ms	(fma (log (/ 1 a)) t b)
355.0ms	(* (/ x (exp (* y (log (/ 1 z))))) (/ (/ 1 (pow a 1.0)) (exp (fma (log (/ 1 a)) t b))))
37.0ms	(* y (log (/ 1 z)))
363.0ms	(/ (* (/ x (exp (* y (log (/ 1 z))))) (/ (/ 1 (pow a 1.0)) (exp (fma (log (/ 1 a)) t b)))) y)

simplify75.0ms

Algorithm

egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	683	1487
1	2841	1342
2	5002	1337

prune493.0ms

Filtered

161 candidates to 105 candidates (65.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	160	1	161
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	162	4	166

Merged error: 0.0b

Counts

166 → 4

regimes289.0ms

Accuracy

-19.2% (2.4b remaining)

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

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	29
1	49	29
2	49	29

end0.0ms

sample5.5s

Algorithm

intervals

Results

2.3s	45785×	body	80	nan
974.0ms	15304×	body	80	valid