Details

Time bar (total: 803.0ms)

analyze3.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
0%0%100%2
0%0%100%3
0%0%100%4
0%0%100%5
0%0%100%6
0%0%100%7
0%0%100%8
0%0%100%9
0%0%100%10
0%0%100%11
0%0%100%12
0%0%100%13
0%0%100%14
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample716.0ms (89.2%)

Results
704.0ms8256×body128valid
Compiler

Compiled 30 to 22 computations (26.7% saved)

preprocess40.0ms (5%)

Algorithm
2×egg-herbie
Rules
492×fma-neg_binary64
454×unsub-neg_binary64
409×distribute-rgt-in_binary64
370×fma-def_binary64
360×distribute-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
11410
22110
33210
44910
5778
61318
73358
86868
914618
1027858
1141718
011
Stop Event
1×saturated
1×node limit
Compiler

Compiled 8 to 6 computations (25% saved)

simplify33.0ms (4.2%)

Algorithm
1×egg-herbie
Rules
492×fma-neg_binary64
454×unsub-neg_binary64
409×distribute-rgt-in_binary64
370×fma-def_binary64
360×distribute-neg-in_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
0710
11410
22110
33210
44910
5778
61318
73358
86868
914618
1027858
1141718
Stop Event
1×node limit
Counts
1 → 2

prune3.0ms (0.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 28 to 20 computations (28.6% saved)

localize3.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 -10 (fma.f64 x x -1))

series4.0ms (0.5%)

Counts
1 → 12
Calls

3 calls:

2.0ms
(/.f64 -10 (fma.f64 x x -1))
x
-inf
1.0ms
(/.f64 -10 (fma.f64 x x -1))
x
inf
1.0ms
(/.f64 -10 (fma.f64 x x -1))
x
0

rewrite0.0ms (0%)

Algorithm
1×batch-egg-rewrite

end0.0ms (0%)

Profiling

Loading profile data...