Details

analyze50.0ms (4.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
50%	50%	0.1%	4
50%	50%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
87.4%	12.5%	0.1%	8
87.4%	12.5%	0.1%	9
93.7%	6.2%	0.1%	10
93.7%	6.2%	0.1%	11
96.8%	3.1%	0.1%	12
96.8%	3.1%	0.1%	13
98.3%	1.6%	0.1%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample724.0ms (71.2%)

Results

700.0ms

8256×

body

128

valid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify10.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
2	7	7

prune2.0ms (0.2%)

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

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 x (/.f64 y 500))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (/.f64 y 500))

series3.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

3.0ms

(+.f64 x (/.f64 y 500))

rewrite43.0ms (4.3%)

Algorithm

2×	batch-egg-rewrite

Rules

701×	`log1p-expm1-u_binary64`
701×	`expm1-log1p-u_binary64`
627×	`prod-diff_binary64`
70×	`add-sqr-sqrt_binary64`
66×	`add-log-exp_binary64`

Counts

1 → 36

Calls

1 calls:

42.0ms

(+.f64 x (/.f64 y 500))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	138	5
2	1770	5
3	5425	5
0	0	0
1	0	0

simplify10.0ms (1%)

Algorithm

1×	egg-herbie

Rules

2×	`fma-def_binary64`
1×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Counts

60 → 40

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	105
1	9	105
2	10	105
3	10	105

prune21.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	39	1	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	2	41

Error

Counts

41 → 2

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 (*.f64 1/500 y) x)
✓	0.0b	(+.f64 x (/.f64 y 500))

Compiler

Compiled 452 to 289 computations (36.1% saved)

localize3.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 1/500 y) x)
✓	0.2b	(*.f64 1/500 y)

series4.0ms (0.4%)

Counts

2 → 6

Calls

2 calls:

3.0ms	(+.f64 (*.f64 1/500 y) x)
1.0ms	(*.f64 1/500 y)

rewrite46.0ms (4.5%)

Algorithm

2×	batch-egg-rewrite

Rules

771×	`prod-diff_binary64`
642×	`log1p-expm1-u_binary64`
642×	`expm1-log1p-u_binary64`
66×	`add-sqr-sqrt_binary64`
62×	`add-log-exp_binary64`

Counts

2 → 51

Calls

2 calls:

44.0ms	(+.f64 (*.f64 1/500 y) x)
44.0ms	(*.f64 1/500 y)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	131	9
2	1614	9
3	5327	9
0	0	0
1	0	0

simplify7.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Counts

57 → 52

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	15
1	6	15
2	6	15

prune21.0ms (2.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	52	2	54

Error

Counts

54 → 2

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 (*.f64 1/500 y) x)
✓	0.0b	(+.f64 x (/.f64 y 500))

Compiler

Compiled 547 to 356 computations (34.9% saved)

regimes33.0ms (3.2%)

Accuracy

Total 0.0b remaining (35.7%)

Threshold costs 0.0b (35.7%)

Counts

6 → 1

Compiler

Compiled 172 to 122 computations (29.1% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
2	7	7

end33.0ms (3.2%)

Compiler: Compiled 28 to 20 computations (28.6% saved)

Details

analyze50.0ms (4.9%)

sample724.0ms (71.2%)

simplify10.0ms (1%)

prune2.0ms (0.2%)

localize4.0ms (0.4%)

series3.0ms (0.3%)

rewrite43.0ms (4.3%)

simplify10.0ms (1%)

prune21.0ms (2.1%)

localize3.0ms (0.3%)

series4.0ms (0.4%)

rewrite46.0ms (4.5%)

simplify7.0ms (0.7%)

prune21.0ms (2.1%)

regimes33.0ms (3.2%)

simplify2.0ms (0.2%)

end33.0ms (3.2%)

Profiling