Details

sample29.0ms

Algorithm

intervals

Results

14.0ms

260×

body

valid

simplify12.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	26	8
1	39	8
2	51	8
3	61	8
4	65	8
5	65	8

prune3.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: 16.5b

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

4.0b	(/ (* y z) t)
7.1b	(/ (* y b) t)
11.9b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

12×	`associate-/r/`
10×	`frac-add`
8×	`associate-/l*`
7×	`flip3-+` `flip-+`
5×	`frac-2neg` `clear-num`
4×	`*-commutative`
3×	`div-inv`
2×	`associate-/l/`

Counts

3 → 27

Calls

3 calls:

3.0ms	(/ (* y z) t)
3.0ms	(/ (* y b) t)
9.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series146.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms	(/ (* y z) t)
20.0ms	(/ (* y b) t)
104.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify106.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	260	243
1	940	243
2	4716	240
3	5001	240

prune161.0ms

Filtered

36 candidates to 30 candidates (83.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	23	13	36
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	24	13	37

Merged error: 11.3b

Counts

37 → 13

localize19.0ms

Local error

Found 3 expressions with local error:

1.7b	(fma (/ y t) b 1.0)
4.0b	(/ (* y z) t)
11.9b	(/ (- (+ x (/ (* y z) t))) (- (- a) (fma (/ y t) b 1.0)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

3×	`associate-/l*`
2×	`frac-2neg` `clear-num` `associate-/r/` `div-inv` `associate-/l/` `distribute-neg-frac`
1×	`neg-sub0` `neg-mul-1` `flip3--` `flip3-+` `div-sub` `distribute-frac-neg` `*-commutative` `flip--` `flip-+` `fma-udef`

Counts

3 → 16

Calls

3 calls:

1.0ms	(fma (/ y t) b 1.0)
4.0ms	(/ (* y z) t)
6.0ms	(/ (- (+ x (/ (* y z) t))) (- (- a) (fma (/ y t) b 1.0)))

series153.0ms

Counts

3 → 9

Calls

3 calls:

24.0ms	(fma (/ y t) b 1.0)
19.0ms	(/ (* y z) t)
110.0ms	(/ (- (+ x (/ (* y z) t))) (- (- a) (fma (/ y t) b 1.0)))

simplify50.0ms

Algorithm

egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 3 (46.0ms)

Iter	Nodes	Cost
0	144	117
1	434	115
2	1605	108
3	5001	106

prune108.0ms

Filtered

25 candidates to 17 candidates (68.0%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	20	5	25
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	26	12	38

Merged error: 9.8b

Counts

38 → 12

localize12.0ms

Local error

Found 3 expressions with local error:

1.7b	(fma (/ y t) b 1.0)
2.5b	(fma (/ y t) z x)
11.9b	(/ (fma (/ y t) z x) (+ a (fma (/ y t) b 1.0)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

2×	`associate-/r/` `fma-udef`
1×	`frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv`

Counts

3 → 7

Calls

3 calls:

1.0ms	(fma (/ y t) b 1.0)
1.0ms	(fma (/ y t) z x)
3.0ms	(/ (fma (/ y t) z x) (+ a (fma (/ y t) b 1.0)))

series502.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(fma (/ y t) b 1.0)
40.0ms	(fma (/ y t) z x)
434.0ms	(/ (fma (/ y t) z x) (+ a (fma (/ y t) b 1.0)))

simplify50.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	68	52
1	149	52
2	443	52
3	1522	52
4	5002	52

prune65.0ms

Filtered

16 candidates to 8 candidates (50.0%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	13	3	16
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	15	13	28

Merged error: 9.8b

Counts

28 → 13

localize13.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (+ a (fma (/ y t) b 1.0)))
1.7b	(fma (/ y t) b 1.0)
2.5b	(fma (/ y t) z x)
11.9b	(* (fma (/ y t) z x) (/ 1 (+ a (fma (/ y t) b 1.0))))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

4×	`associate-/r/`
3×	`associate-r/` `associate-r*` `clear-num`
2×	`frac-2neg` `flip3-+` `un-div-inv` `flip-+` `fma-udef` `div-inv`
1×	`*-commutative` `inv-pow`

Counts

4 → 17

Calls

4 calls:

3.0ms	(/ 1 (+ a (fma (/ y t) b 1.0)))
1.0ms	(fma (/ y t) b 1.0)
1.0ms	(fma (/ y t) z x)
4.0ms	(* (fma (/ y t) z x) (/ 1 (+ a (fma (/ y t) b 1.0))))

series555.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(/ 1 (+ a (fma (/ y t) b 1.0)))
24.0ms	(fma (/ y t) b 1.0)
40.0ms	(fma (/ y t) z x)
433.0ms	(* (fma (/ y t) z x) (/ 1 (+ a (fma (/ y t) b 1.0))))

simplify71.0ms

Algorithm

egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	79	70
1	230	70
2	936	70
3	3213	70
4	5001	70

prune55.0ms

Filtered

29 candidates to 13 candidates (44.8%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	29	13	42

Merged error: 9.8b

Counts

42 → 13

regimes474.0ms

Accuracy

13.3% (4.2b remaining)

Error of 13.7b against oracle of 9.5b and baseline of 14.4b

bsearch105.0ms

Steps

Iters	Range		Point
7	3.803312250547377e-193	4.8551909133664333e-191	1.2292535721189738e-192
8	-3186624082.971198	-216925.59301107787	-6248321.0100264745

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	14
1	34	14

end0.0ms

sample709.0ms

Algorithm

intervals

Results

401.0ms

8290×

body

valid