Details

sample18.0ms

Algorithm

intervals

Results

8.0ms

328×

body

valid

simplify147.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 8 (49.0ms)

Iter	Nodes	Cost
0	14	4
1	34	4
2	92	4
3	232	4
4	491	4
5	785	4
6	1115	4
7	1482	4
8	2218	3
9	3349	3
10	4819	3
11	5001	3

prune5.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 1.8b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

1.7b	(* (fma (- y 1.0) z 1.0) x)

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

1×	`*-commutative`

Counts

1 → 1

Calls

1 calls:

2.0ms

(* (fma (- y 1.0) z 1.0) x)

series56.0ms

Counts

1 → 3

Calls

1 calls:

56.0ms

(* (fma (- y 1.0) z 1.0) x)

simplify114.0ms

Algorithm

egg-herbie

Counts

4 → 4

Iterations

Useful iterations: 4 (15.0ms)

Iter	Nodes	Cost
0	29	17
1	75	13
2	172	11
3	327	11
4	416	9
5	549	9
6	980	9
7	2284	9
8	4285	9
9	5001	9

prune9.0ms

Filtered

4 candidates to 3 candidates (75.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	3	2	5

Merged error: 1.8b

Counts

5 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(- x (* x z))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

1×	`sub-neg` `flip3--` `flip--`

Counts

1 → 4

Calls

1 calls:

2.0ms

(- x (* x z))

series35.0ms

Counts

1 → 3

Calls

1 calls:

35.0ms

(- x (* x z))

simplify96.0ms

Algorithm

egg-herbie

Counts

7 → 7

Iterations

Useful iterations: 3 (19.0ms)

Iter	Nodes	Cost
0	51	27
1	153	24
2	486	23
3	1121	22
4	3170	22
5	5001	22

prune15.0ms

Filtered

7 candidates to 3 candidates (42.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	6	1	7
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	6	3	9

Merged error: 1.8b

Counts

9 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow (* x z) 3)
2.4b	(* (fma z (fma z x x) x) x)
3.4b	(- (pow x 3) (pow (* x z) 3))
35.0b	(/ (- (pow x 3) (pow (* x z) 3)) (* (fma z (fma z x x) x) x))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

16×	`sqr-pow`
8×	`unpow3` `prod-diff`
7×	`*-commutative`
6×	`unpow-prod-down`
4×	`difference-cubes` `times-frac` `difference-of-squares`
2×	`flip3--` `fma-neg` `associate-/r` `flip--` `associate-/l/` `associate-/l`
1×	`pow-to-exp` `sub-neg` `frac-2neg` `div-sub` `clear-num` `div-inv`

Counts

4 → 36

Calls

4 calls:

3.0ms	(pow (* x z) 3)
2.0ms	(* (fma z (fma z x x) x) x)
6.0ms	(- (pow x 3) (pow (* x z) 3))
9.0ms	(/ (- (pow x 3) (pow (* x z) 3)) (* (fma z (fma z x x) x) x))

series417.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(pow (* x z) 3)
36.0ms	(* (fma z (fma z x x) x) x)
128.0ms	(- (pow x 3) (pow (* x z) 3))
200.0ms	(/ (- (pow x 3) (pow (* x z) 3)) (* (fma z (fma z x x) x) x))

simplify43.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	249	370
1	913	316
2	5002	312

prune124.0ms

Filtered

48 candidates to 29 candidates (60.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	46	2	48
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	47	4	51

Merged error: 1.8b

Counts

51 → 4

localize14.0ms

Local error

Found 3 expressions with local error:

0.1b	(fma z (fma z x x) x)
2.4b	(* (fma z (fma z x x) x) x)
31.5b	(/ (pow x 3) (* (fma z (fma z x x) x) x))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

4×	`times-frac` `*-commutative`
3×	`unpow3` `sqr-pow`
2×	`associate-/r` `associate-/l`
1×	`frac-2neg` `clear-num` `fma-udef` `div-inv`

Counts

3 → 13

Calls

3 calls:

1.0ms	(fma z (fma z x x) x)
2.0ms	(* (fma z (fma z x x) x) x)
4.0ms	(/ (pow x 3) (* (fma z (fma z x x) x) x))

series136.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(fma z (fma z x x) x)
39.0ms	(* (fma z (fma z x x) x) x)
71.0ms	(/ (pow x 3) (* (fma z (fma z x x) x) x))

simplify80.0ms

Algorithm

egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	101	95
1	298	82
2	1909	74
3	5002	74

prune46.0ms

Filtered

22 candidates to 14 candidates (63.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	21	1	22
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	21	5	26

Merged error: 1.8b

Counts

26 → 5

regimes77.0ms

Accuracy

0% (0.1b remaining)

Error of 3.5b against oracle of 3.4b and baseline of 3.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	3
1	8	3

end0.0ms

sample435.0ms

Algorithm

intervals

Results

239.0ms

10064×

body

valid