Metrics for Cubic critical, narrow range

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze239.0ms (16.1%)

Memory

3.9MiB live, 83.8MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
0%	0%	0%	100%	0%	0%	0%	1
0%	0%	0%	100%	0%	0%	0%	2
0%	0%	0%	100%	0%	0%	0%	3
0%	0%	0%	100%	0%	0%	0%	4
0%	0%	0%	100%	0%	0%	0%	5
0%	0%	0%	100%	0%	0%	0%	6
0%	0%	0%	100%	0%	0%	0%	7
2.3%	0%	0%	100%	0%	0%	0%	8
11.3%	0%	0%	100%	0%	0%	0%	9
21.1%	0%	0%	100%	0%	0%	0%	10
28%	0%	0%	100%	0%	0%	0%	11
40.1%	0%	0%	100%	0%	0%	0%	12

Compiler

Compiled 41 to 26 computations (36.6% saved)

sample53.0ms (3.6%)

Memory

4.0MiB live, 19.5MiB allocated

Samples

20.0ms	179×	0	valid
15.0ms	81×	1	valid
5.0ms	47×	0	invalid

Precisions

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

const: 8.0ms (25.8% of total)

ival-mult: 5.0ms (16.2% of total)

ival-<: 4.0ms (12.9% of total)

ival-sqrt: 3.0ms (9.7% of total)

ival-div: 2.0ms (6.5% of total)

adjust: 2.0ms (6.5% of total)

ival-sub: 2.0ms (6.5% of total)

ival-add: 2.0ms (6.5% of total)

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

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

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

exact: 0.0ms (0% of total)

Bogosity

explain1.1s (71.1%)

Memory

2.3MiB live, 837.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
227	3	(16071.513540213318 300.0901617990021 0.0037909749886798124)	7	(0.03856382238652474 0.3287026568215162 0.015475310238115955)	`(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 3 binary64) a) c))))`
0	0	-	0	-	`a`
0	0	-	0	-	`#s(literal 3 binary64)`
0	0	-	0	-	`(.f64 (.f64 #s(literal 3 binary64) a) c)`
0	0	-	0	-	`(*.f64 b b)`
0	0	-	0	-	`c`
0	0	-	0	-	`(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 3 binary64) a) c)))`
0	0	-	0	-	`(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 3 binary64) a) c)))) (.f64 #s(literal 3 binary64) a))`
0	0	-	0	-	`(neg.f64 b)`
0	0	-	0	-	`(-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 3 binary64) a) c))`
0	0	-	0	-	`b`
0	0	-	0	-	`(*.f64 #s(literal 3 binary64) a)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 3 binary64) a) c))))`	cancellation	223	10

Confusion

	Predicted +	Predicted -
+	218	8
-	5	25

Precision

0.9775784753363229

Recall

0.9646017699115044

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	218	6	2
-	5	4	21

Precision?

0.9613733905579399

Recall?

0.9911504424778761

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	33
1	223

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

7.419677734375

Average Time

0.028983116149902344

Samples

159.0ms	2 112×	0	valid
133.0ms	960×	1	valid

Compiler

Compiled 2 604 to 600 computations (77% saved)

Precisions

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

ival-mult: 55.0ms (30.8% of total)

ival-sqrt: 26.0ms (14.6% of total)

ival-div: 25.0ms (14% of total)

ival-add: 19.0ms (10.6% of total)

ival-sub: 18.0ms (10.1% of total)

adjust: 16.0ms (9% of total)

ival-neg: 14.0ms (7.8% of total)

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

exact: 2.0ms (1.1% of total)

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

preprocess106.0ms (7.2%)

Memory

2.5MiB live, 10.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	158
1	152	144
2	433	144
3	1173	144
4	3171	144
5	6061	144
0	12	17
0	20	17
1	36	16
2	73	16
3	156	16
4	236	16
5	374	16
6	650	16
7	1103	16
8	2241	16
9	2510	16
10	2621	16
11	2676	16
12	2677	16
13	2677	16
0	2677	15

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 3 binary64) a) c)))) (.f64 #s(literal 3 binary64) a))

Outputs

(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 3 binary64) a) c)))) (*.f64 #s(literal 3 binary64) a))

(*.f64 (/.f64 #s(literal 1/3 binary64) a) (-.f64 (sqrt.f64 (fma.f64 (*.f64 #s(literal -3 binary64) c) a (*.f64 b b))) b))

Compiler

Compiled 17 to 12 computations (29.4% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	55.1%	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 3 binary64) a) c)))) (.f64 #s(literal 3 binary64) a))

Compiler

Compiled 34 to 24 computations (29.4% saved)

simplify28.0ms (1.9%)

Memory

-7.0MiB live, 18.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	17
1	24	16
2	43	16
3	54	16
4	62	16
5	65	16

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 3 binary64) a) c)))) (.f64 #s(literal 3 binary64) a))

Outputs

(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 3 binary64) a) c)))) (*.f64 #s(literal 3 binary64) a))

(/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a #s(literal 3 binary64))))) b) (*.f64 a #s(literal 3 binary64)))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 16 to 11 computations (31.3% saved)

preprocess1.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated
Compiler: Compiled 66 to 46 computations (30.3% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze239.0ms (16.1%)

sample53.0ms (3.6%)

explain1.1s (71.1%)

preprocess106.0ms (7.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify28.0ms (1.9%)

soundness0.0ms (0%)

preprocess1.0ms (0%)

end0.0ms (0%)

Profiling