Details

analyze3.2s (21.2%)

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.1s (14%)

Symmetry

(sort Ev EAccept)

Results

2.1s

8256×

body

128

valid

Compiler

Compiled 122 to 86 computations (29.5% saved)

simplify101.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

713×	`div-sub_binary64`
583×	`exp-sum_binary64`
502×	`exp-diff_binary64`
464×	`exp-prod_binary64`
370×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	28	46
1	57	46
2	158	44
3	433	44
4	1039	44
5	2185	44
6	3700	44
7	4917	44
8	4999	44
9	4971	44
10	5079	44

prune5.0ms (0%)

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.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.3b	(+.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)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
✓	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.2b	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))

series511.0ms (3.3%)

Counts

4 → 252

Calls

4 calls:

325.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
83.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
77.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
26.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

rewrite52.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`*-un-lft-identity_binary64`
35×	`add-sqr-sqrt_binary64`
33×	`times-frac_binary64`
27×	`add-cube-cbrt_binary64`
24×	`distribute-lft-out--_binary64`

Counts

4 → 117

Calls

4 calls:

10.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
9.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
9.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
8.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))

simplify271.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

883×	`fma-def_binary64`
368×	`+-commutative_binary64`
337×	`*-commutative_binary64`
290×	`associate-+r+_binary64`
166×	`associate-/l*_binary64`

Counts

369 → 307

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1172	14792
1	3543	14383
2	4944	14383
3	4975	14383

prune361.0ms (2.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	304	3	307
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	305	3	308

Error

0.2b

Counts

308 → 3

Alt Table

Status	Error	Program
▶	0.2b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (exp.f64 (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))))
	0.3b	(+.f64 (*.f64 NdChar (/.f64 1 (+.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)))))
	22.0b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (/.f64 (+.f64 1 (pow.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 3)) (fma.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) (expm1.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1))))

Compiler

Compiled 20541 to 7454 computations (63.7% saved)

localize21.0ms (0.1%)

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 (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))
	0.2b	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
✓	0.5b	(log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)))

series3.5s (23.1%)

Counts

2 → 120

Calls

2 calls:

1.8s	(exp.f64 (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))
1.7s	(log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`exp-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`
3×	`add-log-exp_binary64`

Counts

2 → 25

Calls

2 calls:

1.0ms	(exp.f64 (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))
0.0ms	(log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)))

simplify119.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

647×	`times-frac_binary64`
423×	`associate-/l*_binary64`
401×	`fma-def_binary64`
385×	`associate-/r*_binary64`
187×	`+-commutative_binary64`

Counts

145 → 127

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	525	6932
1	1682	6677
2	4993	6677

prune412.0ms (2.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	304	1	305
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	305	3	308

Error

0.2b

Counts

308 → 3

Alt Table

Status	Error	Program
	0.3b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (pow.f64 (E.f64) (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))))
✓	0.2b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (exp.f64 (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))))
▶	0.3b	(+.f64 (*.f64 NdChar (/.f64 1 (+.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 20383 to 6619 computations (67.5% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
	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.2b	(*.f64 NdChar (/.f64 1 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))

series325.0ms (2.1%)

Counts

1 → 72

Calls

1 calls:

325.0ms

(*.f64 NdChar (/.f64 1 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`associate-r_binary64`
17×	`*-un-lft-identity_binary64`
17×	`add-sqr-sqrt_binary64`
14×	`times-frac_binary64`
10×	`add-cube-cbrt_binary64`

Counts

1 → 43

Calls

1 calls:

16.0ms

(*.f64 NdChar (/.f64 1 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))

simplify134.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

647×	`fma-def_binary64`
564×	`associate-/l*_binary64`
487×	`associate-/r*_binary64`
225×	`associate-*r/_binary64`
205×	`*-commutative_binary64`

Counts

115 → 105

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	572	6123
1	1763	5852
2	4984	5778
3	5178	5778

prune429.0ms (2.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	314	0	314
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	314	3	317

Error

0.2b

Counts

317 → 3

Alt Table

Status	Error	Program
▶	0.3b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (pow.f64 (E.f64) (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))))
✓	0.2b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (exp.f64 (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))))
✓	0.3b	(+.f64 (*.f64 NdChar (/.f64 1 (+.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 21214 to 8029 computations (62.2% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
✓	0.2b	(pow.f64 (E.f64) (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))
	0.2b	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
	0.5b	(log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)))

series2.2s (14.2%)

Counts

1 → 60

Calls

1 calls:

2.2s	(pow.f64 (E.f64) (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`pow-unpow_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`unpow-prod-down_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 20

Calls

1 calls:

2.0ms

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

simplify84.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

519×	`associate-/r/_binary64`
341×	`associate-+r+_binary64`
337×	`times-frac_binary64`
236×	`+-commutative_binary64`
206×	`associate-+l+_binary64`

Counts

80 → 75

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	308	3461
1	864	3370
2	3432	3196
3	5197	3196

prune368.0ms (2.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.2b

Counts

317 → 3

Alt Table

Status	Error	Program
✓	0.3b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (pow.f64 (E.f64) (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))))
✓	0.2b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (exp.f64 (log1p.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))))
✓	0.3b	(+.f64 (*.f64 NdChar (/.f64 1 (+.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 20939 to 6664 computations (68.2% saved)

regimes851.0ms (5.5%)

Accuracy

Total 0.0b remaining (14.8%)

Threshold costs 0.0b (14.8%)

Counts

76 → 1

Compiler

Compiled 27360 to 19228 computations (29.7% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative_binary64`
11×	`sub-neg_binary64`
10×	`distribute-neg-in_binary64`
10×	`cancel-sign-sub-inv_binary64`
8×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	45
1	41	45
2	57	45
3	77	45
4	100	45
5	109	45
6	110	45
7	106	45

end88.0ms (0.6%)

Remove: (sort Ev EAccept)
Compiler: Compiled 269 to 185 computations (31.2% saved)

Details

analyze3.2s (21.2%)

sample2.1s (14%)

simplify101.0ms (0.7%)

prune5.0ms (0%)

localize23.0ms (0.2%)

series511.0ms (3.3%)

rewrite52.0ms (0.3%)

simplify271.0ms (1.8%)

prune361.0ms (2.4%)

localize21.0ms (0.1%)

series3.5s (23.1%)

rewrite3.0ms (0%)

simplify119.0ms (0.8%)

prune412.0ms (2.7%)

localize23.0ms (0.2%)

series325.0ms (2.1%)

rewrite20.0ms (0.1%)

simplify134.0ms (0.9%)

prune429.0ms (2.8%)

localize24.0ms (0.2%)

series2.2s (14.2%)

rewrite3.0ms (0%)

simplify84.0ms (0.5%)

prune368.0ms (2.4%)

regimes851.0ms (5.5%)

simplify4.0ms (0%)

end88.0ms (0.6%)

Profiling