Diagrams.Segment:$catParam from diagrams-lib-1.3.0.3, C

Time bar (total: 3.0s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 7 to 5 computations (28.6% saved)

sample2.2s (72.7%)

Memory
13.9MiB live, 792.6MiB allocated; 2.5s collecting garbage
Samples
2.0s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult!: 1.5s (99.9% of total)
adjust: 1.0ms (0.1% of total)
Bogosity

preprocess18.0ms (0.6%)

Memory
39.7MiB live, 39.7MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0710
13110
28010
313010
424710
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(*.f64 (*.f64 x x) x)
Symmetry

(negabs x)

Compiler

Compiled 10 to 6 computations (40% saved)

series277.0ms (9.3%)

Memory
-43.4MiB live, 57.4MiB allocated; 284ms collecting garbage
Counts
3 → 3
Calls
Call 1
Inputs
(*.f64 (*.f64 x x) x)
(*.f64 x x)
x
Outputs
#s(approx (* (* x x) x) (pow.f64 x #s(literal 3 binary64)))
#s(approx (* x x) (pow.f64 x #s(literal 2 binary64)))
#s(approx x x)
Calls

3 calls:

TimeVariablePoint
6.0ms
x
-inf
1.0ms
x
inf
1.0ms
x
0

rewrite192.0ms (6.4%)

Memory
31.7MiB live, 123.8MiB allocated; 45ms collecting garbage
Counts
3 → 8
Calls
Call 1
Inputs
(*.f64 (*.f64 x x) x)
(*.f64 x x)
x
Outputs
(*.f64 (*.f64 x x) x)
(*.f64 x (*.f64 x x))
(pow.f64 x #s(literal 3 binary64))
(*.f64 x x)
(*.f64 (neg.f64 x) (neg.f64 x))
(*.f64 (fabs.f64 x) (fabs.f64 x))
(pow.f64 x #s(literal 2 binary64))
x

eval2.0ms (0.1%)

Memory
2.0MiB live, 2.0MiB allocated; 0ms collecting garbage
Compiler

Compiled 56 to 22 computations (60.7% saved)

prune2.0ms (0.1%)

Memory
2.2MiB live, 2.2MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New718
Fresh000
Picked011
Done000
Total729
Accuracy
100.0%
Counts
9 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(pow.f64 x #s(literal 3 binary64))
✓99.9%
(*.f64 (*.f64 x x) x)
Compiler

Compiled 8 to 6 computations (25% saved)

series90.0ms (3%)

Memory
16.0MiB live, 61.0MiB allocated; 35ms collecting garbage
Counts
3 → 2
Calls
Call 1
Inputs
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
Outputs
#s(approx (pow x 3) (pow.f64 x #s(literal 3 binary64)))
#s(approx x x)
Calls

3 calls:

TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
x
0

rewrite162.0ms (5.4%)

Memory
-22.9MiB live, 112.9MiB allocated; 90ms collecting garbage
Counts
3 → 5
Calls
Call 1
Inputs
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
Outputs
(*.f64 (*.f64 x x) x)
(*.f64 x (*.f64 x x))
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)

eval0.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated; 0ms collecting garbage
Compiler

Compiled 17 to 10 computations (41.2% saved)

prune1.0ms (0%)

Memory
1.6MiB live, 1.6MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New303
Fresh000
Picked011
Done011
Total325
Accuracy
100.0%
Counts
5 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(pow.f64 x #s(literal 3 binary64))
✓99.9%
(*.f64 (*.f64 x x) x)
Compiler

Compiled 8 to 6 computations (25% saved)

regimes5.0ms (0.2%)

Memory
12.6MiB live, 12.6MiB allocated; 0ms collecting garbage
Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
2 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 x x) x)
Outputs
(*.f64 (*.f64 x x) x)
Call 2
Inputs
(*.f64 (*.f64 x x) x)
(pow.f64 x #s(literal 3 binary64))
Outputs
(pow.f64 x #s(literal 3 binary64))
Calls

4 calls:

1.0ms
x
1.0ms
(*.f64 (*.f64 x x) x)
1.0ms
x
1.0ms
(*.f64 (*.f64 x x) x)
Results
AccuracySegmentsBranch
99.9%1(*.f64 (*.f64 x x) x)
99.9%1x
100.0%1(*.f64 (*.f64 x x) x)
100.0%1x
Compiler

Compiled 20 to 13 computations (35% saved)

derivations0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated; 0ms collecting garbage
Stop Event
1×done
Compiler

Compiled 8 to 5 computations (37.5% saved)

preprocess70.0ms (2.3%)

Memory
-17.6MiB live, 28.3MiB allocated; 18ms collecting garbage
Remove

(negabs x)

Compiler

Compiled 29 to 20 computations (31% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...