Details

analyze2.4s (33.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
24.9%	74.7%	0.4%	8
24.9%	74.7%	0.4%	9
24.9%	74.7%	0.4%	10
25.7%	73.9%	0.4%	11
25.7%	73.9%	0.4%	12
25.7%	73.9%	0.4%	13
25.7%	73.9%	0.4%	14

Compiler

Compiled 41 to 29 computations (29.3% saved)

sample60.0ms (0.8%)

Algorithm

1×

intervals

Results

32.0ms

256×

body

128

valid

Compiler

Compiled 90 to 66 computations (26.7% saved)

simplify99.0ms (1.4%)

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 → 1

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	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.0b

Counts

2 → 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 114 to 78 computations (31.6% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite221.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

45×	`add-cube-cbrt_binary64`
20×	`add-cbrt-cube_binary64`
16×	`add-log-exp_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`

Counts

4 → 182

Calls

4 calls:

25.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
19.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
19.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
15.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))

Compiler

Compiled 6295 to 1806 computations (71.3% saved)

series639.0ms (8.9%)

Error

0.0b

Counts

4 → 107

Calls

4 calls:

245.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
144.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
113.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
59.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

Compiler

Compiled 14243 to 8765 computations (38.5% saved)

simplify166.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

753×	`times-frac_binary64`
498×	`fma-def_binary64`
481×	`associate-/l*_binary64`
249×	`+-commutative_binary64`
188×	`associate-+r+_binary64`

Counts

289 → 190

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	783	9218
1	2270	8684
2	5170	8684

prune137.0ms (1.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	189	1	190
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	189	2	191

Error

Counts

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

▶

0.1b

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

Compiler

Compiled 6885 to 2210 computations (67.9% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite229.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

53×	`add-cube-cbrt_binary64`
24×	`add-exp-log_binary64`
24×	`add-cbrt-cube_binary64`
16×	`pow1_binary64`
16×	`add-sqr-sqrt_binary64`

Counts

4 → 191

Calls

4 calls:

25.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT))) NdChar))
20.0ms	(/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT))) NdChar)
19.0ms	(/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)
16.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)))

Compiler

Compiled 6643 to 2155 computations (67.6% saved)

series833.0ms (11.5%)

Error

Counts

4 → 107

Calls

4 calls:

321.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT))) NdChar))
224.0ms	(/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT))) NdChar)
119.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)))
108.0ms	(/.f64 (-.f64 mu (-.f64 Ec (+.f64 Vef EDonor))) KbT)

Compiler

Compiled 14024 to 8685 computations (38.1% saved)

simplify154.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

588×	`times-frac_binary64`
487×	`associate-/r*_binary64`
393×	`associate-/l*_binary64`
347×	`fma-def_binary64`
166×	`+-commutative_binary64`

Counts

298 → 154

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	615	8542
1	1752	7882
2	5115	7882

prune89.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	154	2	156

Error

Counts

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

0.1b

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

Compiler

Compiled 4816 to 1603 computations (66.7% saved)

regimes531.0ms (7.4%)

Accuracy

Total 0.0b remaining (9.1%)

Threshold costs 0.0b (9.1%)

Compiler

Compiled 14170 to 10098 computations (28.7% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`+-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	26	44
1	41	44
2	57	44
3	77	44
4	100	44
5	109	44
6	110	44
7	106	44

end8.0ms (0.1%)

Remove: (sort Ev EAccept)
Compiler: Compiled 114 to 78 computations (31.6% saved)

sample1.6s (22%)

Algorithm

1×

intervals

Results

1.0s	7999×	body	128	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 166 to 118 computations (28.9% saved)

Details

analyze2.4s (33.4%)

sample60.0ms (0.8%)

simplify99.0ms (1.4%)

prune4.0ms (0.1%)

localize21.0ms (0.3%)

rewrite221.0ms (3.1%)

series639.0ms (8.9%)

simplify166.0ms (2.3%)

prune137.0ms (1.9%)

localize22.0ms (0.3%)

rewrite229.0ms (3.2%)

series833.0ms (11.5%)

simplify154.0ms (2.1%)

prune89.0ms (1.2%)

regimes531.0ms (7.4%)

simplify6.0ms (0.1%)

end8.0ms (0.1%)

sample1.6s (22%)

Profiling