Details

analyze2.8s (33.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
1.6%	98%	0.4%	11
1.6%	98%	0.4%	12
1.6%	98%	0.4%	13
1.6%	98%	0.4%	14

Compiler

Compiled 41 to 29 computations (29.3% saved)

sample2.0s (24.3%)

Results

1.9s	8255×	body	128	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 122 to 86 computations (29.5% saved)

simplify63.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

480×	`rules-40_binary64`
480×	`rules-42_binary64`
480×	`rules-43_binary64`
478×	`rules-41_binary64`
402×	`rules-13_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	48
1	155	48
2	459	48
3	1965	48
4	4140	48
5	27	48

prune3.0ms (0%)

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

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Status

Error

Program

▶

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Compiler

Compiled 151 to 96 computations (36.4% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
✓	0.0b	(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
✓	0.0b	(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
✓	0.0b	(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)

series194.0ms (2.3%)

Counts

4 → 240

Calls

4 calls:

96.0ms	(+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
52.0ms	(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
23.0ms	(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
23.0ms	(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)

rewrite93.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

232×	`add-sqr-sqrt_binary64`
225×	`log1p-expm1-u_binary64`
225×	`expm1-log1p-u_binary64`
214×	`add-log-exp_binary64`
212×	`add-cbrt-cube_binary64`

Counts

4 → 94

Calls

4 calls:

91.0ms	(+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))
91.0ms	(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
91.0ms	(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
91.0ms	(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	67
1	511	67
2	4833	67
3	5112	67
0	0	0
1	0	0

simplify126.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

665×	`rules-40_binary64`
665×	`rules-41_binary64`
665×	`rules-42_binary64`
665×	`rules-43_binary64`
623×	`fma-neg_binary64`

Counts

334 → 201

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	357	7681
1	2705	7679
2	5071	7679

prune275.0ms (3.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	200	1	201
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	201	1	202

Error

0.0b

Counts

202 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (/.f64 NdChar (exp.f64 (log1p.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Status

Error

Program

▶

0.0b

(+.f64 (/.f64 NdChar (exp.f64 (log1p.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Compiler

Compiled 11403 to 4070 computations (64.3% saved)

localize50.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
	0.0b	(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
	0.0b	(/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)
✓	0.3b	(log1p.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))

series1.4s (17.5%)

Counts

1 → 60

Calls

1 calls:

1.4s	(log1p.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))

rewrite109.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

258×	`expm1-udef_binary64`
258×	`log1p-udef_binary64`
142×	`add-sqr-sqrt_binary64`
138×	`expm1-log1p-u_binary64`
137×	`log1p-expm1-u_binary64`

Counts

1 → 26

Calls

1 calls:

108.0ms

(log1p.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	310	19
2	4171	19
3	4990	19
4	4959	19
0	0	0
1	0	0

simplify76.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

617×	`fma-neg_binary64`
546×	`rules-40_binary64`
546×	`rules-41_binary64`
546×	`rules-42_binary64`
546×	`rules-43_binary64`

Counts

86 → 67

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	286	3647
1	2192	3539
2	5133	3539

prune209.0ms (2.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	201	0	201
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	201	1	202

Error

0.0b

Counts

202 → 1

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (/.f64 NdChar (exp.f64 (log1p.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Status

Error

Program

✓

0.0b

(+.f64 (/.f64 NdChar (exp.f64 (log1p.f64 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)))))

Compiler

Compiled 11991 to 4005 computations (66.6% saved)

regimes758.0ms (9.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

65 → 1

Compiler

Compiled 24340 to 17298 computations (28.9% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	47
1	30	47
2	29	47

end59.0ms (0.7%)

Compiler: Compiled 118 to 82 computations (30.5% saved)

Details

analyze2.8s (33.6%)

sample2.0s (24.3%)

simplify63.0ms (0.8%)

prune3.0ms (0%)

localize22.0ms (0.3%)

series194.0ms (2.3%)

rewrite93.0ms (1.1%)

simplify126.0ms (1.5%)

prune275.0ms (3.3%)

localize50.0ms (0.6%)

series1.4s (17.5%)

rewrite109.0ms (1.3%)

simplify76.0ms (0.9%)

prune209.0ms (2.5%)

regimes758.0ms (9.2%)

simplify1.0ms (0%)

end59.0ms (0.7%)

Profiling