Details

Time bar (total: 757.0ms)

analyze1.0ms (0.2%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
100%0%0%2
Compiler

Compiled 9 to 6 computations (33.3% saved)

sample163.0ms (21.5%)

Algorithm
intervals
Results
143.0ms256×body128valid
Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify6.0ms (0.8%)

Algorithm
egg-herbie
Rules
+-commutative_binary64
1-exp_binary64
fma-def_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
1108
298

prune2.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
13.4b
Counts
3 → 1
Alt Table
StatusErrorProgram
13.4b
(/.f64 x (fma.f64 x x 1))
Compiler

Compiled 28 to 16 computations (42.9% saved)

localize3.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
13.4b
(/.f64 x (fma.f64 x x 1))

series3.0ms (0.4%)

Counts
1 → 12
Calls

1 calls:

3.0ms
(/.f64 x (fma.f64 x x 1))

rewrite5.0ms (0.6%)

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity_binary64
times-frac_binary64
add-sqr-sqrt_binary64
add-cube-cbrt_binary64
associate-/r*_binary64
Counts
1 → 29
Calls

1 calls:

3.0ms
(/.f64 x (fma.f64 x x 1))

simplify65.0ms (8.6%)

Algorithm
egg-herbie
Rules
543×associate-/l*_binary64
513×div-sub_binary64
480×associate-/l/_binary64
388×fma-neg_binary64
289×distribute-rgt-in_binary64
Counts
41 → 48
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
072635
1147601
2366580
3807580
42019580
54600580
65498580

prune24.0ms (3.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New47148
Fresh000
Picked011
Done000
Total47249
Error
0b
Counts
49 → 2
Alt Table
StatusErrorProgram
30.6b
(/.f64 1 x)
13.4b
(/.f64 x (fma.f64 x x 1))
Compiler

Compiled 622 to 378 computations (39.2% saved)

localize2.0ms (0.2%)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
0b
Counts
2 → 2
Alt Table
StatusErrorProgram
30.6b
(/.f64 1 x)
13.4b
(/.f64 x (fma.f64 x x 1))
Compiler

Compiled 11 to 7 computations (36.4% saved)

regimes29.0ms (3.8%)

Accuracy

Total 0.0b remaining (40.7%)

Threshold costs 0.0b (40.7%)

Counts
5 → 3
Compiler

Compiled 74 to 46 computations (37.8% saved)

bsearch6.0ms (0.8%)

Steps
ItersRangePoint
4
26881732.152830016
651155153.3513538
237841878.36433893
1
-1.1520781970398969e+41
-5.300813219556786e+36
-7.882522709010398e+38
Compiler

Compiled 2 to 1 computations (50% saved)

simplify2.0ms (0.3%)

Algorithm
egg-herbie
Rules
+-commutative_binary64
1-exp_binary64
if-if-or-not_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01428
12028
21928

end1.0ms (0.1%)

Compiler

Compiled 20 to 14 computations (30% saved)

sample444.0ms (58.7%)

Algorithm
intervals
Results
250.0ms8000×body128valid
Compiler

Compiled 41 to 28 computations (31.7% saved)

Profiling

Loading profile data...