Metrics for Logistic function

analyze44.0ms (1.6%)

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: 11.0ms

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

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

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

Operation ival-<=, time spent: 2.0ms, 19.0% of total-time

Operation ival-add, time spent: 1.0ms, 9.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

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

sample1.7s (62.3%)

Results

1.6s	8255×	0	valid
0.0ms	1×	0	valid

Precisions

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

Operation ival-add, time spent: 164.0ms, 27.0% of total-time

Operation ival-div, time spent: 155.0ms, 26.0% of total-time

Operation ival-<=, time spent: 126.0ms, 21.0% of total-time

Operation ival-exp, time spent: 70.0ms, 12.0% of total-time

Operation ival-neg, time spent: 52.0ms, 9.0% of total-time

Operation const, time spent: 26.0ms, 4.0% of total-time

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

Bogosity

preprocess662.0ms (23.8%)

Algorithm

1×	egg-herbie

Rules

536×	`sqr-pow`
464×	`exp-prod`
415×	`associate-*r/`
402×	`fma-def`
398×	`fma-neg`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`x`
-	-	`(/.f32 (neg.f32 x) s)`
-	-	`(neg.f32 x)`
-	-	`(exp.f32 (/.f32 (neg.f32 x) s))`
-	-	`(+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s)))`
-	-	`(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))`
-	-	`1`
-	-	`s`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	215
1	61	215
2	121	215
3	267	215
4	720	215
5	1364	215
6	2364	215
7	4530	215
8	6271	215

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s)))))
(neg.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s)))))
(neg.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s))))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 s) x))))

Outputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 x (neg.f32 s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 x (neg.f32 s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 x s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s)))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 x s))))
(neg.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 (neg.f32 x)) s)))))
(/.f32 -1 (+.f32 1 (exp.f32 (/.f32 x s))))
(neg.f32 (/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) (neg.f32 s))))))
(/.f32 -1 (+.f32 1 (exp.f32 (/.f32 x s))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 s) x))))
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 s (neg.f32 x)))))

Compiler

Compiled 77 to 35 computations (54.5% saved)

Precisions

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

Operation ival-add, time spent: 75.0ms, 38.0% of total-time

Operation ival-exp, time spent: 60.0ms, 30.0% of total-time

Operation ival-div, time spent: 43.0ms, 22.0% of total-time

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

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

eval0.0ms (0%)

Compiler: Compiled 20 to 16 computations (20% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

Compiler

Compiled 11 to 9 computations (18.2% saved)

localize316.0ms (11.4%)

Compiler: Compiled 33 to 13 computations (60.6% saved)
Precisions: Click to see histograms. Total time spent on operations: 105.0ms
Operation ival-add, time spent: 38.0ms, 36.0% of total-time
Operation ival-exp, time spent: 37.0ms, 35.0% of total-time
Operation ival-div, time spent: 19.0ms, 18.0% of total-time
Operation ival-neg, time spent: 7.0ms, 7.0% of total-time
Operation const, time spent: 4.0ms, 4.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	0	0
Total	1	1

Accuracy

99.8%

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

Compiler

Compiled 22 to 18 computations (18.2% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`1-exp`
3×	`+-commutative`
2×	`sub-neg`
2×	`neg-mul-1`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	33
1	25	33
2	29	33
3	32	33
4	33	33

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))

Outputs
(/.f32 1 (+.f32 1 (exp.f32 (/.f32 (neg.f32 x) s))))
(/.f32 1 (+.f32 1 (exp.f32 (neg.f32 (/.f32 x s)))))

Compiler

Compiled 11 to 9 computations (18.2% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess20.0ms (0.7%)

Compiler: Compiled 44 to 36 computations (18.2% saved)

analyze44.0ms (1.6%)

sample1.7s (62.3%)

preprocess662.0ms (23.8%)

eval0.0ms (0%)

prune1.0ms (0%)

localize316.0ms (11.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess20.0ms (0.7%)

Profiling