Metrics for math.abs on complex (squared)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

1.0MiB live, 1.0MiB 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.1s (67.7%)

Memory

-53.5MiB live, 885.7MiB allocated; 1.1s collecting garbage

Samples

793.0ms

8 256×

valid

Precisions

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

ival-mult!: 184.0ms (88.6% of total)

ival-add!: 22.0ms (10.6% of total)

adjust: 1.0ms (0.5% of total)

Bogosity

preprocess133.0ms (8.3%)

Memory

-40.0MiB live, 53.4MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	44
1	51	44
2	161	44
3	210	44
4	426	44
5	2064	44
6	4972	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

6.9MiB live, 6.9MiB 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)

rewrite58.0ms (3.6%)

Memory

23.5MiB live, 69.3MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	96
0	28	96
1	134	96
0	1382	88

Stop Event

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

Counts

12 → 163

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

eval22.0ms (1.4%)

Memory: -16.6MiB live, 32.9MiB allocated; 9ms collecting garbage
Compiler: Compiled 995 to 337 computations (66.1% saved)

prune3.0ms (0.2%)

Memory

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

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	156	2	158
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	157	2	159

Accuracy

100.0%

Counts

159 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 11 to 11 computations (0% saved)

series3.0ms (0.2%)

Memory

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

Counts

5 → 7

Calls

Call 1

Inputs
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
(*.f64 im im)
im
(fma.f64 re re (*.f64 im im))
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 #s(hole binary64 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 (/ (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	im	@	-inf	((+ (* re re) (* im im)) (* im im) im (+ (* re re) (* im im)) re)
1.0ms	im	@	inf	((+ (* re re) (* im im)) (* im im) im (+ (* re re) (* im im)) re)
0.0ms	re	@	-inf	((+ (* re re) (* im im)) (* im im) im (+ (* re re) (* im im)) re)
0.0ms	re	@	inf	((+ (* re re) (* im im)) (* im im) im (+ (* re re) (* im im)) re)
0.0ms	im	@	0	((+ (* re re) (* im im)) (* im im) im (+ (* re re) (* im im)) re)

rewrite52.0ms (3.3%)

Memory

2.1MiB live, 48.1MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	101
0	27	100
1	128	100
0	1376	98

Stop Event

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

Counts

12 → 130

Calls

Call 1

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

eval13.0ms (0.8%)

Memory: 21.8MiB live, 21.8MiB allocated; 0ms collecting garbage
Compiler: Compiled 997 to 295 computations (70.4% saved)

prune7.0ms (0.4%)

Memory

-38.0MiB live, 6.9MiB allocated; 6ms collecting garbage

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	157	1	158
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	157	3	160

Accuracy

100.0%

Counts

160 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 re re (*.f64 im im))
▶	15.2%	#s(approx (+ (* re re) (* im im)) (*.f64 re re))
✓	99.5%	#s(approx (+ (* re re) (* im im)) (*.f64 im im))

Compiler

Compiled 18 to 18 computations (0% saved)

series2.0ms (0.1%)

Memory

4.0MiB live, 4.0MiB 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)

rewrite140.0ms (8.8%)

Memory

14.7MiB live, 60.5MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	93
0	25	93
1	127	93
0	1375	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.2%)

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

prune2.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	38	3	41

Accuracy

100.0%

Counts

41 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 re re (*.f64 im im))
✓	15.2%	#s(approx (+ (* re re) (* im im)) (*.f64 re re))
✓	99.5%	#s(approx (+ (* re re) (* im im)) (*.f64 im im))

Compiler

Compiled 35 to 29 computations (17.1% saved)

regimes22.0ms (1.4%)

Memory

-31.3MiB live, 16.3MiB allocated; 12ms collecting garbage

Counts

4 → 1

Calls

Call 1

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

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

Calls

5 calls:

2.0ms	re
2.0ms	im
2.0ms	(+.f64 (.f64 re re) (.f64 im im))
2.0ms	(*.f64 im im)
1.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)

regimes9.0ms (0.6%)

Memory

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

Accuracy

Total -54.0b remaining (-17518.5%)

Threshold costs -54b (-17518.5%)

Counts

2 → 1

Calls

Call 1

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

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

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
99.5%	1	`(*.f64 im im)`
99.5%	1	`(*.f64 re re)`
99.5%	1	`(+.f64 (.f64 re re) (.f64 im im))`
99.5%	1	`re`
99.5%	1	`im`

Compiler

Compiled 11 to 15 computations (-36.4% saved)

derivations11.0ms (0.7%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 9 to 8 computations (11.1% saved)

preprocess31.0ms (1.9%)

Memory: -12.7MiB live, 32.1MiB allocated; 4ms collecting garbage
Compiler: Compiled 80 to 79 computations (1.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.1s (67.7%)

preprocess133.0ms (8.3%)

series4.0ms (0.2%)

rewrite58.0ms (3.6%)

eval22.0ms (1.4%)

prune3.0ms (0.2%)

series3.0ms (0.2%)

rewrite52.0ms (3.3%)

eval13.0ms (0.8%)

prune7.0ms (0.4%)

series2.0ms (0.1%)

rewrite140.0ms (8.8%)

eval3.0ms (0.2%)

prune2.0ms (0.1%)

regimes22.0ms (1.4%)

regimes9.0ms (0.6%)

derivations11.0ms (0.7%)

preprocess31.0ms (1.9%)

end0.0ms (0%)

Profiling