Details

analyze47.0ms (3.7%)

Algorithm

1×

Search

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample35.0ms (2.7%)

Algorithm

1×

intervals

Results

22.0ms	127×	body	2048	valid
5.0ms	129×	body	128	valid

Compiler

Compiled 28 to 18 computations (35.7% saved)

simplify27.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

times-frac_binary64×	`0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `10` `11` `12` `13` `14` `15` `16` `17` `18` `19` `20` `21` `22` `23` `24` `25` `26` `27` `28` `29` `30` `31` `32` `33` `34` `35` `36` `37` `38` `39` `40` `41` `42` `43` `44` `45` `46` `47` `48` `49` `50` `51` `52` `53` `54` `55` `56` `57` `58` `59` `60` `61` `62` `63` `64` `65` `66` `67` `68` `69` `70` `71` `72` `73`
div-sub_binary64×	`0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `10` `11` `12` `13` `14` `15` `16` `17` `18` `19` `20` `21` `22` `23` `24` `25` `26` `27` `28` `29` `30` `31` `32` `33` `34` `35` `36` `37` `38` `39` `40` `41` `42` `43` `44` `45` `46` `47` `48` `49` `50` `51` `52` `53` `54` `55` `56` `57` `58` `59` `60` `61` `62` `63` `64` `65` `66` `67` `68`
associate-/l/_binary64×	`0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `10` `11` `12` `13` `14` `15` `16` `17` `18` `19` `20` `21` `22` `23` `24` `25` `26` `27` `28` `29` `30` `31` `32` `33` `34` `35` `36` `37` `38` `39` `40` `41` `42` `43` `44` `45` `46` `47` `48`
associate-/l*_binary64×	`0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `10` `11` `12` `13` `14` `15` `16` `17` `18` `19` `20` `21` `22` `23` `24` `25` `26` `27` `28` `29` `30` `31` `32` `33` `34` `35` `36` `37` `38` `39` `40` `41` `42`
sub-neg_binary64×	`0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `10` `11` `12` `13` `14` `15` `16` `17` `18` `19` `20` `21` `22` `23` `24` `25` `26` `27` `28` `29` `30` `31` `32` `33`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	12
1	20	9
2	35	9
3	66	9
4	81	9
5	104	9
6	125	9
7	166	9
8	200	9
9	208	9
10	213	9
11	225	9
12	237	9
13	256	9
14	336	9
15	361	9
16	348	9
17	292	9

prune4.0ms (0.3%)

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

Error

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0b	(-.f64 1 (/.f64 (fabs.f64 x) x))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize4.0ms (0.3%)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Error

Counts

1 → 1

Alt Table

Status	Error	Program
	0b	(-.f64 1 (/.f64 (fabs.f64 x) x))

Compiler

Compiled 7 to 5 computations (28.6% saved)

regimes17.0ms (1.3%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 70 to 44 computations (37.1% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

+-commutative_binary64×	`0` `1` `2`
sub-neg_binary64×	`0` `1` `2`
*-commutative_binary64×	`0` `1`
neg-sub0_binary64×	`0` `1`
neg-mul-1_binary64×	`0` `1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	10	9
2	16	9
3	20	9
4	23	9
5	24	9
6	23	9

end1.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

sample1.1s (88.6%)

Algorithm

1×

intervals

Results

723.0ms	3959×	body	2048	valid
168.0ms	4041×	body	128	valid

Compiler

Compiled 29 to 20 computations (31% saved)

Iter	Nodes	Cost
0	9	12
1	20	9
2	35	9
3	66	9
4	81	9
5	104	9
6	125	9
7	166	9
8	200	9
9	208	9
10	213	9
11	225	9
12	237	9
13	256	9
14	336	9
15	361	9
16	348	9
17	292	9

Iter	Nodes	Cost
0	9	12
1	20	9
2	35	9
3	66	9
4	81	9
5	104	9
6	125	9
7	166	9
8	200	9
9	208	9
10	213	9
11	225	9
12	237	9
13	256	9
14	336	9
15	361	9
16	348	9
17	292	9

Details

analyze47.0ms (3.7%)

sample35.0ms (2.7%)

simplify27.0ms (2.1%)

prune4.0ms (0.3%)

localize4.0ms (0.3%)

rewrite1.0ms (0%)

series0.0ms (0%)

simplify7.0ms (0.5%)

prune1.0ms (0.1%)

regimes17.0ms (1.3%)

simplify3.0ms (0.2%)

end1.0ms (0%)

sample1.1s (88.6%)

Profiling

Iter	Nodes	Cost
0	9	12
1	20	9
2	35	9
3	66	9
4	81	9
5	104	9
6	125	9
7	166	9
8	200	9
9	208	9
10	213	9
11	225	9
12	237	9
13	256	9
14	336	9
15	361	9
16	348	9
17	292	9