Details

sample96.0ms

Algorithm

intervals

Results

37.0ms	710×	body	80	nan
16.0ms	257×	body	80	valid
0.0ms	1×	body	640	valid

simplify36.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (12.0ms)

Iter	Nodes	Cost
0	21	6
1	52	6
2	134	6
3	282	6
4	541	5
5	752	5
6	968	5
7	1199	5
8	1327	5
9	1327	5

prune8.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.1b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (- (- (* x (log y)) y) z) (log t))
0.3b	(* x (log y))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

4×	`associate-+l+`
2×	`associate-+l-` `sub-neg` `associate--l+`
1×	`+-commutative` `associate--l-` `flip3-+` `*-commutative` `flip-+`

Counts

2 → 10

Calls

2 calls:

7.0ms	(+ (- (- (* x (log y)) y) z) (log t))
2.0ms	(* x (log y))

series81.0ms

Counts

2 → 6

Calls

2 calls:

44.0ms	(+ (- (- (* x (log y)) y) z) (log t))
36.0ms	(* x (log y))

simplify30.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 3 (28.0ms)

Iter	Nodes	Cost
0	124	94
1	317	89
2	984	75
3	5001	74

prune32.0ms

Filtered

16 candidates to 10 candidates (62.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	15	1	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	2	17

Merged error: 0.1b

Counts

17 → 2

localize151.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log y))
0.4b	(* (log t) (log t))
0.7b	(pow (log t) 3)
45.5b	(/ (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (fma (- (- (* x (log y)) z) y) (- (- (- (* x (log y)) y) z) (log t)) (* (log t) (log t))))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

2×	`*-commutative` `associate-/l/`
1×	`pow2` `pow-to-exp` `frac-2neg` `flip3-+` `unpow3` `clear-num` `sum-cubes` `flip-+` `div-inv` `associate-/l*` `sqr-pow`

Counts

4 → 12

Calls

4 calls:

2.0ms	(* x (log y))
2.0ms	(* (log t) (log t))
1.0ms	(pow (log t) 3)
8.0ms	(/ (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (fma (- (- (* x (log y)) z) y) (- (- (- (* x (log y)) y) z) (log t)) (* (log t) (log t))))

series820.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* x (log y))
143.0ms	(* (log t) (log t))
167.0ms	(pow (log t) 3)
474.0ms	(/ (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (fma (- (- (* x (log y)) z) y) (- (- (- (* x (log y)) y) z) (log t)) (* (log t) (log t))))

simplify103.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	182	198
1	612	195
2	3676	183
3	5001	183

prune70.0ms

Filtered

24 candidates to 15 candidates (62.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	23	1	24
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	24	2	26

Merged error: 0.1b

Counts

26 → 2

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log y))
0.4b	(* (log t) (log t))
0.7b	(pow (log t) 3)
45.8b	(/ (fma (- (- (* x (log y)) z) y) (- (- (- (* x (log y)) y) z) (log t)) (* (log t) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

2×	`associate-/r/` `*-commutative`
1×	`pow2` `pow-to-exp` `frac-2neg` `flip3-+` `unpow3` `clear-num` `associate-/r*` `sum-cubes` `flip-+` `div-inv` `sqr-pow`

Counts

4 → 12

Calls

4 calls:

3.0ms	(* x (log y))
2.0ms	(* (log t) (log t))
1.0ms	(pow (log t) 3)
7.0ms	(/ (fma (- (- (* x (log y)) z) y) (- (- (- (* x (log y)) y) z) (log t)) (* (log t) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)))

series1.0s

Counts

4 → 12

Calls

4 calls:

35.0ms	(* x (log y))
142.0ms	(* (log t) (log t))
166.0ms	(pow (log t) 3)
676.0ms	(/ (fma (- (- (* x (log y)) z) y) (- (- (- (* x (log y)) y) z) (log t)) (* (log t) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)))

simplify71.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 3 (68.0ms)

Iter	Nodes	Cost
0	166	201
1	508	199
2	2639	192
3	5002	151

prune80.0ms

Filtered

24 candidates to 13 candidates (54.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	22	2	24
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	23	3	26

Merged error: 0.1b

Counts

26 → 3

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (- (* x (log y)) y) z) (log t))
0.1b	(/ 1 (+ (- (- (* x (log y)) y) z) (log t)))
0.2b	(/ 1 (/ 1 (+ (- (- (* x (log y)) y) z) (log t))))
0.3b	(* x (log y))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

7×	`associate-/r/`
4×	`associate-+l+` `clear-num`
3×	`frac-2neg` `flip3-+` `associate-/r*` `flip-+` `div-inv` `inv-pow`
2×	`associate-+l-` `sub-neg` `associate--l+` `remove-double-div`
1×	`+-commutative` `associate--l-` `pow-flip` `*-commutative`

Counts

4 → 29

Calls

4 calls:

13.0ms	(+ (- (- (* x (log y)) y) z) (log t))
12.0ms	(/ 1 (+ (- (- (* x (log y)) y) z) (log t)))
13.0ms	(/ 1 (/ 1 (+ (- (- (* x (log y)) y) z) (log t))))
5.0ms	(* x (log y))

series479.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(+ (- (- (* x (log y)) y) z) (log t))
342.0ms	(/ 1 (+ (- (- (* x (log y)) y) z) (log t)))
46.0ms	(/ 1 (/ 1 (+ (- (- (* x (log y)) y) z) (log t))))
50.0ms	(* x (log y))

simplify72.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 3 (68.0ms)

Iter	Nodes	Cost
0	163	215
1	541	204
2	2639	183
3	5001	181

prune100.0ms

Filtered

41 candidates to 30 candidates (73.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	1	0	1
Picked	0	1	1
Done	1	0	1
Total	41	3	44

Merged error: 0.0b

Counts

44 → 3

regimes221.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	5
1	17	5
2	17	5

end0.0ms

sample2.0s

Algorithm

intervals

Results

850.0ms	23941×	body	80	nan
347.0ms	8022×	body	80	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	320	valid