Details

Time bar (total: 1.2s)

analyze1.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)

sample925.0ms (75.3%)

Results
902.0ms8256×body256valid
Bogosity

preprocess27.0ms (2.2%)

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)

simplify55.0ms (4.5%)

Algorithm
1×egg-herbie
Rules
282×rational.json-simplify-2
274×rational.json-simplify-43
88×rational.json-simplify-55
68×rational.json-simplify-1
44×rational.json-simplify-41
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
032127
154127
289127
3129127
4187127
5265127
6349127
7442127
8498127
9502127
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 y (*.f64 y (*.f64 x (*.f64 x 11)))) (pow.f64 y 6)) (+.f64 (*.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 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 (*.f64 (*.f64 x x) (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2)))) (+.f64 (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 11/2 (pow.f64 y 8))) (/.f64 x (*.f64 y 2))))
(+.f64 (*.f64 (*.f64 x x) (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2)))) (+.f64 (/.f64 x (*.f64 y 2)) (+.f64 (*.f64 1335/4 (pow.f64 y 6)) (*.f64 11/2 (pow.f64 y 8)))))
(+.f64 (*.f64 1335/4 (pow.f64 y 6)) (+.f64 (*.f64 11/2 (pow.f64 y 8)) (+.f64 (*.f64 (*.f64 x x) (-.f64 (*.f64 y (*.f64 y (*.f64 x (*.f64 x 11)))) (+.f64 (*.f64 121 (pow.f64 y 4)) (+.f64 (pow.f64 y 6) 2)))) (/.f64 x (*.f64 y 2)))))

eval7.0ms (0.6%)

Compiler

Compiled 260 to 184 computations (29.2% saved)

prune3.0ms (0.3%)

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)

localize152.0ms (12.4%)

Compiler

Compiled 260 to 177 computations (31.9% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune3.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)

simplify4.0ms (0.4%)

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%)

end51.0ms (4.1%)

Remove

(sort x y)

Compiler

Compiled 135 to 99 computations (26.7% saved)

Profiling

Loading profile data...