Metrics for _divideComplex, real part

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze22.0ms (1.7%)

Memory

0.1MiB live, 9.2MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
75%	74.9%	25%	0.2%	0%	0%	0%	5
75%	74.9%	25%	0.2%	0%	0%	0%	6
75%	74.9%	25%	0.2%	0%	0%	0%	7
87.5%	87.3%	12.5%	0.2%	0%	0%	0%	8
93.8%	93.6%	6.2%	0.2%	0%	0%	0%	9
93.8%	93.6%	6.2%	0.2%	0%	0%	0%	10
93.8%	93.6%	6.2%	0.2%	0%	0%	0%	11
96.9%	96.7%	3.1%	0.2%	0%	0%	0%	12

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample24.0ms (1.8%)

Memory

1.3MiB live, 8.8MiB allocated

Samples

16.0ms

260×

valid

Precisions

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

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

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

ival-div: 1.0ms (10.5% of total)

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

adjust: 0.0ms (0% of total)

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

Bogosity

explain916.0ms (69.6%)

Memory

10.7MiB live, 742.0MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
93	-	1	(3.431762106766388e-208 -3.1793890265950826e-142 1.1367986298781736e-165 1.7703586651510268e-158)	`(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))`
1	-	0	-	`(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))`
0	-	0	-	`(+.f64 (.f64 y.re y.re) (.f64 y.im y.im))`
0	-	0	-	`(*.f64 y.re y.re)`
0	-	0	-	`(*.f64 x.re y.re)`
0	-	0	-	`(*.f64 y.im y.im)`
0	-	0	-	`x.re`
0	-	0	-	`y.re`
0	-	0	-	`y.im`
0	-	0	-	`(*.f64 x.im y.im)`
0	-	0	-	`x.im`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))`	o/o	44	0
↳	`(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))`	overflow	58
↳	`(*.f64 x.im y.im)`	overflow	31
↳	`(*.f64 x.re y.re)`	overflow	32
↳	`(*.f64 y.re y.re)`	overflow	69
↳	`(*.f64 y.im y.im)`	overflow	67
↳	`(+.f64 (.f64 y.re y.re) (.f64 y.im y.im))`	overflow	114
`/.f64`	`(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))`	n/o	29	0
↳	`(*.f64 y.re y.re)`	overflow	69
↳	`(*.f64 y.im y.im)`	overflow	67
↳	`(+.f64 (.f64 y.re y.re) (.f64 y.im y.im))`	overflow	114
`/.f64`	`(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))`	o/n	14	0
↳	`(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))`	overflow	58
↳	`(*.f64 x.im y.im)`	overflow	31
↳	`(*.f64 x.re y.re)`	overflow	32
`/.f64`	`(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))`	n/u	2	0
↳	`(*.f64 y.re y.re)`	underflow	61
↳	`(*.f64 y.im y.im)`	underflow	54
↳	`(+.f64 (.f64 y.re y.re) (.f64 y.im y.im))`	underflow	12
`/.f64`	`(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))`	u/u	2	0
↳	`(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))`	underflow	3
↳	`(*.f64 x.im y.im)`	underflow	26
↳	`(*.f64 x.re y.re)`	underflow	34
↳	`(*.f64 y.re y.re)`	underflow	61
↳	`(*.f64 y.im y.im)`	underflow	54
↳	`(+.f64 (.f64 y.re y.re) (.f64 y.im y.im))`	underflow	12
`/.f64`	`(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))`	u/n	1	0
↳	`(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))`	underflow	3
↳	`(*.f64 x.im y.im)`	underflow	26
↳	`(*.f64 x.re y.re)`	underflow	34
`+.f64`	`(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))`	nan-rescue	1	0
↳	`(*.f64 x.re y.re)`	overflow	32
↳	`(*.f64 x.im y.im)`	overflow	31

Confusion

	Predicted +	Predicted -
+	92	1
-	0	163

Precision

1.0

Recall

0.989247311827957

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	92	0	1
-	0	0	163

Precision?

1.0

Recall?

0.989247311827957

2:

4:

8:

16:

32:

64:

128:

256:

512:

1024:

2048:

Freqs

test

number	freq
0	164
1	91
2	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

6.154296875

Average Time

0.02404022216796875

Samples

209.0ms

3 072×

valid

Compiler

Compiled 1 824 to 552 computations (69.7% saved)

Precisions

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

ival-mult: 71.0ms (62.8% of total)

ival-add: 22.0ms (19.5% of total)

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

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

adjust: 1.0ms (0.9% of total)

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

preprocess322.0ms (24.5%)

Memory

-0.4MiB live, 6.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	218
1	132	210
2	209	210
3	377	210
4	914	210
5	2299	210
6	3076	210
7	3886	210
8	4759	210
9	5156	210
10	5284	210
11	5444	210
12	5444	210
13	5480	210
14	5496	210
15	5496	210
16	5856	210
17	6830	210
18	6982	210
19	6994	210
20	6998	210
21	7006	210
22	7014	210
23	7014	210
24	7122	210
25	7170	210
26	7170	210
0	11	15
0	18	15
1	22	15
0	22	13

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))

Outputs
(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
(/.f64 (fma.f64 y.im x.im (.f64 y.re x.re)) (fma.f64 y.im y.im (.f64 y.re y.re)))

Compiler

Compiled 15 to 11 computations (26.7% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	65.4%	(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))

Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify31.0ms (2.3%)

Memory

-9.0MiB live, 18.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	15	15

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))

Outputs
(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
(/.f64 (+.f64 (.f64 y.im x.im) (.f64 y.re x.re)) (+.f64 (.f64 y.im y.im) (.f64 y.re y.re)))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 15 to 11 computations (26.7% saved)

preprocess0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated
Compiler: Compiled 60 to 44 computations (26.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze22.0ms (1.7%)

sample24.0ms (1.8%)

explain916.0ms (69.6%)

preprocess322.0ms (24.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify31.0ms (2.3%)

soundness0.0ms (0%)

preprocess0.0ms (0%)

end0.0ms (0%)

Profiling