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

start0.0ms (0%)

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

analyze154.0ms (6.4%)

Memory

22.0MiB live, 191.0MiB allocated; 68ms 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.9s (77.6%)

Memory

72.1MiB live, 2 061.6MiB allocated; 1.1s collecting garbage

Samples

1.5s

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 1.0s

ival-div: 316.0ms (31.5% of total)

ival-add: 135.0ms (13.4% of total)

ival-exp: 129.0ms (12.8% of total)

ival-mult: 106.0ms (10.6% of total)

ival-log: 87.0ms (8.7% of total)

ival-sub: 86.0ms (8.6% of total)

ival-neg: 75.0ms (7.5% of total)

ival-pi: 34.0ms (3.4% of total)

const: 21.0ms (2.1% of total)

exact: 8.0ms (0.8% 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

explain314.0ms (13%)

Memory

-49.9MiB live, 431.4MiB allocated; 67ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
2	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))`
1	4	(1.7518999584353878e-9 0.005490998271852732)	1	(0.8540509343147278 0.04163026437163353)	`(exp.f32 (/.f32 (neg.f32 (PI.f32)) s))`
1	0	-	0	-	`(/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s))))`
1	4	(1.7518999584353878e-9 0.005490998271852732)	1	(0.8540509343147278 0.04163026437163353)	`(exp.f32 (/.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	-	`(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 (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 (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	4	3
`exp.f32`	`(exp.f32 (/.f32 (PI.f32) s))`	sensitivity	4	3
`-.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))`	cancellation	2	0

Confusion

	Predicted +	Predicted -
+	2	0
-	4	250

Precision

0.3333333333333333

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	2	0	0
-	4	4	246

Precision?

0.2

Recall?

1.0

Freqs

test

number	freq
0	250
1	2
2	4

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

74.0ms

512×

valid

Compiler

Compiled 553 to 67 computations (87.9% saved)

Precisions

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

ival-div: 15.0ms (27.1% of total)

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

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

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

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

ival-sub: 4.0ms (7.2% of total)

ival-neg: 4.0ms (7.2% 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)

preprocess74.0ms (3%)

Memory

26.7MiB live, 74.0MiB allocated; 11ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	228
1	123	222
2	236	222
3	554	222
4	2243	222
0	21	37
0	39	37
1	55	37
2	92	37
3	231	37
4	920	37
0	9233	37

Stop Event

1×	iter limit
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%)

analyze154.0ms (6.4%)

sample1.9s (77.6%)

explain314.0ms (13%)

preprocess74.0ms (3%)

end0.0ms (0%)

Profiling