Metrics for _multiplyComplex, imaginary part

start0.0ms (0.0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0.0%)

Memory

0.2MiB live, 0.2MiB allocated; 0ms collecting garbage

Algorithm

1×

random

Compiler

Compiled 9 to 9 computations (0.0% saved)

sample602.0ms (42.5%)

Memory

25.2MiB live, 1 065.5MiB allocated; 209ms collecting garbage

Samples

460.0ms	8 020×	0	valid
8.0ms	245×	1	valid

Bogosity

preprocess133.0ms (9.4%)

Memory

-16.5MiB live, 98.5MiB allocated; 120ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	37	109
1	249	105
2	1261	105

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Symmetry

(sort x.re y.im)

(sort x.im y.re)

Compiler

Compiled 14 to 14 computations (0.0% saved)

sample0.0ms (0.0%)

Memory

0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

Calls

Call 1

Inputs

Outputs

series46.0ms (3.2%)

Memory

-24.2MiB live, 32.1MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	193

Stop Event

1×	iter-limit

Counts

7 → 16

Calls

Call 1

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

Outputs
#s(approx x.re #s(literal 0 binary64))
#s(approx x.re x.re)
#s(approx (* x.re y.im) (*.f64 x.re y.im))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (fma.f64 x.im y.re (*.f64 x.re y.im)))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 x.re (+.f64 y.im (/.f64 (.f64 x.im y.re) x.re))))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 #s(literal -1 binary64) (.f64 x.re (fma.f64 #s(literal -1 binary64) y.im (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.im y.re) x.re))))))
#s(approx x.im x.im)
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 x.im (+.f64 y.re (/.f64 (.f64 x.re y.im) x.im))))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 #s(literal -1 binary64) (.f64 x.im (fma.f64 #s(literal -1 binary64) y.re (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.re y.im) x.im))))))
#s(approx y.re y.re)
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 y.re (+.f64 x.im (/.f64 (.f64 x.re y.im) y.re))))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 #s(literal -1 binary64) (.f64 y.re (fma.f64 #s(literal -1 binary64) x.im (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.re y.im) y.re))))))
#s(approx y.im y.im)
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 y.im (+.f64 x.re (/.f64 (.f64 x.im y.re) y.im))))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 #s(literal -1 binary64) (.f64 y.im (fma.f64 #s(literal -1 binary64) x.re (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.im y.re) y.im))))))

Calls

12 calls:

Time	Variable	Point
37.0ms	x.re	inf
0.0ms	x.re	-inf
0.0ms	y.re	inf
0.0ms	y.im	inf
0.0ms	y.re	-inf

rewrite315.0ms (22.2%)

Memory

-2.0MiB live, 558.7MiB allocated; 69ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
0	10	17
1	31	17
2	207	17
3	1638	17
0	4480	17
0	4803	16

Stop Event

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

Counts

7 → 54

Calls

Call 1

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

Outputs
x.re
y.im
(*.f64 y.im x.re)
(*.f64 x.re y.im)
x.im
y.re
(*.f64 (neg.f64 (neg.f64 y.re)) x.im)
(*.f64 (neg.f64 y.re) (neg.f64 x.im))
(*.f64 (neg.f64 x.im) (neg.f64 y.re))
(*.f64 y.re x.im)
(*.f64 x.im (neg.f64 (neg.f64 y.re)))
(*.f64 x.im y.re)
(neg.f64 (*.f64 (neg.f64 y.re) x.im))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 (.f64 y.re y.re) x.im) x.im) y.re) x.im (pow.f64 (.f64 (neg.f64 (neg.f64 y.im)) x.re) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 y.re y.re) x.im) x.im (-.f64 (.f64 (.f64 (neg.f64 (neg.f64 y.im)) x.re) (.f64 (neg.f64 (neg.f64 y.im)) x.re)) (.f64 (.f64 y.re x.im) (*.f64 (neg.f64 (neg.f64 y.im)) x.re)))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 (.f64 y.re y.re) x.im) x.im) y.re) x.im (pow.f64 (.f64 (neg.f64 (neg.f64 x.re)) y.im) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 y.re y.re) x.im) x.im (-.f64 (.f64 (.f64 (neg.f64 (neg.f64 x.re)) y.im) (.f64 (neg.f64 (neg.f64 x.re)) y.im)) (.f64 (.f64 y.re x.im) (*.f64 (neg.f64 (neg.f64 x.re)) y.im)))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 (.f64 y.re y.re) x.im) x.im) y.re) x.im (pow.f64 (neg.f64 (.f64 (neg.f64 y.im) x.re)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 y.re y.re) x.im) x.im (-.f64 (.f64 (.f64 (.f64 x.re x.re) y.im) y.im) (.f64 (.f64 y.re x.im) (neg.f64 (*.f64 (neg.f64 y.im) x.re))))))
(/.f64 (.f64 (-.f64 (.f64 y.re x.im) (.f64 y.im x.re)) (fma.f64 y.re x.im (.f64 y.im x.re))) (-.f64 (.f64 y.re x.im) (.f64 y.im x.re)))
(/.f64 (.f64 (-.f64 (.f64 y.im x.re) (.f64 y.re x.im)) (fma.f64 y.re x.im (.f64 y.im x.re))) (-.f64 (.f64 y.im x.re) (.f64 y.re x.im)))
(/.f64 (fma.f64 (.f64 (.f64 y.re y.re) x.im) (.f64 (.f64 x.im x.im) y.re) (.f64 (.f64 (.f64 x.re x.re) y.im) (.f64 (.f64 y.im y.im) x.re))) (fma.f64 (.f64 (.f64 y.re y.re) x.im) x.im (.f64 (.f64 y.im x.re) (-.f64 (.f64 y.im x.re) (*.f64 y.re x.im)))))
(neg.f64 (-.f64 (.f64 (neg.f64 y.im) x.re) (.f64 y.re x.im)))
(neg.f64 (neg.f64 (fma.f64 y.re x.im (*.f64 y.im x.re))))
(fma.f64 (neg.f64 (neg.f64 y.re)) x.im (*.f64 (neg.f64 (neg.f64 y.im)) x.re))
(fma.f64 (neg.f64 (neg.f64 y.re)) x.im (*.f64 (neg.f64 (neg.f64 x.re)) y.im))
(fma.f64 (neg.f64 (neg.f64 y.re)) x.im (neg.f64 (*.f64 (neg.f64 y.im) x.re)))
(fma.f64 (neg.f64 (neg.f64 y.re)) x.im (*.f64 y.im x.re))
(fma.f64 (neg.f64 y.re) (neg.f64 x.im) (*.f64 (neg.f64 (neg.f64 y.im)) x.re))
(fma.f64 (neg.f64 y.re) (neg.f64 x.im) (*.f64 (neg.f64 (neg.f64 x.re)) y.im))
(fma.f64 (neg.f64 y.re) (neg.f64 x.im) (neg.f64 (*.f64 (neg.f64 y.im) x.re)))
(fma.f64 (neg.f64 y.re) (neg.f64 x.im) (*.f64 y.im x.re))
(fma.f64 (neg.f64 x.im) (neg.f64 y.re) (*.f64 (neg.f64 (neg.f64 y.im)) x.re))
(fma.f64 (neg.f64 x.im) (neg.f64 y.re) (*.f64 (neg.f64 (neg.f64 x.re)) y.im))
(fma.f64 (neg.f64 x.im) (neg.f64 y.re) (neg.f64 (*.f64 (neg.f64 y.im) x.re)))
(fma.f64 (neg.f64 x.im) (neg.f64 y.re) (*.f64 y.im x.re))
(fma.f64 y.re x.im (*.f64 (neg.f64 (neg.f64 y.im)) x.re))
(fma.f64 y.re x.im (*.f64 (neg.f64 (neg.f64 x.re)) y.im))
(fma.f64 y.re x.im (neg.f64 (*.f64 (neg.f64 y.im) x.re)))
(fma.f64 y.re x.im (*.f64 y.im x.re))
(fma.f64 x.im (neg.f64 (neg.f64 y.re)) (*.f64 (neg.f64 (neg.f64 y.im)) x.re))
(fma.f64 x.im (neg.f64 (neg.f64 y.re)) (*.f64 (neg.f64 (neg.f64 x.re)) y.im))
(fma.f64 x.im (neg.f64 (neg.f64 y.re)) (neg.f64 (*.f64 (neg.f64 y.im) x.re)))
(fma.f64 x.im (neg.f64 (neg.f64 y.re)) (*.f64 y.im x.re))
(fma.f64 x.im y.re (*.f64 (neg.f64 (neg.f64 y.im)) x.re))
(fma.f64 x.im y.re (*.f64 (neg.f64 (neg.f64 x.re)) y.im))
(fma.f64 x.im y.re (neg.f64 (*.f64 (neg.f64 y.im) x.re)))
(fma.f64 x.im y.re (*.f64 y.im x.re))
(fma.f64 y.im x.re (*.f64 y.re x.im))
(fma.f64 x.re y.im (*.f64 y.re x.im))
(-.f64 (.f64 y.re x.im) (.f64 (neg.f64 y.im) x.re))
(-.f64 (.f64 y.im x.re) (.f64 (neg.f64 y.re) x.im))
(+.f64 (.f64 y.re x.im) (.f64 (neg.f64 (neg.f64 y.im)) x.re))
(+.f64 (.f64 y.re x.im) (.f64 (neg.f64 (neg.f64 x.re)) y.im))
(+.f64 (.f64 y.re x.im) (neg.f64 (.f64 (neg.f64 y.im) x.re)))
(+.f64 (.f64 y.re x.im) (.f64 y.im x.re))
(+.f64 (.f64 y.im x.re) (.f64 y.re x.im))

eval5.0ms (0.4%)

Memory: 22.7MiB live, 22.7MiB allocated; 0ms collecting garbage
Compiler: Compiled 729 to 146 computations (80.0% saved)

prune2.0ms (0.2%)

Memory

10.3MiB live, 10.3MiB allocated; 0ms collecting garbage

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	64	2	66

Accuracy

100.0%

Counts

66 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 y.re x.im (*.f64 y.im x.re))
▶	53.1%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample0.0ms (0.0%)

Memory

0.2MiB live, 0.2MiB allocated; 0ms collecting garbage

Calls

Call 1

Inputs

Outputs

series10.0ms (0.7%)

Memory

-18.5MiB live, 26.9MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	193

Stop Event

1×	iter-limit

Counts

8 → 16

Calls

Call 1

Inputs
x.re
y.im
x.im
y.re
(*.f64 x.im y.re)
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))
(*.f64 y.im x.re)
(fma.f64 y.re x.im (*.f64 y.im x.re))

Outputs
#s(approx x.re #s(literal 0 binary64))
#s(approx x.re x.re)
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (fma.f64 x.im y.re (*.f64 x.re y.im)))
#s(approx (* y.im x.re) (*.f64 x.re y.im))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 x.re (+.f64 y.im (/.f64 (.f64 x.im y.re) x.re))))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 #s(literal -1 binary64) (.f64 x.re (fma.f64 #s(literal -1 binary64) y.im (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.im y.re) x.re))))))
#s(approx x.im x.im)
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 x.im (+.f64 y.re (/.f64 (.f64 x.re y.im) x.im))))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 #s(literal -1 binary64) (.f64 x.im (fma.f64 #s(literal -1 binary64) y.re (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.re y.im) x.im))))))
#s(approx y.re y.re)
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 y.re (+.f64 x.im (/.f64 (.f64 x.re y.im) y.re))))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 #s(literal -1 binary64) (.f64 y.re (fma.f64 #s(literal -1 binary64) x.im (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.re y.im) y.re))))))
#s(approx y.im y.im)
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 y.im (+.f64 x.re (/.f64 (.f64 x.im y.re) y.im))))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 #s(literal -1 binary64) (.f64 y.im (fma.f64 #s(literal -1 binary64) x.re (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.im y.re) y.im))))))

Calls

12 calls:

Time	Variable	Point
4.0ms	x.re	inf
0.0ms	x.im	-inf
0.0ms	x.re	-inf
0.0ms	y.re	inf
0.0ms	y.im	-inf

rewrite204.0ms (14.4%)

Memory

-25.9MiB live, 318.8MiB allocated; 65ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	27
0	15	26
1	65	26
2	340	26
3	2578	26
0	4049	26
0	4183	26

Stop Event

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

Counts

8 → 39

Calls

Call 1

Inputs
x.re
y.im
x.im
y.re
(*.f64 x.im y.re)
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))
(*.f64 y.im x.re)
(fma.f64 y.re x.im (*.f64 y.im x.re))

Outputs
x.re
y.im
x.im
y.re
(*.f64 (neg.f64 (neg.f64 y.re)) x.im)
(*.f64 (neg.f64 y.re) (neg.f64 x.im))
(*.f64 (neg.f64 x.im) (neg.f64 y.re))
(*.f64 y.re x.im)
(*.f64 x.im (neg.f64 (neg.f64 y.re)))
(*.f64 x.im y.re)
(neg.f64 (*.f64 (neg.f64 y.re) x.im))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 y.re x.im))
(*.f64 (neg.f64 (neg.f64 x.re)) y.im)
(*.f64 (neg.f64 x.re) (neg.f64 y.im))
(*.f64 (neg.f64 y.im) (neg.f64 x.re))
(*.f64 y.im (neg.f64 (neg.f64 x.re)))
(*.f64 y.im x.re)
(*.f64 x.re y.im)
(neg.f64 (*.f64 (neg.f64 x.re) y.im))
(/.f64 (.f64 (-.f64 (.f64 y.im x.re) (.f64 y.re x.im)) (fma.f64 y.re x.im (.f64 y.im x.re))) (-.f64 (.f64 y.im x.re) (.f64 y.re x.im)))
(/.f64 (.f64 (-.f64 (.f64 y.re x.im) (.f64 y.im x.re)) (fma.f64 y.re x.im (.f64 y.im x.re))) (-.f64 (.f64 y.re x.im) (.f64 y.im x.re)))
(/.f64 (fma.f64 (.f64 (.f64 y.re x.im) (.f64 (.f64 y.re y.re) x.im)) x.im (.f64 (.f64 (.f64 x.re x.re) y.im) (.f64 (.f64 y.im y.im) x.re))) (fma.f64 (.f64 (.f64 x.im x.im) y.re) y.re (.f64 (-.f64 (.f64 y.im x.re) (.f64 y.re x.im)) (*.f64 y.im x.re))))
(neg.f64 (neg.f64 (fma.f64 y.re x.im (*.f64 y.im x.re))))
(fma.f64 (neg.f64 (neg.f64 y.re)) x.im (*.f64 y.im x.re))
(fma.f64 (neg.f64 (neg.f64 x.re)) y.im (*.f64 y.re x.im))
(fma.f64 (neg.f64 x.re) (neg.f64 y.im) (*.f64 y.re x.im))
(fma.f64 (neg.f64 y.re) (neg.f64 x.im) (*.f64 y.im x.re))
(fma.f64 (neg.f64 x.im) (neg.f64 y.re) (*.f64 y.im x.re))
(fma.f64 (neg.f64 y.im) (neg.f64 x.re) (*.f64 y.re x.im))
(fma.f64 y.re x.im (*.f64 y.im x.re))
(fma.f64 x.im (neg.f64 (neg.f64 y.re)) (*.f64 y.im x.re))
(fma.f64 x.im y.re (*.f64 y.im x.re))
(fma.f64 y.im (neg.f64 (neg.f64 x.re)) (*.f64 y.re x.im))
(fma.f64 y.im x.re (*.f64 y.re x.im))
(fma.f64 x.re y.im (*.f64 y.re x.im))
(-.f64 (.f64 y.im x.re) (.f64 (neg.f64 y.re) x.im))
(-.f64 (.f64 y.re x.im) (.f64 (neg.f64 x.re) y.im))
(+.f64 (.f64 y.im x.re) (.f64 y.re x.im))
(+.f64 (.f64 y.re x.im) (.f64 y.im x.re))

eval4.0ms (0.3%)

Memory: 12.7MiB live, 12.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 428 to 103 computations (75.9% saved)

prune2.0ms (0.2%)

Memory

5.8MiB live, 5.8MiB allocated; 0ms collecting garbage

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	50	0	50
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	50	2	52

Accuracy

100.0%

Counts

52 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 y.re x.im (*.f64 y.im x.re))
✓	53.1%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes36.0ms (2.5%)

Memory

16.7MiB live, 62.8MiB allocated; 3ms collecting garbage

Counts

1 → 1

3 → 1

Calls

Call 1

Inputs
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))

Outputs
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))

Call 2

Inputs
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))
(fma.f64 y.re x.im (*.f64 y.im x.re))
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))

Outputs
(fma.f64 y.re x.im (*.f64 y.im x.re))

Calls

14 calls:

14.0ms	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
2.0ms	(*.f64 x.re y.im)
2.0ms	y.im
2.0ms	x.im
2.0ms	x.re

Results

Accuracy	Segments	Branch
53.1%	1	`(*.f64 x.im y.re)`
53.1%	1	`(*.f64 x.re y.im)`
53.1%	1	`(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))`
53.1%	1	`x.re`
53.1%	1	`x.im`
53.1%	1	`y.re`
53.1%	1	`y.im`
100.0%	1	`(*.f64 x.im y.re)`
100.0%	1	`(*.f64 x.re y.im)`
100.0%	1	`(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))`
100.0%	1	`x.re`
100.0%	1	`x.im`
100.0%	1	`y.re`
100.0%	1	`y.im`

Compiler

Compiled 50 to 43 computations (14.0% saved)

derivations34.0ms (2.4%)

Memory

-34.8MiB live, 11.6MiB allocated; 3ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 9 to 7 computations (22.2% saved)

preprocess23.0ms (1.6%)

Memory: 0.3MiB live, 48.7MiB allocated; 17ms collecting garbage
Compiler: Compiled 52 to 50 computations (3.8% saved)

end0.0ms (0.0%)

Memory: 0.1MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0.0%)

analyze0.0ms (0.0%)

sample602.0ms (42.5%)

preprocess133.0ms (9.4%)

sample0.0ms (0.0%)

series46.0ms (3.2%)

rewrite315.0ms (22.2%)

eval5.0ms (0.4%)

prune2.0ms (0.2%)

sample0.0ms (0.0%)

series10.0ms (0.7%)

rewrite204.0ms (14.4%)

eval4.0ms (0.3%)

prune2.0ms (0.2%)

regimes36.0ms (2.5%)

derivations34.0ms (2.4%)

preprocess23.0ms (1.6%)

end0.0ms (0.0%)

Profiling