Metrics for math.log/2 on complex, real part

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze135.0ms (1.5%)

Memory

3.6MiB live, 43.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	49.9%	0.1%	0%	49.9%	0%	4
0%	0%	49.9%	0.1%	0%	49.9%	0%	5
0%	0%	49.9%	0.1%	0%	49.9%	0%	6
9.4%	4.7%	45.2%	0.1%	0%	49.9%	0%	7
17.2%	8.6%	41.3%	0.1%	0%	49.9%	0%	8
27.3%	13.7%	36.3%	0.1%	0%	49.9%	0%	9
41%	20.5%	29.4%	0.1%	0%	49.9%	0%	10
48.6%	24.3%	25.6%	0.1%	0%	49.9%	0%	11
57.1%	28.5%	21.4%	0.1%	0%	49.9%	0%	12

Compiler

Compiled 30 to 17 computations (43.3% saved)

sample35.0ms (0.4%)

Memory

-4.5MiB live, 11.5MiB allocated

Samples

26.0ms

260×

valid

Precisions

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

ival-log: 6.0ms (31.2% of total)

ival-mult: 4.0ms (20.8% of total)

ival-hypot: 4.0ms (20.8% of total)

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

ival-atan2: 2.0ms (10.4% of total)

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

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

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

exact: 0.0ms (0% of total)

Bogosity

explain8.7s (95.7%)

Memory

39.4MiB live, 5 260.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
126	-	-	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`
0	-	-	`(log.f64 base)`
0	-	-	`(*.f64 re re)`
0	-	-	`(atan2.f64 im re)`
0	-	-	`im`
0	-	-	`(+.f64 (.f64 re re) (.f64 im im))`
0	-	-	`re`
0	-	-	`(+.f64 (.f64 (log.f64 base) (log.f64 base)) (.f64 #s(literal 0 binary64) #s(literal 0 binary64)))`
0	-	-	`(+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base)) (.f64 (atan2.f64 im re) #s(literal 0 binary64)))`
0	-	-	`(/.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base)) (.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (.f64 (log.f64 base) (log.f64 base)) (.f64 #s(literal 0 binary64) #s(literal 0 binary64))))`
0	-	-	`#s(literal 0 binary64)`
0	-	-	`(*.f64 (atan2.f64 im re) #s(literal 0 binary64))`
0	-	-	`(*.f64 #s(literal 0 binary64) #s(literal 0 binary64))`
0	-	-	`(*.f64 (log.f64 base) (log.f64 base))`
0	-	-	`(.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))) (log.f64 base))`
0	-	-	`(*.f64 im im)`
0	-	-	`base`
0	-	-	`(log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`	oflow-rescue	112	0
↳	`(+.f64 (.f64 re re) (.f64 im im))`	overflow	112
↳	`(*.f64 re re)`	overflow	60
↳	`(*.f64 im im)`	overflow	71
`sqrt.f64`	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`	uflow-rescue	14	0
↳	`(+.f64 (.f64 re re) (.f64 im im))`	underflow	14
↳	`(*.f64 re re)`	underflow	58
↳	`(*.f64 im im)`	underflow	63

Confusion

	Predicted +	Predicted -
+	126	0
-	0	130

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	126	0	0
-	0	0	130

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	130
1	126

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Total Time

36.007080078125

Average Time

0.14065265655517578

Samples

3.0s

23 040×

valid

Compiler

Compiled 17 505 to 3 420 computations (80.5% saved)

Precisions

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

ival-mult: 623.0ms (29.4% of total)

ival-log: 531.0ms (25.1% of total)

ival-hypot: 361.0ms (17% of total)

ival-add: 275.0ms (13% of total)

ival-atan2: 161.0ms (7.6% of total)

ival-div: 123.0ms (5.8% of total)

ival-true: 20.0ms (0.9% of total)

exact: 14.0ms (0.7% of total)

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

preprocess185.0ms (2%)

Memory

10.8MiB live, 31.5MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	76	189
1	144	171
2	238	171
3	459	125
4	851	113
5	1590	113
6	4794	113
7	7463	113
0	18	26
0	34	20
1	43	18
2	48	18
3	58	14
4	67	12
5	68	12
6	121	12
7	325	12
8	1198	12
9	1934	12
10	2395	12
11	2701	12
12	3169	12
13	3904	12
14	4909	12
15	6035	12
16	6376	12
17	6583	12
18	6778	12
19	6985	12
0	8478	7

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base)) (.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (.f64 (log.f64 base) (log.f64 base)) (.f64 #s(literal 0 binary64) #s(literal 0 binary64))))

Inputs

(/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 #s(literal 0 binary64) #s(literal 0 binary64))))

Outputs
(/.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base)) (.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (.f64 (log.f64 base) (log.f64 base)) (.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(/.f64 (log.f64 (hypot.f64 im re)) (log.f64 base))

Outputs

(/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 #s(literal 0 binary64) #s(literal 0 binary64))))

(/.f64 (log.f64 (hypot.f64 im re)) (log.f64 base))

Symmetry

(abs im)

(abs re)

(sort re im)

Compiler

Compiled 28 to 18 computations (35.7% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Memory

-11.2MiB live, 0.6MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	51.9%	(/.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base)) (.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (.f64 (log.f64 base) (log.f64 base)) (.f64 #s(literal 0 binary64) #s(literal 0 binary64))))

Status

Accuracy

Program

51.9%

(/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 #s(literal 0 binary64) #s(literal 0 binary64))))

Compiler

Compiled 56 to 36 computations (35.7% saved)

simplify24.0ms (0.3%)

Memory

2.3MiB live, 18.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	28
1	23	28

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base)) (.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (.f64 (log.f64 base) (log.f64 base)) (.f64 #s(literal 0 binary64) #s(literal 0 binary64))))

Inputs

(/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 #s(literal 0 binary64) #s(literal 0 binary64))))

Outputs
(/.f64 (+.f64 (.f64 (log.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) (log.f64 base)) (.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (.f64 (log.f64 base) (log.f64 base)) (.f64 #s(literal 0 binary64) #s(literal 0 binary64))))
(/.f64 (+.f64 (.f64 #s(literal 0 binary64) (atan2.f64 im re)) (.f64 (log.f64 base) (log.f64 (sqrt.f64 (+.f64 (.f64 im im) (.f64 re re)))))) (+.f64 (.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 (log.f64 base) (log.f64 base))))

Outputs

(/.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (log.f64 base)) (*.f64 (atan2.f64 im re) #s(literal 0 binary64))) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 #s(literal 0 binary64) #s(literal 0 binary64))))

(/.f64 (+.f64 (*.f64 #s(literal 0 binary64) (atan2.f64 im re)) (*.f64 (log.f64 base) (log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))))) (+.f64 (*.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (*.f64 (log.f64 base) (log.f64 base))))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 28 to 18 computations (35.7% saved)

preprocess9.0ms (0.1%)

Memory

-1.5MiB live, 6.4MiB allocated

Remove

(sort re im)

(abs re)

(abs im)

Compiler

Compiled 448 to 288 computations (35.7% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze135.0ms (1.5%)

sample35.0ms (0.4%)

explain8.7s (95.7%)

preprocess185.0ms (2%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify24.0ms (0.3%)

soundness0.0ms (0%)

preprocess9.0ms (0.1%)

end0.0ms (0%)

Profiling