Details

analyze477.0ms (26.6%)

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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
25%	74.9%	0.1%	8
34.3%	62.4%	3.3%	9
40.6%	52.3%	7.2%	10
49.1%	42.1%	8.7%	11
56.2%	32.6%	11.3%	12
59.1%	27.1%	13.8%	13
63.7%	21.9%	14.4%	14

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.0s (56.7%)

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 (-.f64 1 x) y) (.f64 x z))

Results

855.0ms	8256×	body	128	valid
67.0ms	653×	body	128	invalid

Compiler

Compiled 62 to 42 computations (32.3% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 (-.f64 1 x) y) (.f64 x z))

series7.0ms (0.4%)

Counts

1 → 36

Calls

1 calls:

7.0ms

(+.f64 (*.f64 (-.f64 1 x) y) (*.f64 x z))

rewrite54.0ms (3%)

Algorithm

2×	batch-egg-rewrite

Rules

476×	`log-prod_binary64`
382×	`fma-def_binary64`
176×	`pow1/3_binary64`
174×	`expm1-udef_binary64`
173×	`log1p-udef_binary64`

Counts

1 → 67

Calls

1 calls:

53.0ms

(+.f64 (*.f64 (-.f64 1 x) y) (*.f64 x z))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	192	11
2	2442	11
3	4985	11
0	0	0
1	0	0

prune53.0ms (2.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	102	1	103
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	102	2	104

Error

Counts

104 → 2

Alt Table

Status	Error	Program
▶	30.0b	(*.f64 (-.f64 z y) x)
✓	0.0b	(+.f64 (.f64 (-.f64 1 x) y) (.f64 x z))

Compiler

Compiled 1404 to 651 computations (53.6% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 z y) x)

series6.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

6.0ms

(*.f64 (-.f64 z y) x)

rewrite41.0ms (2.3%)

Algorithm

2×	batch-egg-rewrite

Rules

672×	`log1p-expm1-u_binary64`
672×	`expm1-log1p-u_binary64`
359×	`prod-diff_binary64`
124×	`log1p-udef_binary64`
68×	`add-sqr-sqrt_binary64`

Counts

1 → 21

Calls

1 calls:

39.0ms

(*.f64 (-.f64 z y) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	129	7
2	1676	7
3	5023	7
0	0	0
1	0	0

prune15.0ms (0.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	45	2	47

Error

Counts

47 → 2

Alt Table

Status	Error	Program
✓	30.0b	(*.f64 (-.f64 z y) x)
✓	0.0b	(+.f64 (.f64 (-.f64 1 x) y) (.f64 x z))

Compiler

Compiled 374 to 105 computations (71.9% saved)

regimes63.0ms (3.5%)

Accuracy

Total -0.0b remaining (-36.2%)

Threshold costs -0.0b (-36.2%)

Counts

15 → 1

Compiler

Compiled 620 to 414 computations (33.2% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	13	11
2	17	11
3	19	11
4	20	11
5	19	11

end50.0ms (2.8%)

Compiler: Compiled 42 to 27 computations (35.7% saved)

Details

analyze477.0ms (26.6%)

sample1.0s (56.7%)

localize6.0ms (0.3%)

series7.0ms (0.4%)

rewrite54.0ms (3%)

prune53.0ms (2.9%)

localize3.0ms (0.2%)

series6.0ms (0.4%)

rewrite41.0ms (2.3%)

prune15.0ms (0.8%)

regimes63.0ms (3.5%)

simplify2.0ms (0.1%)

end50.0ms (2.8%)

Profiling