Details

Time bar (total: 4.0s)

analyze1.9s (48.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
1.6%98.1%0.3%13
2.3%97.4%0.3%14
Compiler

Compiled 28 to 20 computations (28.6% saved)

sample2.0s (48.8%)

Results
1.2s8253×body128valid
690.0ms4593×body128invalid
1.0ms2×body512valid
0.0ms1×body256valid
Compiler

Compiled 83 to 59 computations (28.9% saved)

simplify19.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
494×fma-neg_binary64
457×associate--l-_binary64
357×associate--r-_binary64
300×sub-neg_binary64
274×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01931
14927
214525
359125
4219025
Stop Event
1×node limit
Counts
1 → 2

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0b
(fma.f64 (+.f64 y (+.f64 t -2)) b (fma.f64 z (-.f64 1 y) (fma.f64 a (-.f64 1 t) x)))
Compiler

Compiled 93 to 61 computations (34.4% saved)

localize14.0ms (0.3%)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Error
0b
Counts
1 → 1
Alt Table
StatusErrorProgram
✓0b
(fma.f64 (+.f64 y (+.f64 t -2)) b (fma.f64 z (-.f64 1 y) (fma.f64 a (-.f64 1 t) x)))
Compiler

Compiled 24 to 16 computations (33.3% saved)

regimes36.0ms (0.9%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
2 → 1
Compiler

Compiled 495 to 355 computations (28.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
6×+-commutative_binary64
4×sub-neg_binary64
2×*-commutative_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01625
12425
23125
33525
43725
Stop Event
1×saturated

end44.0ms (1.1%)

Compiler

Compiled 72 to 48 computations (33.3% saved)

Profiling

Loading profile data...