Details

Time bar (total: 8.2s)

analyze1.8s (22.4%)

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

Compiled 9 to 7 computations (22.2% saved)

sample6.3s (76.7%)

Results
3.0s2024×body2048valid
2.2s3125×body1024valid
599.0ms1557×body512valid
215.0ms749×body256valid
132.0ms100×body4096valid
115.0ms700×body128valid
2.0ms1×body8192valid
Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify17.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
145×fma-def_binary64
111×fma-neg_binary64
28×cancel-sign-sub-inv_binary64
27×div-sub_binary64
21×associate-/l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
076
1176
2236
3336
4556
5716
61006
71536
82196
92646
102996
113066
122686

prune3.0ms (0%)

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
(tan.f64 (/.f64 x 2))
Compiler

Compiled 22 to 17 computations (22.7% saved)

localize3.0ms (0%)

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
(tan.f64 (/.f64 x 2))
Compiler

Compiled 5 to 4 computations (20% saved)

regimes10.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
2 → 1
Compiler

Compiled 46 to 34 computations (26.1% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
156

end35.0ms (0.4%)

Compiler

Compiled 15 to 12 computations (20% saved)

Profiling

Loading profile data...