Metrics for _multiplyComplex, imaginary part

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
100%	99.8%	0%	0.2%	0%	0%	0%	1

Compiler

Compiled 9 to 9 computations (0% saved)

sample738.0ms (24.4%)

Memory

17.6MiB live, 484.0MiB allocated; 162ms collecting garbage

Samples

472.0ms

8 256×

valid

Precisions

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

ival-mult!: 111.0ms (83.2% of total)

ival-add!: 21.0ms (15.7% of total)

adjust: 2.0ms (1.5% of total)

Bogosity

preprocess67.0ms (2.2%)

Memory

-18.1MiB live, 27.5MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	37	113
1	215	105
2	1219	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% saved)

series94.0ms (3.1%)

Memory

-11.4MiB live, 32.6MiB allocated; 10ms collecting garbage

Counts

7 → 15

Calls

Call 1

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

Outputs
#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) (*.f64 x.re y.im))
#s(approx x.re x.re)
#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
1.0ms	y.re	-inf
1.0ms	x.re	-inf
1.0ms	x.re	inf
1.0ms	y.im	-inf
1.0ms	x.im	-inf

rewrite1.1s (36.4%)

Memory

-39.0MiB live, 105.3MiB allocated; 1.6s collecting garbage

Counts

7 → 15

Calls

Call 1

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

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

eval3.0ms (0.1%)

Memory: 4.4MiB live, 4.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 490 to 109 computations (77.8% saved)

prune2.0ms (0%)

Memory

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

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	21	3	24
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	22	3	25

Accuracy

100.0%

Counts

25 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (fma.f64 x.im y.re (*.f64 x.re y.im)))
▶	94.5%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (.f64 y.im (+.f64 x.re (/.f64 (.f64 x.im y.re) y.im))))
▶	50.2%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))

Status

Accuracy

Program

▶

99.6%

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

▶

94.5%

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

▶

50.2%

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

Compiler

Compiled 42 to 31 computations (26.2% saved)

series116.0ms (3.8%)

Memory

-60.0MiB live, 64.7MiB allocated; 34ms collecting garbage

Counts

13 → 24

Calls

Call 1

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

Outputs
#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 (/ (* x.im y.re) y.im)) (/.f64 (*.f64 x.im y.re) y.im))
#s(approx (+ x.re (/ (* x.im y.re) y.im)) (+.f64 x.re (/.f64 (*.f64 x.im y.re) y.im)))
#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.re (+.f64 y.im (/.f64 (.f64 x.im y.re) x.re))))
#s(approx (+ x.re (/ (* x.im y.re) y.im)) (.f64 x.re (+.f64 #s(literal 1 binary64) (/.f64 (.f64 x.im y.re) (*.f64 x.re y.im)))))
#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.re (/ (* x.im y.re) y.im)) (.f64 #s(literal -1 binary64) (.f64 x.re (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.im y.re) (*.f64 x.re y.im))) #s(literal 1 binary64)))))
#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 (/ (* x.im y.re) y.im)) (*.f64 x.im (+.f64 (/.f64 x.re x.im) (/.f64 y.re y.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 (+ x.re (/ (* x.im y.re) y.im)) (.f64 #s(literal -1 binary64) (.f64 x.im (fma.f64 #s(literal -1 binary64) (/.f64 x.re x.im) (*.f64 #s(literal -1 binary64) (/.f64 y.re y.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 (/ (* x.im y.re) y.im)) (*.f64 y.re (+.f64 (/.f64 x.im y.im) (/.f64 x.re 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 (+ x.re (/ (* x.im y.re) y.im)) (.f64 #s(literal -1 binary64) (.f64 y.re (fma.f64 #s(literal -1 binary64) (/.f64 x.im y.im) (*.f64 #s(literal -1 binary64) (/.f64 x.re y.re))))))
#s(approx y.im y.im)
#s(approx (+ x.re (/ (* x.im y.re) y.im)) (/.f64 (fma.f64 x.im y.re (*.f64 x.re 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
2.0ms	y.re	0
1.0ms	y.re	-inf
1.0ms	y.im	-inf
1.0ms	x.im	-inf
1.0ms	y.re	inf

rewrite210.0ms (7%)

Memory

-13.9MiB live, 75.7MiB allocated; 19ms collecting garbage

Counts

13 → 38

Calls

Call 1

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

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

eval7.0ms (0.2%)

Memory: 11.5MiB live, 11.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 563 to 298 computations (80.9% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	0	0	0
Picked	1	2	3
Done	0	0	0
Total	65	3	68

Accuracy

100.0%

Counts

68 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

99.6%

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

▶

88.0%

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

✓

50.2%

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

Compiler

Compiled 41 to 30 computations (26.8% saved)

series124.0ms (4.1%)

Memory

-9.0MiB live, 42.8MiB allocated; 17ms collecting garbage

Counts

8 → 25

Calls

Call 1

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

Outputs
#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.im y.im) y.re) x.re) (/.f64 (*.f64 x.im y.re) y.im))
#s(approx (+ (* (/ x.im y.im) y.re) x.re) (+.f64 x.re (/.f64 (*.f64 x.im y.re) y.im)))
#s(approx x.re x.re)
#s(approx (+ (* x.re y.im) (* 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.im y.im) y.re) x.re) (.f64 x.re (+.f64 #s(literal 1 binary64) (/.f64 (.f64 x.im y.re) (*.f64 x.re y.im)))))
#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 y.im) y.re) x.re) (.f64 #s(literal -1 binary64) (.f64 x.re (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.im y.re) (*.f64 x.re y.im))) #s(literal 1 binary64)))))
#s(approx (/ x.im y.im) (/.f64 x.im y.im))
#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.im y.im) y.re) x.re) (*.f64 x.im (+.f64 (/.f64 x.re x.im) (/.f64 y.re y.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 (+ (* (/ x.im y.im) y.re) x.re) (.f64 #s(literal -1 binary64) (.f64 x.im (fma.f64 #s(literal -1 binary64) (/.f64 x.re x.im) (*.f64 #s(literal -1 binary64) (/.f64 y.re y.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.im y.im) y.re) x.re) (*.f64 y.re (+.f64 (/.f64 x.im y.im) (/.f64 x.re 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 (+ (* (/ x.im y.im) y.re) x.re) (.f64 #s(literal -1 binary64) (.f64 y.re (fma.f64 #s(literal -1 binary64) (/.f64 x.im y.im) (*.f64 #s(literal -1 binary64) (/.f64 x.re y.re))))))
#s(approx (+ (* (/ x.im y.im) y.re) x.re) (/.f64 (fma.f64 x.im y.re (*.f64 x.re y.im)) y.im))
#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
1.0ms	y.im	-inf
1.0ms	x.im	-inf
1.0ms	x.im	inf
1.0ms	y.re	-inf
1.0ms	y.im	inf

rewrite193.0ms (6.4%)

Memory

31.2MiB live, 165.1MiB allocated; 15ms collecting garbage

Counts

8 → 20

Calls

Call 1

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

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

eval10.0ms (0.3%)

Memory: -41.8MiB live, 6.5MiB allocated; 13ms collecting garbage
Compiler: Compiled 1 028 to 211 computations (79.5% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	36	1	37
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	36	4	40

Accuracy

100.0%

Counts

40 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (fma.f64 x.im y.re (*.f64 x.re y.im)))
✓	88.0%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 (fma.f64 (/.f64 x.im y.im) y.re x.re) y.im))
▶	53.4%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.re y.im))
✓	50.2%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))

Compiler

Compiled 52 to 39 computations (25% saved)

series82.0ms (2.7%)

Memory

24.5MiB live, 70.4MiB allocated; 7ms collecting garbage

Counts

4 → 13

Calls

Call 1

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

Outputs
#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) (*.f64 x.re y.im))
#s(approx x.re x.re)
#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.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 (+ (* 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
1.0ms	x.re	-inf
1.0ms	y.im	-inf
0.0ms	x.re	inf
0.0ms	y.im	inf
0.0ms	x.re	0

rewrite169.0ms (5.6%)

Memory

-10.7MiB live, 180.1MiB allocated; 20ms collecting garbage

Counts

4 → 5

Calls

Call 1

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

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

eval3.0ms (0.1%)

Memory: 2.8MiB live, 2.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 208 to 56 computations (73.1% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	12	4	16

Accuracy

100.0%

Counts

16 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (fma.f64 x.im y.re (*.f64 x.re y.im)))
✓	88.0%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 (fma.f64 (/.f64 x.im y.im) y.re x.re) y.im))
✓	53.4%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.re y.im))
✓	50.2%	#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.im y.re))

Compiler

Compiled 52 to 39 computations (25% saved)

regimes40.0ms (1.3%)

Memory

17.1MiB live, 63.7MiB allocated; 3ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 3

6 → 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))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 x.re y.im))

Outputs
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.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)) (*.f64 x.re y.im))

Call 3

Inputs
#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)) (*.f64 x.re y.im))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (fma.f64 x.im y.re (*.f64 x.re y.im)))
(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
#s(approx (+ (* x.re y.im) (* x.im y.re)) (*.f64 (fma.f64 (/.f64 x.im y.im) y.re x.re) 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))))

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

Calls

21 calls:

4.0ms	y.im
4.0ms	(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))
3.0ms	y.re
3.0ms	x.im
3.0ms	x.re

Results

Accuracy	Segments	Branch
50.2%	1	`(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))`
50.2%	1	`y.im`
50.2%	1	`x.im`
50.2%	1	`y.re`
50.2%	1	`x.re`
50.2%	1	`(*.f64 x.im y.re)`
50.2%	1	`(*.f64 x.re y.im)`
77.4%	3	`(*.f64 x.im y.re)`
78.1%	3	`(*.f64 x.re y.im)`
58.0%	3	`(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))`
77.4%	3	`x.re`
71.4%	3	`x.im`
71.6%	3	`y.re`
68.0%	3	`y.im`
99.6%	1	`(*.f64 x.im y.re)`
99.6%	1	`(*.f64 x.re y.im)`
99.6%	1	`(+.f64 (.f64 x.re y.im) (.f64 x.im y.re))`
99.6%	1	`x.re`
99.6%	1	`x.im`
99.6%	1	`y.re`
99.6%	1	`y.im`

Compiler

Compiled 127 to 121 computations (4.7% saved)

bsearch21.0ms (0.7%)

Memory

-27.6MiB live, 18.8MiB allocated; 2ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	7.719250736708391e-91	2.1265823732401974e-75
8.0ms	-2.363513796043565	-0.10087489995043271

Samples

9.0ms

272×

valid

Compiler

Compiled 350 to 337 computations (3.7% saved)

Precisions

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

ival-mult!: 2.0ms (85.4% of total)

ival-add!: 1.0ms (42.7% of total)

adjust: 0.0ms (0% of total)

derivations1.0ms (0%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 70 to 19 computations (72.9% saved)

preprocess32.0ms (1.1%)

Memory

-5.6MiB live, 41.8MiB allocated; 13ms collecting garbage

Remove

(sort x.im y.re)

(sort x.re y.im)

Compiler

Compiled 357 to 170 computations (52.4% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample738.0ms (24.4%)

preprocess67.0ms (2.2%)

series94.0ms (3.1%)

rewrite1.1s (36.4%)

eval3.0ms (0.1%)

prune2.0ms (0%)

series116.0ms (3.8%)

rewrite210.0ms (7%)

eval7.0ms (0.2%)

prune3.0ms (0.1%)

series124.0ms (4.1%)

rewrite193.0ms (6.4%)

eval10.0ms (0.3%)

prune2.0ms (0.1%)

series82.0ms (2.7%)

rewrite169.0ms (5.6%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

regimes40.0ms (1.3%)

bsearch21.0ms (0.7%)

derivations1.0ms (0%)

preprocess32.0ms (1.1%)

end0.0ms (0%)

Profiling