Details

sample29.0ms

Algorithm

intervals

Results

8.0ms	257×	body	80	valid
7.0ms	276×	body	80	nan

simplify34.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	14	4
1	18	4
2	25	4
3	45	4
4	76	4
5	102	4
6	122	4
7	152	4
8	246	4
9	353	4
10	559	4
11	562	4
12	563	4
13	563	4

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: 14.2b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x (log (/ x y))) z)
0.3b	(* x (log (/ x y)))
13.7b	(log (/ x y))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

5×	`log-prod` `div-inv`
3×	`log-div` `clear-num`
2×	`distribute-rgt-in` `distribute-lft-in` `fma-neg` `log-rec` `associate--l+` `*-commutative`
1×	`sub-neg` `flip3--` `frac-2neg` `distribute-rgt-neg-out` `flip--`

Counts

3 → 17

Calls

3 calls:

4.0ms	(- (* x (log (/ x y))) z)
3.0ms	(* x (log (/ x y)))
2.0ms	(log (/ x y))

series148.0ms

Counts

3 → 9

Calls

3 calls:

64.0ms	(- (* x (log (/ x y))) z)
49.0ms	(* x (log (/ x y)))
35.0ms	(log (/ x y))

simplify31.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 3 (29.0ms)

Iter	Nodes	Cost
0	140	116
1	329	104
2	1069	98
3	5001	97

prune50.0ms

Filtered

26 candidates to 16 candidates (61.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	22	4	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	5	27

Merged error: 0.1b

Counts

27 → 5

localize11.0ms

Local error

Found 2 expressions with local error:

0.1b	(fma (log (/ x y)) x (- z))
13.7b	(log (/ x y))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`log-div`
2×	`clear-num`
1×	`log-prod` `frac-2neg` `log-rec` `fma-udef` `div-inv`

Counts

2 → 6

Calls

2 calls:

1.0ms	(fma (log (/ x y)) x (- z))
4.0ms	(log (/ x y))

series104.0ms

Counts

2 → 6

Calls

2 calls:

66.0ms	(fma (log (/ x y)) x (- z))
38.0ms	(log (/ x y))

simplify62.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 4 (27.0ms)

Iter	Nodes	Cost
0	81	50
1	142	46
2	301	41
3	841	40
4	4259	34
5	5001	34

prune24.0ms

Filtered

12 candidates to 7 candidates (58.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	11	1	12
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	12	5	17

Merged error: 0.1b

Counts

17 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(log (/ -1 x))
0.0b	(log (/ -1 y))
0.1b	(* x (- (log (/ -1 y)) (log (/ -1 x))))
0.2b	(- (log (/ -1 y)) (log (/ -1 x)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

18×	`log-div`
9×	`associate--r-`
8×	`clear-num`
6×	`distribute-rgt-in` `log-prod` `frac-2neg` `distribute-lft-in` `div-inv`
3×	`associate--l-` `sub-neg` `associate--l+`
2×	`flip3--` `associate-*r/` `log-rec` `flip--`
1×	`diff-log` `*-commutative` `associate--r+`

Counts

4 → 38

Calls

4 calls:

2.0ms	(log (/ -1 x))
2.0ms	(log (/ -1 y))
4.0ms	(* x (- (log (/ -1 y)) (log (/ -1 x))))
4.0ms	(- (log (/ -1 y)) (log (/ -1 x)))

series558.0ms

Counts

4 → 12

Calls

4 calls:

116.0ms	(log (/ -1 x))
291.0ms	(log (/ -1 y))
81.0ms	(* x (- (log (/ -1 y)) (log (/ -1 x))))
70.0ms	(- (log (/ -1 y)) (log (/ -1 x)))

simplify45.0ms

Algorithm

egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 3 (41.0ms)

Iter	Nodes	Cost
0	138	263
1	419	250
2	2035	226
3	5001	224

prune89.0ms

Filtered

50 candidates to 28 candidates (56.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	50	5	55

Merged error: 0.1b

Counts

55 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

9×	`log-prod`
8×	`distribute-rgt-in` `distribute-lft-in`
6×	`associate-+l+`
5×	`*-commutative` `div-inv`
4×	`neg-mul-1` `sub-neg` `associate--l+`
3×	`log-div`
2×	`associate-+r+` `fma-def` `associate-*r/` `clear-num`
1×	`+-commutative` `distribute-rgt-out` `flip3--` `frac-2neg` `flip3-+` `log-rec` `flip--` `flip-+` `distribute-lft-out`

Counts

4 → 32

Calls

4 calls:

2.0ms	(log (/ -1 y))
4.0ms	(* x (- (log (/ -1 y)) (log (- -1))))
3.0ms	(* x (log (- x)))
8.0ms	(+ (* x (- (log (/ -1 y)) (log (- -1)))) (* x (log (- x))))

series511.0ms

Counts

4 → 12

Calls

4 calls:

123.0ms	(log (/ -1 y))
40.0ms	(* x (- (log (/ -1 y)) (log (- -1))))
233.0ms	(* x (log (- x)))
115.0ms	(+ (* x (- (log (/ -1 y)) (log (- -1)))) (* x (log (- x))))

simplify65.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 3 (60.0ms)

Iter	Nodes	Cost
0	220	285
1	638	278
2	2626	269
3	5003	268

prune99.0ms

Filtered

44 candidates to 28 candidates (63.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	42	2	44
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	43	6	49

Merged error: 0.0b

Counts

49 → 6

regimes178.0ms

Accuracy

97% (0.5b remaining)

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

bsearch56.0ms

Steps

Iters	Range		Point
9	-4.6312562838885145e-303	1.301254076323289e-305	-5.938028204278827e-309

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	37
1	41	37

end0.0ms

sample803.0ms

Algorithm

intervals

Results

262.0ms	8035×	body	80	valid
206.0ms	7902×	body	80	nan

Iter	Nodes	Cost
0	14	4
1	18	4
2	25	4
3	45	4
4	76	4
5	102	4
6	122	4
7	152	4
8	246	4
9	353	4
10	559	4
11	562	4
12	563	4
13	563	4

Iter	Nodes	Cost
0	14	4
1	18	4
2	25	4
3	45	4
4	76	4
5	102	4
6	122	4
7	152	4
8	246	4
9	353	4
10	559	4
11	562	4
12	563	4
13	563	4

Iter	Nodes	Cost
0	14	4
1	18	4
2	25	4
3	45	4
4	76	4
5	102	4
6	122	4
7	152	4
8	246	4
9	353	4
10	559	4
11	562	4
12	563	4
13	563	4