Metrics for Logistic distribution

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze40.0ms (3.1%)

Memory

4.2MiB live, 13.2MiB allocated

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
0%	0%	24.7%	75.3%	0%	0%	0%	3
0%	0%	24.7%	75.3%	0%	0%	0%	4
50%	12.4%	12.4%	75.3%	0%	0%	0%	5
50%	12.4%	12.4%	75.3%	0%	0%	0%	6
75%	18.5%	6.2%	75.3%	0%	0%	0%	7
75%	18.5%	6.2%	75.3%	0%	0%	0%	8
87.5%	21.6%	3.1%	75.3%	0%	0%	0%	9
87.5%	21.6%	3.1%	75.3%	0%	0%	0%	10
93.7%	23.2%	1.5%	75.3%	0%	0%	0%	11
93.7%	23.2%	1.5%	75.3%	0%	0%	0%	12

Compiler

Compiled 34 to 17 computations (50% saved)

sample31.0ms (2.4%)

Memory

-3.9MiB live, 11.1MiB allocated

Samples

22.0ms

260×

valid

Precisions

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

ival-div: 3.0ms (17.7% of total)

ival-mult: 3.0ms (17.7% of total)

const: 3.0ms (17.7% of total)

ival-exp: 2.0ms (11.8% of total)

ival-add: 1.0ms (5.9% of total)

ival-fabs: 1.0ms (5.9% of total)

ival-<=: 1.0ms (5.9% of total)

ival-neg: 1.0ms (5.9% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

ival-and: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

Bogosity

explain1.0s (79.1%)

Memory

12.5MiB live, 791.9MiB allocated

FPErrors

Click to see full error table

Overpredictions	Example	Example	Subexpression
0	-	-	`(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))`
0	-	-	`#s(literal 1 binary32)`
1	(-9.967097324170235e-29 1.1504336692161489e-38)	-	`(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))`
13	(-1.6219524612282044e-9 4.972850464746159e-10)	-	`(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))`
0	-	-	`s`
0	-	-	`(neg.f32 (fabs.f32 x))`
0	-	-	`(*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))`
0	-	-	`(/.f32 (neg.f32 (fabs.f32 x)) s)`
0	-	-	`(.f32 (.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))`
0	-	-	`x`
0	-	-	`(fabs.f32 x)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`exp.f32`	`(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))`	sensitivity	13	0
`/.f32`	`(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))`	u/u	1	0
↳	`(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))`	underflow	172
↳	`(*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))`	underflow	1
↳	`(exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))`	underflow	344
↳	`(.f32 (.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))`	underflow	1

Confusion

	Predicted +	Predicted -
+	1	0
-	13	242

Precision

0.07142857142857142

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	13	0	242

Precision?

0.07142857142857142

Recall?

1.0

Freqs

test

number	freq
0	242
1	14

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Total Time

6.21337890625

Average Time

0.024271011352539063

Samples

217.0ms

3 072×

valid

Compiler

Compiled 3 288 to 552 computations (83.2% saved)

Precisions

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

ival-div: 38.0ms (27% of total)

ival-mult: 32.0ms (22.8% of total)

ival-exp: 22.0ms (15.7% of total)

ival-fabs: 17.0ms (12.1% of total)

ival-add: 14.0ms (10% of total)

ival-neg: 12.0ms (8.5% of total)

ival-true: 2.0ms (1.4% of total)

exact: 2.0ms (1.4% of total)

adjust: 1.0ms (0.7% of total)

ival-assert: 1.0ms (0.7% of total)

preprocess170.0ms (13.4%)

Memory

0.5MiB live, 38.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	31	140
1	123	128
2	442	123
3	1364	121
4	3823	121
5	6461	121
0	11	26
0	19	26
1	45	26
2	114	25
3	228	25
4	382	25
5	674	19
6	1251	18
7	2511	18
8	4661	18
0	8211	18

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

Inputs

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

Outputs
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (/.f32 #s(literal 1 binary32) s) (+.f32 (+.f32 #s(literal 2 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (exp.f32 (/.f32 (fabs.f32 x) s))))

Outputs

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

(/.f32 (/.f32 #s(literal 1 binary32) s) (+.f32 (+.f32 #s(literal 2 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) (exp.f32 (/.f32 (fabs.f32 x) s))))

Symmetry

(abs x)

Compiler

Compiled 26 to 11 computations (57.7% saved)

eval0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	99.6%	(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

Status

Accuracy

Program

99.6%

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

Compiler

Compiled 52 to 22 computations (57.7% saved)

simplify21.0ms (1.6%)

Memory

-8.0MiB live, 18.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	26
1	22	26
2	28	26
3	33	26
4	36	26
5	37	26

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

Inputs

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

Outputs
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))
(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (.f32 (.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) s) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

Outputs

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

(/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))) s) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 26 to 11 computations (57.7% saved)

preprocess2.0ms (0.1%)

Memory: 1.4MiB live, 1.4MiB allocated
Remove: (abs x)
Compiler: Compiled 208 to 88 computations (57.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze40.0ms (3.1%)

sample31.0ms (2.4%)

explain1.0s (79.1%)

preprocess170.0ms (13.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify21.0ms (1.6%)

soundness0.0ms (0%)

preprocess2.0ms (0.1%)

end0.0ms (0%)

Profiling