Details

analyze1.0ms

Algorithm

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

sample26.0ms

Algorithm

intervals

Results

18.0ms	256×	body	256	valid
3.0ms	256×	pre	128	true

simplify1.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	28
1	12	28

prune1.0ms

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

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

61.8b

(+.f64 (*.f64 (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008))) (-.f64 -1 (*.f64 2 (*.f64 t 2028240960365167/10141204801825835211973625643008))))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

1 → 0

Calls

1 calls:

0.0ms

(+.f64 (*.f64 (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008))) (-.f64 -1 (*.f64 2 (*.f64 t 2028240960365167/10141204801825835211973625643008))))

series55.0ms

Counts

1 → 3

Calls

1 calls:

55.0ms

(+.f64 (*.f64 (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008)) (+.f64 1 (*.f64 t 2028240960365167/10141204801825835211973625643008))) (-.f64 -1 (*.f64 2 (*.f64 t 2028240960365167/10141204801825835211973625643008))))

simplify1.0ms

Algorithm

egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	21
1	6	21

prune3.0ms

Filtered

1 candidates to 3 candidates (-200.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.3b

Counts

4 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.3b	(*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

1 → 0

Calls

1 calls:

0.0ms

(*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))

series37.0ms

Counts

1 → 3

Calls

1 calls:

37.0ms

(*.f64 4113761393303014933413986937889/102844034832575377634685573909834406561420991602098741459288064 (pow.f64 t 2))

simplify1.0ms

Algorithm

egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	21
1	6	21

prune1.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Merged error: 0.3b

Counts

4 → 1

simplify0.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	6	7

end0.0ms

sample768.0ms

Algorithm

intervals

Results

575.0ms	8000×	body	256	valid
101.0ms	8000×	pre	128	true

Details

analyze1.0ms

sample26.0ms

simplify1.0ms

prune1.0ms

localize8.0ms

rewrite0.0ms

series55.0ms

simplify1.0ms

prune3.0ms

localize4.0ms

rewrite0.0ms

series37.0ms

simplify1.0ms

prune1.0ms

simplify0.0ms

end0.0ms

sample768.0ms

Profiling