Details

sample23.0ms

Algorithm

intervals

Results

9.0ms	186×	body	160	valid
5.0ms	70×	body	320	valid
2.0ms	256×	pre	80	true

simplify62.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (11.0ms)

Iter	Nodes	Cost
0	28	8
1	91	7
2	306	7
3	996	6
4	2722	6
5	5001	6

prune8.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: 57.6b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

49.6b	(fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)
50.5b	(fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

2×	`fma-udef`

Counts

2 → 2

Calls

2 calls:

1.0ms	(fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)
1.0ms	(fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))

series255.0ms

Counts

2 → 6

Calls

2 calls:

109.0ms	(fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0)
146.0ms	(fma (- (* 2.0 t)) 2e-16 (fma (fma 2e-16 t 1.0) (fma 2e-16 t 1.0) -1.0))

simplify74.0ms

Algorithm

egg-herbie

Counts

8 → 8

Iterations

Useful iterations: 3 (9.0ms)

Iter	Nodes	Cost
0	34	21
1	77	21
2	233	21
3	608	18
4	2113	18
5	5002	18

prune11.0ms

Filtered

8 candidates to 4 candidates (50.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	7	1	8
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	8	1	9

Merged error: 0.4b

Counts

9 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.3b	(* 3.9999999999999997e-32 (pow t 2))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

2×	`associate-r`
1×	`*-commutative` `unpow2` `sqr-pow`

Counts

1 → 3

Calls

1 calls:

3.0ms

(* 3.9999999999999997e-32 (pow t 2))

series24.0ms

Counts

1 → 3

Calls

1 calls:

24.0ms

(* 3.9999999999999997e-32 (pow t 2))

simplify142.0ms

Algorithm

egg-herbie

Counts

6 → 6

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	8
1	46	8
2	145	8
3	524	8
4	2524	8
5	5001	8

prune11.0ms

Filtered

6 candidates to 3 candidates (50.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	5	1	6
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	5	2	7

Merged error: 0.2b

Counts

7 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.3b	(* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

2×	`associate-l` `*-commutative`
1×	`associate-r` `sqr-pow`

Counts

1 → 4

Calls

1 calls:

4.0ms

(* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))

series25.0ms

Counts

1 → 3

Calls

1 calls:

25.0ms

(* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))

simplify59.0ms

Algorithm

egg-herbie

Counts

7 → 7

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	32	11
1	82	11
2	270	10
3	1171	10
4	5002	10

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

Counts

9 → 3

localize14.0ms

Local error

Found 2 expressions with local error:

0.3b	(* 3.9999999999999997e-32 (pow t 3/2))
0.3b	(* (* 3.9999999999999997e-32 (pow t 3/2)) (pow t (/ (/ 2 2) 2)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

3×	`associate-r` `associate-l` `*-commutative` `sqr-pow`

Counts

2 → 7

Calls

2 calls:

2.0ms	(* 3.9999999999999997e-32 (pow t 3/2))
4.0ms	(* (* 3.9999999999999997e-32 (pow t 3/2)) (pow t (/ (/ 2 2) 2)))

series117.0ms

Counts

2 → 6

Calls

2 calls:

52.0ms	(* 3.9999999999999997e-32 (pow t 3/2))
65.0ms	(* (* 3.9999999999999997e-32 (pow t 3/2)) (pow t (/ (/ 2 2) 2)))

simplify66.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 3 (64.0ms)

Iter	Nodes	Cost
0	109	53
1	368	44
2	1681	37
3	5002	35

prune20.0ms

Filtered

13 candidates to 9 candidates (69.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	9	4	13
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	9	7	16

Merged error: 0.0b

Counts

16 → 7

regimes25.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	2
1	14	2
2	14	2

end0.0ms

sample584.0ms

Algorithm

intervals

Results

278.0ms	6002×	body	160	valid
142.0ms	1998×	body	320	valid
72.0ms	8000×	pre	80	true