Details

Time bar (total: 5.7s)

analyze805.0ms (14.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
12.5%87.4%0.1%5
18.7%81.2%0.1%6
28.1%71.8%0.1%7
32.8%67.1%0.1%8
38.2%61.7%0.1%9
41%58.9%0.1%10
43.9%56%0.1%11
45.4%54.5%0.1%12
46.9%53%0.1%13
47.7%52.2%0.1%14
Compiler

Compiled 19 to 9 computations (52.6% saved)

sample4.0s (71.3%)

Results
2.2s3918×body8192exit
820.0ms6826×body128valid
554.0ms4117×body128invalid
199.0ms676×body512valid
151.0ms741×body256valid
5.0ms13×body1024valid
Compiler

Compiled 56 to 26 computations (53.6% saved)

simplify99.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
390×rules-6_binary64
387×rules-4_binary64
374×fma-neg_binary64
259×fma-def_binary64
244×rules-13-rev_binary64
Counts
1 → 2
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0925
11923
25223
316718
465816
5380616
6470116
7491416
8502316

prune3.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 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 wj 1))
Compiler

Compiled 55 to 29 computations (47.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 x (exp.f64 wj))
✓0.0b
(/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 wj 1))

series26.0ms (0.5%)

Counts
2 → 28
Calls

2 calls:

13.0ms
(/.f64 x (exp.f64 wj))
13.0ms
(/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 wj 1))

rewrite60.0ms (1.1%)

Algorithm
2×batch-egg-rewrite
Rules
828×log1p-expm1-u_binary64
828×expm1-log1p-u_binary64
281×prod-diff_binary64
86×add-sqr-sqrt_binary64
80×add-log-exp_binary64
Counts
2 → 59
Calls

2 calls:

58.0ms
(/.f64 x (exp.f64 wj))
58.0ms
(/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 wj 1))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0922
120122
2242522
3594522
000
100

simplify67.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
527×rules-21_binary64
260×rules-4_binary64
247×fma-def_binary64
244×fma-neg_binary64
227×rules-11_binary64
Counts
87 → 84
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
051519
1165513
2715486
34200419
44764419
55000419

prune50.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New83184
Fresh000
Picked011
Done000
Total83285
Error
0b
Counts
85 → 2
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 wj 1))
▶0.0b
(*.f64 (fma.f64 wj wj (-.f64 1 wj)) (/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 1 (pow.f64 wj 3))))
Compiler

Compiled 1344 to 635 computations (52.8% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(/.f64 x (exp.f64 wj))
✓0.0b
(/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 1 (pow.f64 wj 3)))
✓0.0b
(*.f64 (fma.f64 wj wj (-.f64 1 wj)) (/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 1 (pow.f64 wj 3))))

series79.0ms (1.4%)

Counts
2 → 48
Calls

2 calls:

47.0ms
(*.f64 (fma.f64 wj wj (-.f64 1 wj)) (/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 1 (pow.f64 wj 3))))
32.0ms
(/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 1 (pow.f64 wj 3)))

rewrite95.0ms (1.7%)

Algorithm
2×batch-egg-rewrite
Rules
669×prod-diff_binary64
136×add-sqr-sqrt_binary64
128×log1p-expm1-u_binary64
128×expm1-log1p-u_binary64
126×add-log-exp_binary64
Counts
2 → 108
Calls

2 calls:

91.0ms
(/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 1 (pow.f64 wj 3)))
91.0ms
(*.f64 (fma.f64 wj wj (-.f64 1 wj)) (/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 1 (pow.f64 wj 3))))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01448
132248
2390848
3524748
000
100

simplify50.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
367×fma-neg_binary64
358×fma-def_binary64
332×rules-15-rev_binary64
295×rules-11_binary64
257×rules-13_binary64
Counts
156 → 147
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0821780
12631728
212001652
350081652

prune152.0ms (2.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1820182
Fresh000
Picked011
Done011
Total1822184
Error
0b
Counts
184 → 2
Alt Table
StatusErrorProgram
✓0.0b
(/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 wj 1))
✓0.0b
(*.f64 (fma.f64 wj wj (-.f64 1 wj)) (/.f64 (fma.f64 wj wj (/.f64 x (exp.f64 wj))) (+.f64 1 (pow.f64 wj 3))))
Compiler

Compiled 6224 to 3313 computations (46.8% saved)

regimes77.0ms (1.4%)

Accuracy

Total 0.0b remaining (43.2%)

Threshold costs 0.0b (43.2%)

Counts
25 → 1
Compiler

Compiled 1200 to 792 computations (34% saved)

simplify1.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×1-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01019
11219
21119

end49.0ms (0.9%)

Compiler

Compiled 65 to 42 computations (35.4% saved)

Profiling

Loading profile data...