Metrics for math.abs on complex (squared)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

sample648.0ms (58.7%)

Memory

-2.5MiB live, 953.0MiB allocated; 209ms collecting garbage

Samples

394.0ms	8 255×	0	valid
0.0ms	1×	1	valid

Precisions

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

ival-mult!: 173.0ms (89.2% of total)

ival-add!: 19.0ms (9.8% of total)

adjust: 1.0ms (0.5% of total)

Bogosity

preprocess102.0ms (9.2%)

Memory

-16.1MiB live, 34.9MiB allocated; 13ms 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.4%)

Memory

10.0MiB live, 10.0MiB 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	im	@	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	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	re	@	0	((+ (* re re) (* im im)) (* re re) re (* im im) im)

rewrite94.0ms (8.5%)

Memory

10.7MiB live, 102.1MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	96
0	28	96
1	124	96
0	1175	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))

eval15.0ms (1.4%)

Memory: -2.0MiB live, 44.0MiB allocated; 4ms collecting garbage
Compiler: Compiled 927 to 325 computations (64.9% saved)

prune3.0ms (0.3%)

Memory

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

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	151	2	153
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	152	2	154

Accuracy

100.0%

Counts

154 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 11 to 11 computations (0% saved)

series3.0ms (0.2%)

Memory

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

rewrite65.0ms (5.8%)

Memory

4.0MiB live, 98.1MiB allocated; 17ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	101
0	27	100
1	118	100
0	1169	98

Stop Event

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

Counts

12 → 125

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 (.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 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 #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 (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))

eval15.0ms (1.4%)

Memory: -0.7MiB live, 45.2MiB allocated; 5ms collecting garbage
Compiler: Compiled 929 to 283 computations (69.5% saved)

prune7.0ms (0.6%)

Memory

-28.7MiB live, 17.1MiB allocated; 4ms collecting garbage

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	152	3	155

Accuracy

100.0%

Counts

155 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 18 to 18 computations (0% saved)

series2.0ms (0.2%)

Memory

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

rewrite61.0ms (5.5%)

Memory

36.3MiB live, 128.2MiB allocated; 16ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	93
0	25	93
1	117	93
0	1168	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))

eval13.0ms (1.2%)

Memory: -26.4MiB live, 15.4MiB allocated; 12ms collecting garbage
Compiler: Compiled 187 to 114 computations (39% saved)

prune2.0ms (0.2%)

Memory

9.5MiB live, 9.5MiB 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.7%	#s(approx (+ (* re re) (* im im)) (*.f64 re re))
✓	99.8%	#s(approx (+ (* re re) (* im im)) (*.f64 im im))

Compiler

Compiled 35 to 29 computations (17.1% saved)

regimes12.0ms (1.1%)

Memory

-20.9MiB live, 25.7MiB allocated; 4ms 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	im
2.0ms	re
1.0ms	(+.f64 (.f64 re re) (.f64 im im))
1.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)

regimes6.0ms (0.5%)

Memory

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

Accuracy

Total -53.8b remaining (-43411.8%)

Threshold costs -53.8b (-43411.8%)

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

Results

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

Compiler

Compiled 11 to 15 computations (-36.4% saved)

derivations27.0ms (2.5%)

Memory

-23.1MiB live, 34.5MiB allocated; 29ms collecting garbage

Stop Event

1×

done

Compiler

Compiled 9 to 8 computations (11.1% saved)

preprocess26.0ms (2.4%)

Memory: 19.5MiB live, 60.7MiB allocated; 9ms collecting garbage
Compiler: Compiled 80 to 79 computations (1.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample648.0ms (58.7%)

preprocess102.0ms (9.2%)

series4.0ms (0.4%)

rewrite94.0ms (8.5%)

eval15.0ms (1.4%)

prune3.0ms (0.3%)

series3.0ms (0.2%)

rewrite65.0ms (5.8%)

eval15.0ms (1.4%)

prune7.0ms (0.6%)

series2.0ms (0.2%)

rewrite61.0ms (5.5%)

eval13.0ms (1.2%)

prune2.0ms (0.2%)

regimes12.0ms (1.1%)

regimes6.0ms (0.5%)

derivations27.0ms (2.5%)

preprocess26.0ms (2.4%)

end0.0ms (0%)

Profiling