Details

Time bar (total: 1.1s)

analyze53.0ms (4.9%)

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
25%74.9%0.1%5
37.5%62.4%0.1%6
56.2%43.7%0.1%7
65.6%34.3%0.1%8
76.5%23.4%0.1%9
82%18%0.1%10
87.8%12.1%0.1%11
90.7%9.2%0.1%12
Compiler

Compiled 8 to 6 computations (25% saved)

sample996.0ms (91.1%)

Results
982.0ms8256×body64valid

preprocess16.0ms (1.5%)

Algorithm
2×egg-herbie
Rules
1×swap-x-y
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0814
1814
022
122
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(/.f64 (+.f64 x y) 2)
(/.f64 (+.f64 y x) 2)
Outputs
(/.f64 (+.f64 x y) 2)
(/.f64 (+.f64 y x) 2)
(/.f64 (+.f64 x y) 2)
Symmetry

(sort x y)

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify7.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
177
Stop Event
1×saturated
Counts
1 → 1
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) 2)
Outputs
(/.f64 (+.f64 x y) 2)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0b
(/.f64 (+.f64 x y) 2)
Compiler

Compiled 21 to 15 computations (28.6% saved)

localize3.0ms (0.3%)

prune1.0ms (0.1%)

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

Compiled 16 to 12 computations (25% saved)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
177
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (+.f64 x y) 2)
Outputs
(/.f64 (+.f64 x y) 2)

end14.0ms (1.3%)

Stop Event
1×done
Remove

(sort x y)

Compiler

Compiled 28 to 20 computations (28.6% saved)

Profiling

Loading profile data...