Metrics for math.square on complex, real part

start0.0ms (0%)

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

sample717.0ms (68.4%)

Memory

38.7MiB live, 700.5MiB allocated; 175ms collecting garbage

Samples

453.0ms

8 256×

valid

Precisions

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

ival-mult!: 106.0ms (84.9% of total)

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

adjust: 2.0ms (1.6% of total)

Bogosity

preprocess46.0ms (4.4%)

Memory

-23.7MiB live, 21.4MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	45
1	51	42
2	223	42
3	386	42
4	950	42
5	1955	42
6	2959	42
7	3299	42
8	3377	42
9	3377	42
10	3570	42

Stop Event

1×

saturated

Alt Table

Click to see full alt table

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

Symmetry

(abs re)

(abs im)

Compiler

Compiled 10 to 10 computations (0% saved)

series4.0ms (0.4%)

Memory

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

Counts

5 → 8

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	inf	((- (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	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	@	0	((- (* re re) (* im im)) (* re re) re (* im im) im)
1.0ms	im	@	inf	((- (* re re) (* im im)) (* re re) re (* im im) im)

rewrite74.0ms (7.1%)

Memory

4.7MiB live, 152.0MiB allocated; 18ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	129
0	32	125
1	132	124
0	1187	123

Stop Event

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

Counts

13 → 127

Calls

Call 1

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

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

eval10.0ms (0.9%)

Memory: 20.3MiB live, 20.3MiB allocated; 0ms collecting garbage
Compiler: Compiled 766 to 289 computations (62.3% saved)

prune10.0ms (1%)

Memory

-39.0MiB live, 6.0MiB allocated; 4ms collecting garbage

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	120	2	122

Accuracy

100.0%

Counts

122 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	50.5%	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
▶	56.3%	#s(approx (- (* re re) (* im im)) (*.f64 re re))

Compiler

Compiled 15 to 15 computations (0% saved)

series4.0ms (0.4%)

Memory

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

Counts

7 → 9

Calls

Call 1

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

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

Calls

6 calls:

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

rewrite51.0ms (4.8%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	157
0	41	151
1	141	150
0	1199	149

Stop Event

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

Counts

16 → 65

Calls

Call 1

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

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

eval51.0ms (4.9%)

Memory: -26.9MiB live, 16.4MiB allocated; 3ms collecting garbage
Compiler: Compiled 266 to 166 computations (37.6% saved)

prune2.0ms (0.2%)

Memory

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

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	55	2	57

Accuracy

100.0%

Counts

57 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	50.5%	#s(approx (- (* re re) (* im im)) (*.f64 (neg.f64 im) im))
✓	56.3%	#s(approx (- (* re re) (* im im)) (*.f64 re re))

Compiler

Compiled 31 to 27 computations (12.9% saved)

regimes7.0ms (0.7%)

Memory

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

Counts

3 → 2

Calls

Call 1

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

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
94.9%	2	`(*.f64 im im)`
96.5%	2	`(*.f64 re re)`
96.5%	2	`(-.f64 (.f64 re re) (.f64 im im))`
96.5%	2	`re`
94.9%	2	`im`

Compiler

Compiled 11 to 15 computations (-36.4% saved)

regimes7.0ms (0.7%)

Memory

-32.4MiB live, 9.9MiB allocated; 6ms collecting garbage

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

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

Results

Accuracy	Segments	Branch
79.3%	2	`(*.f64 re re)`
96.5%	2	`(-.f64 (.f64 re re) (.f64 im im))`
79.3%	2	`re`

Compiler

Compiled 8 to 10 computations (-25% saved)

regimes5.0ms (0.5%)

Memory

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

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 11 to 15 computations (-36.4% saved)

bsearch8.0ms (0.8%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
8.0ms	2.3701320649318564e+149	8.549455269103664e+150

Samples

4.0ms

112×

valid

Compiler

Compiled 94 to 108 computations (-14.9% saved)

Precisions

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

ival-mult!: 1.0ms (76.3% of total)

ival-sub!: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-7.158130232355736e-260	0.0

Compiler

Compiled 8 to 10 computations (-25% saved)

derivations9.0ms (0.9%)

Memory

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

Stop Event

1×

done

Compiler

Compiled 22 to 18 computations (18.2% saved)

preprocess42.0ms (4%)

Memory

-15.4MiB live, 64.5MiB allocated; 33ms collecting garbage

Remove

(abs im)

(abs re)

Compiler

Compiled 209 to 183 computations (12.4% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample717.0ms (68.4%)

preprocess46.0ms (4.4%)

series4.0ms (0.4%)

rewrite74.0ms (7.1%)

eval10.0ms (0.9%)

prune10.0ms (1%)

series4.0ms (0.4%)

rewrite51.0ms (4.8%)

eval51.0ms (4.9%)

prune2.0ms (0.2%)

regimes7.0ms (0.7%)

regimes7.0ms (0.7%)

regimes5.0ms (0.5%)

bsearch8.0ms (0.8%)

bsearch0.0ms (0%)

derivations9.0ms (0.9%)

preprocess42.0ms (4%)

end0.0ms (0%)

Profiling