Details

Time bar (total: 5.0s)

analyze3.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
50%50%50%0%0%0%0%3
66.7%50%25%0%25%0%0%4
83.3%62.5%12.5%0%25%0%0%5
91.7%68.7%6.2%0%25%0%0%6
95.8%71.8%3.1%0%25%0%0%7
97.9%73.4%1.6%0%25%0%0%8
99%74.2%0.8%0%25%0%0%9
99.5%74.6%0.4%0%25%0%0%10
99.7%74.8%0.2%0%25%0%0%11
99.9%74.9%0.1%0%25%0%0%12
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample631.0ms (12.6%)

Results
620.0ms8256×body256valid
0.0ms5×body256infinite
Bogosity

preprocess2.9s (57.7%)

Algorithm
2×egglog
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
Outputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
(fma.f64 (pow.f64 x 2) 2 -1)
Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify1.4s (28.8%)

Algorithm
1×egglog
Counts
1 → 2
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
Outputs
(-.f64 (*.f64 (*.f64 x x) 2) 1)
(fma.f64 (pow.f64 x 2) 2 -1)

eval1.0ms (0%)

Compiler

Compiled 14 to 11 computations (21.4% saved)

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0b
Counts
3 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0b
(-.f64 (*.f64 (*.f64 x x) 2) 1)
Compiler

Compiled 8 to 6 computations (25% saved)

localize12.0ms (0.2%)

Compiler

Compiled 19 to 10 computations (47.4% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune2.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
Click to see full alt table
StatusErrorProgram
✓0b
(-.f64 (*.f64 (*.f64 x x) 2) 1)
Compiler

Compiled 16 to 12 computations (25% saved)

simplify1.0ms (0%)

Stop Event
1×done
Compiler

Compiled 8 to 6 computations (25% saved)

soundness0.0ms (0%)

end24.0ms (0.5%)

Compiler

Compiled 8 to 6 computations (25% saved)

Profiling

Loading profile data...