Details

analyze2.7s (31.4%)

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 (23.9%)

Symmetry

(sort Ev EAccept)

Results

1.9s

8256×

body

128

valid

Compiler

Compiled 122 to 86 computations (29.5% saved)

simplify93.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

712×	`rules-20_binary64`
631×	`fma-neg_binary64`
410×	`rules-21_binary64`
241×	`fma-def_binary64`
216×	`rules-15-rev_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	28	48
1	50	47
2	109	45
3	276	44
4	849	44
5	3148	44
6	4621	44
7	4993	44
8	4930	44

prune4.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 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

Compiler

Compiled 145 to 95 computations (34.5% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series272.0ms (3.2%)

Counts

4 → 240

Calls

4 calls:

123.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
57.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
48.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
44.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

rewrite83.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

320×	`prod-diff_binary64`
222×	`add-sqr-sqrt_binary64`
215×	`log1p-expm1-u_binary64`
215×	`expm1-log1p-u_binary64`
206×	`add-log-exp_binary64`

Counts

4 → 97

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	61
1	488	61
2	4885	61
3	5366	61
0	0	0
1	0	0

simplify139.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

887×	`fma-def_binary64`
852×	`rules-14-rev_binary64`
327×	`rules-20_binary64`
244×	`rules-21_binary64`
203×	`rules-2_binary64`

Counts

337 → 235

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	577	9395
1	2245	9083
2	5619	9083

prune347.0ms (4.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	233	2	235
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	234	2	236

Error

0.0b

Counts

236 → 2

Alt Table

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

Status

Error

Program

▶

0.0b

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

0.0b

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

Compiler

Compiled 14552 to 5500 computations (62.2% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
✓	0.0b	(pow.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))) 2)
	0.0b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
	0.1b	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))

series159.0ms (1.9%)

Counts

1 → 60

Calls

1 calls:

159.0ms

(pow.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))) 2)

rewrite70.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

251×	`expm1-udef_binary64`
251×	`log1p-udef_binary64`
140×	`add-sqr-sqrt_binary64`
138×	`log1p-expm1-u_binary64`
138×	`expm1-log1p-u_binary64`

Counts

1 → 32

Calls

1 calls:

68.0ms

(pow.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	15
1	319	15
2	4108	15
3	4927	15
0	0	0
1	0	0

simplify60.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

453×	`fma-def_binary64`
424×	`rules-21_binary64`
406×	`rules-13_binary64`
393×	`rules-14-rev_binary64`
197×	`rules-20_binary64`

Counts

92 → 74

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	314	3042
1	1129	2847
2	5157	2847

prune370.0ms (4.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	243	0	243
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	243	2	245

Error

0.0b

Counts

245 → 2

Alt Table

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

Status

Error

Program

✓

0.0b

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

▶

0.0b

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

Compiler

Compiled 15777 to 6090 computations (61.4% saved)

localize67.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

series76.0ms (0.9%)

Counts

1 → 60

Calls

1 calls:

76.0ms

(expm1.f64 (log1p.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))

rewrite70.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

238×	`expm1-udef_binary64`
238×	`log1p-udef_binary64`
214×	`log-pow_binary64`
131×	`add-sqr-sqrt_binary64`
128×	`expm1-log1p-u_binary64`

Counts

1 → 31

Calls

1 calls:

69.0ms

(expm1.f64 (log1p.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	289	15
2	3907	15
3	5048	15
0	0	0
1	0	0

simplify110.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

393×	`rules-21_binary64`
382×	`fma-def_binary64`
379×	`rules-14-rev_binary64`
344×	`rules-13_binary64`
222×	`rules-2_binary64`

Counts

91 → 73

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	284	2752
1	1026	2595
2	5124	2595

prune304.0ms (3.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	242	0	242
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	242	2	244

Error

0.0b

Counts

244 → 2

Alt Table

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

Status

Error

Program

✓

0.0b

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

✓

0.0b

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

Compiler

Compiled 15097 to 5663 computations (62.5% saved)

regimes1.5s (17.1%)

Accuracy

Total 0.0b remaining (7.3%)

Threshold costs 0.0b (7.3%)

Counts

100 → 1

Compiler

Compiled 38040 to 27008 computations (29% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	49
1	31	49
2	30	49

end88.0ms (1%)

Remove: (sort Ev EAccept)
Compiler: Compiled 245 to 173 computations (29.4% saved)

Details

analyze2.7s (31.4%)

sample2.0s (23.9%)

simplify93.0ms (1.1%)

prune4.0ms (0.1%)

localize21.0ms (0.2%)

series272.0ms (3.2%)

rewrite83.0ms (1%)

simplify139.0ms (1.6%)

prune347.0ms (4.1%)

localize23.0ms (0.3%)

series159.0ms (1.9%)

rewrite70.0ms (0.8%)

simplify60.0ms (0.7%)

prune370.0ms (4.3%)

localize67.0ms (0.8%)

series76.0ms (0.9%)

rewrite70.0ms (0.8%)

simplify110.0ms (1.3%)

prune304.0ms (3.6%)

regimes1.5s (17.1%)

simplify2.0ms (0%)

end88.0ms (1%)

Profiling