Metrics for Sample trimmed logistic on [-pi, pi]

start0.0ms (0%)

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

analyze211.0ms (9.3%)

Memory

-49.1MiB live, 195.8MiB allocated; 34ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	1.6%	98.4%	0%	0%	0%	0
0%	0%	1.6%	98.4%	0%	0%	0%	1
0%	0%	1.6%	98.4%	0%	0%	0%	2
0%	0%	1.6%	98.4%	0%	0%	0%	3
0%	0%	1.6%	98.4%	0%	0%	0%	4
25%	0.4%	1.2%	98.4%	0%	0%	0%	5
37.5%	0.6%	1%	98.4%	0%	0%	0%	6
56.2%	0.9%	0.7%	98.4%	0%	0%	0%	7
65.6%	1%	0.5%	98.4%	0%	0%	0%	8
76.6%	1.2%	0.4%	98.4%	0%	0%	0%	9
82%	1.3%	0.3%	98.4%	0%	0%	0%	10
87.9%	1.4%	0.2%	98.4%	0%	0%	0%	11
90.8%	1.4%	0.1%	98.4%	0%	0%	0%	12

Compiler

Compiled 53 to 32 computations (39.6% saved)

sample1.6s (71.6%)

Memory

33.0MiB live, 1 750.9MiB allocated; 340ms collecting garbage

Samples

1.2s

8 256×

valid

Precisions

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

ival-div: 264.0ms (26.9% of total)

ival-add: 132.0ms (13.5% of total)

ival-exp: 124.0ms (12.6% of total)

ival-neg: 122.0ms (12.4% of total)

ival-mult: 114.0ms (11.6% of total)

ival-sub: 89.0ms (9.1% of total)

ival-log: 86.0ms (8.8% of total)

ival-pi: 29.0ms (3% of total)

exact: 8.0ms (0.8% of total)

const: 6.0ms (0.6% of total)

adjust: 3.0ms (0.3% of total)

ival-assert: 2.0ms (0.2% of total)

ival-and: 1.0ms (0.1% of total)

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

Bogosity

explain319.0ms (14.1%)

Memory

19.0MiB live, 402.4MiB allocated; 46ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
2	0	-	1	(0.5030919909477234 4.780974632012658e-5)	`(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32)))`
2	5	(0.00040427607018500566 0.017956765368580818)	2	(1.163315687335853e-6 0.09645891189575195)	`(exp.f32 (/.f32 (PI.f32) s))`
1	5	(0.00040427607018500566 0.017956765368580818)	1	(1.6687893289457634e-9 0.0506647564470768)	`(exp.f32 (/.f32 (neg.f32 (PI.f32)) s))`
0	0	-	0	-	`(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))`
0	0	-	0	-	`(PI.f32)`
0	0	-	0	-	`(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))`
0	0	-	0	-	`s`
0	0	-	0	-	`(+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))`
0	0	-	0	-	`(.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))`
0	0	-	0	-	`(+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))`
0	0	-	0	-	`(*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))`
0	0	-	0	-	`(-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))`
0	0	-	0	-	`(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))`
0	0	-	0	-	`(/.f32 (neg.f32 (PI.f32)) s)`
0	0	-	0	-	`(neg.f32 (PI.f32))`
0	0	-	0	-	`#s(literal 1 binary32)`
0	0	-	0	-	`(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s))))`
0	0	-	0	-	`u`
0	0	-	0	-	`(neg.f32 s)`
0	0	-	0	-	`(/.f32 (PI.f32) s)`
0	0	-	0	-	`(/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`exp.f32`	`(exp.f32 (/.f32 (neg.f32 (PI.f32)) s))`	sensitivity	5	4
`exp.f32`	`(exp.f32 (/.f32 (PI.f32) s))`	sensitivity	5	4
`log.f32`	`(log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32)))`	sensitivity	1	2

Confusion

	Predicted +	Predicted -
+	1	1
-	5	249

Precision

0.16666666666666666

Recall

0.5

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	1	0
-	5	5	244

Precision?

0.16666666666666666

Recall?

1.0

Freqs

test

number	freq
0	250
1	1
2	5

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

75.0ms

512×

valid

Compiler

Compiled 553 to 67 computations (87.9% saved)

Precisions

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

ival-div: 16.0ms (28.5% of total)

ival-exp: 10.0ms (17.8% of total)

ival-add: 7.0ms (12.5% of total)

ival-mult: 6.0ms (10.7% of total)

ival-sub: 5.0ms (8.9% of total)

ival-log: 5.0ms (8.9% of total)

ival-neg: 4.0ms (7.1% of total)

ival-pi: 2.0ms (3.6% of total)

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

preprocess112.0ms (5%)

Memory

-18.2MiB live, 75.0MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	228
1	128	222
2	241	222
3	559	222
4	2259	222
0	25	53
0	32	53
1	34	53
2	37	53
3	45	53
4	71	53
5	208	53
6	1449	53
7	4437	53
0	8108	53

Stop Event

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

end0.0ms (0%)

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

start0.0ms (0%)

analyze211.0ms (9.3%)

sample1.6s (71.6%)

explain319.0ms (14.1%)

preprocess112.0ms (5%)

end0.0ms (0%)

Profiling