Logistic function

Time bar (total: 6.8s)

analyze23.0ms (0.3%)

Memory
-7.8MiB live, 7.9MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%24.7%75.3%0%0%0%0
0%0%24.7%75.3%0%0%0%1
0%0%24.7%75.3%0%0%0%2
50%12.4%12.4%75.3%0%0%0%3
50%12.4%12.4%75.3%0%0%0%4
75%18.5%6.2%75.3%0%0%0%5
75%18.5%6.2%75.3%0%0%0%6
87.5%21.6%3.1%75.3%0%0%0%7
87.5%21.6%3.1%75.3%0%0%0%8
93.7%23.2%1.5%75.3%0%0%0%9
93.7%23.2%1.5%75.3%0%0%0%10
96.9%23.9%0.8%75.3%0%0%0%11
96.9%23.9%0.8%75.3%0%0%0%12
Compiler

Compiled 23 to 19 computations (17.4% saved)

sample6.7s (98.3%)

Memory
8.7MiB live, 1 405.3MiB allocated
Samples
1.3s8 137×0valid-sollya
467.0ms8 137×0valid-baseline
445.0ms8 137×0valid-rival
7.0ms119×0valid-rival+baseline-zero
Bogosity

preprocess78.0ms (1.1%)

Memory
-12.1MiB live, 20.9MiB allocated
Algorithm
1×egg-herbie
Rules
714×fma-define
204×exp-prod
120×times-frac
116×exp-sum
98×associate-/r*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
030215
165215
2129215
3287215
4589215
5995215
61153215
71204215
81297215
91302215
101305215
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f32 #s(literal 1 binary32) (+.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))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s)))))
(neg.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s)))))
(neg.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s))))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 s) x))))
Outputs
(/.f32 #s(literal 1 binary32) (+.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 x (neg.f32 s)))))
(/.f32 #s(literal 1 binary32) (+.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 x (neg.f32 s)))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 x s))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s)))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 x s))))
(neg.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s)))))
(/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 x s))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 x s))))
(neg.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s))))))
(/.f32 #s(literal -1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 x s))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal -1 binary32) (exp.f32 (/.f32 x s))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 s) x))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 s (neg.f32 x)))))
Compiler

Compiled 11 to 8 computations (27.3% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 x) s))))
Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify2.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Algorithm
1×egg-herbie
Rules
8×+-commutative
6×sub-neg
6×*-commutative
6×neg-sub0
6×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01433
12533
23133
33633
43933
54033
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.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))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 x (neg.f32 s)))))

soundness0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Stop Event
1×fuel
Compiler

Compiled 11 to 8 computations (27.3% saved)

preprocess14.0ms (0.2%)

Memory
5.3MiB live, 20.9MiB allocated
Compiler

Compiled 44 to 32 computations (27.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...