Metrics for Cubic critical, narrow range

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze228.0ms (14.3%)

Memory

4.0MiB live, 83.9MiB 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)

sample60.0ms (3.8%)

Memory

-1.1MiB live, 21.6MiB allocated

Samples

30.0ms	174×	1	valid
10.0ms	86×	0	valid
5.0ms	46×	0	invalid

Precisions

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

const: 8.0ms (22.4% of total)

ival-mult: 7.0ms (19.6% of total)

adjust: 4.0ms (11.2% of total)

ival-div: 4.0ms (11.2% of total)

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

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

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

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

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

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

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

exact: 0.0ms (0% of total)

Bogosity

explain1.2s (73.4%)

Memory

6.8MiB live, 865.7MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
222	8	(26374748.024535596 109.94023301474883 1.4150328479654552e-6)	1	(5.14310437881303e-6 0.30521358197071 219.84562403817313)	`(+.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	229	9

Confusion

	Predicted +	Predicted -
+	220	1
-	9	26

Precision

0.9606986899563319

Recall

0.995475113122172

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	220	1	0
-	9	8	18

Precision?

0.9285714285714286

Recall?

1.0

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	27
1	229

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

7.64404296875

Average Time

0.029859542846679688

Samples

307.0ms	2 088×	1	valid
73.0ms	984×	0	valid

Compiler

Compiled 2 604 to 600 computations (77% saved)

Precisions

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

ival-mult: 74.0ms (29.6% of total)

adjust: 51.0ms (20.4% of total)

ival-div: 32.0ms (12.8% of total)

ival-sqrt: 32.0ms (12.8% of total)

ival-add: 21.0ms (8.4% of total)

ival-sub: 21.0ms (8.4% of total)

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

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

exact: 2.0ms (0.8% of total)

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

preprocess111.0ms (7%)

Memory

2.3MiB live, 10.0MiB 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
	54.4%	(/.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)

simplify24.0ms (1.5%)

Memory

1.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.1%)

Memory: -7.5MiB 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%)

analyze228.0ms (14.3%)

sample60.0ms (3.8%)

explain1.2s (73.4%)

preprocess111.0ms (7%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify24.0ms (1.5%)

soundness0.0ms (0%)

preprocess1.0ms (0.1%)

end0.0ms (0%)

Profiling