Details

sample198.0ms

Algorithm

intervals

Results

81.0ms	1599×	body	80	nan
35.0ms	515×	body	80	valid

simplify52.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

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

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

localize19.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)

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

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

series394.0ms

Counts

4 → 12

Calls

4 calls:

63.0ms	(* (- t 1.0) (log a))
38.0ms	(* y (log z))
118.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
174.0ms	(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

simplify59.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 3 (56.0ms)

Iter	Nodes	Cost
0	251	257
1	654	225
2	2221	181
3	5002	172

prune124.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))

rewrite26.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))
2.0ms	(* y (log z))
8.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
11.0ms	(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))

series400.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(* (- t 1.0) (log a))
43.0ms	(* y (log z))
120.0ms	(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
175.0ms	(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))

simplify77.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 3 (73.0ms)

Iter	Nodes	Cost
0	291	317
1	919	264
2	3164	219
3	5002	213

prune147.0ms

Filtered

38 candidates to 30 candidates (78.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 0.0b

Counts

43 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

11×	`associate-r`
9×	`associate-/l*`
6×	`unpow-prod-up` `associate-l`
5×	`sub-neg` `associate-*r/` `pow-sub`
4×	`exp-diff` `exp-sum` `*-commutative`
3×	`associate-/l/` `sqr-pow`
2×	`frac-times` `pow-to-exp` `associate-*l/`
1×	`frac-2neg` `prod-exp` `clear-num` `div-inv`

Counts

4 → 31

Calls

4 calls:

2.0ms	(pow a (- t 1.0))
8.0ms	(* (pow a (- t 1.0)) (exp (- (* y (log z)) b)))
2.0ms	(* y (log z))
10.0ms	(/ (* x (* (pow a (- t 1.0)) (exp (- (* y (log z)) b)))) y)

series465.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(pow a (- t 1.0))
156.0ms	(* (pow a (- t 1.0)) (exp (- (* y (log z)) b)))
37.0ms	(* y (log z))
217.0ms	(/ (* x (* (pow a (- t 1.0)) (exp (- (* y (log z)) b)))) y)

simplify94.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 3 (90.0ms)

Iter	Nodes	Cost
0	283	288
1	841	268
2	3578	232
3	5002	216

prune146.0ms

Filtered

43 candidates to 29 candidates (67.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	2	0	2
Picked	1	0	1
Done	0	1	1
Total	43	4	47

Merged error: 0.0b

Counts

47 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (* (/ (pow a t) (pow a 1.0)) (exp (- (* y (log z)) b))))
0.3b	(* (/ (pow a t) (pow a 1.0)) (exp (- (* y (log z)) b)))
0.3b	(* y (log z))
1.2b	(/ (* x (* (/ (pow a t) (pow a 1.0)) (exp (- (* y (log z)) b)))) y)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

25×	`associate-*r/`
18×	`exp-diff` `associate-r` `sqr-pow`
15×	`frac-times` `associate-*l/`
14×	`associate-/l*`
11×	`associate-/l/`
7×	`frac-2neg` `clear-num`
6×	`associate-l` `exp-sum` `associate-/r` `-commutative`
4×	`div-inv`
3×	`sub-neg` `times-frac`
2×	`pow-to-exp`
1×	`div-exp` `prod-exp`

Counts

4 → 58

Calls

4 calls:

9.0ms	(* x (* (/ (pow a t) (pow a 1.0)) (exp (- (* y (log z)) b))))
9.0ms	(* (/ (pow a t) (pow a 1.0)) (exp (- (* y (log z)) b)))
2.0ms	(* y (log z))
12.0ms	(/ (* x (* (/ (pow a t) (pow a 1.0)) (exp (- (* y (log z)) b)))) y)

series1.0s

Counts

4 → 12

Calls

4 calls:

315.0ms	(* x (* (/ (pow a t) (pow a 1.0)) (exp (- (* y (log z)) b))))
290.0ms	(* (/ (pow a t) (pow a 1.0)) (exp (- (* y (log z)) b)))
44.0ms	(* y (log z))
386.0ms	(/ (* x (* (/ (pow a t) (pow a 1.0)) (exp (- (* y (log z)) b)))) y)

simplify45.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	397	501
1	1342	449
2	5002	426

prune288.0ms

Filtered

70 candidates to 61 candidates (87.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	69	5	74

Merged error: 0.0b

Counts

74 → 5

regimes536.0ms

Accuracy

-20.8% (2.4b remaining)

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

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	25
1	43	25

end0.0ms

sample5.6s

Algorithm

intervals

Results

2.4s	45785×	body	80	nan
991.0ms	15304×	body	80	valid