Details

analyze4.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	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 7 to 6 computations (14.3% saved)

sample748.0ms (40.5%)

Results

676.0ms

8256×

body

128

valid

Compiler

Compiled 20 to 17 computations (15% saved)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`1-exp_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	4
1	10	4
2	8	4

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 x 1/3)

Compiler

Compiled 17 to 13 computations (23.5% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series1.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

1.0ms

(+.f64 x 1/3)

rewrite75.0ms (4.1%)

Algorithm

2×	batch-egg-rewrite

Rules

812×	`log1p-udef_binary64`
446×	`log1p-expm1-u_binary64`
446×	`expm1-log1p-u_binary64`
384×	`pow1_binary64`
217×	`unpow-prod-down_binary64`

Counts

1 → 47

Calls

1 calls:

74.0ms

(+.f64 x 1/3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	91	4
2	1104	4
3	4780	4
4	6173	4
0	0	0
1	0	0

simplify7.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Counts

59 → 50

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	39
1	5	39
2	5	39

prune52.0ms (2.8%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	2	51

Error

Counts

51 → 2

Alt Table

Status	Error	Program
▶	21.8b	(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (-.f64 (.f64 x x) (.f64 x 1/3))))
✓	0.0b	(+.f64 x 1/3)

Compiler

Compiled 474 to 362 computations (23.6% saved)

localize8.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 x x) (.f64 x 1/3))
✓	0.0b	(+.f64 1/9 (-.f64 (.f64 x x) (.f64 x 1/3)))
✓	0.3b	(*.f64 x 1/3)
✓	21.2b	(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (-.f64 (.f64 x x) (.f64 x 1/3))))

series9.0ms (0.5%)

Counts

4 → 48

Calls

4 calls:

3.0ms	(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (-.f64 (.f64 x x) (.f64 x 1/3))))
2.0ms	(-.f64 (.f64 x x) (.f64 x 1/3))
2.0ms	(+.f64 1/9 (-.f64 (.f64 x x) (.f64 x 1/3)))
1.0ms	(*.f64 x 1/3)

rewrite196.0ms (10.6%)

Algorithm

2×	batch-egg-rewrite

Rules

647×	`fma-def_binary64`
301×	`fma-neg_binary64`
290×	`egg-rr`
253×	`expm1-udef_binary64`
253×	`log1p-udef_binary64`

Counts

4 → 290

Calls

4 calls:

190.0ms	(-.f64 (.f64 x x) (.f64 x 1/3))
190.0ms	(+.f64 1/9 (-.f64 (.f64 x x) (.f64 x 1/3)))
190.0ms	(*.f64 x 1/3)
190.0ms	(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (-.f64 (.f64 x x) (.f64 x 1/3))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	40
1	308	36
2	3806	36
3	5341	36
0	0	0
1	0	0

simplify186.0ms (10.1%)

Algorithm

1×	egg-herbie

Rules

818×	`distribute-rgt-neg-in_binary64`
557×	`sqr-pow_binary64`
541×	`associate-r_binary64`
533×	`distribute-lft-neg-in_binary64`
528×	`*-commutative_binary64`

Counts

338 → 304

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	303
1	32	252
2	52	238
3	114	238
4	253	238
5	610	238
6	1672	238
7	2697	238
8	3380	238
9	3778	238
10	2855	238
11	3126	238
12	3372	238
13	3974	238
14	4566	238
15	4669	238

prune260.0ms (14.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	304	0	304
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	304	2	306

Error

Counts

306 → 2

Alt Table

Status	Error	Program
✓	21.8b	(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (-.f64 (.f64 x x) (.f64 x 1/3))))
✓	0.0b	(+.f64 x 1/3)

Compiler

Compiled 6728 to 5017 computations (25.4% saved)

regimes249.0ms (13.5%)

Accuracy

Total 0.0b remaining (77%)

Threshold costs 0.0b (77%)

Counts

48 → 1

Compiler

Compiled 1280 to 1007 computations (21.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
2	5	4

end40.0ms (2.2%)

Compiler: Compiled 28 to 21 computations (25% saved)

Details

analyze4.0ms (0.2%)

sample748.0ms (40.5%)

simplify6.0ms (0.3%)

prune2.0ms (0.1%)

localize2.0ms (0.1%)

series1.0ms (0.1%)

rewrite75.0ms (4.1%)

simplify7.0ms (0.4%)

prune52.0ms (2.8%)

localize8.0ms (0.5%)

series9.0ms (0.5%)

rewrite196.0ms (10.6%)

simplify186.0ms (10.1%)

prune260.0ms (14.1%)

regimes249.0ms (13.5%)

simplify3.0ms (0.1%)

end40.0ms (2.2%)

Profiling