Details

Time bar (total: 771.0ms)

analyze0.0ms (0.1%)

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

Compiled 10 to 8 computations (20% saved)

sample583.0ms (75.7%)

Results
570.0ms8256×body256valid

preprocess14.0ms (1.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
012
022
122
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
-54767/66192
-54767/66192
Outputs
-54767/66192
-54767/66192
Symmetry

(sort x y)

Compiler

Compiled 47 to 35 computations (25.5% saved)

simplify40.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
890×fma-neg_binary64
593×unswap-sqr_binary64
563×cancel-sign-sub-inv_binary64
521×fma-def_binary64
377×*-commutative_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
03162
18258
224455
382054
4330954
5722254
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
Outputs
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
(+.f64 (fma.f64 1335/4 (pow.f64 y 6) (*.f64 (*.f64 x x) (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (+.f64 (*.f64 121 (pow.f64 y 4)) 2)))) (+.f64 (*.f64 11/2 (pow.f64 y 8)) (/.f64 x (*.f64 y 2))))
(+.f64 (fma.f64 1335/4 (pow.f64 y 6) (*.f64 (*.f64 x x) (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (+.f64 (pow.f64 y 6) (fma.f64 121 (pow.f64 y 4) 2))))) (fma.f64 11/2 (pow.f64 y 8) (/.f64 x (*.f64 y 2))))
(fma.f64 1335/4 (pow.f64 y 6) (fma.f64 x (*.f64 x (fma.f64 y (*.f64 y (*.f64 x (*.f64 x 11))) (fma.f64 -1 (pow.f64 y 6) (fma.f64 (pow.f64 y 4) -121 -2)))) (fma.f64 11/2 (pow.f64 y 8) (/.f64 x (*.f64 y 2)))))
(fma.f64 (*.f64 x x) (-.f64 (fma.f64 y (*.f64 x (*.f64 x (*.f64 y 11))) (fma.f64 (pow.f64 y 4) -121 -2)) (pow.f64 y 6)) (fma.f64 1335/4 (pow.f64 y 6) (fma.f64 11/2 (pow.f64 y 8) (/.f64 x (*.f64 y 2)))))
(fma.f64 1335/4 (pow.f64 y 6) (fma.f64 x (*.f64 x (-.f64 (*.f64 y (*.f64 (*.f64 x x) (*.f64 y 11))) (fma.f64 (pow.f64 y 4) (fma.f64 y y 121) 2))) (fma.f64 11/2 (pow.f64 y 8) (/.f64 x (*.f64 y 2)))))

eval2.0ms (0.2%)

Compiler

Compiled 83 to 57 computations (31.3% saved)

prune1.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
63.1b
Counts
3 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶63.1b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
Compiler

Compiled 45 to 33 computations (26.7% saved)

localize93.0ms (12.1%)

Compiler

Compiled 260 to 177 computations (31.9% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.3%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Error
63.1b
Counts
1 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
✓63.1b
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
Compiler

Compiled 90 to 66 computations (26.7% saved)

simplify3.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
12×*-commutative_binary64
9×+-commutative_binary64
6×sub-neg_binary64
3×neg-sub0_binary64
3×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03164
15464
26864
37464
47864
57964
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
Outputs
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 (*.f64 (*.f64 (*.f64 11 x) x) y) y) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 2 y)))
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (+.f64 (+.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 -121 (pow.f64 y 4))) -2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 y 2)))
(+.f64 (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 (*.f64 x x) (+.f64 (+.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 (pow.f64 y 4) -121)) -2))) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 y 2)))

end32.0ms (4.1%)

Stop Event
1×done
Remove

(sort x y)

Compiler

Compiled 180 to 132 computations (26.7% saved)

Profiling

Loading profile data...