Details

analyze4.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
0%	50%	50%	2
37.5%	12.5%	50%	3
43.7%	6.2%	50%	4
46.8%	3.1%	50%	5
48.4%	1.6%	50%	6
49.2%	0.8%	50%	7
49.6%	0.4%	50%	8
49.8%	0.2%	50%	9
49.9%	0.1%	50%	10
49.9%	0%	50%	11
49.9%	0%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 15 to 10 computations (33.3% saved)

sample11.4s (99.2%)

Results

9.2s	4385×	body	2048	valid
1.5s	2053×	body	1024	valid
399.0ms	1012×	body	512	valid
146.0ms	521×	body	256	valid
42.0ms	285×	body	128	valid

Compiler

Compiled 30 to 20 computations (33.3% saved)

preprocess44.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

577×	`fma-def_binary64`
278×	`fma-neg_binary64`
235×	`times-frac_binary64`
176×	`div-sub_binary64`
119×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	11	11
2	18	11
3	29	11
4	56	11
5	86	11
6	150	11
7	238	11
8	380	11
9	714	11
10	1628	11
11	2249	11
12	2882	11
13	2945	11
14	2983	11
15	2993	11
0	1	1

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify31.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

577×	`fma-def_binary64`
278×	`fma-neg_binary64`
235×	`times-frac_binary64`
176×	`div-sub_binary64`
119×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	11	11
2	18	11
3	29	11
4	56	11
5	86	11
6	150	11
7	238	11
8	380	11
9	714	11
10	1628	11
11	2249	11
12	2882	11
13	2945	11
14	2983	11
15	2993	11

Stop Event

1×

saturated

Counts

1 → 1

prune1.0ms (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

Error

31.2b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	31.2b	(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))

Compiler

Compiled 24 to 15 computations (37.5% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))
✓	2.0b	(-.f64 x (sin.f64 x))

series13.0ms (0.1%)

Counts

2 → 18

Calls

6 calls:

5.0ms	(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))	x	-inf
4.0ms	(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))	x	inf
1.0ms	(-.f64 x (sin.f64 x))	x	0
1.0ms	(/.f64 (-.f64 x (sin.f64 x)) (tan.f64 x))	x	0
1.0ms	(-.f64 x (sin.f64 x))	x	inf

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze4.0ms (0%)

sample11.4s (99.2%)

preprocess44.0ms (0.4%)

simplify31.0ms (0.3%)

prune1.0ms (0%)

localize4.0ms (0%)

series13.0ms (0.1%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling