Metrics for math.abs on complex (squared)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB 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.4s (63.9%)

Memory

-127.8MiB live, 803.7MiB allocated; 1.4s collecting garbage

Samples

1.1s

8 256×

valid

Precisions

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

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

ival-add!: 16.0ms (13% of total)

adjust: 2.0ms (1.6% of total)

Bogosity

preprocess101.0ms (4.5%)

Memory

-24.1MiB live, 21.7MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	44
1	48	44
2	123	44
3	169	44
4	377	44
5	1979	44
6	4618	44

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 (.f64 re re) (.f64 im im))

Symmetry

(abs re)

(abs im)

(sort re im)

Compiler

Compiled 10 to 10 computations (0% saved)

series4.0ms (0.2%)

Memory

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

Counts

5 → 7

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 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 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 (/ (pow im 2) (pow re 2))))))
#s(approx im #s(hole binary64 im))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))

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)

rewrite57.0ms (2.6%)

Memory

22.1MiB live, 66.4MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	96
0	28	96
1	124	96
0	1182	88

Stop Event

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

Counts

12 → 158

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 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 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 (/ (pow im 2) (pow re 2))))))
#s(approx im #s(hole binary64 im))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))

Outputs
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (pow.f64 (.f64 (neg.f64 im) im) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 re re) re) re (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (*.f64 (neg.f64 im) im)))))
(/.f64 (neg.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 im re) (-.f64 im re)))) (neg.f64 (.f64 (+.f64 im re) (-.f64 im re))))
(/.f64 (neg.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 re im) (-.f64 re im)))) (neg.f64 (.f64 (+.f64 re im) (-.f64 re im))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)))) (neg.f64 (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)))) (neg.f64 (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (.f64 (+.f64 im re) (-.f64 im re))))))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 im re) (-.f64 im re))) (.f64 (+.f64 im re) (-.f64 im re)))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 re im) (-.f64 re im))) (.f64 (+.f64 re im) (-.f64 re im)))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re))) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im)))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re))) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (.f64 (+.f64 im re) (-.f64 im re)))))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.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)) (.f64 #s(literal 1 binary64) (neg.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) (.f64 #s(literal 1 binary64) im) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) im) im (.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) re) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) re) re (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) re) re (.f64 im im))
(fma.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 re #s(literal 1 binary64)) (.f64 re #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 im im))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (*.f64 re re))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 im im))
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 re re))
(fma.f64 (fabs.f64 im) (fabs.f64 im) (*.f64 re re))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 im im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.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 im) (*.f64 re re))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 im im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 im im))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 im im))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 re re))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 im im))
(fma.f64 im (.f64 im #s(literal 1 binary64)) (.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 re (.f64 re #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 re (.f64 re #s(literal 1 binary64)) (.f64 im im))
(fma.f64 re re (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 re re (*.f64 im im))
(-.f64 (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (+.f64 im re) (-.f64 im re))) (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (+.f64 im re) (-.f64 im re))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (+.f64 re im) (-.f64 re im))) (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (+.f64 re im) (-.f64 re im))))
(-.f64 (.f64 im im) (.f64 (neg.f64 re) re))
(-.f64 (.f64 re re) (.f64 (neg.f64 im) im))
(+.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im)) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im))))) (/.f64 (.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re)) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im))))))
(+.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) (.f64 (+.f64 im re) (-.f64 im 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) (.f64 (+.f64 im re) (-.f64 im re))))))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(+.f64 (.f64 re re) (.f64 im im))
(.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 (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 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im))
(.f64 (.f64 #s(literal 1 binary64) im) (*.f64 #s(literal 1 binary64) im))
(.f64 (.f64 #s(literal 1 binary64) im) im)
(.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 im #s(literal 1 binary64)) (*.f64 im #s(literal 1 binary64)))
(*.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) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(*.f64 (fabs.f64 im) (fabs.f64 im))
(.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(*.f64 (neg.f64 im) (neg.f64 im))
(.f64 #s(literal 1 binary64) (.f64 im im))
(.f64 (.f64 im im) #s(literal 1 binary64))
(.f64 im (.f64 im #s(literal 1 binary64)))
(*.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))
(/.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 im im)) #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 im) im))
(fabs.f64 (*.f64 im im))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 im) #s(literal 2 binary64))))
(exp.f64 (fma.f64 (log.f64 im) #s(literal 2 binary64) #s(literal 0 binary64)))
(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 im im))
#s(approx (+ (* re re) (* im im)) (fma.f64 im im (*.f64 re re)))
#s(approx (* re re) (*.f64 re re))
#s(approx re re)
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) re) re))
#s(approx im im)
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal 1 binary64)) im) im))

eval43.0ms (1.9%)

Memory: -22.5MiB live, 29.1MiB allocated; 40ms collecting garbage
Compiler: Compiled 927 to 325 computations (64.9% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	149	4	153
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	150	4	154

Accuracy

100.0%

Counts

154 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 re re (*.f64 im im))
▶	100.0%	(fma.f64 im im (*.f64 re re))
▶	62.8%	#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) re) re))
▶	98.6%	#s(approx (+ (* re re) (* im im)) (*.f64 im im))

Compiler

Compiled 27 to 27 computations (0% saved)

series10.0ms (0.5%)

Memory

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

Counts

13 → 19

Calls

Call 1

Inputs
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
(*.f64 im im)
im
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) re) re))
(.f64 (.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) re) re)
(.f64 (fma.f64 im (/.f64 im (.f64 re re)) #s(literal 1 binary64)) re)
(fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64))
(/.f64 im (*.f64 re re))
(*.f64 re re)
re
#s(literal 1 binary64)
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))

Outputs
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (/ (pow im 2) re)))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (/ (+ (pow im 2) (pow re 2)) re)))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (/ (pow im 2) (pow re 2))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (/ (+ (pow im 2) (pow re 2)) (pow re 2))))
#s(approx (/ im (* re re)) #s(hole binary64 (/ im (pow re 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 (/ (pow im 2) (pow re 2))))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* re (+ 1 (/ (pow im 2) (pow re 2))))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 1))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (+ 1 (/ (pow im 2) (pow re 2)))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* -1 (* re (- (* -1 (/ (pow im 2) (pow re 2))) 1)))))
#s(approx im #s(hole binary64 im))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (+ re (/ (pow im 2) re))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* (pow im 2) (+ (/ 1 re) (/ re (pow im 2))))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (* (pow im 2) (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))))

Calls

6 calls:

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

rewrite131.0ms (5.9%)

Memory

-25.1MiB live, 67.8MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	387
0	80	376
1	319	370
0	2731	367

Stop Event

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

Counts

32 → 441

Calls

Call 1

Inputs
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
(*.f64 im im)
im
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) re) re))
(.f64 (.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) re) re)
(.f64 (fma.f64 im (/.f64 im (.f64 re re)) #s(literal 1 binary64)) re)
(fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64))
(/.f64 im (*.f64 re re))
(*.f64 re re)
re
#s(literal 1 binary64)
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (/ (pow im 2) re)))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (/ (+ (pow im 2) (pow re 2)) re)))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (/ (pow im 2) (pow re 2))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (/ (+ (pow im 2) (pow re 2)) (pow re 2))))
#s(approx (/ im (* re re)) #s(hole binary64 (/ im (pow re 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 (/ (pow im 2) (pow re 2))))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* re (+ 1 (/ (pow im 2) (pow re 2))))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 1))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (+ 1 (/ (pow im 2) (pow re 2)))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* -1 (* re (- (* -1 (/ (pow im 2) (pow re 2))) 1)))))
#s(approx im #s(hole binary64 im))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (+ re (/ (pow im 2) re))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* (pow im 2) (+ (/ 1 re) (/ re (pow im 2))))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (* (pow im 2) (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))))

Outputs
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
(.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 im #s(literal 1 binary64)) (*.f64 im #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im))
(.f64 (.f64 #s(literal 1 binary64) im) (*.f64 #s(literal 1 binary64) im))
(.f64 (.f64 #s(literal 1 binary64) im) im)
(*.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) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(*.f64 (fabs.f64 im) (fabs.f64 im))
(.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(*.f64 (neg.f64 im) (neg.f64 im))
(.f64 (.f64 im im) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 im im))
(.f64 im (.f64 im #s(literal 1 binary64)))
(*.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))
(/.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 im im)) #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 im) im))
(fabs.f64 (*.f64 im im))
(exp.f64 (fma.f64 (log.f64 im) #s(literal 2 binary64) #s(literal 0 binary64)))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 im) #s(literal 2 binary64))))
(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 (.f64 (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64)) re) re))
(.f64 (.f64 (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64)) (fabs.f64 re)) (fabs.f64 re))
(.f64 (.f64 (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64)) (neg.f64 re)) (neg.f64 re))
(.f64 (fabs.f64 re) (.f64 (fabs.f64 re) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64))))
(.f64 (neg.f64 re) (.f64 (neg.f64 re) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64))))
(.f64 (.f64 (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64)) re) re)
(.f64 (fma.f64 (/.f64 im (.f64 re re)) im #s(literal 1 binary64)) (*.f64 re re))
(.f64 (.f64 re re) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64)))
(.f64 re (.f64 (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64)) re))
(/.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 (/.f64 im (.f64 re re)) im)))
(/.f64 (.f64 (.f64 re re) (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im #s(literal -1 binary64))) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal -1 binary64)))
(/.f64 (.f64 (.f64 re re) (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64))) (fma.f64 (.f64 (/.f64 im (.f64 re re)) im) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 re re) (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64))) (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im))))
(/.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 (/.f64 im (.f64 re re)) im)))
(/.f64 (.f64 (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im #s(literal -1 binary64)) (.f64 re re)) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal -1 binary64)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64)) (.f64 re re)) (fma.f64 (.f64 (/.f64 im (.f64 re re)) im) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64)) (.f64 re re)) (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))) (-.f64 (.f64 re re) (.f64 (.f64 (.f64 re re) im) (/.f64 im (*.f64 re re)))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 re re) (pow.f64 (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 re re) re) re (-.f64 (.f64 (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re)))) (.f64 (.f64 re re) (.f64 (.f64 (.f64 re re) im) (/.f64 im (*.f64 re re)))))))
(fma.f64 (.f64 (.f64 re re) (/.f64 im (.f64 re re))) im (.f64 re re))
(fma.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re)) (.f64 re re))
(fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (fabs.f64 re)) (fabs.f64 re) (.f64 re re))
(fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (neg.f64 re)) (neg.f64 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 re re) im) (/.f64 im (.f64 re re))))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 (.f64 (.f64 re re) im) (/.f64 im (*.f64 re re))))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 (.f64 (.f64 re re) im) (/.f64 im (*.f64 re re))))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))
(fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) re) re (.f64 re re))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) (.f64 (/.f64 im (.f64 re re)) im)) (.f64 re re))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (.f64 (.f64 re re) im) (/.f64 im (*.f64 re re))))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) (.f64 (/.f64 im (.f64 re re)) im)) (.f64 re re))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (.f64 (.f64 re re) im) (/.f64 im (*.f64 re re))))
(fma.f64 (neg.f64 re) (neg.f64 re) (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))
(fma.f64 (.f64 (/.f64 im (.f64 re re)) im) (.f64 re re) (.f64 re re))
(fma.f64 (/.f64 im (.f64 re re)) (.f64 im (.f64 re re)) (.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (.f64 (.f64 re re) im) (/.f64 im (*.f64 re re))))
(fma.f64 im (.f64 (/.f64 im (.f64 re re)) (.f64 re re)) (.f64 re re))
(fma.f64 (.f64 re re) (.f64 (/.f64 im (.f64 re re)) im) (.f64 re re))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (.f64 (.f64 re re) im) (/.f64 im (*.f64 re re))))
(fma.f64 re (.f64 (.f64 (/.f64 im (.f64 re re)) im) re) (.f64 re re))
(fma.f64 re re (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))))
(-.f64 (.f64 re re) (.f64 (.f64 (neg.f64 re) re) (.f64 (/.f64 im (*.f64 re re)) im)))
(-.f64 (.f64 re re) (.f64 (.f64 (neg.f64 im) (/.f64 im (.f64 re re))) (*.f64 re re)))
(+.f64 (.f64 (.f64 (.f64 re re) im) (/.f64 im (.f64 re re))) (*.f64 re re))
(+.f64 (.f64 re re) (.f64 (.f64 (.f64 re re) im) (/.f64 im (*.f64 re re))))
(.f64 (fma.f64 (/.f64 im (.f64 re re)) im #s(literal 1 binary64)) re)
(.f64 re (fma.f64 (/.f64 im (.f64 re re)) im #s(literal 1 binary64)))
(/.f64 (.f64 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 (/.f64 im (*.f64 re re)) im)))
(/.f64 (.f64 re (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im #s(literal -1 binary64))) (fma.f64 (/.f64 im (.f64 re re)) im #s(literal -1 binary64)))
(/.f64 (.f64 re (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64))) (fma.f64 (.f64 (/.f64 im (.f64 re re)) im) (fma.f64 (/.f64 im (.f64 re re)) im #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 re (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64))) (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (*.f64 re re)) im))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (.f64 (.f64 re re) re) re))) re) (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (*.f64 re re)) im)))
(/.f64 (.f64 (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im #s(literal -1 binary64)) re) (fma.f64 (/.f64 im (.f64 re re)) im #s(literal -1 binary64)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64)) re) (fma.f64 (.f64 (/.f64 im (.f64 re re)) im) (fma.f64 (/.f64 im (.f64 re re)) im #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64)) re) (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (*.f64 re re)) im))))
(/.f64 (-.f64 (.f64 re re) (.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) re) (.f64 (.f64 (/.f64 im (.f64 re re)) im) re))) (-.f64 re (.f64 (.f64 (/.f64 im (*.f64 re re)) im) re)))
(/.f64 (fma.f64 (.f64 re re) re (pow.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) re) #s(literal 3 binary64))) (fma.f64 re re (-.f64 (.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) re) (.f64 (.f64 (/.f64 im (.f64 re re)) im) re)) (.f64 (.f64 (.f64 re re) im) (/.f64 im (*.f64 re re))))))
(fma.f64 (.f64 re (/.f64 im (.f64 re re))) im re)
(fma.f64 (.f64 re im) (/.f64 im (.f64 re re)) re)
(fma.f64 (.f64 (/.f64 im (.f64 re re)) im) re re)
(fma.f64 (/.f64 im (.f64 re re)) (.f64 im re) re)
(fma.f64 im (.f64 (/.f64 im (.f64 re re)) re) re)
(fma.f64 re (.f64 (/.f64 im (.f64 re re)) im) re)
(-.f64 re (.f64 (neg.f64 re) (.f64 (/.f64 im (*.f64 re re)) im)))
(-.f64 re (.f64 (.f64 (neg.f64 im) (/.f64 im (*.f64 re re))) re))
(+.f64 (.f64 (.f64 (/.f64 im (*.f64 re re)) im) re) re)
(+.f64 re (.f64 (.f64 (/.f64 im (*.f64 re re)) im) re))
(.f64 (.f64 (+.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) (.f64 im im))) (fabs.f64 im)) (fabs.f64 im))
(.f64 (.f64 (+.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) (.f64 im im))) (neg.f64 im)) (neg.f64 im))
(.f64 (.f64 (+.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) (.f64 im im))) im) im)
(.f64 (fabs.f64 im) (.f64 (fabs.f64 im) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) (.f64 im im)))))
(.f64 (neg.f64 im) (.f64 (neg.f64 im) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) (.f64 im im)))))
(.f64 (+.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) (.f64 im im))) (.f64 im im))
(.f64 (.f64 im im) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) (.f64 im im))))
(.f64 im (.f64 im (+.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) (.f64 im im)))))
(/.f64 (.f64 (.f64 im im) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 im im) im) im)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 re re) re) re)))) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 im im)) (/.f64 #s(literal 1 binary64) (.f64 re re))))
(/.f64 (.f64 (.f64 im im) (+.f64 (pow.f64 re #s(literal -6 binary64)) (pow.f64 im #s(literal -6 binary64)))) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) (.f64 im im))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 im im) im) im))))
(/.f64 (.f64 (.f64 im im) (fma.f64 im im (.f64 re re))) (.f64 (.f64 (.f64 re re) im) im))
(/.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 im im) im) im)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 re re) re) re))) (.f64 im im)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 im im)) (/.f64 #s(literal 1 binary64) (.f64 re re))))
(/.f64 (.f64 (+.f64 (pow.f64 re #s(literal -6 binary64)) (pow.f64 im #s(literal -6 binary64))) (.f64 im im)) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) (.f64 im im))) (/.f64 #s(literal 1 binary64) (.f64 (.f64 (.f64 im im) im) im))))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 im im)) (.f64 (.f64 (.f64 re re) im) im))
(/.f64 (/.f64 (fma.f64 im im (*.f64 re re)) (fabs.f64 re)) (fabs.f64 re))
(/.f64 (/.f64 (fma.f64 im im (*.f64 re re)) (neg.f64 re)) (neg.f64 re))
(/.f64 (fma.f64 (.f64 (neg.f64 im) im) #s(literal 2 binary64) (.f64 (.f64 (neg.f64 re) re) #s(literal 2 binary64))) (.f64 (*.f64 (neg.f64 re) re) #s(literal 2 binary64)))
(/.f64 (fma.f64 (.f64 im im) #s(literal 2 binary64) (.f64 (.f64 re re) #s(literal 2 binary64))) (.f64 (*.f64 re re) #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 2 binary64) (.f64 (neg.f64 re) re) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 im) im))) (.f64 #s(literal 2 binary64) (*.f64 (neg.f64 re) re)))
(/.f64 (fma.f64 #s(literal 2 binary64) (.f64 re re) (.f64 #s(literal 2 binary64) (.f64 im im))) (.f64 #s(literal 2 binary64) (*.f64 re re)))
(/.f64 (fma.f64 (.f64 (neg.f64 im) im) (.f64 re re) (.f64 (.f64 (neg.f64 re) re) (.f64 re re))) (.f64 (.f64 (neg.f64 re) re) (.f64 re re)))
(/.f64 (fma.f64 (.f64 (.f64 re re) im) im (.f64 (.f64 (.f64 re re) re) re)) (.f64 (.f64 (.f64 re re) re) re))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (.f64 (.f64 re re) re) re)))) (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im #s(literal -1 binary64))) (neg.f64 (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (fma.f64 (.f64 (/.f64 im (.f64 re re)) im) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal -1 binary64)) #s(literal 1 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im)))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 im im (.f64 re re)))) (.f64 re re))
(/.f64 (-.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 (/.f64 im (.f64 re re)) im)))
(/.f64 (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im #s(literal -1 binary64)) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal -1 binary64)))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 re im) (-.f64 re im))) (.f64 (.f64 (+.f64 re im) (-.f64 re im)) (.f64 re re)))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 im re) (-.f64 im re))) (.f64 (.f64 (+.f64 im re) (-.f64 im re)) (.f64 re re)))
(/.f64 (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64)) (fma.f64 (.f64 (/.f64 im (.f64 re re)) im) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal -1 binary64)) #s(literal 1 binary64)))
(/.f64 (-.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) #s(literal -1 binary64)) (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re))) (.f64 (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (.f64 (+.f64 im re) (-.f64 im re)))) (.f64 re re)))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re))) (.f64 (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im)))) (.f64 re re)))
(/.f64 (neg.f64 (fma.f64 im im (.f64 re re))) (.f64 (neg.f64 re) re))
(/.f64 (/.f64 (fma.f64 im im (*.f64 re re)) re) re)
(/.f64 (fma.f64 im im (.f64 re re)) (.f64 re re))
(neg.f64 (/.f64 (fma.f64 im im (.f64 re re)) (.f64 (neg.f64 re) re)))
(neg.f64 (/.f64 (neg.f64 (fma.f64 im im (.f64 re re))) (.f64 re re)))
(fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (fabs.f64 im)) (fabs.f64 im) #s(literal 1 binary64))
(fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (neg.f64 im)) (neg.f64 im) #s(literal 1 binary64))
(fma.f64 (.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) im) im #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 1 binary64) (/.f64 im (.f64 re re))) im #s(literal 1 binary64))
(fma.f64 (.f64 #s(literal 1 binary64) im) (/.f64 im (.f64 re re)) #s(literal 1 binary64))
(fma.f64 (/.f64 (fabs.f64 im) (fabs.f64 re)) (/.f64 (fabs.f64 im) (fabs.f64 re)) #s(literal 1 binary64))
(fma.f64 (/.f64 (fabs.f64 im) (neg.f64 re)) (/.f64 (fabs.f64 im) (neg.f64 re)) #s(literal 1 binary64))
(fma.f64 (/.f64 (fabs.f64 im) re) (/.f64 (fabs.f64 im) re) #s(literal 1 binary64))
(fma.f64 (/.f64 (neg.f64 im) (fabs.f64 re)) (/.f64 (neg.f64 im) (fabs.f64 re)) #s(literal 1 binary64))
(fma.f64 (/.f64 (neg.f64 im) re) (/.f64 (neg.f64 im) re) #s(literal 1 binary64))
(fma.f64 (/.f64 im (fabs.f64 re)) (/.f64 im (fabs.f64 re)) #s(literal 1 binary64))
(fma.f64 (/.f64 im (neg.f64 re)) (/.f64 im (neg.f64 re)) #s(literal 1 binary64))
(fma.f64 (/.f64 im re) (/.f64 im re) #s(literal 1 binary64))
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) (/.f64 #s(literal 1 binary64) (.f64 re re))) #s(literal 1 binary64))
(fma.f64 (fabs.f64 im) (/.f64 (fabs.f64 im) (*.f64 re re)) #s(literal 1 binary64))
(fma.f64 (neg.f64 im) (.f64 (neg.f64 im) (/.f64 #s(literal 1 binary64) (.f64 re re))) #s(literal 1 binary64))
(fma.f64 (neg.f64 im) (/.f64 (neg.f64 im) (*.f64 re re)) #s(literal 1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (.f64 re re)) (.f64 im im) #s(literal 1 binary64))
(fma.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 (/.f64 im (.f64 re re)) (.f64 im #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64))
(fma.f64 (.f64 im im) (/.f64 #s(literal 1 binary64) (.f64 re re)) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im) #s(literal 1 binary64))
(fma.f64 im (.f64 (/.f64 im (.f64 re re)) #s(literal 1 binary64)) #s(literal 1 binary64))
(fma.f64 im (.f64 im (/.f64 #s(literal 1 binary64) (.f64 re re))) #s(literal 1 binary64))
(fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im))) (/.f64 (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (.f64 (.f64 re re) re) re)) (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im))))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (.f64 (.f64 re re) re) re)) (fma.f64 (/.f64 im (.f64 re re)) im #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 im (.f64 re re)) im #s(literal -1 binary64))))
(-.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 (.f64 (neg.f64 re) re) (.f64 re re)))
(-.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (.f64 (.f64 (neg.f64 im) im) (/.f64 #s(literal 1 binary64) (*.f64 re re))))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 re re))) (*.f64 im im)))
(-.f64 #s(literal 1 binary64) (.f64 (neg.f64 im) (/.f64 im (.f64 re re))))
(+.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (/.f64 im (.f64 re re)) im) (fma.f64 (/.f64 im (.f64 re re)) im #s(literal -1 binary64)) #s(literal 1 binary64))) (/.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) (fma.f64 (.f64 (/.f64 im (.f64 re re)) im) (fma.f64 (/.f64 im (.f64 re re)) im #s(literal -1 binary64)) #s(literal 1 binary64))))
(+.f64 (/.f64 (pow.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 3 binary64)) (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im)))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 (.f64 (/.f64 im (.f64 re re)) im) (/.f64 im (.f64 re re))) im (-.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im)))))
(+.f64 (.f64 (/.f64 im (.f64 re re)) im) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 (/.f64 im (.f64 re re)) im))
(/.f64 (/.f64 im (fabs.f64 re)) (fabs.f64 re))
(/.f64 (/.f64 im (neg.f64 re)) (neg.f64 re))
(/.f64 (neg.f64 (/.f64 im re)) (neg.f64 re))
(/.f64 (neg.f64 (neg.f64 im)) (*.f64 re re))
(/.f64 (/.f64 im re) re)
(/.f64 (neg.f64 im) (*.f64 (neg.f64 re) re))
(/.f64 im (*.f64 re re))
(neg.f64 (/.f64 im (*.f64 (neg.f64 re) re)))
(neg.f64 (/.f64 (neg.f64 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 (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 #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 (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 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 #s(literal 2 binary64) (.f64 re re)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 re re) #s(literal 2 binary64)) #s(literal 2 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
#s(literal 1 binary64)
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 im im) im) im) (.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 im im) (*.f64 (neg.f64 re) re)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (pow.f64 (.f64 (neg.f64 im) im) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 re re) re) re (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (*.f64 (neg.f64 im) im)))))
(/.f64 (neg.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 re im) (-.f64 re im)))) (neg.f64 (.f64 (+.f64 re im) (-.f64 re im))))
(/.f64 (neg.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 im re) (-.f64 im re)))) (neg.f64 (.f64 (+.f64 im re) (-.f64 im re))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)))) (neg.f64 (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (.f64 (+.f64 im re) (-.f64 im re))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)))) (neg.f64 (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im))))))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 re im) (-.f64 re im))) (.f64 (+.f64 re im) (-.f64 re im)))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 im re) (-.f64 im re))) (.f64 (+.f64 im re) (-.f64 im re)))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re))) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (.f64 (+.f64 im re) (-.f64 im re)))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re))) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im)))))
(fma.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 im im))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im) (.f64 (neg.f64 (neg.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)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im) (.f64 (neg.f64 (neg.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) (.f64 #s(literal 1 binary64) im) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) im) im (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 #s(literal 1 binary64) im) im (.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 im im))
(fma.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 im im))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (*.f64 re re))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 im im))
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 re re))
(fma.f64 (fabs.f64 im) (fabs.f64 im) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (fabs.f64 im) (fabs.f64 im) (*.f64 re re))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 im im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 im im))
(fma.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 re re))
(fma.f64 (neg.f64 im) (neg.f64 im) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (neg.f64 im) (neg.f64 im) (*.f64 re re))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 im im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 im im))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 im im))
(fma.f64 im (.f64 im #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 im (.f64 im #s(literal 1 binary64)) (.f64 re re))
(fma.f64 im im (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 im im (*.f64 re re))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 im im))
(fma.f64 re re (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 re re (*.f64 im im))
(-.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (+.f64 re im) (-.f64 re im))) (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (+.f64 re im) (-.f64 re im))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (+.f64 im re) (-.f64 im re))) (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (+.f64 im re) (-.f64 im re))))
(-.f64 (.f64 im im) (.f64 (neg.f64 re) re))
(-.f64 (.f64 re re) (.f64 (*.f64 (neg.f64 im) im) #s(literal 1 binary64)))
(-.f64 (.f64 re re) (.f64 (neg.f64 im) im))
(+.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (.f64 (+.f64 im re) (-.f64 im 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) (.f64 (+.f64 im re) (-.f64 im re))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im)) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im))))) (/.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im))))))
(+.f64 (.f64 im im) (.f64 (neg.f64 (neg.f64 re)) re))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (.f64 im im) im) im) (.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 im im) (*.f64 (neg.f64 re) re)))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (pow.f64 (.f64 (neg.f64 im) im) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 re re) re) re (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (*.f64 (neg.f64 im) im)))))
(/.f64 (neg.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 re im) (-.f64 re im)))) (neg.f64 (.f64 (+.f64 re im) (-.f64 re im))))
(/.f64 (neg.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 im re) (-.f64 im re)))) (neg.f64 (.f64 (+.f64 im re) (-.f64 im re))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)))) (neg.f64 (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (.f64 (+.f64 im re) (-.f64 im re))))))
(/.f64 (neg.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)))) (neg.f64 (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im))))))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 re im) (-.f64 re im))) (.f64 (+.f64 re im) (-.f64 re im)))
(/.f64 (.f64 (fma.f64 im im (.f64 re re)) (.f64 (+.f64 im re) (-.f64 im re))) (.f64 (+.f64 im re) (-.f64 im re)))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re))) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (.f64 (+.f64 im re) (-.f64 im re)))))
(/.f64 (fma.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im) (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re))) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im)))))
(fma.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 im #s(literal 1 binary64)) (.f64 im #s(literal 1 binary64)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 re)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 re) (.f64 im im))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 re) #s(literal 1 binary64)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (.f64 #s(literal 1 binary64) (fabs.f64 im)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (fabs.f64 im)) (fabs.f64 im) (.f64 (neg.f64 (neg.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)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (.f64 #s(literal 1 binary64) (neg.f64 im)) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 im)) (neg.f64 im) (.f64 (neg.f64 (neg.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) (.f64 #s(literal 1 binary64) im) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1 binary64) im) (*.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) im) im (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 #s(literal 1 binary64) im) im (.f64 re re))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 re)) (*.f64 im im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 re) (.f64 im im))
(fma.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (fabs.f64 (fabs.f64 im)) (fabs.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (neg.f64 (fabs.f64 im)) (neg.f64 (fabs.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (neg.f64 (neg.f64 im)) (neg.f64 (neg.f64 im)) (*.f64 re re))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 re)) (*.f64 im im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 re)) (*.f64 im im))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)) (*.f64 re re))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)) (*.f64 im im))
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)) (.f64 re re))
(fma.f64 (fabs.f64 im) (fabs.f64 im) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (fabs.f64 im) (fabs.f64 im) (*.f64 re re))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 re) (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 im im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (fabs.f64 re) (fabs.f64 re) (*.f64 im im))
(fma.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (neg.f64 im) (.f64 (neg.f64 im) #s(literal 1 binary64)) (.f64 re re))
(fma.f64 (neg.f64 im) (neg.f64 im) (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (neg.f64 im) (neg.f64 im) (*.f64 re re))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 re) (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 im im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (neg.f64 re) (neg.f64 re) (*.f64 im im))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 (.f64 im im) #s(literal 1 binary64) (.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 #s(literal 1 binary64) (.f64 im im) (.f64 re re))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 #s(literal 1 binary64) (.f64 re re) (.f64 im im))
(fma.f64 im (.f64 im #s(literal 1 binary64)) (.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 im (.f64 im #s(literal 1 binary64)) (.f64 re re))
(fma.f64 im im (*.f64 (neg.f64 (neg.f64 re)) re))
(fma.f64 im im (*.f64 re re))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 (.f64 re re) #s(literal 1 binary64) (.f64 im im))
(fma.f64 re re (*.f64 (neg.f64 (neg.f64 im)) im))
(fma.f64 re re (*.f64 im im))
(-.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (+.f64 re im) (-.f64 re im))) (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (+.f64 re im) (-.f64 re im))))
(-.f64 (/.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 (+.f64 im re) (-.f64 im re))) (/.f64 (.f64 (.f64 (.f64 re re) re) re) (.f64 (+.f64 im re) (-.f64 im re))))
(-.f64 (.f64 im im) (.f64 (neg.f64 re) re))
(-.f64 (.f64 re re) (.f64 (*.f64 (neg.f64 im) im) #s(literal 1 binary64)))
(-.f64 (.f64 re re) (.f64 (neg.f64 im) im))
(+.f64 (/.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (fma.f64 (.f64 (.f64 re re) re) re (.f64 (.f64 im im) (.f64 (+.f64 im re) (-.f64 im 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) (.f64 (+.f64 im re) (-.f64 im re))))))
(+.f64 (/.f64 (.f64 (.f64 (.f64 (.f64 im im) im) im) (.f64 im im)) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im))))) (/.f64 (.f64 (.f64 (.f64 re re) re) (.f64 (.f64 re re) re)) (fma.f64 (.f64 (.f64 im im) im) im (.f64 (.f64 re re) (.f64 (+.f64 re im) (-.f64 re im))))))
(+.f64 (.f64 im im) (.f64 (neg.f64 (neg.f64 re)) re))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 (neg.f64 (neg.f64 im)) im))
(+.f64 (.f64 re re) (.f64 im im))
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
#s(approx (+ (* re re) (* im im)) (fma.f64 im im (*.f64 re re)))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) (/.f64 (*.f64 im im) re))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) (/.f64 (fma.f64 im im (*.f64 re re)) re))
#s(approx (+ (* im (/ im (* re re))) 1) (.f64 (/.f64 im (.f64 re re)) im))
#s(approx (+ (* im (/ im (* re re))) 1) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64)))
#s(approx (/ im (* re re)) (/.f64 im (*.f64 re re)))
#s(approx (* re re) (*.f64 re re))
#s(approx re re)
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64)) re) re))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) (.f64 (fma.f64 (/.f64 im (.f64 re re)) im #s(literal 1 binary64)) re))
#s(approx (+ (* im (/ im (* re re))) 1) #s(literal 1 binary64))
#s(approx (+ (* im (/ im (* re re))) 1) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64)))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) (.f64 (neg.f64 (fma.f64 (neg.f64 im) (/.f64 im (.f64 re re)) #s(literal -1 binary64))) re))
#s(approx im im)
#s(approx (* (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 re (/.f64 re (*.f64 im im)) #s(literal 1 binary64)) im) im))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) (.f64 (+.f64 (/.f64 re (.f64 im im)) (/.f64 #s(literal 1 binary64) re)) (*.f64 im im)))
#s(approx (+ (* im (/ im (* re re))) 1) (fma.f64 (/.f64 im (*.f64 re re)) im #s(literal 1 binary64)))

eval52.0ms (2.3%)

Memory: 13.1MiB live, 57.9MiB allocated; 6ms collecting garbage
Compiler: Compiled 3 354 to 1 231 computations (63.3% saved)

prune7.0ms (0.3%)

Memory

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

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	396	2	398
Fresh	0	0	0
Picked	1	3	4
Done	0	0	0
Total	397	5	402

Accuracy

100.0%

Counts

402 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 re re (*.f64 im im))
✓	100.0%	(fma.f64 im im (*.f64 re re))
▶	15.3%	#s(approx (+ (* re re) (* im im)) (.f64 (.f64 #s(approx (+ (* im (/ im (* re re))) 1) #s(literal 1 binary64)) re) re))
▶	86.6%	#s(approx (+ (* re re) (* im im)) (.f64 #s(approx ( (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re)) re))
✓	98.6%	#s(approx (+ (* re re) (* im im)) (*.f64 im im))

Compiler

Compiled 46 to 44 computations (4.3% saved)

series10.0ms (0.4%)

Memory

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

Counts

12 → 19

Calls

Call 1

Inputs
#s(approx (+ (* re re) (* im im)) (.f64 #s(approx ( (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re)) re))
(.f64 #s(approx ( (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re)) re)
#s(approx (* (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re))
(fma.f64 im (/.f64 im re) re)
im
(/.f64 im re)
re
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 #s(approx (+ (* im (/ im (* re re))) 1) #s(literal 1 binary64)) re) re))
(.f64 (.f64 #s(approx (+ (* im (/ im (* re re))) 1) #s(literal 1 binary64)) re) re)
(.f64 #s(approx (+ ( im (/ im (* re re))) 1) #s(literal 1 binary64)) re)
#s(approx (+ (* im (/ im (* re re))) 1) #s(literal 1 binary64))
#s(literal 1 binary64)

Outputs
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (/ (pow im 2) re)))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (/ (+ (pow im 2) (pow re 2)) re)))
#s(approx (/ im re) #s(hole binary64 (/ im re)))
#s(approx re #s(hole binary64 re))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (/ (pow im 2) (pow re 2))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (/ (+ (pow im 2) (pow re 2)) (pow re 2))))
#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 (/ (pow im 2) (pow re 2))))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* re (+ 1 (/ (pow im 2) (pow re 2))))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 1))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (+ 1 (/ (pow im 2) (pow re 2)))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* -1 (* re (- (* -1 (/ (pow im 2) (pow re 2))) 1)))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (+ re (/ (pow im 2) re))))
#s(approx im #s(hole binary64 im))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* (pow im 2) (+ (/ 1 re) (/ re (pow im 2))))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (* (pow im 2) (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	im	@	-inf	((+ (* re re) (* im im)) (* (* (+ (* im (/ im (* re re))) 1) re) re) (* (+ (* im (/ im (* re re))) 1) re) (+ (* im (/ im re)) re) im (/ im re) re (+ (* re re) (* im im)) (* (* (+ (* im (/ im (* re re))) 1) re) re) (* (+ (* im (/ im (* re re))) 1) re) (+ (* im (/ im (* re re))) 1) 1)
2.0ms	im	@	inf	((+ (* re re) (* im im)) (* (* (+ (* im (/ im (* re re))) 1) re) re) (* (+ (* im (/ im (* re re))) 1) re) (+ (* im (/ im re)) re) im (/ im re) re (+ (* re re) (* im im)) (* (* (+ (* im (/ im (* re re))) 1) re) re) (* (+ (* im (/ im (* re re))) 1) re) (+ (* im (/ im (* re re))) 1) 1)
2.0ms	re	@	-inf	((+ (* re re) (* im im)) (* (* (+ (* im (/ im (* re re))) 1) re) re) (* (+ (* im (/ im (* re re))) 1) re) (+ (* im (/ im re)) re) im (/ im re) re (+ (* re re) (* im im)) (* (* (+ (* im (/ im (* re re))) 1) re) re) (* (+ (* im (/ im (* re re))) 1) re) (+ (* im (/ im (* re re))) 1) 1)
1.0ms	re	@	inf	((+ (* re re) (* im im)) (* (* (+ (* im (/ im (* re re))) 1) re) re) (* (+ (* im (/ im (* re re))) 1) re) (+ (* im (/ im re)) re) im (/ im re) re (+ (* re re) (* im im)) (* (* (+ (* im (/ im (* re re))) 1) re) re) (* (+ (* im (/ im (* re re))) 1) re) (+ (* im (/ im (* re re))) 1) 1)
1.0ms	re	@	0	((+ (* re re) (* im im)) (* (* (+ (* im (/ im (* re re))) 1) re) re) (* (+ (* im (/ im (* re re))) 1) re) (+ (* im (/ im re)) re) im (/ im re) re (+ (* re re) (* im im)) (* (* (+ (* im (/ im (* re re))) 1) re) re) (* (+ (* im (/ im (* re re))) 1) re) (+ (* im (/ im (* re re))) 1) 1)

rewrite235.0ms (10.5%)

Memory

-49.3MiB live, 70.8MiB allocated; 163ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	66	457
0	72	452
1	315	446
0	2800	412

Stop Event

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

Counts

31 → 69

Calls

Call 1

Inputs
#s(approx (+ (* re re) (* im im)) (.f64 #s(approx ( (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re)) re))
(.f64 #s(approx ( (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re)) re)
#s(approx (* (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re))
(fma.f64 im (/.f64 im re) re)
im
(/.f64 im re)
re
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 #s(approx (+ (* im (/ im (* re re))) 1) #s(literal 1 binary64)) re) re))
(.f64 (.f64 #s(approx (+ (* im (/ im (* re re))) 1) #s(literal 1 binary64)) re) re)
(.f64 #s(approx (+ ( im (/ im (* re re))) 1) #s(literal 1 binary64)) re)
#s(approx (+ (* im (/ im (* re re))) 1) #s(literal 1 binary64))
#s(literal 1 binary64)
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 2))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (/ (pow im 2) re)))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (/ (+ (pow im 2) (pow re 2)) re)))
#s(approx (/ im re) #s(hole binary64 (/ im re)))
#s(approx re #s(hole binary64 re))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (/ (pow im 2) (pow re 2))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (/ (+ (pow im 2) (pow re 2)) (pow re 2))))
#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 (/ (pow im 2) (pow re 2))))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* re (+ 1 (/ (pow im 2) (pow re 2))))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 1))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (+ 1 (/ (pow im 2) (pow re 2)))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* -1 (* re (- (* -1 (/ (pow im 2) (pow re 2))) 1)))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (+ re (/ (pow im 2) re))))
#s(approx im #s(hole binary64 im))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))
#s(approx (* (+ (* im (/ im (* re re))) 1) re) #s(hole binary64 (* (pow im 2) (+ (/ 1 re) (/ re (pow im 2))))))
#s(approx (+ (* im (/ im (* re re))) 1) #s(hole binary64 (* (pow im 2) (+ (/ 1 (pow im 2)) (/ 1 (pow re 2))))))

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

eval5.0ms (0.2%)

Memory: 7.1MiB live, 7.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 602 to 274 computations (54.5% saved)

prune2.0ms (0.1%)

Memory

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

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	0	0
Picked	1	1	2
Done	0	3	3
Total	56	5	61

Accuracy

100.0%

Counts

61 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 re re (*.f64 im im))
✓	100.0%	(fma.f64 im im (*.f64 re re))
✓	86.6%	#s(approx (+ (* re re) (* im im)) (.f64 #s(approx ( (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re)) re))
▶	15.3%	#s(approx (+ (* re re) (* im im)) (*.f64 re re))
✓	98.6%	#s(approx (+ (* re re) (* im im)) (*.f64 im im))

Compiler

Compiled 38 to 37 computations (2.6% saved)

series2.0ms (0.1%)

Memory

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

Counts

3 → 6

Calls

Call 1

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

Outputs
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 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 (/ (pow im 2) (pow re 2))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))

Calls

6 calls:

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

rewrite50.0ms (2.2%)

Memory

5.6MiB live, 51.3MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	93
0	25	93
1	117	93
0	1175	85

Stop Event

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

Counts

9 → 42

Calls

Call 1

Inputs
#s(approx (+ (* re re) (* im im)) (*.f64 re re))
(*.f64 re re)
re
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (pow im 2)))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (+ (pow im 2) (pow re 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 (/ (pow im 2) (pow re 2))))))
#s(approx (+ (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (+ 1 (/ (pow re 2) (pow im 2))))))

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

eval3.0ms (0.1%)

Memory: 7.2MiB live, 7.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 187 to 114 computations (39% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	38	5	43

Accuracy

100.0%

Counts

43 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 re re (*.f64 im im))
✓	100.0%	(fma.f64 im im (*.f64 re re))
✓	86.6%	#s(approx (+ (* re re) (* im im)) (.f64 #s(approx ( (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re)) re))
✓	15.3%	#s(approx (+ (* re re) (* im im)) (*.f64 re re))
✓	98.6%	#s(approx (+ (* re re) (* im im)) (*.f64 im im))

Compiler

Compiled 86 to 69 computations (19.8% saved)

regimes13.0ms (0.6%)

Memory

-24.0MiB live, 23.1MiB allocated; 1ms collecting garbage

Counts

8 → 1

Calls

Call 1

Inputs
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
#s(approx (+ (* re re) (* im im)) (*.f64 re re))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 #s(approx (+ (* im (/ im (* re re))) 1) #s(literal 1 binary64)) re) re))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (.f64 re re) (.f64 im im))
#s(approx (+ (* re re) (* im im)) (.f64 #s(approx ( (+ (* im (/ im (* re re))) 1) re) (fma.f64 im (/.f64 im re) re)) re))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (fma.f64 im (/.f64 im (*.f64 re re)) #s(literal 1 binary64)) re) re))

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

Calls

5 calls:

3.0ms	(+.f64 (.f64 re re) (.f64 im im))
2.0ms	im
2.0ms	re
2.0ms	(*.f64 im im)
2.0ms	(*.f64 re re)

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.3%)

Memory

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

Accuracy

Total -53.3b remaining (-6005.2%)

Threshold costs -53.3b (-6005.2%)

Counts

3 → 1

Calls

Call 1

Inputs

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

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

#s(approx (+ (* re re) (* im im)) (*.f64 (*.f64 #s(approx (+ (* im (/ im (* re re))) 1) #s(literal 1 binary64)) re) re))

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
98.6%	1	`(*.f64 im im)`
98.6%	1	`(*.f64 re re)`
98.6%	1	`(+.f64 (.f64 re re) (.f64 im im))`
98.6%	1	`re`
98.6%	1	`im`

Compiler

Compiled 11 to 15 computations (-36.4% saved)

derivations10.0ms (0.4%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 9 to 9 computations (0% saved)

preprocess55.0ms (2.5%)

Memory: -4.3MiB live, 44.0MiB allocated; 7ms collecting garbage
Compiler: Compiled 88 to 88 computations (0% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.4s (63.9%)

preprocess101.0ms (4.5%)

series4.0ms (0.2%)

rewrite57.0ms (2.6%)

eval43.0ms (1.9%)

prune3.0ms (0.1%)

series10.0ms (0.5%)

rewrite131.0ms (5.9%)

eval52.0ms (2.3%)

prune7.0ms (0.3%)

series10.0ms (0.4%)

rewrite235.0ms (10.5%)

eval5.0ms (0.2%)

prune2.0ms (0.1%)

series2.0ms (0.1%)

rewrite50.0ms (2.2%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

regimes13.0ms (0.6%)

regimes7.0ms (0.3%)

derivations10.0ms (0.4%)

preprocess55.0ms (2.5%)

end0.0ms (0%)

Profiling