Details

Time bar (total: 708.0ms)

analyze0.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
100%0%0%100%0%0%0%1
Compiler

Compiled 10 to 8 computations (20% saved)

sample548.0ms (77.3%)

Results
538.0ms8256×body256valid
Bogosity

preprocess13.0ms (1.8%)

Algorithm
2×egg-herbie
Rules
2×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)

simplify26.0ms (3.7%)

Algorithm
1×egg-herbie
Rules
320×rational_best-simplify-2
276×rational_best-simplify-44
54×rational_best-simplify-86
54×rational_best-simplify-1
46×rational_best-simplify-32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
032127
146127
263127
393127
4137127
5173127
6183127
7206127
8250127
9328127
10398127
11446127
12497127
13499127
Stop Event
1×saturated
Counts
1 → 6
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 1335/4 (pow.f64 y 6)) (*.f64 x (*.f64 (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2) x))) (+.f64 (*.f64 11/2 (pow.f64 y 8)) (/.f64 x (*.f64 y 2))))
(+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 x (*.f64 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 (*.f64 11/2 (pow.f64 y 8)) (/.f64 x (*.f64 y 2))))
(+.f64 (*.f64 1335/4 (pow.f64 y 6)) (+.f64 (*.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 (*.f64 11/2 (pow.f64 y 8)) (/.f64 x (*.f64 y 2)))))
(+.f64 (*.f64 (*.f64 x x) (-.f64 (-.f64 (-.f64 (*.f64 y (*.f64 11 (*.f64 y (*.f64 x x)))) (pow.f64 y 6)) (*.f64 121 (pow.f64 y 4))) 2)) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (+.f64 (*.f64 11/2 (pow.f64 y 8)) (/.f64 x (*.f64 y 2)))))

eval5.0ms (0.6%)

Compiler

Compiled 260 to 184 computations (29.2% saved)

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New516
Fresh011
Picked000
Done000
Total527
Error
63.1b
Counts
7 → 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)

localize85.0ms (12%)

Compiler

Compiled 260 to 177 computations (31.9% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.2%)

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)

simplify2.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
032127
Stop Event
1×done
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)))
Compiler

Compiled 45 to 33 computations (26.7% saved)

soundness0.0ms (0%)

end27.0ms (3.8%)

Remove

(sort x y)

Compiler

Compiled 135 to 99 computations (26.7% saved)

Profiling

Loading profile data...