Details

sample448.0ms

Algorithm

intervals

Results

238.0ms	87×	body	10240	exit
140.0ms	87×	body	1280	valid
38.0ms	50×	body	640	valid
9.0ms	85×	body	80	valid
9.0ms	25×	body	320	valid
2.0ms	9×	body	160	valid

simplify2.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	7

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

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(sin (expm1 a))
0.0b	(expm1 (sin (expm1 a)))
0.0b	(atan2 (expm1 (sin (expm1 a))) (atan a))
40.0b	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

1.0ms	(sin (expm1 a))
1.0ms	(expm1 (sin (expm1 a)))
1.0ms	(atan2 (expm1 (sin (expm1 a))) (atan a))
1.0ms	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

series63.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(sin (expm1 a))
1.0ms	(expm1 (sin (expm1 a)))
2.0ms	(atan2 (expm1 (sin (expm1 a))) (atan a))
2.0ms	(fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)

simplify3.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	48

prune3.0ms

Filtered

12 candidates to 0 candidates (0.0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	1	13

Merged error: 34.6b

Counts

13 → 1

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	7

end0.0ms

sample13.4s

Algorithm

intervals

Results

7.4s	2710×	body	10240	exit
4.0s	2336×	body	1280	valid
1.1s	1636×	body	640	valid
315.0ms	2792×	body	80	valid
272.0ms	783×	body	320	valid
104.0ms	444×	body	160	valid
24.0ms	5×	body	5120	valid
9.0ms	4×	body	2560	valid