Details

analyze7.0ms (0.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 15 to 11 computations (26.7% saved)

sample1.4s (89.8%)

Results

599.0ms	2073×	body	1024	valid
401.0ms	4439×	body	128	valid
219.0ms	995×	body	512	valid
87.0ms	531×	body	256	valid
78.0ms	218×	body	2048	valid

Compiler

Compiled 30 to 22 computations (26.7% saved)

preprocess74.0ms (4.8%)

Algorithm

2×	egg-herbie

Rules

859×	`fma-neg_binary64`
764×	`fma-def_binary64`
321×	`div-sub_binary64`
169×	`associate-/l*_binary64`
149×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	34	19
4	60	19
5	100	19
6	205	19
7	377	19
8	951	19
9	2127	19
10	2751	19
11	3062	19
12	3879	19
13	4173	19
14	4215	19
15	4217	19
16	4219	19
17	4229	19
18	4229	19
0	1	1

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 14 to 10 computations (28.6% saved)

simplify62.0ms (4%)

Algorithm

1×	egg-herbie

Rules

859×	`fma-neg_binary64`
764×	`fma-def_binary64`
321×	`div-sub_binary64`
169×	`associate-/l*_binary64`
149×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	16	19
2	22	19
3	34	19
4	60	19
5	100	19
6	205	19
7	377	19
8	951	19
9	2127	19
10	2751	19
11	3062	19
12	3879	19
13	4173	19
14	4215	19
15	4217	19
16	4219	19
17	4229	19
18	4229	19

Stop Event

1×

saturated

Counts

1 → 2

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

31.7b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	31.7b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

Compiler

Compiled 55 to 39 computations (29.1% saved)

localize6.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 x (+.f64 x 1))
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 x 1))
✓	2.7b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

series7.0ms (0.4%)

Counts

3 → 36

Calls

9 calls:

1.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))	x	-inf
1.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))	x	inf
1.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))	x	0
1.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))	x	inf
1.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))	x	-inf

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze7.0ms (0.4%)

sample1.4s (89.8%)

preprocess74.0ms (4.8%)

simplify62.0ms (4%)

prune2.0ms (0.1%)

localize6.0ms (0.4%)

series7.0ms (0.4%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling