Details

Time bar (total: 6.0s)

analyze2.7s (45.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
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 (34.2%)

Symmetry

(sort Ev EAccept)

Results
2.0s8256×body128valid
Compiler

Compiled 122 to 86 computations (29.5% saved)

simplify33.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
726×div-sub_binary64
231×fma-def_binary64
219×exp-diff_binary64
206×exp-sum_binary64
205×associate--r+_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02846
15746
216044
352244
4157044
5370144
Stop Event
1×node limit
Counts
1 → 2

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Vef (-.f64 mu (-.f64 Ec EDonor))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Vef (+.f64 Ev (-.f64 EAccept mu))) KbT)))))
Compiler

Compiled 145 to 97 computations (33.1% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Vef (-.f64 mu (-.f64 Ec EDonor))) KbT))))
✓0.0b
(/.f64 (+.f64 Vef (-.f64 mu (-.f64 Ec EDonor))) KbT)
✓0.0b
(+.f64 1 (exp.f64 (/.f64 (+.f64 Vef (-.f64 mu (-.f64 Ec EDonor))) KbT)))
✓0.0b
(/.f64 (+.f64 Vef (+.f64 Ev (-.f64 EAccept mu))) KbT)

series325.0ms (5.5%)

Counts
4 → 252
Calls

4 calls:

227.0ms
(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Vef (-.f64 mu (-.f64 Ec EDonor))) KbT))))
49.0ms
(+.f64 1 (exp.f64 (/.f64 (+.f64 Vef (-.f64 mu (-.f64 Ec EDonor))) KbT)))
25.0ms
(/.f64 (+.f64 Vef (+.f64 Ev (-.f64 EAccept mu))) KbT)
24.0ms
(/.f64 (+.f64 Vef (-.f64 mu (-.f64 Ec EDonor))) KbT)

rewrite47.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
252×log1p-expm1-u_binary64
252×expm1-log1p-u_binary64
251×add-cbrt-cube_binary64
241×add-log-exp_binary64
239×add-cube-cbrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02165
149765
Stop Event
1×node limit
Counts
4 → 77
Calls

4 calls:

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

simplify120.0ms (2%)

Algorithm
1×egg-herbie
Rules
687×associate-/l*_binary64
645×fma-def_binary64
265×*-commutative_binary64
248×+-commutative_binary64
198×associate-+r+_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
07769932
129609806
Stop Event
1×node limit
Counts
329 → 205

prune235.0ms (3.9%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New2050205
Fresh000
Picked011
Done000
Total2051206
Error
0.0b
Counts
206 → 1
Alt Table
StatusErrorProgram
✓0.0b
(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Vef (-.f64 mu (-.f64 Ec EDonor))) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 Vef (+.f64 Ev (-.f64 EAccept mu))) KbT)))))
Compiler

Compiled 13408 to 5150 computations (61.6% saved)

regimes369.0ms (6.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
28 → 1
Compiler

Compiled 9920 to 7038 computations (29.1% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
13×+-commutative_binary64
8×sub-neg_binary64
6×cancel-sign-sub-inv_binary64
5×neg-sub0_binary64
5×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02644
14044
25344
36844
48644
59244
Stop Event
1×saturated

end70.0ms (1.2%)

Remove

(sort Ev EAccept)

Compiler

Compiled 190 to 130 computations (31.6% saved)

Profiling

Loading profile data...