Metrics for math.square on complex, real part

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.3s (65%)

Memory

-63.3MiB live, 868.8MiB allocated; 1.4s collecting garbage

Samples

459.0ms

8 256×

valid

Precisions

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

ival-mult!: 107.0ms (86.1% of total)

ival-sub!: 16.0ms (12.9% of total)

adjust: 1.0ms (0.8% of total)

Bogosity

preprocess63.0ms (3.1%)

Memory

-2.2MiB live, 43.3MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	42
1	62	42
2	267	42
3	466	42
4	1110	42
5	3696	42

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	94.9%	(-.f64 (.f64 re re) (.f64 im im))

Symmetry

(abs re)

(abs im)

Compiler

Compiled 10 to 10 computations (0% saved)

series4.0ms (0.2%)

Memory

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

Counts

5 → 9

Calls

Call 1

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

Outputs
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* -1 (pow im 2))))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (- (pow re 2) (pow im 2))))
#s(approx (* re re) #s(hole binary64 (pow re 2)))
#s(approx re #s(hole binary64 re))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (+ (* -1 (pow im 2)) (pow re 2))))
#s(approx (* im im) #s(hole binary64 (pow im 2)))
#s(approx im #s(hole binary64 im))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))))

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	inf	((- (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	re	@	-inf	((- (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	im	@	inf	((- (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	im	@	-inf	((- (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	re	@	0	((- (* re re) (* im im)) (* re re) re (* im im) im)

rewrite67.0ms (3.3%)

Memory

36.6MiB live, 82.9MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	124
0	33	107
1	160	107
0	1753	107

Stop Event

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

Counts

14 → 213

Calls

Call 1

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

Outputs
(.f64 (.f64 (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal -1 binary64)) (fabs.f64 im)) (fabs.f64 im))
(.f64 (.f64 (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal -1 binary64)) (neg.f64 im)) (neg.f64 im))
(.f64 (.f64 (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal -1 binary64)) im) im)
(.f64 (.f64 (.f64 im im) (-.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re))))) (.f64 re (/.f64 re (*.f64 im im))))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 re (/.f64 re (.f64 im im)))) #s(literal -1 binary64)) (*.f64 im im))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re)))) (fabs.f64 re)) (fabs.f64 re))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re)))) (neg.f64 re)) (neg.f64 re))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re)))) re) re)
(.f64 (.f64 (+.f64 im re) (-.f64 im re)) #s(literal -1 binary64))
(*.f64 (+.f64 (fabs.f64 re) (fabs.f64 im)) (-.f64 (fabs.f64 re) (fabs.f64 im)))
(*.f64 (+.f64 (fabs.f64 re) (neg.f64 im)) (-.f64 (fabs.f64 re) (neg.f64 im)))
(*.f64 (+.f64 (fabs.f64 re) im) (-.f64 (fabs.f64 re) im))
(*.f64 (+.f64 (neg.f64 re) (fabs.f64 im)) (-.f64 (neg.f64 re) (fabs.f64 im)))
(*.f64 (+.f64 (neg.f64 re) (neg.f64 im)) (-.f64 (neg.f64 re) (neg.f64 im)))
(*.f64 (+.f64 (neg.f64 re) im) (-.f64 (neg.f64 re) im))
(*.f64 (+.f64 re (fabs.f64 im)) (-.f64 re (fabs.f64 im)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)) (.f64 re re))) (*.f64 re re))
(.f64 (.f64 (.f64 (-.f64 re im) (+.f64 im re)) (neg.f64 (fma.f64 im im (.f64 re re)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 im im (*.f64 re re)))))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 re (/.f64 re (.f64 im im)))) (.f64 (neg.f64 im) im))
(*.f64 (-.f64 re im) (+.f64 im re))
(*.f64 (+.f64 im re) (-.f64 re im))
(.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (-.f64 re im) (+.f64 im re))) (/.f64 #s(literal 1 binary64) (fma.f64 im im (*.f64 re re))))
(.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (fma.f64 im im (.f64 re re))))))
(.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (fma.f64 im im (.f64 re re))))))
(.f64 (fabs.f64 im) (.f64 (fabs.f64 im) (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal -1 binary64))))
(.f64 (fabs.f64 re) (.f64 (fabs.f64 re) (-.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re))))))
(.f64 (neg.f64 im) (.f64 (neg.f64 im) (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal -1 binary64))))
(.f64 (neg.f64 re) (.f64 (neg.f64 re) (-.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re))))))
(.f64 (fma.f64 re (/.f64 re (.f64 im im)) #s(literal -1 binary64)) (*.f64 im im))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re)))) (.f64 (.f64 re (/.f64 re (.f64 im im))) (*.f64 im im)))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re)))) (.f64 re re))
(.f64 (.f64 re re) (-.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re)))))
(.f64 (.f64 (neg.f64 im) im) (-.f64 #s(literal 1 binary64) (.f64 re (/.f64 re (.f64 im im)))))
(.f64 (.f64 im im) (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal -1 binary64)))
(.f64 (.f64 (-.f64 re im) (+.f64 im re)) #s(literal 1 binary64))
(.f64 im (.f64 im (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal -1 binary64))))
(.f64 re (.f64 re (-.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re))))))
(/.f64 (.f64 (.f64 im im) (fma.f64 (.f64 re (/.f64 re (.f64 im im))) (.f64 re (/.f64 re (.f64 im im))) #s(literal -1 binary64))) (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 im im) (expm1.f64 (.f64 (log.f64 (.f64 re (/.f64 re (.f64 im im)))) #s(literal 3 binary64)))) (fma.f64 (.f64 re (/.f64 re (.f64 im im))) (.f64 re (/.f64 re (.f64 im im))) (fma.f64 re (/.f64 re (.f64 im im)) #s(literal 1 binary64))))
(/.f64 (.f64 (.f64 re re) (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (.f64 (.f64 re re) re) re)))) (+.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re)))))
(/.f64 (.f64 (.f64 re re) (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) #s(literal 3 binary64)) #s(literal 1 binary64))) (fma.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (-.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (fma.f64 (.f64 re (/.f64 re (.f64 im im))) (.f64 re (/.f64 re (.f64 im im))) #s(literal -1 binary64)) (.f64 im im)) (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal 1 binary64)))
(/.f64 (.f64 (expm1.f64 (.f64 (log.f64 (.f64 re (/.f64 re (.f64 im im)))) #s(literal 3 binary64))) (.f64 im im)) (fma.f64 (.f64 re (/.f64 re (.f64 im im))) (.f64 re (/.f64 re (.f64 im im))) (fma.f64 re (/.f64 re (.f64 im im)) #s(literal 1 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (.f64 (.f64 re re) re) re))) (.f64 re re)) (+.f64 #s(literal 1 binary64) (.f64 im (/.f64 im (.f64 re re)))))
(/.f64 (.f64 (+.f64 (pow.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) #s(literal 3 binary64)) #s(literal 1 binary64)) (.f64 re re)) (fma.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (-.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) #s(literal 1 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))) (-.f64 (.f64 re re) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re) (pow.f64 (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 re re) re) re (-.f64 (.f64 (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re))) (.f64 (.f64 re re) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (neg.f64 im) im)) (pow.f64 (.f64 (neg.f64 re) re) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 im im) im) im (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 (neg.f64 im) im) (*.f64 (neg.f64 re) re)))))
(/.f64 (.f64 (.f64 (-.f64 re im) (+.f64 im re)) (neg.f64 (fma.f64 im im (.f64 re re)))) (neg.f64 (fma.f64 im im (.f64 re re))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im)))) (neg.f64 (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (fma.f64 im im (*.f64 re re))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im)))) (neg.f64 (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (fma.f64 im im (*.f64 re re))))))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (-.f64 re im) (+.f64 im re))) (neg.f64 (neg.f64 (fma.f64 im im (.f64 re re)))))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (-.f64 re im) (+.f64 im re))) (fma.f64 im im (.f64 re re)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im))) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (fma.f64 im im (*.f64 re re)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im))) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (fma.f64 im im (*.f64 re re)))))
(/.f64 #s(literal 1 binary64) (/.f64 (neg.f64 (fma.f64 im im (.f64 re re))) (.f64 (.f64 (-.f64 re im) (+.f64 im re)) (neg.f64 (fma.f64 im im (.f64 re re))))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 im im (.f64 re re)) (.f64 (fma.f64 im im (.f64 re re)) (.f64 (-.f64 re im) (+.f64 im re)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (fma.f64 im im (.f64 re re)))) (-.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (.f64 (.f64 (.f64 (.f64 im im) im) im) (*.f64 im im)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (fma.f64 im im (.f64 re re)))) (-.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (.f64 (.f64 (.f64 (.f64 im im) im) im) (*.f64 im im)))))
(neg.f64 (.f64 (.f64 im im) (-.f64 #s(literal 1 binary64) (.f64 re (/.f64 re (.f64 im im))))))
(neg.f64 (*.f64 (+.f64 im re) (-.f64 im re)))
(neg.f64 (-.f64 (.f64 (neg.f64 re) re) (.f64 (neg.f64 im) im)))
(fma.f64 (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (fabs.f64 re)) (fabs.f64 re) (.f64 re re))
(fma.f64 (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (neg.f64 re)) (neg.f64 re) (.f64 re re))
(fma.f64 (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) re) re (.f64 re re))
(fma.f64 (.f64 #s(literal -1 binary64) (fabs.f64 im)) (fabs.f64 im) (.f64 re re))
(fma.f64 (.f64 #s(literal -1 binary64) (neg.f64 im)) (neg.f64 im) (.f64 re re))
(fma.f64 (.f64 #s(literal -1 binary64) im) im (.f64 re re))
(fma.f64 (.f64 (.f64 re re) (.f64 im (/.f64 im (.f64 re re)))) #s(literal -1 binary64) (*.f64 re re))
(fma.f64 (.f64 (.f64 re re) #s(literal -1 binary64)) (.f64 im (/.f64 im (.f64 re re))) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (neg.f64 im) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re)))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 (neg.f64 im) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (neg.f64 im) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re)))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 (neg.f64 im) im))
(fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (*.f64 (neg.f64 im) im))
(fma.f64 (.f64 #s(literal 1 binary64) re) re (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re)))
(fma.f64 (.f64 #s(literal 1 binary64) re) re (.f64 (neg.f64 im) im))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 im) im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 im) im))
(fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (*.f64 (neg.f64 im) im))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) im))
(fma.f64 (neg.f64 (fabs.f64 im)) (fabs.f64 im) (*.f64 re re))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 im) (*.f64 re re))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 im) im))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 (neg.f64 im) im))
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal -1 binary64)) (.f64 re re))
(fma.f64 (fabs.f64 im) (neg.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) (/.f64 (.f64 (neg.f64 im) im) (.f64 re re))) (.f64 re re))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re)))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 im) im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 (neg.f64 im) im))
(fma.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal -1 binary64)) (.f64 re re))
(fma.f64 (neg.f64 im) (neg.f64 (neg.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) (/.f64 (.f64 (neg.f64 im) im) (.f64 re re))) (.f64 re re))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re)))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 im) im))
(fma.f64 (neg.f64 re) (neg.f64 re) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 (neg.f64 im) im))
(fma.f64 (.f64 re (/.f64 re (.f64 im im))) (.f64 im im) (.f64 (neg.f64 im) im))
(fma.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re) (.f64 re re))
(fma.f64 (.f64 im (/.f64 im (.f64 re re))) (.f64 #s(literal -1 binary64) (.f64 re re)) (*.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re)))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (neg.f64 im) im))
(fma.f64 (.f64 re re) (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re)))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (neg.f64 im) im))
(fma.f64 (.f64 im im) (.f64 re (/.f64 re (.f64 im im))) (.f64 (neg.f64 im) im))
(fma.f64 (.f64 im im) #s(literal -1 binary64) (.f64 re re))
(fma.f64 #s(literal -1 binary64) (.f64 (.f64 im (/.f64 im (.f64 re re))) (.f64 re re)) (*.f64 re re))
(fma.f64 #s(literal -1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 im (.f64 im #s(literal -1 binary64)) (.f64 re re))
(fma.f64 im (neg.f64 im) (*.f64 re re))
(fma.f64 re (.f64 re (/.f64 (.f64 (neg.f64 im) im) (.f64 re re))) (.f64 re re))
(fma.f64 re (.f64 re #s(literal 1 binary64)) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re)))
(fma.f64 re (.f64 re #s(literal 1 binary64)) (.f64 (neg.f64 im) im))
(fma.f64 re re (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)))
(fma.f64 re re (*.f64 (neg.f64 im) im))
(-.f64 (/.f64 (.f64 (.f64 (.f64 im im) im) im) (neg.f64 (fma.f64 im im (.f64 re re)))) (/.f64 (.f64 (.f64 (.f64 re re) re) re) (neg.f64 (fma.f64 im im (.f64 re re)))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (fma.f64 im im (.f64 re re))) (/.f64 (.f64 (.f64 (.f64 im im) im) im) (fma.f64 im im (.f64 re re))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (fma.f64 im im (.f64 re re))))) (/.f64 (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im)) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (fma.f64 im im (.f64 re re))))))
(-.f64 (.f64 re re) (.f64 (.f64 im (/.f64 im (.f64 re re))) (*.f64 re re)))
(-.f64 (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(-.f64 (.f64 re re) (.f64 (*.f64 (neg.f64 im) im) #s(literal -1 binary64)))
(-.f64 (.f64 re re) (.f64 (.f64 (neg.f64 re) re) (/.f64 (.f64 (neg.f64 im) im) (*.f64 re re))))
(-.f64 (.f64 re re) (neg.f64 (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re))))
(-.f64 (.f64 re re) (.f64 #s(literal 1 binary64) (*.f64 im im)))
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (.f64 (neg.f64 im) im) (.f64 (neg.f64 re) re))
(+.f64 (.f64 (.f64 im im) (.f64 re (/.f64 re (.f64 im im)))) (*.f64 (neg.f64 im) im))
(+.f64 (.f64 (.f64 re (/.f64 re (.f64 im im))) (.f64 im im)) (*.f64 (neg.f64 im) im))
(+.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (neg.f64 im) im)) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (fma.f64 im im (.f64 re re))))) (/.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (fma.f64 im im (.f64 re re))))))
(+.f64 (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (.f64 re re)) (*.f64 re re))
(+.f64 (.f64 re re) (.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) (*.f64 re re)))
(+.f64 (.f64 re re) (.f64 (neg.f64 im) im))
(+.f64 (.f64 (neg.f64 im) im) (.f64 re re))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 re)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 re)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re))
(.f64 (.f64 #s(literal 1 binary64) re) (*.f64 #s(literal 1 binary64) re))
(.f64 (.f64 #s(literal 1 binary64) re) re)
(.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (fabs.f64 re) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 re) #s(literal 1 binary64)))
(.f64 (.f64 re #s(literal 1 binary64)) (*.f64 re #s(literal 1 binary64)))
(*.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)))
(*.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)))
(*.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)))
(*.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)))
(.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)))
(*.f64 (fabs.f64 re) (fabs.f64 re))
(.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)))
(*.f64 (neg.f64 re) (neg.f64 re))
(.f64 #s(literal 1 binary64) (.f64 re re))
(.f64 (.f64 re re) #s(literal 1 binary64))
(.f64 re (.f64 re #s(literal 1 binary64)))
(*.f64 re re)
(pow.f64 (exp.f64 (log.f64 re)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 re) #s(literal 2 binary64))
(pow.f64 (neg.f64 re) #s(literal 2 binary64))
(pow.f64 (*.f64 re re) #s(literal 1 binary64))
(pow.f64 re #s(literal 2 binary64))
(/.f64 (.f64 (.f64 re re) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 re re)) #s(literal 2 binary64))
(neg.f64 (.f64 #s(literal -1 binary64) (.f64 re re)))
(neg.f64 (.f64 (.f64 re re) #s(literal -1 binary64)))
(neg.f64 (*.f64 (neg.f64 re) re))
(fabs.f64 (*.f64 re re))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 re) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 re) #s(literal 2 binary64) #s(literal 0 binary64)))
(exp.f64 (*.f64 (log.f64 re) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 re) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 re) #s(literal 2 binary64))))
re
(*.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)))
(*.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)))
(*.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)))
(*.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)))
(*.f64 (fabs.f64 im) (fabs.f64 im))
(*.f64 (neg.f64 im) (neg.f64 im))
(*.f64 im im)
(pow.f64 (exp.f64 (log.f64 im)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 im) #s(literal 2 binary64))
(pow.f64 (neg.f64 im) #s(literal 2 binary64))
(pow.f64 (*.f64 im im) #s(literal 1 binary64))
(pow.f64 im #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 im) im))
(fabs.f64 (*.f64 im im))
(exp.f64 (*.f64 (log.f64 im) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 im) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 im) #s(literal 2 binary64))))
im
#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
#s(approx (- (* re re) (* im im)) (*.f64 (-.f64 re im) (+.f64 im re)))
#s(approx (* re re) (*.f64 re re))
#s(approx re re)
#s(approx (- (* re re) (* im im)) (*.f64 (-.f64 re im) (+.f64 im re)))
#s(approx (- (* re re) (* im im)) (*.f64 (-.f64 re im) (+.f64 im re)))
#s(approx (* im im) (*.f64 im im))
#s(approx im im)
#s(approx (- (* re re) (* im im)) (*.f64 (-.f64 re im) (+.f64 im re)))

eval23.0ms (1.1%)

Memory: -17.4MiB live, 36.9MiB allocated; 5ms collecting garbage
Compiler: Compiled 1 595 to 443 computations (72.2% saved)

prune5.0ms (0.2%)

Memory

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

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	203	2	205
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	204	2	206

Accuracy

100.0%

Counts

206 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 (-.f64 re im) (+.f64 im re))
▶	55.9%	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))

Compiler

Compiled 13 to 13 computations (0% saved)

series43.0ms (2.1%)

Memory

-36.9MiB live, 9.7MiB allocated; 2ms collecting garbage

Counts

8 → 31

Calls

Call 1

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

Outputs
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* -1 (pow im 2))))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (- (pow re 2) (pow im 2))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* -1 (pow im 2)) (* re (+ im (* -1 im))))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* -1 (pow im 2)) (* re (+ im (+ re (* -1 im)))))))
#s(approx (- re im) #s(hole binary64 (* -1 im)))
#s(approx (- re im) #s(hole binary64 (- re im)))
#s(approx re #s(hole binary64 re))
#s(approx (+ im re) #s(hole binary64 im))
#s(approx (+ im re) #s(hole binary64 (+ im re)))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (pow re 2)))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (/ im re))))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (+ (* -1 (/ (pow im 2) (pow re 2))) (/ im re)))))))
#s(approx (- re im) #s(hole binary64 (* re (+ 1 (* -1 (/ im re))))))
#s(approx (+ im re) #s(hole binary64 (* re (+ 1 (/ im re)))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (* -1 (/ (+ (* -1 (+ im (* -1 im))) (/ (pow im 2) re)) re))))))
#s(approx (- re im) #s(hole binary64 (* -1 (* re (- (/ im re) 1)))))
#s(approx (+ im re) #s(hole binary64 (* -1 (* re (- (* -1 (/ im re)) 1)))))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (+ (* -1 (pow im 2)) (pow re 2))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* im (+ re (* -1 re))) (pow re 2))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* im (+ re (+ (* -1 im) (* -1 re)))) (pow re 2))))
#s(approx (- re im) #s(hole binary64 (+ re (* -1 im))))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (+ (* -1 (/ re im)) (/ re im)) 1))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (+ (* -1 (/ re im)) (+ (/ re im) (/ (pow re 2) (pow im 2)))) 1))))
#s(approx (- re im) #s(hole binary64 (* im (- (/ re im) 1))))
#s(approx (+ im re) #s(hole binary64 (* im (+ 1 (/ re im)))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (* -1 (/ (+ re (* -1 re)) im)) 1))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (* -1 (/ (+ re (+ (* -1 re) (* -1 (/ (pow re 2) im)))) im)) 1))))
#s(approx (- re im) #s(hole binary64 (* -1 (* im (+ 1 (* -1 (/ re im)))))))
#s(approx (+ im re) #s(hole binary64 (* -1 (* im (- (* -1 (/ re im)) 1)))))

Calls

6 calls:

Time	Variable		Point	Expression
38.0ms	im	@	inf	((- (* re re) (* im im)) (* (neg im) im) (neg im) im (* (- re im) (+ im re)) (- re im) re (+ im re))
2.0ms	im	@	-inf	((- (* re re) (* im im)) (* (neg im) im) (neg im) im (* (- re im) (+ im re)) (- re im) re (+ im re))
1.0ms	re	@	-inf	((- (* re re) (* im im)) (* (neg im) im) (neg im) im (* (- re im) (+ im re)) (- re im) re (+ im re))
1.0ms	re	@	0	((- (* re re) (* im im)) (* (neg im) im) (neg im) im (* (- re im) (+ im re)) (- re im) re (+ im re))
1.0ms	re	@	inf	((- (* re re) (* im im)) (* (neg im) im) (neg im) im (* (- re im) (+ im re)) (- re im) re (+ im re))

rewrite154.0ms (7.5%)

Memory

18.4MiB live, 202.7MiB allocated; 19ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	133	556
0	137	486
1	1054	477
0	8232	468

Stop Event

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

Counts

39 → 184

Calls

Call 1

Inputs
#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
(*.f64 (neg.f64 im) im)
(neg.f64 im)
im
(*.f64 (-.f64 re im) (+.f64 im re))
(-.f64 re im)
re
(+.f64 im re)
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* -1 (pow im 2))))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (- (pow re 2) (pow im 2))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* -1 (pow im 2)) (* re (+ im (* -1 im))))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* -1 (pow im 2)) (* re (+ im (+ re (* -1 im)))))))
#s(approx (- re im) #s(hole binary64 (* -1 im)))
#s(approx (- re im) #s(hole binary64 (- re im)))
#s(approx re #s(hole binary64 re))
#s(approx (+ im re) #s(hole binary64 im))
#s(approx (+ im re) #s(hole binary64 (+ im re)))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (pow re 2)))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (/ im re))))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (+ (* -1 (/ (pow im 2) (pow re 2))) (/ im re)))))))
#s(approx (- re im) #s(hole binary64 (* re (+ 1 (* -1 (/ im re))))))
#s(approx (+ im re) #s(hole binary64 (* re (+ 1 (/ im re)))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (* -1 (/ (+ (* -1 (+ im (* -1 im))) (/ (pow im 2) re)) re))))))
#s(approx (- re im) #s(hole binary64 (* -1 (* re (- (/ im re) 1)))))
#s(approx (+ im re) #s(hole binary64 (* -1 (* re (- (* -1 (/ im re)) 1)))))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (+ (* -1 (pow im 2)) (pow re 2))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* im (+ re (* -1 re))) (pow re 2))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* im (+ re (+ (* -1 im) (* -1 re)))) (pow re 2))))
#s(approx (- re im) #s(hole binary64 (+ re (* -1 im))))
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (+ (* -1 (/ re im)) (/ re im)) 1))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (+ (* -1 (/ re im)) (+ (/ re im) (/ (pow re 2) (pow im 2)))) 1))))
#s(approx (- re im) #s(hole binary64 (* im (- (/ re im) 1))))
#s(approx (+ im re) #s(hole binary64 (* im (+ 1 (/ re im)))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (* -1 (/ (+ re (* -1 re)) im)) 1))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (* -1 (/ (+ re (+ (* -1 re) (* -1 (/ (pow re 2) im)))) im)) 1))))
#s(approx (- re im) #s(hole binary64 (* -1 (* im (+ 1 (* -1 (/ re im)))))))
#s(approx (+ im re) #s(hole binary64 (* -1 (* im (- (* -1 (/ re im)) 1)))))

Outputs
#s(approx (* (- re im) (+ im re)) (*.f64 (neg.f64 im) im))
(*.f64 (neg.f64 im) im)
(.f64 (.f64 im im) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 im im))
(*.f64 im (neg.f64 im))
(neg.f64 (*.f64 im im))
(*.f64 #s(literal -1 binary64) im)
(*.f64 im #s(literal -1 binary64))
(neg.f64 im)
im
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 re re) (.f64 im im))) (.f64 (neg.f64 im) im))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 re) re) (.f64 im im))) (.f64 (neg.f64 im) im))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 im im) (.f64 re re))) (.f64 re re))
(*.f64 (+.f64 im re) (-.f64 re im))
(*.f64 (-.f64 re im) (+.f64 im re))
(/.f64 (-.f64 (.f64 (.f64 (-.f64 re im) im) (.f64 (-.f64 re im) im)) (.f64 (.f64 (-.f64 re im) re) (.f64 (-.f64 re im) re))) (-.f64 (.f64 (-.f64 re im) im) (.f64 (-.f64 re im) re)))
(/.f64 (-.f64 (.f64 (.f64 im (-.f64 re im)) (.f64 im (-.f64 re im))) (.f64 (.f64 re (-.f64 re im)) (.f64 re (-.f64 re im)))) (-.f64 (.f64 im (-.f64 re im)) (.f64 re (-.f64 re im))))
(/.f64 (+.f64 (pow.f64 (.f64 (-.f64 re im) im) #s(literal 3 binary64)) (pow.f64 (.f64 (-.f64 re im) re) #s(literal 3 binary64))) (fma.f64 (.f64 (-.f64 re im) im) (.f64 (-.f64 re im) im) (-.f64 (.f64 (.f64 (-.f64 re im) re) (.f64 (-.f64 re im) re)) (.f64 (.f64 (-.f64 re im) im) (.f64 (-.f64 re im) re)))))
(/.f64 (+.f64 (pow.f64 (.f64 im (-.f64 re im)) #s(literal 3 binary64)) (pow.f64 (.f64 re (-.f64 re im)) #s(literal 3 binary64))) (fma.f64 (.f64 im (-.f64 re im)) (.f64 im (-.f64 re im)) (-.f64 (.f64 (.f64 re (-.f64 re im)) (.f64 re (-.f64 re im))) (.f64 (.f64 im (-.f64 re im)) (.f64 re (-.f64 re im))))))
(/.f64 (fma.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re) (neg.f64 (.f64 (.f64 (.f64 im im) im) (.f64 (.f64 im im) im)))) (fma.f64 (.f64 re re) (.f64 re re) (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (*.f64 (neg.f64 im) im)))))
(/.f64 (-.f64 (neg.f64 (.f64 (.f64 (.f64 im im) im) (.f64 (.f64 im im) im))) (pow.f64 (neg.f64 (.f64 re re)) #s(literal 3 binary64))) (fma.f64 (.f64 im im) (.f64 im im) (fma.f64 (.f64 re re) (.f64 re re) (.f64 (.f64 (neg.f64 im) im) (neg.f64 (*.f64 re re))))))
(/.f64 (.f64 (-.f64 (.f64 im im) (.f64 re re)) (fma.f64 (.f64 re re) re (.f64 (neg.f64 im) (.f64 im im)))) (.f64 (-.f64 im re) (fma.f64 re re (-.f64 (.f64 im im) (*.f64 re (neg.f64 im))))))
(/.f64 (.f64 (-.f64 (.f64 im im) (.f64 re re)) (-.f64 (.f64 (.f64 re re) re) (.f64 (.f64 im im) im))) (.f64 (-.f64 im re) (fma.f64 re re (fma.f64 im im (*.f64 re im)))))
(/.f64 (.f64 (-.f64 (.f64 im im) (.f64 re re)) (.f64 (+.f64 im re) (-.f64 re im))) (*.f64 (-.f64 im re) (+.f64 im re)))
(/.f64 (.f64 (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re)) (fma.f64 (.f64 re re) re (.f64 (neg.f64 im) (.f64 im im)))) (.f64 (fma.f64 im im (-.f64 (.f64 re re) (.f64 im re))) (fma.f64 re re (-.f64 (.f64 im im) (.f64 re (neg.f64 im))))))
(/.f64 (.f64 (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re)) (-.f64 (.f64 (.f64 re re) re) (.f64 (.f64 im im) im))) (.f64 (fma.f64 im im (-.f64 (.f64 re re) (.f64 im re))) (fma.f64 re re (fma.f64 im im (.f64 re im)))))
(/.f64 (.f64 (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re)) (.f64 (+.f64 im re) (-.f64 re im))) (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re)))
(/.f64 (.f64 (fma.f64 (.f64 re re) re (.f64 (neg.f64 im) (.f64 im im))) (-.f64 (.f64 im im) (.f64 re re))) (.f64 (fma.f64 re re (-.f64 (.f64 im im) (*.f64 re (neg.f64 im)))) (-.f64 im re)))
(/.f64 (.f64 (fma.f64 (.f64 re re) re (.f64 (neg.f64 im) (.f64 im im))) (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re))) (.f64 (fma.f64 re re (-.f64 (.f64 im im) (.f64 re (neg.f64 im)))) (fma.f64 im im (-.f64 (.f64 re re) (.f64 im re)))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 re re) re) (.f64 (.f64 im im) im)) (-.f64 (.f64 im im) (.f64 re re))) (.f64 (fma.f64 re re (fma.f64 im im (*.f64 re im))) (-.f64 im re)))
(/.f64 (.f64 (-.f64 (.f64 (.f64 re re) re) (.f64 (.f64 im im) im)) (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re))) (.f64 (fma.f64 re re (fma.f64 im im (.f64 re im))) (fma.f64 im im (-.f64 (.f64 re re) (.f64 im re)))))
(/.f64 (.f64 (.f64 (+.f64 im re) (-.f64 re im)) (-.f64 (.f64 im im) (.f64 re re))) (*.f64 (+.f64 im re) (-.f64 im re)))
(/.f64 (.f64 (.f64 (+.f64 im re) (-.f64 re im)) (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re))) (.f64 (+.f64 im re) (fma.f64 im im (-.f64 (.f64 re re) (.f64 im re)))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re)))) (neg.f64 (-.f64 (.f64 (neg.f64 im) im) (.f64 re re))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im)))) (neg.f64 (fma.f64 re re (*.f64 im im))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (neg.f64 im) im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)))) (neg.f64 (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 (neg.f64 im) im) (*.f64 re re))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (.f64 (.f64 (.f64 im im) im) (.f64 (.f64 im im) im)))) (neg.f64 (fma.f64 (.f64 re re) (.f64 re re) (fma.f64 (.f64 im im) (.f64 im im) (.f64 (.f64 re re) (*.f64 im im))))))
(/.f64 (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) (fma.f64 (neg.f64 im) im (neg.f64 (*.f64 re re))))
(/.f64 (-.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (.f64 re re) (.f64 re re))) (-.f64 (.f64 (neg.f64 im) im) (.f64 re re)))
(/.f64 (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) (-.f64 (.f64 re re) (.f64 (neg.f64 im) im)))
(/.f64 (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 im im) (.f64 im im))) (fma.f64 re re (*.f64 im im)))
(/.f64 (fma.f64 (.f64 (.f64 im im) (.f64 im im)) (.f64 (neg.f64 im) im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 (neg.f64 im) im) (*.f64 re re)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (.f64 (.f64 (.f64 im im) im) (.f64 (.f64 im im) im))) (fma.f64 (.f64 re re) (.f64 re re) (fma.f64 (.f64 im im) (.f64 im im) (.f64 (.f64 re re) (*.f64 im im)))))
(neg.f64 (-.f64 (.f64 im im) (.f64 re re)))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) im))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) im))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 (neg.f64 im) im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 im) im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 (neg.f64 im) im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 (neg.f64 im) im))
(fma.f64 (neg.f64 im) im (*.f64 re re))
(fma.f64 (-.f64 re im) im (*.f64 (-.f64 re im) re))
(fma.f64 (.f64 im im) #s(literal -1 binary64) (.f64 re re))
(fma.f64 #s(literal -1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 im (neg.f64 im) (*.f64 re re))
(fma.f64 im (-.f64 re im) (*.f64 re (-.f64 re im)))
(fma.f64 re re (*.f64 (neg.f64 im) im))
(-.f64 (/.f64 (.f64 (.f64 im im) (.f64 im im)) (-.f64 (.f64 (neg.f64 im) im) (.f64 re re))) (/.f64 (.f64 (.f64 re re) (.f64 re re)) (-.f64 (.f64 (neg.f64 im) im) (.f64 re re))))
(-.f64 (/.f64 (.f64 (.f64 re re) (.f64 re re)) (fma.f64 re re (.f64 im im))) (/.f64 (.f64 (.f64 im im) (.f64 im im)) (fma.f64 re re (.f64 im im))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (fma.f64 (.f64 re re) (.f64 re re) (fma.f64 (.f64 im im) (.f64 im im) (.f64 (.f64 re re) (.f64 im im))))) (/.f64 (.f64 (.f64 (.f64 im im) im) (.f64 (.f64 im im) im)) (fma.f64 (.f64 re re) (.f64 re re) (fma.f64 (.f64 im im) (.f64 im im) (.f64 (.f64 re re) (.f64 im im))))))
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (.f64 (neg.f64 im) im) (neg.f64 (.f64 re re)))
(+.f64 (/.f64 (neg.f64 (.f64 (.f64 (.f64 im im) im) (.f64 (.f64 im im) im))) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 (neg.f64 im) im) (.f64 re re))))) (/.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (fma.f64 (.f64 im im) (.f64 im im) (-.f64 (.f64 (.f64 re re) (.f64 re re)) (.f64 (.f64 (neg.f64 im) im) (.f64 re re))))))
(+.f64 (.f64 (-.f64 re im) im) (.f64 (-.f64 re im) re))
(+.f64 (.f64 im (-.f64 re im)) (.f64 re (-.f64 re im)))
(+.f64 (.f64 re re) (.f64 (neg.f64 im) im))
(+.f64 (.f64 (neg.f64 im) im) (.f64 re re))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 (neg.f64 (neg.f64 im)) re)) re)
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 #s(literal 1 binary64) im) re)) re)
(.f64 (/.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 re) re) (.f64 im im))) (+.f64 (/.f64 re im) #s(literal 1 binary64))) (/.f64 (.f64 (neg.f64 im) im) im))
(.f64 (/.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (neg.f64 re) re) (.f64 im im))) im) (/.f64 (.f64 (neg.f64 im) im) (+.f64 (/.f64 re im) #s(literal 1 binary64))))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 im im) (.f64 re re))) (+.f64 (/.f64 re im) #s(literal 1 binary64))) (/.f64 (.f64 re re) im))
(.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 im im) (.f64 re re))) im) (/.f64 (.f64 re re) (+.f64 (/.f64 re im) #s(literal 1 binary64))))
(*.f64 (/.f64 (+.f64 im re) im) (/.f64 (-.f64 re im) (+.f64 (/.f64 re im) #s(literal 1 binary64))))
(*.f64 (/.f64 (-.f64 re im) (+.f64 (/.f64 re im) #s(literal 1 binary64))) (/.f64 (+.f64 im re) im))
(*.f64 (/.f64 (+.f64 im re) (+.f64 (/.f64 re im) #s(literal 1 binary64))) (/.f64 (-.f64 re im) im))
(*.f64 (/.f64 (-.f64 re im) im) (/.f64 (+.f64 im re) (+.f64 (/.f64 re im) #s(literal 1 binary64))))
(*.f64 (-.f64 im re) #s(literal -1 binary64))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 im re)) re)
(*.f64 (neg.f64 im) (-.f64 #s(literal 1 binary64) (/.f64 re im)))
(*.f64 #s(literal -1 binary64) (-.f64 im re))
(*.f64 re (-.f64 #s(literal 1 binary64) (/.f64 im re)))
(/.f64 (-.f64 (.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64))) (.f64 (.f64 re (/.f64 (neg.f64 im) re)) (.f64 re (/.f64 (neg.f64 im) re)))) (-.f64 (.f64 re #s(literal 1 binary64)) (.f64 re (/.f64 (neg.f64 im) re))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re)) (.f64 (.f64 (/.f64 (neg.f64 im) re) re) (.f64 (/.f64 (neg.f64 im) re) re))) (-.f64 (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 (neg.f64 im) re) re)))
(/.f64 (-.f64 (.f64 re re) (.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im))) (+.f64 re (*.f64 #s(literal 1 binary64) im)))
(/.f64 (+.f64 (pow.f64 (.f64 re #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 re (/.f64 (neg.f64 im) re)) #s(literal 3 binary64))) (fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (-.f64 (.f64 (.f64 re (/.f64 (neg.f64 im) re)) (.f64 re (/.f64 (neg.f64 im) re))) (.f64 (.f64 re #s(literal 1 binary64)) (.f64 re (/.f64 (neg.f64 im) re))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1 binary64) re) #s(literal 3 binary64)) (pow.f64 (.f64 (/.f64 (neg.f64 im) re) re) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (-.f64 (.f64 (.f64 (/.f64 (neg.f64 im) re) re) (.f64 (/.f64 (neg.f64 im) re) re)) (.f64 (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 (neg.f64 im) re) re)))))
(/.f64 (fma.f64 (neg.f64 im) (.f64 im im) (.f64 (.f64 re re) re)) (fma.f64 im im (-.f64 (.f64 re re) (*.f64 (neg.f64 im) re))))
(/.f64 (-.f64 (.f64 (.f64 re re) re) (pow.f64 (neg.f64 (neg.f64 im)) #s(literal 3 binary64))) (fma.f64 re re (fma.f64 im im (*.f64 re (neg.f64 (neg.f64 im))))))
(/.f64 (-.f64 (.f64 (.f64 re re) re) (pow.f64 (.f64 #s(literal 1 binary64) im) #s(literal 3 binary64))) (fma.f64 re re (fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (.f64 re (*.f64 #s(literal 1 binary64) im)))))
(/.f64 (neg.f64 (fma.f64 (.f64 re re) re (.f64 (neg.f64 im) (.f64 im im)))) (neg.f64 (fma.f64 re re (-.f64 (.f64 im im) (*.f64 re (neg.f64 im))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 re re) re) (.f64 (.f64 im im) im))) (neg.f64 (fma.f64 re re (fma.f64 im im (*.f64 re im)))))
(/.f64 (neg.f64 (*.f64 (+.f64 im re) (-.f64 re im))) (neg.f64 (+.f64 im re)))
(/.f64 (-.f64 (.f64 im im) (.f64 re re)) (-.f64 (neg.f64 im) re))
(/.f64 (fma.f64 (.f64 re re) re (.f64 (neg.f64 im) (.f64 im im))) (fma.f64 re re (-.f64 (.f64 im im) (*.f64 re (neg.f64 im)))))
(/.f64 (-.f64 (.f64 (.f64 re re) re) (.f64 (.f64 im im) im)) (fma.f64 re re (fma.f64 im im (*.f64 re im))))
(/.f64 (*.f64 (+.f64 im re) (-.f64 re im)) (+.f64 re (neg.f64 (neg.f64 im))))
(/.f64 (*.f64 (+.f64 im re) (-.f64 re im)) (+.f64 im re))
(neg.f64 (-.f64 im re))
(fma.f64 #s(literal 1 binary64) re (*.f64 (/.f64 (neg.f64 im) re) re))
(fma.f64 #s(literal -1 binary64) im re)
(fma.f64 im #s(literal -1 binary64) re)
(fma.f64 re #s(literal 1 binary64) (*.f64 re (/.f64 (neg.f64 im) re)))
(-.f64 (/.f64 (.f64 (.f64 re re) re) (fma.f64 re re (fma.f64 im im (.f64 re im)))) (/.f64 (.f64 (.f64 im im) im) (fma.f64 re re (fma.f64 im im (.f64 re im)))))
(-.f64 (/.f64 (.f64 re re) (+.f64 im re)) (/.f64 (.f64 im im) (+.f64 im re)))
(-.f64 (/.f64 (.f64 (neg.f64 im) im) (+.f64 im re)) (/.f64 (neg.f64 (.f64 re re)) (+.f64 im re)))
(-.f64 re (neg.f64 (neg.f64 im)))
(-.f64 re (*.f64 #s(literal 1 binary64) im))
(-.f64 re im)
(+.f64 (/.f64 (.f64 (.f64 re re) re) (fma.f64 re re (-.f64 (.f64 im im) (.f64 re (neg.f64 im))))) (/.f64 (.f64 (neg.f64 im) (.f64 im im)) (fma.f64 re re (-.f64 (.f64 im im) (.f64 re (neg.f64 im))))))
(+.f64 (/.f64 (.f64 (-.f64 re im) im) (+.f64 im re)) (/.f64 (.f64 (-.f64 re im) re) (+.f64 im re)))
(+.f64 (/.f64 (.f64 im (-.f64 re im)) (+.f64 im re)) (/.f64 (.f64 re (-.f64 re im)) (+.f64 im re)))
(+.f64 (/.f64 (.f64 re re) (+.f64 im re)) (/.f64 (.f64 (neg.f64 im) im) (+.f64 im re)))
(+.f64 (/.f64 (.f64 (neg.f64 im) im) (+.f64 im re)) (/.f64 (.f64 re re) (+.f64 im re)))
(+.f64 (.f64 re #s(literal 1 binary64)) (.f64 re (/.f64 (neg.f64 im) re)))
(+.f64 (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 (neg.f64 im) re) re))
(+.f64 (neg.f64 im) re)
(+.f64 re (neg.f64 im))
re
(*.f64 (+.f64 (/.f64 re im) #s(literal 1 binary64)) im)
(*.f64 (+.f64 (/.f64 im re) #s(literal 1 binary64)) re)
(*.f64 im (+.f64 (/.f64 re im) #s(literal 1 binary64)))
(*.f64 re (+.f64 (/.f64 im re) #s(literal 1 binary64)))
(/.f64 (-.f64 (.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64))) (.f64 (.f64 im (/.f64 re im)) (.f64 im (/.f64 re im)))) (-.f64 (.f64 im #s(literal 1 binary64)) (.f64 im (/.f64 re im))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im)) (.f64 (.f64 (/.f64 re im) im) (.f64 (/.f64 re im) im))) (-.f64 (.f64 #s(literal 1 binary64) im) (.f64 (/.f64 re im) im)))
(/.f64 (-.f64 (.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64))) (.f64 (.f64 re (/.f64 im re)) (.f64 re (/.f64 im re)))) (-.f64 (.f64 re #s(literal 1 binary64)) (.f64 re (/.f64 im re))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re)) (.f64 (.f64 (/.f64 im re) re) (.f64 (/.f64 im re) re))) (-.f64 (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 im re) re)))
(/.f64 (+.f64 (pow.f64 (.f64 im #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 im (/.f64 re im)) #s(literal 3 binary64))) (fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (-.f64 (.f64 (.f64 im (/.f64 re im)) (.f64 im (/.f64 re im))) (.f64 (.f64 im #s(literal 1 binary64)) (.f64 im (/.f64 re im))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1 binary64) im) #s(literal 3 binary64)) (pow.f64 (.f64 (/.f64 re im) im) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (-.f64 (.f64 (.f64 (/.f64 re im) im) (.f64 (/.f64 re im) im)) (.f64 (.f64 #s(literal 1 binary64) im) (.f64 (/.f64 re im) im)))))
(/.f64 (fma.f64 (.f64 re re) re (.f64 (.f64 im im) im)) (fma.f64 re re (-.f64 (.f64 im im) (*.f64 re im))))
(/.f64 (+.f64 (pow.f64 (.f64 re #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 re (/.f64 im re)) #s(literal 3 binary64))) (fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (-.f64 (.f64 (.f64 re (/.f64 im re)) (.f64 re (/.f64 im re))) (.f64 (.f64 re #s(literal 1 binary64)) (.f64 re (/.f64 im re))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1 binary64) re) #s(literal 3 binary64)) (pow.f64 (.f64 (/.f64 im re) re) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (-.f64 (.f64 (.f64 (/.f64 im re) re) (.f64 (/.f64 im re) re)) (.f64 (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 im re) re)))))
(/.f64 (-.f64 (.f64 (.f64 im im) im) (.f64 (neg.f64 re) (.f64 re re))) (fma.f64 im im (fma.f64 re re (*.f64 im (neg.f64 re)))))
(/.f64 (-.f64 (.f64 (.f64 re re) re) (.f64 (neg.f64 im) (.f64 im im))) (fma.f64 re re (fma.f64 im im (*.f64 re (neg.f64 im)))))
(/.f64 (neg.f64 (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re))) (neg.f64 (fma.f64 im im (-.f64 (.f64 re re) (*.f64 im re)))))
(/.f64 (-.f64 (.f64 im im) (.f64 re re)) (+.f64 im (neg.f64 re)))
(/.f64 (-.f64 (.f64 im im) (.f64 re re)) (-.f64 im re))
(/.f64 (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re)) (fma.f64 im im (-.f64 (.f64 re re) (*.f64 im re))))
(/.f64 (*.f64 (+.f64 im re) (-.f64 re im)) (-.f64 re im))
(fma.f64 #s(literal 1 binary64) im (*.f64 (/.f64 re im) im))
(fma.f64 #s(literal 1 binary64) re (*.f64 (/.f64 im re) re))
(fma.f64 im #s(literal 1 binary64) (*.f64 im (/.f64 re im)))
(fma.f64 re #s(literal 1 binary64) (*.f64 re (/.f64 im re)))
(-.f64 (/.f64 (.f64 im im) (-.f64 im re)) (/.f64 (.f64 re re) (-.f64 im re)))
(-.f64 im (neg.f64 re))
(-.f64 re (neg.f64 im))
(+.f64 (/.f64 (.f64 (.f64 im im) im) (fma.f64 im im (-.f64 (.f64 re re) (.f64 im re)))) (/.f64 (.f64 (.f64 re re) re) (fma.f64 im im (-.f64 (.f64 re re) (.f64 im re)))))
(+.f64 (.f64 re #s(literal 1 binary64)) (.f64 re (/.f64 im re)))
(+.f64 (.f64 im #s(literal 1 binary64)) (.f64 im (/.f64 re im)))
(+.f64 (.f64 #s(literal 1 binary64) im) (.f64 (/.f64 re im) im))
(+.f64 (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 im re) re))
(+.f64 im re)
(+.f64 re im)
#s(approx (* (- re im) (+ im re)) (*.f64 (neg.f64 im) im))
#s(approx (* (- re im) (+ im re)) (*.f64 (+.f64 im re) (-.f64 re im)))
#s(approx (* (- re im) (+ im re)) (fma.f64 (neg.f64 im) im (.f64 (.f64 #s(literal 0 binary64) im) re)))
#s(approx (* (- re im) (+ im re)) (fma.f64 (neg.f64 im) im (*.f64 (+.f64 (-.f64 re im) im) re)))
#s(approx (- re im) (neg.f64 im))
#s(approx (- re im) (-.f64 re im))
#s(approx re re)
#s(approx (+ im re) im)
#s(approx (+ im re) (+.f64 im re))
#s(approx (* (- re im) (+ im re)) (*.f64 re re))
#s(approx (* (- re im) (+ im re)) (.f64 (fma.f64 (/.f64 im (neg.f64 re)) (/.f64 im re) #s(literal 1 binary64)) (.f64 re re)))
#s(approx (* (- re im) (+ im re)) (.f64 (fma.f64 #s(literal 0 binary64) (/.f64 im re) #s(literal 1 binary64)) (.f64 re re)))
#s(approx (* (- re im) (+ im re)) (.f64 (/.f64 (+.f64 (-.f64 re im) (fma.f64 (/.f64 (.f64 (neg.f64 im) im) (.f64 re re)) re im)) re) (.f64 re re)))
#s(approx (- re im) (-.f64 re im))
#s(approx (+ im re) (+.f64 im re))
#s(approx (* (- re im) (+ im re)) (.f64 (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 (.f64 im im) re) (neg.f64 (.f64 #s(literal 0 binary64) im))) re)) #s(literal 1 binary64)) (.f64 re re)))
#s(approx (- re im) (*.f64 (neg.f64 re) (-.f64 (/.f64 im re) #s(literal 1 binary64))))
#s(approx (+ im re) (*.f64 (neg.f64 re) (-.f64 (/.f64 (neg.f64 im) re) #s(literal 1 binary64))))
#s(approx (* (- re im) (+ im re)) (*.f64 (+.f64 im re) (-.f64 re im)))
#s(approx (* (- re im) (+ im re)) (fma.f64 (.f64 #s(literal 0 binary64) re) im (.f64 re re)))
#s(approx (* (- re im) (+ im re)) (fma.f64 (+.f64 (-.f64 re im) (neg.f64 re)) im (*.f64 re re)))
#s(approx (- re im) (-.f64 re im))
#s(approx (* (- re im) (+ im re)) (.f64 (fma.f64 (/.f64 re im) (/.f64 re im) #s(literal -1 binary64)) (.f64 im im)))
#s(approx (* (- re im) (+ im re)) (.f64 (fma.f64 #s(literal 0 binary64) (/.f64 re im) #s(literal -1 binary64)) (.f64 im im)))
#s(approx (* (- re im) (+ im re)) (.f64 (-.f64 (fma.f64 #s(literal 0 binary64) (/.f64 re im) (/.f64 (.f64 re re) (.f64 im im))) #s(literal 1 binary64)) (.f64 im im)))
#s(approx (- re im) (*.f64 (-.f64 (/.f64 re im) #s(literal 1 binary64)) im))
#s(approx (+ im re) (+.f64 im re))
#s(approx (* (- re im) (+ im re)) (.f64 (-.f64 (neg.f64 (.f64 #s(literal 0 binary64) (/.f64 re im))) #s(literal 1 binary64)) (*.f64 im im)))
#s(approx (* (- re im) (+ im re)) (.f64 (-.f64 (neg.f64 (/.f64 (fma.f64 #s(literal 0 binary64) re (neg.f64 (/.f64 (.f64 re re) im))) im)) #s(literal 1 binary64)) (*.f64 im im)))
#s(approx (- re im) (-.f64 re im))
#s(approx (+ im re) (*.f64 (neg.f64 im) (-.f64 (/.f64 (neg.f64 re) im) #s(literal 1 binary64))))

eval18.0ms (0.9%)

Memory: -5.3MiB live, 39.6MiB allocated; 5ms collecting garbage
Compiler: Compiled 1 678 to 609 computations (63.7% saved)

prune3.0ms (0.2%)

Memory

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

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	168	2	170
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	168	4	172

Accuracy

100.0%

Counts

172 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (-.f64 re im) (+.f64 im re))
▶	55.3%	(*.f64 #s(approx (- re im) (neg.f64 im)) (+.f64 im re))
✓	55.9%	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
▶	54.4%	#s(approx (* (- re im) (+ im re)) (*.f64 re re))

Compiler

Compiled 27 to 27 computations (0% saved)

series3.0ms (0.2%)

Memory

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

Counts

8 → 27

Calls

Call 1

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

Outputs
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* -1 (pow im 2))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* -1 (pow im 2)) (* re (+ im (* -1 im))))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* -1 (pow im 2)) (* re (+ im (+ re (* -1 im)))))))
#s(approx (* re re) #s(hole binary64 (pow re 2)))
#s(approx re #s(hole binary64 re))
#s(approx (- re im) #s(hole binary64 (* -1 im)))
#s(approx (- re im) #s(hole binary64 (- re im)))
#s(approx (+ im re) #s(hole binary64 im))
#s(approx (+ im re) #s(hole binary64 (+ im re)))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (/ im re))))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (+ (* -1 (/ (pow im 2) (pow re 2))) (/ im re)))))))
#s(approx (- re im) #s(hole binary64 (* re (+ 1 (* -1 (/ im re))))))
#s(approx (+ im re) #s(hole binary64 (* re (+ 1 (/ im re)))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (* -1 (/ (+ (* -1 (+ im (* -1 im))) (/ (pow im 2) re)) re))))))
#s(approx (- re im) #s(hole binary64 (* -1 (* re (- (/ im re) 1)))))
#s(approx (+ im re) #s(hole binary64 (* -1 (* re (- (* -1 (/ im re)) 1)))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* im (+ re (* -1 re))) (pow re 2))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* im (+ re (+ (* -1 im) (* -1 re)))) (pow re 2))))
#s(approx (- re im) #s(hole binary64 (+ re (* -1 im))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (+ (* -1 (/ re im)) (/ re im)) 1))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (+ (* -1 (/ re im)) (+ (/ re im) (/ (pow re 2) (pow im 2)))) 1))))
#s(approx (- re im) #s(hole binary64 (* im (- (/ re im) 1))))
#s(approx (+ im re) #s(hole binary64 (* im (+ 1 (/ re im)))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (* -1 (/ (+ re (* -1 re)) im)) 1))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (* -1 (/ (+ re (+ (* -1 re) (* -1 (/ (pow re 2) im)))) im)) 1))))
#s(approx (- re im) #s(hole binary64 (* -1 (* im (+ 1 (* -1 (/ re im)))))))
#s(approx (+ im re) #s(hole binary64 (* -1 (* im (- (* -1 (/ re im)) 1)))))

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	-inf	((* (- re im) (+ im re)) (* re re) re (* (- re im) (+ im re)) (- re im) (neg im) im (+ im re))
1.0ms	re	@	inf	((* (- re im) (+ im re)) (* re re) re (* (- re im) (+ im re)) (- re im) (neg im) im (+ im re))
0.0ms	im	@	-inf	((* (- re im) (+ im re)) (* re re) re (* (- re im) (+ im re)) (- re im) (neg im) im (+ im re))
0.0ms	re	@	0	((* (- re im) (+ im re)) (* re re) re (* (- re im) (+ im re)) (- re im) (neg im) im (+ im re))
0.0ms	im	@	inf	((* (- re im) (+ im re)) (* re re) re (* (- re im) (+ im re)) (- re im) (neg im) im (+ im re))

rewrite221.0ms (10.8%)

Memory

0.2MiB live, 148.7MiB allocated; 47ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	121	480
0	126	413
1	969	408
0	8234	399

Stop Event

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

Counts

35 → 99

Calls

Call 1

Inputs
#s(approx (* (- re im) (+ im re)) (*.f64 re re))
(*.f64 re re)
re
(*.f64 #s(approx (- re im) (neg.f64 im)) (+.f64 im re))
#s(approx (- re im) (neg.f64 im))
(neg.f64 im)
im
(+.f64 im re)
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* -1 (pow im 2))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* -1 (pow im 2)) (* re (+ im (* -1 im))))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* -1 (pow im 2)) (* re (+ im (+ re (* -1 im)))))))
#s(approx (* re re) #s(hole binary64 (pow re 2)))
#s(approx re #s(hole binary64 re))
#s(approx (- re im) #s(hole binary64 (* -1 im)))
#s(approx (- re im) #s(hole binary64 (- re im)))
#s(approx (+ im re) #s(hole binary64 im))
#s(approx (+ im re) #s(hole binary64 (+ im re)))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (/ im re))))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (+ (* -1 (/ im re)) (+ (* -1 (/ (pow im 2) (pow re 2))) (/ im re)))))))
#s(approx (- re im) #s(hole binary64 (* re (+ 1 (* -1 (/ im re))))))
#s(approx (+ im re) #s(hole binary64 (* re (+ 1 (/ im re)))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow re 2) (+ 1 (* -1 (/ (+ (* -1 (+ im (* -1 im))) (/ (pow im 2) re)) re))))))
#s(approx (- re im) #s(hole binary64 (* -1 (* re (- (/ im re) 1)))))
#s(approx (+ im re) #s(hole binary64 (* -1 (* re (- (* -1 (/ im re)) 1)))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* im (+ re (* -1 re))) (pow re 2))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (+ (* im (+ re (+ (* -1 im) (* -1 re)))) (pow re 2))))
#s(approx (- re im) #s(hole binary64 (+ re (* -1 im))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (+ (* -1 (/ re im)) (/ re im)) 1))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (+ (* -1 (/ re im)) (+ (/ re im) (/ (pow re 2) (pow im 2)))) 1))))
#s(approx (- re im) #s(hole binary64 (* im (- (/ re im) 1))))
#s(approx (+ im re) #s(hole binary64 (* im (+ 1 (/ re im)))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (* -1 (/ (+ re (* -1 re)) im)) 1))))
#s(approx (* (- re im) (+ im re)) #s(hole binary64 (* (pow im 2) (- (* -1 (/ (+ re (+ (* -1 re) (* -1 (/ (pow re 2) im)))) im)) 1))))
#s(approx (- re im) #s(hole binary64 (* -1 (* im (+ 1 (* -1 (/ re im)))))))
#s(approx (+ im re) #s(hole binary64 (* -1 (* im (- (* -1 (/ re im)) 1)))))

Outputs
#s(approx (* (- re im) (+ im re)) (*.f64 re re))
(*.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)))
(*.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)))
(*.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)))
(*.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)))
(*.f64 (fabs.f64 re) (fabs.f64 re))
(*.f64 (neg.f64 re) (neg.f64 re))
(*.f64 re re)
(pow.f64 (exp.f64 (log.f64 re)) #s(literal 2 binary64))
(pow.f64 (fabs.f64 re) #s(literal 2 binary64))
(pow.f64 (neg.f64 re) #s(literal 2 binary64))
(pow.f64 (*.f64 re re) #s(literal 1 binary64))
(pow.f64 re #s(literal 2 binary64))
(fabs.f64 (*.f64 re re))
(exp.f64 (*.f64 (log.f64 re) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 re) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 re) #s(literal 2 binary64))))
re
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 #s(approx (- re im) (neg.f64 im)) re) (.f64 #s(approx (- re im) (neg.f64 im)) im))) (.f64 #s(approx (- re im) (neg.f64 im)) im))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 re #s(approx (- re im) (neg.f64 im))) (.f64 im #s(approx (- re im) (neg.f64 im))))) (.f64 im #s(approx (- re im) (neg.f64 im))))
(*.f64 #s(approx (- re im) (neg.f64 im)) (+.f64 im re))
(*.f64 (+.f64 im re) #s(approx (- re im) (neg.f64 im)))
(/.f64 (-.f64 (.f64 (.f64 #s(approx (- re im) (neg.f64 im)) im) (.f64 #s(approx (- re im) (neg.f64 im)) im)) (.f64 (.f64 #s(approx (- re im) (neg.f64 im)) re) (.f64 #s(approx (- re im) (neg.f64 im)) re))) (-.f64 (.f64 #s(approx (- re im) (neg.f64 im)) im) (.f64 #s(approx (- re im) (neg.f64 im)) re)))
(/.f64 (-.f64 (.f64 (.f64 im #s(approx (- re im) (neg.f64 im))) (.f64 im #s(approx (- re im) (neg.f64 im)))) (.f64 (.f64 re #s(approx (- re im) (neg.f64 im))) (.f64 re #s(approx (- re im) (neg.f64 im))))) (-.f64 (.f64 im #s(approx (- re im) (neg.f64 im))) (.f64 re #s(approx (- re im) (neg.f64 im)))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(approx (- re im) (neg.f64 im)) im) #s(literal 3 binary64)) (pow.f64 (.f64 #s(approx (- re im) (neg.f64 im)) re) #s(literal 3 binary64))) (fma.f64 (.f64 #s(approx (- re im) (neg.f64 im)) im) (.f64 #s(approx (- re im) (neg.f64 im)) im) (-.f64 (.f64 (.f64 #s(approx (- re im) (neg.f64 im)) re) (.f64 #s(approx (- re im) (neg.f64 im)) re)) (.f64 (.f64 #s(approx (- re im) (neg.f64 im)) im) (.f64 #s(approx (- re im) (neg.f64 im)) re)))))
(/.f64 (+.f64 (pow.f64 (.f64 im #s(approx (- re im) (neg.f64 im))) #s(literal 3 binary64)) (pow.f64 (.f64 re #s(approx (- re im) (neg.f64 im))) #s(literal 3 binary64))) (fma.f64 (.f64 im #s(approx (- re im) (neg.f64 im))) (.f64 im #s(approx (- re im) (neg.f64 im))) (-.f64 (.f64 (.f64 re #s(approx (- re im) (neg.f64 im))) (.f64 re #s(approx (- re im) (neg.f64 im)))) (.f64 (.f64 im #s(approx (- re im) (neg.f64 im))) (.f64 re #s(approx (- re im) (neg.f64 im)))))))
(fma.f64 #s(approx (- re im) (neg.f64 im)) im (*.f64 #s(approx (- re im) (neg.f64 im)) re))
(fma.f64 im #s(approx (- re im) (neg.f64 im)) (*.f64 re #s(approx (- re im) (neg.f64 im))))
(+.f64 (.f64 #s(approx (- re im) (neg.f64 im)) im) (.f64 #s(approx (- re im) (neg.f64 im)) re))
(+.f64 (.f64 im #s(approx (- re im) (neg.f64 im))) (.f64 re #s(approx (- re im) (neg.f64 im))))
#s(approx (- re im) (neg.f64 im))
(*.f64 #s(literal -1 binary64) im)
(*.f64 im #s(literal -1 binary64))
(neg.f64 im)
im
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 im (/.f64 re im)) (.f64 im #s(literal 1 binary64)))) (.f64 im #s(literal 1 binary64)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 re im) im) (.f64 #s(literal 1 binary64) im))) (.f64 #s(literal 1 binary64) im))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 re (/.f64 im re)) (.f64 re #s(literal 1 binary64)))) (.f64 re #s(literal 1 binary64)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (/.f64 im re) re) (.f64 #s(literal 1 binary64) re))) (.f64 #s(literal 1 binary64) re))
(*.f64 (+.f64 (/.f64 re im) #s(literal 1 binary64)) im)
(*.f64 (+.f64 (/.f64 im re) #s(literal 1 binary64)) re)
(*.f64 im (+.f64 (/.f64 re im) #s(literal 1 binary64)))
(*.f64 re (+.f64 (/.f64 im re) #s(literal 1 binary64)))
(/.f64 (-.f64 (.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64))) (.f64 (.f64 im (/.f64 re im)) (.f64 im (/.f64 re im)))) (-.f64 (.f64 im #s(literal 1 binary64)) (.f64 im (/.f64 re im))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im)) (.f64 (.f64 (/.f64 re im) im) (.f64 (/.f64 re im) im))) (-.f64 (.f64 #s(literal 1 binary64) im) (.f64 (/.f64 re im) im)))
(/.f64 (-.f64 (.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64))) (.f64 (.f64 re (/.f64 im re)) (.f64 re (/.f64 im re)))) (-.f64 (.f64 re #s(literal 1 binary64)) (.f64 re (/.f64 im re))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re)) (.f64 (.f64 (/.f64 im re) re) (.f64 (/.f64 im re) re))) (-.f64 (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 im re) re)))
(/.f64 (+.f64 (pow.f64 (.f64 im #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 im (/.f64 re im)) #s(literal 3 binary64))) (fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (-.f64 (.f64 (.f64 im (/.f64 re im)) (.f64 im (/.f64 re im))) (.f64 (.f64 im #s(literal 1 binary64)) (.f64 im (/.f64 re im))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1 binary64) im) #s(literal 3 binary64)) (pow.f64 (.f64 (/.f64 re im) im) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (-.f64 (.f64 (.f64 (/.f64 re im) im) (.f64 (/.f64 re im) im)) (.f64 (.f64 #s(literal 1 binary64) im) (.f64 (/.f64 re im) im)))))
(/.f64 (fma.f64 (.f64 re re) re (.f64 (.f64 im im) im)) (fma.f64 re re (-.f64 (.f64 im im) (*.f64 re im))))
(/.f64 (+.f64 (pow.f64 (.f64 re #s(literal 1 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 re (/.f64 im re)) #s(literal 3 binary64))) (fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (-.f64 (.f64 (.f64 re (/.f64 im re)) (.f64 re (/.f64 im re))) (.f64 (.f64 re #s(literal 1 binary64)) (.f64 re (/.f64 im re))))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1 binary64) re) #s(literal 3 binary64)) (pow.f64 (.f64 (/.f64 im re) re) #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (-.f64 (.f64 (.f64 (/.f64 im re) re) (.f64 (/.f64 im re) re)) (.f64 (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 im re) re)))))
(/.f64 (-.f64 (.f64 (.f64 im im) im) (.f64 (neg.f64 re) (.f64 re re))) (fma.f64 im im (fma.f64 re re (*.f64 im (neg.f64 re)))))
(/.f64 (-.f64 (.f64 (.f64 re re) re) (.f64 (neg.f64 im) (.f64 im im))) (fma.f64 re re (fma.f64 im im (*.f64 re (neg.f64 im)))))
(/.f64 (neg.f64 (-.f64 (.f64 im im) (.f64 re re))) (-.f64 re im))
(/.f64 (neg.f64 (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re))) (neg.f64 (fma.f64 im im (-.f64 (.f64 re re) (*.f64 im re)))))
(/.f64 (-.f64 (.f64 im im) (.f64 re re)) (-.f64 im re))
(/.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 re im))
(/.f64 (fma.f64 (.f64 im im) im (.f64 (.f64 re re) re)) (fma.f64 im im (-.f64 (.f64 re re) (*.f64 im re))))
(fma.f64 #s(literal 1 binary64) im (*.f64 (/.f64 re im) im))
(fma.f64 #s(literal 1 binary64) re (*.f64 (/.f64 im re) re))
(fma.f64 im #s(literal 1 binary64) (*.f64 im (/.f64 re im)))
(fma.f64 re #s(literal 1 binary64) (*.f64 re (/.f64 im re)))
(-.f64 (/.f64 (.f64 im im) (-.f64 im re)) (/.f64 (.f64 re re) (-.f64 im re)))
(-.f64 im (neg.f64 re))
(-.f64 re (neg.f64 im))
(+.f64 (/.f64 (.f64 (.f64 im im) im) (fma.f64 im im (-.f64 (.f64 re re) (.f64 im re)))) (/.f64 (.f64 (.f64 re re) re) (fma.f64 im im (-.f64 (.f64 re re) (.f64 im re)))))
(+.f64 (.f64 im #s(literal 1 binary64)) (.f64 im (/.f64 re im)))
(+.f64 (.f64 re #s(literal 1 binary64)) (.f64 re (/.f64 im re)))
(+.f64 (.f64 #s(literal 1 binary64) re) (.f64 (/.f64 im re) re))
(+.f64 (.f64 #s(literal 1 binary64) im) (.f64 (/.f64 re im) im))
(+.f64 im re)
(+.f64 re im)
#s(approx (* (- re im) (+ im re)) (neg.f64 (*.f64 im im)))
#s(approx (* (- re im) (+ im re)) (fma.f64 (.f64 #s(literal 0 binary64) im) re (neg.f64 (.f64 im im))))
#s(approx (* (- re im) (+ im re)) (fma.f64 (+.f64 (-.f64 re im) im) re (neg.f64 (*.f64 im im))))
#s(approx (* re re) (*.f64 re re))
#s(approx re re)
#s(approx (- re im) (neg.f64 im))
#s(approx (- re im) (-.f64 re im))
#s(approx (+ im re) im)
#s(approx (+ im re) (+.f64 im re))
#s(approx (* (- re im) (+ im re)) (.f64 (fma.f64 #s(literal 0 binary64) (/.f64 im re) #s(literal 1 binary64)) (.f64 re re)))
#s(approx (* (- re im) (+ im re)) (.f64 (/.f64 (+.f64 (-.f64 re im) (fma.f64 (/.f64 (neg.f64 (.f64 im im)) (.f64 re re)) re im)) re) (.f64 re re)))
#s(approx (- re im) (-.f64 re im))
#s(approx (+ im re) (+.f64 im re))
#s(approx (* (- re im) (+ im re)) (.f64 (+.f64 (neg.f64 (/.f64 (+.f64 (/.f64 (.f64 im im) re) (neg.f64 (.f64 #s(literal 0 binary64) im))) re)) #s(literal 1 binary64)) (.f64 re re)))
#s(approx (- re im) (*.f64 (neg.f64 re) (-.f64 (/.f64 im re) #s(literal 1 binary64))))
#s(approx (+ im re) (*.f64 (neg.f64 re) (-.f64 (/.f64 (neg.f64 im) re) #s(literal 1 binary64))))
#s(approx (* (- re im) (+ im re)) (fma.f64 (.f64 #s(literal 0 binary64) re) im (.f64 re re)))
#s(approx (* (- re im) (+ im re)) (fma.f64 (+.f64 (-.f64 re im) (neg.f64 re)) im (*.f64 re re)))
#s(approx (- re im) (-.f64 re im))
#s(approx (* (- re im) (+ im re)) (.f64 (fma.f64 #s(literal 0 binary64) (/.f64 re im) #s(literal -1 binary64)) (.f64 im im)))
#s(approx (* (- re im) (+ im re)) (.f64 (-.f64 (fma.f64 #s(literal 0 binary64) (/.f64 re im) (/.f64 (.f64 re re) (.f64 im im))) #s(literal 1 binary64)) (.f64 im im)))
#s(approx (- re im) (*.f64 (-.f64 (/.f64 re im) #s(literal 1 binary64)) im))
#s(approx (+ im re) (+.f64 im re))
#s(approx (* (- re im) (+ im re)) (.f64 (-.f64 (neg.f64 (.f64 #s(literal 0 binary64) (/.f64 re im))) #s(literal 1 binary64)) (*.f64 im im)))
#s(approx (* (- re im) (+ im re)) (.f64 (-.f64 (neg.f64 (/.f64 (fma.f64 #s(literal 0 binary64) re (neg.f64 (/.f64 (.f64 re re) im))) im)) #s(literal 1 binary64)) (*.f64 im im)))
#s(approx (- re im) (-.f64 re im))
#s(approx (+ im re) (*.f64 (neg.f64 im) (-.f64 (/.f64 (neg.f64 re) im) #s(literal 1 binary64))))

eval8.0ms (0.4%)

Memory: 8.6MiB live, 8.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 793 to 347 computations (56.2% saved)

prune4.0ms (0.2%)

Memory

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

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	0	0
Picked	0	2	2
Done	0	2	2
Total	86	4	90

Accuracy

100.0%

Counts

90 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (-.f64 re im) (+.f64 im re))
✓	55.3%	(*.f64 #s(approx (- re im) (neg.f64 im)) (+.f64 im re))
✓	55.9%	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
✓	54.4%	#s(approx (* (- re im) (+ im re)) (*.f64 re re))

Compiler

Compiled 50 to 47 computations (6% saved)

regimes26.0ms (1.3%)

Memory

-29.6MiB live, 16.1MiB allocated; 3ms collecting garbage

Counts

5 → 1

Calls

Call 1

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

Outputs
(*.f64 (-.f64 re im) (+.f64 im re))

Calls

5 calls:

18.0ms	re
2.0ms	im
2.0ms	(-.f64 (.f64 re re) (.f64 im im))
2.0ms	(*.f64 re re)
2.0ms	(*.f64 im im)

Results

Accuracy	Segments	Branch
100.0%	1	`(*.f64 im im)`
100.0%	1	`(*.f64 re re)`
100.0%	1	`(-.f64 (.f64 re re) (.f64 im im))`
100.0%	1	`re`
100.0%	1	`im`

Compiler

Compiled 11 to 15 computations (-36.4% saved)

regimes7.0ms (0.4%)

Memory

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

Counts

3 → 2

Calls

Call 1

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

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

Calls

5 calls:

1.0ms	re
1.0ms	im
1.0ms	(-.f64 (.f64 re re) (.f64 im im))
1.0ms	(*.f64 im im)
1.0ms	(*.f64 re re)

Results

Accuracy	Segments	Branch
83.4%	2	`(*.f64 im im)`
81.3%	2	`(*.f64 re re)`
96.8%	2	`(-.f64 (.f64 re re) (.f64 im im))`
81.3%	2	`re`
83.4%	2	`im`

Compiler

Compiled 11 to 15 computations (-36.4% saved)

regimes5.0ms (0.2%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

5 calls:

1.0ms	im
1.0ms	re
1.0ms	(-.f64 (.f64 re re) (.f64 im im))
1.0ms	(*.f64 re re)
1.0ms	(*.f64 im im)

Results

Accuracy	Segments	Branch
54.4%	1	`(*.f64 re re)`
54.4%	1	`re`
54.4%	1	`(*.f64 im im)`
54.4%	1	`im`
54.4%	1	`(-.f64 (.f64 re re) (.f64 im im))`

Compiler

Compiled 11 to 15 computations (-36.4% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-6.95920679e-315	0.0

Compiler

Compiled 8 to 10 computations (-25% saved)

derivations41.0ms (2%)

Memory

-28.5MiB live, 16.3MiB allocated; 3ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 22 to 21 computations (4.5% saved)

preprocess21.0ms (1%)

Memory

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

Remove

(abs im)

(abs re)

Compiler

Compiled 151 to 146 computations (3.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.3s (65%)

preprocess63.0ms (3.1%)

series4.0ms (0.2%)

rewrite67.0ms (3.3%)

eval23.0ms (1.1%)

prune5.0ms (0.2%)

series43.0ms (2.1%)

rewrite154.0ms (7.5%)

eval18.0ms (0.9%)

prune3.0ms (0.2%)

series3.0ms (0.2%)

rewrite221.0ms (10.8%)

eval8.0ms (0.4%)

prune4.0ms (0.2%)

regimes26.0ms (1.3%)

regimes7.0ms (0.4%)

regimes5.0ms (0.2%)

bsearch0.0ms (0%)

derivations41.0ms (2%)

preprocess21.0ms (1%)

end0.0ms (0%)

Profiling