Details

sample34.0ms

Algorithm

intervals

Results

10.0ms	291×	body	80	valid
7.0ms	265×	body	80	nan

simplify66.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	25	6
1	51	6
2	104	6
3	191	6
4	262	6
5	353	6
6	466	6
7	712	6
8	1110	6
9	1256	6
10	1257	6
11	1257	6

prune2.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: 0.1b

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
0.0b	(+ (- 1.0 z) (log z))
0.2b	(* y (+ (- 1.0 z) (log z)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

10×	`associate-+l+`
8×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in`
6×	`+-commutative`
5×	`sub-neg`
3×	`flip3-+` `flip-+`
2×	`associate-*r/`
1×	`associate-+l-` `*-commutative`

Counts

3 → 28

Calls

3 calls:

7.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
4.0ms	(+ (- 1.0 z) (log z))
5.0ms	(* y (+ (- 1.0 z) (log z)))

series300.0ms

Counts

3 → 9

Calls

3 calls:

59.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
163.0ms	(+ (- 1.0 z) (log z))
77.0ms	(* y (+ (- 1.0 z) (log z)))

simplify103.0ms

Algorithm

egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	239	214
1	753	198
2	4377	198
3	5001	198

prune88.0ms

Filtered

37 candidates to 22 candidates (59.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	33	4	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	33	5	38

Merged error: 0.0b

Counts

38 → 5

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- 1.0 z) y)
0.1b	(+ (+ (* x 0.5) (* (- 1.0 z) y)) (* y (log z)))
0.2b	(* y (log z))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

2×	`+-commutative` `associate-+l+` `associate-l/` `-commutative`
1×	`flip3--` `flip3-+` `flip--` `flip-+`

Counts

3 → 9

Calls

3 calls:

3.0ms	(* (- 1.0 z) y)
7.0ms	(+ (+ (* x 0.5) (* (- 1.0 z) y)) (* y (log z)))
2.0ms	(* y (log z))

series136.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(* (- 1.0 z) y)
60.0ms	(+ (+ (* x 0.5) (* (- 1.0 z) y)) (* y (log z)))
43.0ms	(* y (log z))

simplify75.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	165	113
1	549	107
2	2306	93
3	5001	93

prune47.0ms

Filtered

18 candidates to 10 candidates (55.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	16	2	18
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	18	5	23

Merged error: 0.0b

Counts

23 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (+ (* x 0.5) (/ (* (- (* 1.0 1.0) (* z z)) y) (+ 1.0 z))) (* y (log z)))
0.2b	(* y (log z))
2.9b	(* (- (* 1.0 1.0) (* z z)) y)
10.6b	(/ (* (- (* 1.0 1.0) (* z z)) y) (+ 1.0 z))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

11×	`*-commutative`
8×	`associate-l` `difference-of-squares`
6×	`associate-/l*`
4×	`associate-*l/`
2×	`+-commutative` `associate-+l+` `flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`frac-2neg` `clear-num` `div-inv`

Counts

4 → 26

Calls

4 calls:

11.0ms	(+ (+ (* x 0.5) (/ (* (- (* 1.0 1.0) (* z z)) y) (+ 1.0 z))) (* y (log z)))
2.0ms	(* y (log z))
6.0ms	(* (- (* 1.0 1.0) (* z z)) y)
9.0ms	(/ (* (- (* 1.0 1.0) (* z z)) y) (+ 1.0 z))

series229.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(+ (+ (* x 0.5) (/ (* (- (* 1.0 1.0) (* z z)) y) (+ 1.0 z))) (* y (log z)))
38.0ms	(* y (log z))
39.0ms	(* (- (* 1.0 1.0) (* z z)) y)
61.0ms	(/ (* (- (* 1.0 1.0) (* z z)) y) (+ 1.0 z))

simplify111.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 3 (102.0ms)

Iter	Nodes	Cost
0	268	239
1	926	235
2	3420	202
3	5001	198

prune97.0ms

Filtered

38 candidates to 24 candidates (63.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	38	5	43

Merged error: 0.0b

Counts

43 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))
0.5b	(* (log z) (log z))
3.0b	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
11.0b	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-commutative`
12×	`distribute-rgt-in` `distribute-lft-in` `associate--l+` `difference-of-squares`
9×	`sub-neg`
8×	`associate-r`
6×	`associate-/l*`
4×	`flip3--` `associate-*r/` `flip--`
2×	`associate-/r/` `associate-/l/`
1×	`pow2` `frac-2neg` `clear-num` `div-inv`

Counts

4 → 46

Calls

4 calls:

9.0ms	(- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))
3.0ms	(* (log z) (log z))
10.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
18.0ms	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

series498.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))
158.0ms	(* (log z) (log z))
84.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
217.0ms	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

simplify58.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	444	526
1	1641	488
2	5002	472

prune122.0ms

Filtered

58 candidates to 28 candidates (48.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	55	3	58
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	57	6	63

Merged error: 0b

Counts

63 → 6

regimes227.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	6
1	15	6

end0.0ms

sample952.0ms

Algorithm

intervals

Results

318.0ms	9144×	body	80	valid
257.0ms	9190×	body	80	nan