Metrics for Complex division, real part

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze22.0ms (0.4%)

Memory

1.5MiB 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)

sample23.0ms (0.5%)

Memory

0.7MiB live, 8.4MiB allocated

Samples

15.0ms

260×

valid

Precisions

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

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

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

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

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

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

Bogosity

explain4.5s (92%)

Memory

18.7MiB live, 2 779.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
100	-	1	(-5.57483602653481e-37 4.163422772893812e-69 -8.99203465149377e-295 2.126252768079312e-155)	`(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))`
2	-	0	-	`(+.f64 (.f64 a c) (.f64 b d))`
0	-	0	-	`(+.f64 (.f64 c c) (.f64 d d))`
0	-	0	-	`a`
0	-	0	-	`d`
0	-	0	-	`(*.f64 d d)`
0	-	0	-	`(*.f64 c c)`
0	-	0	-	`(*.f64 a c)`
0	-	0	-	`c`
0	-	0	-	`b`
0	-	0	-	`(*.f64 b d)`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))`	o/o	51	0
↳	`(+.f64 (.f64 a c) (.f64 b d))`	overflow	62
↳	`(*.f64 a c)`	overflow	37
↳	`(*.f64 b d)`	overflow	28
↳	`(+.f64 (.f64 c c) (.f64 d d))`	overflow	122
↳	`(*.f64 c c)`	overflow	72
↳	`(*.f64 d d)`	overflow	67
`/.f64`	`(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))`	n/o	32	0
↳	`(+.f64 (.f64 c c) (.f64 d d))`	overflow	122
↳	`(*.f64 c c)`	overflow	72
↳	`(*.f64 d d)`	overflow	67
`/.f64`	`(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))`	o/n	11	0
↳	`(+.f64 (.f64 a c) (.f64 b d))`	overflow	62
↳	`(*.f64 a c)`	overflow	37
↳	`(*.f64 b d)`	overflow	28
`/.f64`	`(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))`	n/u	5	0
↳	`(+.f64 (.f64 c c) (.f64 d d))`	underflow	15
↳	`(*.f64 c c)`	underflow	57
↳	`(*.f64 d d)`	underflow	60
`+.f64`	`(+.f64 (.f64 a c) (.f64 b d))`	nan-rescue	2	0
↳	`(*.f64 a c)`	overflow	37
↳	`(*.f64 b d)`	overflow	28

Confusion

	Predicted +	Predicted -
+	99	1
-	0	156

Precision

1.0

Recall

0.99

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	99	0	1
-	0	0	156

Precision?

1.0

Recall?

0.99

Freqs

test

number	freq
0	157
1	97
2	2

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

19.760009765625

Average Time

0.07718753814697266

Samples

1.6s

23 040×

valid

Compiler

Compiled 6 930 to 2 160 computations (68.8% saved)

Precisions

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

ival-mult: 529.0ms (62.5% of total)

ival-add: 167.0ms (19.7% of total)

ival-div: 124.0ms (14.7% of total)

ival-true: 17.0ms (2% of total)

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

preprocess324.0ms (6.6%)

Memory

-0.8MiB 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 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))

Outputs
(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (fma.f64 d b (.f64 c a)) (fma.f64 d d (.f64 c c)))

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
	62.7%	(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))

Compiler

Compiled 30 to 22 computations (26.7% saved)

simplify19.0ms (0.4%)

Memory

0.8MiB live, 18.5MiB 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 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))

Outputs
(/.f64 (+.f64 (.f64 a c) (.f64 b d)) (+.f64 (.f64 c c) (.f64 d d)))
(/.f64 (+.f64 (.f64 d b) (.f64 c a)) (+.f64 (.f64 d d) (.f64 c c)))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 15 to 11 computations (26.7% saved)

preprocess3.0ms (0.1%)

Memory: 2.2MiB live, 2.2MiB allocated
Compiler: Compiled 132 to 84 computations (36.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze22.0ms (0.4%)

sample23.0ms (0.5%)

explain4.5s (92%)

preprocess324.0ms (6.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify19.0ms (0.4%)

soundness0.0ms (0%)

preprocess3.0ms (0.1%)

end0.0ms (0%)

Profiling