Details

analyze3.0s (36.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 (25.1%)

Symmetry

(sort Ev EAccept)

Results

2.0s	8256×	body	128	valid
1.0ms	1×	body	8192	exit

Compiler

Compiled 122 to 86 computations (29.5% saved)

simplify93.0ms (1.1%)

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

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)

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

series413.0ms (5%)

Counts

4 → 252

Calls

4 calls:

293.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
68.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
26.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
25.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

rewrite51.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

120×	`*-un-lft-identity_binary64`
54×	`times-frac_binary64`
54×	`add-sqr-sqrt_binary64`
38×	`add-cube-cbrt_binary64`
36×	`distribute-lft-out--_binary64`

Counts

4 → 148

Calls

4 calls:

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

simplify198.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

737×	`associate-/l*_binary64`
681×	`fma-def_binary64`
272×	`*-commutative_binary64`
259×	`+-commutative_binary64`
200×	`associate-+r+_binary64`

Counts

400 → 333

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	970	13599
1	2877	13226
2	5744	13226

prune357.0ms (4.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	332	1	333
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	332	2	334

Error

Counts

334 → 2

Alt Table

Status	Error	Program
▶	14.7b	(+.f64 (cbrt.f64 (pow.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)))) 3)) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
✓	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)))))

Status

Error

Program

▶

14.7b

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

✓

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 19204 to 6647 computations (65.4% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT))))
✓	0.0b	(/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)
	0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
✓	21.8b	(cbrt.f64 (pow.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)))) 3))

series636.0ms (7.7%)

Counts

3 → 204

Calls

3 calls:

311.0ms

(cbrt.f64 (pow.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)))) 3))

300.0ms

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

25.0ms

(/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)

rewrite55.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

97×	`*-un-lft-identity_binary64`
57×	`times-frac_binary64`
49×	`add-sqr-sqrt_binary64`
42×	`cbrt-prod_binary64`
41×	`add-cube-cbrt_binary64`

Counts

3 → 137

Calls

3 calls:

13.0ms

(cbrt.f64 (pow.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)))) 3))

12.0ms

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

9.0ms

(/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)

simplify217.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

585×	`associate-/l*_binary64`
504×	`associate-/r*_binary64`
456×	`fma-def_binary64`
201×	`*-commutative_binary64`
143×	`+-commutative_binary64`

Counts

341 → 175

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	723	15342
1	2143	14842
2	5207	14842

prune296.0ms (3.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	257	0	257
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	257	2	259

Error

Counts

259 → 2

Alt Table

Status	Error	Program
✓	14.7b	(+.f64 (cbrt.f64 (pow.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)))) 3)) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
✓	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)))))

Status

Error

Program

✓

14.7b

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

✓

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 15190 to 5576 computations (63.3% saved)

regimes757.0ms (9.1%)

Accuracy

Total 0.0b remaining (1.7%)

Threshold costs 0.0b (1.7%)

Counts

49 → 1

Compiler

Compiled 18600 to 13188 computations (29.1% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	28	46
1	49	46
2	65	46
3	89	44
4	113	44
5	130	44
6	136	44
7	137	44
8	133	44

end81.0ms (1%)

Remove: (sort Ev EAccept)
Compiler: Compiled 231 to 159 computations (31.2% saved)

Details

analyze3.0s (36.2%)

sample2.1s (25.1%)

simplify93.0ms (1.1%)

prune4.0ms (0.1%)

localize20.0ms (0.2%)

series413.0ms (5%)

rewrite51.0ms (0.6%)

simplify198.0ms (2.4%)

prune357.0ms (4.3%)

localize24.0ms (0.3%)

series636.0ms (7.7%)

rewrite55.0ms (0.7%)

simplify217.0ms (2.6%)

prune296.0ms (3.6%)

regimes757.0ms (9.1%)

simplify4.0ms (0.1%)

end81.0ms (1%)

Profiling