Logistic function

Time bar (total: 9.5s)

start0.0ms (0.0%)

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

analyze39.0ms (0.4%)

Memory
2.6MiB live, 46.8MiB allocated; 8ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%24.7%75.3%0.0%0.0%0.0%0
0.0%0.0%24.7%75.3%0.0%0.0%0.0%1
0.0%0.0%24.7%75.3%0.0%0.0%0.0%2
0.0%0.0%24.7%75.3%0.0%0.0%0.0%3
0.0%0.0%24.7%75.3%0.0%0.0%0.0%4
50.0%12.4%12.4%75.3%0.0%0.0%0.0%5
50.0%12.4%12.4%75.3%0.0%0.0%0.0%6
75.0%18.5%6.2%75.3%0.0%0.0%0.0%7
75.0%18.5%6.2%75.3%0.0%0.0%0.0%8
87.5%21.6%3.1%75.3%0.0%0.0%0.0%9
87.5%21.6%3.1%75.3%0.0%0.0%0.0%10
93.7%23.2%1.5%75.3%0.0%0.0%0.0%11
93.7%23.2%1.5%75.3%0.0%0.0%0.0%12
Compiler

Compiled 17 to 14 computations (17.6% saved)

sample1.7s (17.8%)

Memory
-30.5MiB live, 1 068.3MiB allocated; 214ms collecting garbage
Samples
1.5s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 603.0ms
ival-exp: 401.0ms (66.5% of total, 126.1 MiB)
ival-div!: 95.0ms (15.7% of total, 138.8 MiB)
ival-neg: 62.0ms (10.3% of total, 92.0 MiB)
ival-add!: 32.0ms (5.3% of total, 44.4 MiB)
adjust: 11.0ms (1.8% of total, 10.0 MiB)
ival-and: 1.0ms (0.2% of total, 1.1 MiB)
ival-<=: 1.0ms (0.2% of total, 1.9 MiB)
ival-assert: 0.0ms (0.0% of total, 0.6 MiB)
Bogosity

preprocess992.0ms (10.5%)

Memory
-25.2MiB live, 65.5MiB allocated; 9ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02450
116750
275450
3640250
43283350
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.7%
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
Compiler

Compiled 18 to 16 computations (11.1% saved)

sample0.0ms (0.0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
1
Outputs
#s(literal 1 binary32)
Samples
0.0ms1×0valid
Compiler

Compiled 3 to 3 computations (0.0% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)

series12.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0178734
Stop Event
1×iter-limit
Counts
8 → 7
Calls
Call 1
Inputs
#s(literal 1 binary32)
x
(neg.f32 x)
s
(/.f32 (neg.f32 x) s)
(exp.f32 (/.f32 (neg.f32 x) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
Outputs
#s(approx 1 #s(literal 0 binary32))
#s(approx x x)
#s(approx (neg x) (*.f32 #s(literal -1 binary32) x))
#s(approx (exp (/ (neg x) s)) #s(literal 1 binary32))
#s(approx (+ 1 (exp (/ (neg x) s))) #s(literal 2 binary32))
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
#s(approx s s)
Calls

6 calls:

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

rewrite2.6s (26.9%)

Memory
1.8MiB live, 98.3MiB allocated; 12ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0830
01330
15330
227630
3243830
42477630
54540830
0514108
Stop Event
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 0
Calls
Call 1
Inputs
#s(literal 1 binary32)
x
(neg.f32 x)
s
(/.f32 (neg.f32 x) s)
(exp.f32 (/.f32 (neg.f32 x) s))
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
Outputs

eval1.0ms (0.0%)

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

Compiled 55 to 22 computations (60.0% saved)

prune1.0ms (0.0%)

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
99.7%
Counts
9 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
▶37.5%
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
Compiler

Compiled 10 to 9 computations (10.0% saved)

sample0.0ms (0.0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
1/2
Outputs
#s(literal 1/2 binary32)
Samples
0.0ms1×0valid
Compiler

Compiled 3 to 3 computations (0.0% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)

series8.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0110318
Stop Event
1×iter-limit
Counts
2 → 2
Calls
Call 1
Inputs
#s(literal 1/2 binary32)
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
Outputs
#s(approx 1/2 #s(literal 0 binary32))
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
Calls

6 calls:

TimeVariablePoint
0.0ms
x
inf
0.0ms
x
-inf
0.0ms
s
0
0.0ms
x
0
0.0ms
s
inf

rewrite2.5s (26.9%)

Memory
-41.8MiB live, 97.4MiB allocated; 15ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01012
01012
15012
227312
3243112
42475412
54538512
0513874
Stop Event
1×iter-limit
1×node-limit
1×saturated
Counts
2 → 0
Calls
Call 1
Inputs
#s(literal 1/2 binary32)
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
Outputs

eval0.0ms (0.0%)

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

Compiled 2 to 2 computations (0.0% saved)

prune149.0ms (1.6%)

Memory
18.5MiB live, 64.1MiB allocated; 3ms collecting garbage
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New112
Fresh000
Picked011
Done011
Total134
Accuracy
99.7%
Counts
4 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
▶36.8%
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(approx 1/2 #s(literal 0 binary32)))
✓37.5%
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
Compiler

Compiled 11 to 10 computations (9.1% saved)

sample0.0ms (0.0%)

Memory
0.4MiB live, 0.4MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
0
1/2
Outputs
#s(literal 0 binary32)
#s(literal 1/2 binary32)
Samples
0.0ms1×0valid
Compiler

Compiled 4 to 4 computations (0.0% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)

series10.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0110318
Stop Event
1×iter-limit
Counts
3 → 2
Calls
Call 1
Inputs
#s(literal 0 binary32)
#s(approx 1/2 #s(literal 0 binary32))
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(approx 1/2 #s(literal 0 binary32)))
Outputs
#s(approx 0 #s(literal 0 binary32))
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
Calls

6 calls:

TimeVariablePoint
0.0ms
s
0
0.0ms
x
inf
0.0ms
x
-inf
0.0ms
x
0
0.0ms
s
inf

rewrite1.2s (12.2%)

Memory
-8.7MiB live, 69.6MiB allocated; 15ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01217
01217
15217
227617
3249017
42635617
0507429
Stop Event
1×iter-limit
1×node-limit
1×saturated
Counts
3 → 0
Calls
Call 1
Inputs
#s(literal 0 binary32)
#s(approx 1/2 #s(literal 0 binary32))
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(approx 1/2 #s(literal 0 binary32)))
Outputs

eval0.0ms (0.0%)

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

Compiled 3 to 2 computations (33.3% saved)

prune1.0ms (0.0%)

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

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New303
Fresh000
Picked011
Done022
Total336
Accuracy
99.7%
Counts
6 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
✓36.8%
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(approx 1/2 #s(literal 0 binary32)))
✓37.5%
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
Compiler

Compiled 11 to 10 computations (9.1% saved)

regimes310.0ms (3.3%)

Memory
-8.1MiB live, 163.3MiB allocated; 21ms collecting garbage
Counts
1 → 1
2 → 2
3 → 1
Calls
Call 1
Inputs
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
Outputs
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
Call 2
Inputs
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(approx 1/2 #s(literal 0 binary32)))
Outputs
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(approx 1/2 #s(literal 0 binary32)))
Call 3
Inputs
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(literal 1/2 binary32))
#s(approx (/ 1 (+ 1 (exp (/ (neg x) s)))) #s(approx 1/2 #s(literal 0 binary32)))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
Outputs
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
Calls

21 calls:

281.0ms
(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s)))
2.0ms
s
2.0ms
x
2.0ms
(neg.f32 x)
2.0ms
(/.f32 (neg.f32 x) s)
Results
AccuracySegmentsBranch
37.5%1s
37.5%1x
37.5%1(neg.f32 x)
37.5%1(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
37.5%1(/.f32 (neg.f32 x) s)
37.5%1(exp.f32 (/.f32 (neg.f32 x) s))
37.5%1(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s)))
64.4%2(neg.f32 x)
67.9%2(/.f32 (neg.f32 x) s)
67.9%2(exp.f32 (/.f32 (neg.f32 x) s))
67.9%2(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s)))
67.9%2(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
64.4%2x
46.7%2s
99.7%1(neg.f32 x)
99.7%1(/.f32 (neg.f32 x) s)
99.7%1(exp.f32 (/.f32 (neg.f32 x) s))
99.7%1(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s)))
99.7%1(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
99.7%1x
99.7%1s
Compiler

Compiled 98 to 94 computations (4.1% saved)

bsearch0.0ms (0.0%)

Memory
0.9MiB live, 0.9MiB allocated; 0ms collecting garbage
Algorithm
1×binary-search
Stop Event
1×narrow-enough
Steps
TimeLeftRight
0.0ms
2371.37060546875
3.5973222599562216e+23
Compiler

Compiled 18 to 18 computations (0.0% saved)

derivations3.0ms (0.0%)

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

Compiled 22 to 13 computations (40.9% saved)

preprocess14.0ms (0.2%)

Memory
-10.2MiB live, 36.3MiB allocated; 2ms collecting garbage
Compiler

Compiled 31 to 21 computations (32.3% saved)

end0.0ms (0.0%)

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

Profiling

Loading profile data...