Metrics for _multiplyComplex, real part

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB 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)

sample588.0ms (50%)

Memory

1.5MiB live, 915.4MiB allocated; 113ms collecting garbage

Samples

375.0ms

8 256×

valid

Precisions

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

ival-mult!: 146.0ms (87.9% of total)

ival-sub!: 18.0ms (10.8% of total)

adjust: 1.0ms (0.6% of total)

Bogosity

preprocess17.0ms (1.5%)

Memory

-32.6MiB live, 11.9MiB allocated; 16ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	109
1	96	109
2	173	109
3	267	109
4	268	109

Stop Event

1×

saturated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Symmetry

(sort x.re y.re)

(sort x.im y.im)

Compiler

Compiled 14 to 14 computations (0% saved)

series9.0ms (0.7%)

Memory

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

Counts

7 → 18

Calls

Call 1

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

Outputs
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.im y.im))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (- (* x.re y.re) (* x.im y.im))))
#s(approx (* x.re y.re) #s(hole binary64 (* x.re y.re)))
#s(approx x.re #s(hole binary64 x.re))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.re y.re)))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.re (+ y.re (* -1 (/ (* x.im y.im) x.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.re (+ (* -1 y.re) (/ (* x.im y.im) x.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (+ (* -1 (* x.im y.im)) (* x.re y.re))))
#s(approx (* x.im y.im) #s(hole binary64 (* x.im y.im)))
#s(approx x.im #s(hole binary64 x.im))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.im (- (/ (* x.re y.re) x.im) y.im))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.im (- (* -1 (/ (* x.re y.re) x.im)) (* -1 y.im))))))
#s(approx y.re #s(hole binary64 y.re))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* y.re (+ x.re (* -1 (/ (* x.im y.im) y.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* y.re (+ (* -1 x.re) (/ (* x.im y.im) y.re))))))
#s(approx y.im #s(hole binary64 y.im))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* y.im (- (/ (* x.re y.re) y.im) x.im))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* y.im (- (* -1 (/ (* x.re y.re) y.im)) (* -1 x.im))))))

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	y.re	@	-inf	((- (* x.re y.re) (* x.im y.im)) (* x.re y.re) x.re y.re (* x.im y.im) x.im y.im)
1.0ms	x.re	@	-inf	((- (* x.re y.re) (* x.im y.im)) (* x.re y.re) x.re y.re (* x.im y.im) x.im y.im)
1.0ms	x.re	@	inf	((- (* x.re y.re) (* x.im y.im)) (* x.re y.re) x.re y.re (* x.im y.im) x.im y.im)
1.0ms	y.im	@	-inf	((- (* x.re y.re) (* x.im y.im)) (* x.re y.re) x.re y.re (* x.im y.im) x.im y.im)
1.0ms	x.im	@	-inf	((- (* x.re y.re) (* x.im y.im)) (* x.re y.re) x.re y.re (* x.im y.im) x.im y.im)

rewrite185.0ms (15.8%)

Memory

13.2MiB live, 260.4MiB allocated; 39ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	63	259
0	64	236
1	309	232
2	2492	232
0	8519	232

Stop Event

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

Counts

25 → 95

Calls

Call 1

Inputs
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
(*.f64 x.re y.re)
x.re
y.re
(*.f64 x.im y.im)
x.im
y.im
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.im y.im))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (- (* x.re y.re) (* x.im y.im))))
#s(approx (* x.re y.re) #s(hole binary64 (* x.re y.re)))
#s(approx x.re #s(hole binary64 x.re))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.re y.re)))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.re (+ y.re (* -1 (/ (* x.im y.im) x.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.re (+ (* -1 y.re) (/ (* x.im y.im) x.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (+ (* -1 (* x.im y.im)) (* x.re y.re))))
#s(approx (* x.im y.im) #s(hole binary64 (* x.im y.im)))
#s(approx x.im #s(hole binary64 x.im))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.im (- (/ (* x.re y.re) x.im) y.im))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.im (- (* -1 (/ (* x.re y.re) x.im)) (* -1 y.im))))))
#s(approx y.re #s(hole binary64 y.re))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* y.re (+ x.re (* -1 (/ (* x.im y.im) y.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* y.re (+ (* -1 x.re) (/ (* x.im y.im) y.re))))))
#s(approx y.im #s(hole binary64 y.im))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* y.im (- (/ (* x.re y.re) y.im) x.im))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* y.im (- (* -1 (/ (* x.re y.re) y.im)) (* -1 x.im))))))

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

eval13.0ms (1.1%)

Memory: -31.2MiB live, 15.5MiB allocated; 3ms collecting garbage
Compiler: Compiled 1 129 to 210 computations (81.4% saved)

prune3.0ms (0.2%)

Memory

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

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	81	4	85

Accuracy

100.0%

Counts

85 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(fma.f64 y.re x.re (*.f64 (neg.f64 x.im) y.im))
✓	99.2%	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
▶	50.2%	#s(approx (- (* x.re y.re) (* x.im y.im)) (*.f64 (neg.f64 x.im) y.im))
▶	51.8%	#s(approx (- (* x.re y.re) (* x.im y.im)) (*.f64 y.re x.re))

Compiler

Compiled 33 to 33 computations (0% saved)

series8.0ms (0.7%)

Memory

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

Counts

10 → 30

Calls

Call 1

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

Outputs
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.im y.im))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (- (* x.re y.re) (* x.im y.im))))
#s(approx (* y.re x.re) #s(hole binary64 (* x.re y.re)))
#s(approx x.re #s(hole binary64 x.re))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* -1 (* x.im y.im))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (+ (* -1 (* x.im y.im)) (* x.re y.re))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.re y.re)))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.re (+ y.re (* -1 (/ (* x.im y.im) x.re))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* x.re y.re)))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* x.re (+ y.re (* -1 (/ (* x.im y.im) x.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.re (+ (* -1 y.re) (/ (* x.im y.im) x.re))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* -1 (* x.re (+ (* -1 y.re) (/ (* x.im y.im) x.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (+ (* -1 (* x.im y.im)) (* x.re y.re))))
#s(approx (* (neg x.im) y.im) #s(hole binary64 (* -1 (* x.im y.im))))
#s(approx (neg x.im) #s(hole binary64 (* -1 x.im)))
#s(approx x.im #s(hole binary64 x.im))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.im (- (/ (* x.re y.re) x.im) y.im))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* x.im (+ (* -1 y.im) (/ (* x.re y.re) x.im)))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.im (- (* -1 (/ (* x.re y.re) x.im)) (* -1 y.im))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* -1 (* x.im (+ y.im (* -1 (/ (* x.re y.re) x.im)))))))
#s(approx y.re #s(hole binary64 y.re))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* y.re (+ x.re (* -1 (/ (* x.im y.im) y.re))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* y.re (+ x.re (* -1 (/ (* x.im y.im) y.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* y.re (+ (* -1 x.re) (/ (* x.im y.im) y.re))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* -1 (* y.re (+ (* -1 x.re) (/ (* x.im y.im) y.re))))))
#s(approx y.im #s(hole binary64 y.im))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* y.im (- (/ (* x.re y.re) y.im) x.im))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* y.im (+ (* -1 x.im) (/ (* x.re y.re) y.im)))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* y.im (- (* -1 (/ (* x.re y.re) y.im)) (* -1 x.im))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* -1 (* y.im (+ x.im (* -1 (/ (* x.re y.re) y.im)))))))

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x.im	@	-inf	((- (* x.re y.re) (* x.im y.im)) (* y.re x.re) y.re x.re (- (* x.re y.re) (* x.im y.im)) (* (neg x.im) y.im) (neg x.im) x.im y.im (+ (* y.re x.re) (* (neg x.im) y.im)))
1.0ms	y.re	@	-inf	((- (* x.re y.re) (* x.im y.im)) (* y.re x.re) y.re x.re (- (* x.re y.re) (* x.im y.im)) (* (neg x.im) y.im) (neg x.im) x.im y.im (+ (* y.re x.re) (* (neg x.im) y.im)))
1.0ms	y.im	@	-inf	((- (* x.re y.re) (* x.im y.im)) (* y.re x.re) y.re x.re (- (* x.re y.re) (* x.im y.im)) (* (neg x.im) y.im) (neg x.im) x.im y.im (+ (* y.re x.re) (* (neg x.im) y.im)))
1.0ms	x.re	@	-inf	((- (* x.re y.re) (* x.im y.im)) (* y.re x.re) y.re x.re (- (* x.re y.re) (* x.im y.im)) (* (neg x.im) y.im) (neg x.im) x.im y.im (+ (* y.re x.re) (* (neg x.im) y.im)))
1.0ms	y.re	@	inf	((- (* x.re y.re) (* x.im y.im)) (* y.re x.re) y.re x.re (- (* x.re y.re) (* x.im y.im)) (* (neg x.im) y.im) (neg x.im) x.im y.im (+ (* y.re x.re) (* (neg x.im) y.im)))

rewrite141.0ms (12%)

Memory

16.8MiB live, 203.6MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	92	495
0	97	447
1	446	439
2	3422	439
0	8572	439

Stop Event

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

Counts

40 → 99

Calls

Call 1

Inputs
#s(approx (- (* x.re y.re) (* x.im y.im)) (*.f64 y.re x.re))
(*.f64 y.re x.re)
y.re
x.re
#s(approx (- (* x.re y.re) (* x.im y.im)) (*.f64 (neg.f64 x.im) y.im))
(*.f64 (neg.f64 x.im) y.im)
(neg.f64 x.im)
x.im
y.im
(fma.f64 y.re x.re (*.f64 (neg.f64 x.im) y.im))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.im y.im))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (- (* x.re y.re) (* x.im y.im))))
#s(approx (* y.re x.re) #s(hole binary64 (* x.re y.re)))
#s(approx x.re #s(hole binary64 x.re))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* -1 (* x.im y.im))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (+ (* -1 (* x.im y.im)) (* x.re y.re))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.re y.re)))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.re (+ y.re (* -1 (/ (* x.im y.im) x.re))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* x.re y.re)))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* x.re (+ y.re (* -1 (/ (* x.im y.im) x.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.re (+ (* -1 y.re) (/ (* x.im y.im) x.re))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* -1 (* x.re (+ (* -1 y.re) (/ (* x.im y.im) x.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (+ (* -1 (* x.im y.im)) (* x.re y.re))))
#s(approx (* (neg x.im) y.im) #s(hole binary64 (* -1 (* x.im y.im))))
#s(approx (neg x.im) #s(hole binary64 (* -1 x.im)))
#s(approx x.im #s(hole binary64 x.im))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* x.im (- (/ (* x.re y.re) x.im) y.im))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* x.im (+ (* -1 y.im) (/ (* x.re y.re) x.im)))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* x.im (- (* -1 (/ (* x.re y.re) x.im)) (* -1 y.im))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* -1 (* x.im (+ y.im (* -1 (/ (* x.re y.re) x.im)))))))
#s(approx y.re #s(hole binary64 y.re))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* y.re (+ x.re (* -1 (/ (* x.im y.im) y.re))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* y.re (+ x.re (* -1 (/ (* x.im y.im) y.re))))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* y.re (+ (* -1 x.re) (/ (* x.im y.im) y.re))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* -1 (* y.re (+ (* -1 x.re) (/ (* x.im y.im) y.re))))))
#s(approx y.im #s(hole binary64 y.im))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* y.im (- (/ (* x.re y.re) y.im) x.im))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* y.im (+ (* -1 x.im) (/ (* x.re y.re) y.im)))))
#s(approx (- (* x.re y.re) (* x.im y.im)) #s(hole binary64 (* -1 (* y.im (- (* -1 (/ (* x.re y.re) y.im)) (* -1 x.im))))))
#s(approx (+ (* y.re x.re) (* (neg x.im) y.im)) #s(hole binary64 (* -1 (* y.im (+ x.im (* -1 (/ (* x.re y.re) y.im)))))))

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

eval9.0ms (0.8%)

Memory: -26.4MiB live, 20.0MiB allocated; 2ms collecting garbage
Compiler: Compiled 772 to 206 computations (73.3% saved)

prune4.0ms (0.4%)

Memory

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

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	88	4	92

Accuracy

100.0%

Counts

92 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.2%	(fma.f64 y.re x.re (*.f64 (neg.f64 x.im) y.im))
✓	99.2%	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
✓	50.2%	#s(approx (- (* x.re y.re) (* x.im y.im)) (*.f64 (neg.f64 x.im) y.im))
✓	51.8%	#s(approx (- (* x.re y.re) (* x.im y.im)) (*.f64 y.re x.re))

Compiler

Compiled 54 to 49 computations (9.3% saved)

regimes15.0ms (1.2%)

Memory

-12.9MiB live, 34.1MiB allocated; 2ms collecting garbage

Counts

4 → 1

Calls

Call 1

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

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

Calls

7 calls:

3.0ms	(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))
2.0ms	y.im
2.0ms	x.im
2.0ms	y.re
2.0ms	x.re

Results

Accuracy	Segments	Branch
99.2%	1	`(*.f64 x.im y.im)`
99.2%	1	`(*.f64 x.re y.re)`
99.2%	1	`(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))`
99.2%	1	`x.re`
99.2%	1	`x.im`
99.2%	1	`y.re`
99.2%	1	`y.im`

Compiler

Compiled 17 to 33 computations (-94.1% saved)

regimes11.0ms (0.9%)

Memory

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

Counts

3 → 1

Calls

Call 1

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

Outputs
(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Calls

7 calls:

2.0ms	y.re
2.0ms	x.re
2.0ms	y.im
2.0ms	x.im
1.0ms	(*.f64 x.re y.re)

Results

Accuracy	Segments	Branch
99.2%	1	`(*.f64 x.im y.im)`
99.2%	1	`(*.f64 x.re y.re)`
99.2%	1	`(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))`
99.2%	1	`x.re`
99.2%	1	`x.im`
99.2%	1	`y.re`
99.2%	1	`y.im`

Compiler

Compiled 17 to 33 computations (-94.1% saved)

regimes13.0ms (1.1%)

Memory

-26.7MiB live, 28.7MiB allocated; 5ms collecting garbage

Counts

2 → 3

Calls

Call 1

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

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

Calls

7 calls:

5.0ms	x.im
1.0ms	x.re
1.0ms	y.re
1.0ms	y.im
1.0ms	(*.f64 x.re y.re)

Results

Accuracy	Segments	Branch
78.9%	3	`(*.f64 x.im y.im)`
74.2%	3	`(*.f64 x.re y.re)`
64.0%	5	`(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))`
68.8%	3	`x.re`
77.1%	3	`x.im`
71.7%	3	`y.re`
68.8%	3	`y.im`

Compiler

Compiled 17 to 33 computations (-94.1% saved)

regimes7.0ms (0.6%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

7 calls:

1.0ms	y.re
1.0ms	x.im
1.0ms	y.im
1.0ms	x.re
1.0ms	(*.f64 x.re y.re)

Results

Accuracy	Segments	Branch
51.8%	1	`(-.f64 (.f64 x.re y.re) (.f64 x.im y.im))`
51.8%	1	`x.re`
51.8%	1	`y.im`
51.8%	1	`y.re`
51.8%	1	`(*.f64 x.re y.re)`
51.8%	1	`x.im`
51.8%	1	`(*.f64 x.im y.im)`

Compiler

Compiled 17 to 33 computations (-94.1% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	4.649948287310125e-16	4.038425558606242e-15
0.0ms	-2.4731664527319117e-16	-7.210517240578178e-29

Compiler

Compiled 10 to 14 computations (-40% saved)

derivations103.0ms (8.8%)

Memory

-34.4MiB live, 59.1MiB allocated; 3ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 27 to 22 computations (18.5% saved)

preprocess49.0ms (4.2%)

Memory

20.3MiB live, 108.5MiB allocated; 35ms collecting garbage

Remove

(sort x.im y.im)

(sort x.re y.re)

Compiler

Compiled 214 to 197 computations (7.9% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample588.0ms (50%)

preprocess17.0ms (1.5%)

series9.0ms (0.7%)

rewrite185.0ms (15.8%)

eval13.0ms (1.1%)

prune3.0ms (0.2%)

series8.0ms (0.7%)

rewrite141.0ms (12%)

eval9.0ms (0.8%)

prune4.0ms (0.4%)

regimes15.0ms (1.2%)

regimes11.0ms (0.9%)

regimes13.0ms (1.1%)

regimes7.0ms (0.6%)

bsearch0.0ms (0%)

derivations103.0ms (8.8%)

preprocess49.0ms (4.2%)

end0.0ms (0%)

Profiling