Metrics for Logistic function

analyze60.0ms (3.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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 18 to 14 computations (22.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 18.0ms

Operation ival-<=, time spent: 9.0ms, 50.0% of total-time

Operation ival-div, time spent: 3.0ms, 17.0% of total-time

Operation ival-exp, time spent: 2.0ms, 11.0% of total-time

Operation ival-add, time spent: 2.0ms, 11.0% of total-time

Operation const, time spent: 1.0ms, 6.0% of total-time

Operation ival-neg, time spent: 1.0ms, 6.0% of total-time

Operation ival-and, time spent: 0.0ms, 0.0% of total-time

sample1.6s (87.9%)

Results

1.5s	8255×	256	valid
0.0ms	1×	256	valid

Precisions

Click to see histograms. Total time spent on operations: 457.0ms

Operation ival-div, time spent: 152.0ms, 33.0% of total-time

Operation ival-<=, time spent: 83.0ms, 18.0% of total-time

Operation ival-exp, time spent: 81.0ms, 18.0% of total-time

Operation ival-neg, time spent: 54.0ms, 12.0% of total-time

Operation ival-add, time spent: 53.0ms, 12.0% of total-time

Operation const, time spent: 23.0ms, 5.0% of total-time

Operation ival-and, time spent: 12.0ms, 3.0% of total-time

Bogosity

preprocess161.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

357×	`fma-define`
102×	`exp-prod`
60×	`times-frac`
58×	`exp-sum`
49×	`associate-/r*`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	215
1	65	215
2	129	215
3	287	215
4	589	215
5	995	215
6	1153	215
7	1204	215
8	1297	215
9	1302	215
10	1305	215

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 34 to 14 computations (58.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 13.0ms

Operation ival-div, time spent: 4.0ms, 30.0% of total-time

Operation ival-add, time spent: 3.0ms, 23.0% of total-time

Operation ival-exp, time spent: 2.0ms, 15.0% of total-time

Operation ival-neg, time spent: 2.0ms, 15.0% of total-time

Operation const, time spent: 1.0ms, 8.0% of total-time

Logistic function

analyze60.0ms (3.3%)

sample1.6s (87.9%)

preprocess161.0ms (8.8%)

end0.0ms (0%)

Profiling