Metrics for math.abs on complex (squared)

start0.0ms (0%)

Memory: 0.0MiB 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)

sample1.9s (25.9%)

Memory

-133.6MiB live, 1 350.6MiB allocated; 1.9s collecting garbage

Samples

1.6s

8 256×

valid

Precisions

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

ival-add: 152.0ms (52.7% of total)

ival-mult: 131.0ms (45.4% of total)

ival-assert: 3.0ms (1% of total)

adjust: 2.0ms (0.7% of total)

Bogosity

explain63.0ms (0.9%)

Memory

-11.5MiB live, 132.8MiB allocated; 12ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(+.f64 (.f64 re re) (.f64 im im))`
-	-	`(*.f64 re re)`
-	-	`re`
-	-	`(*.f64 im im)`
-	-	`im`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

24.0ms

512×

valid

Compiler

Compiled 41 to 19 computations (53.7% saved)

Precisions

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

ival-mult: 7.0ms (58.8% of total)

ival-add: 4.0ms (33.6% of total)

ival-true: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess18.0ms (0.2%)

Memory

-10.5MiB live, 35.2MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	44
1	43	44
2	91	44
3	115	44
4	147	44
0	5	7
0	8	7
1	19	7
2	58	7
3	115	7
4	152	7
0	152	7

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 re re) (.f64 im im))

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

Symmetry

(abs re)

(abs im)

(sort re im)

Compiler

Compiled 7 to 5 computations (28.6% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0%)

Memory

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

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

series4.0ms (0.1%)

Memory

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

Counts

5 → 9

Calls

Call 1

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

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

rewrite62.0ms (0.9%)

Memory

-7.2MiB live, 87.8MiB allocated; 9ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	114
0	31	114
1	124	114
0	1180	106

Stop Event

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

Counts

14 → 97

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

Outputs
(/.f64 (-.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 (.f64 (neg.f64 im) im) #s(literal 3 binary64))) (+.f64 (pow.f64 re #s(literal 4 binary64)) (+.f64 (pow.f64 im #s(literal 4 binary64)) (.f64 (.f64 re re) (.f64 (neg.f64 im) im)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64)))) (neg.f64 (*.f64 (+.f64 im re) (-.f64 im re))))
(/.f64 (neg.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64)))) (neg.f64 (*.f64 (+.f64 re im) (-.f64 re im))))
(/.f64 (neg.f64 (+.f64 (pow.f64 im #s(literal 6 binary64)) (pow.f64 re #s(literal 6 binary64)))) (neg.f64 (+.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 (*.f64 im re) #s(literal 2 binary64))) (pow.f64 im #s(literal 4 binary64)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 im #s(literal 6 binary64)) (pow.f64 re #s(literal 6 binary64)))) (neg.f64 (+.f64 (-.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 (*.f64 im re) #s(literal 2 binary64))) (pow.f64 re #s(literal 4 binary64)))))
(/.f64 (-.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64))) (*.f64 (+.f64 im re) (-.f64 im re)))
(/.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) (*.f64 (+.f64 re im) (-.f64 re im)))
(/.f64 (+.f64 (pow.f64 im #s(literal 6 binary64)) (pow.f64 re #s(literal 6 binary64))) (+.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 (*.f64 im re) #s(literal 2 binary64))) (pow.f64 im #s(literal 4 binary64))))
(/.f64 (+.f64 (pow.f64 im #s(literal 6 binary64)) (pow.f64 re #s(literal 6 binary64))) (+.f64 (-.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 (*.f64 im re) #s(literal 2 binary64))) (pow.f64 re #s(literal 4 binary64))))
(-.f64 (ratio-square-sum.f64 (.f64 im im) (.f64 (neg.f64 re) re)) (/.f64 (pow.f64 re #s(literal 4 binary64)) (*.f64 (+.f64 im re) (-.f64 im re))))
(-.f64 (ratio-square-sum.f64 (.f64 re re) (.f64 (neg.f64 im) im)) (/.f64 (pow.f64 im #s(literal 4 binary64)) (*.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 (pow.f64 im #s(literal 6 binary64)) (+.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 (.f64 im re) #s(literal 2 binary64))) (pow.f64 im #s(literal 4 binary64)))) (/.f64 (pow.f64 re #s(literal 6 binary64)) (+.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 (.f64 im re) #s(literal 2 binary64))) (pow.f64 im #s(literal 4 binary64)))))
(+.f64 (/.f64 (pow.f64 re #s(literal 6 binary64)) (+.f64 (-.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 (.f64 im re) #s(literal 2 binary64))) (pow.f64 re #s(literal 4 binary64)))) (/.f64 (pow.f64 im #s(literal 6 binary64)) (+.f64 (-.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 (.f64 im re) #s(literal 2 binary64))) (pow.f64 re #s(literal 4 binary64)))))
(+.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))
(.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 (neg.f64 re) re))
(fabs.f64 (*.f64 re re))
(exp.f64 (+.f64 (*.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)))
(+.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) (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) (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) im) (*.f64 #s(literal 1 binary64) im))
(.f64 (.f64 #s(literal 1 binary64) im) im)
(.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 im #s(literal 1 binary64)) (*.f64 im #s(literal 1 binary64)))
(*.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) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(*.f64 (neg.f64 im) (neg.f64 im))
(.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(*.f64 (fabs.f64 im) (fabs.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 (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))
(/.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 (+.f64 (*.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)) (+.f64 (.f64 re re) (.f64 im im)))
#s(approx (* re re) (*.f64 re re))
#s(approx re re)
#s(approx (+ (* re re) (* im im)) (*.f64 re re))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 im re) #s(literal -1 binary64)) re) re))
#s(approx (* im im) (*.f64 im im))
#s(approx im im)
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) im) im))

eval73.0ms (1%)

Memory

5.6MiB live, 146.7MiB allocated; 12ms collecting garbage

Samples

32.0ms	790×	0	valid
11.0ms	234×	0	invalid

Compiler

Compiled 1 183 to 273 computations (76.9% saved)

Precisions

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

ival-mult: 10.0ms (49.1% of total)

ival-div: 6.0ms (29.4% of total)

ival-add: 3.0ms (14.7% of total)

ival-true: 1.0ms (4.9% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

prune16.0ms (0.2%)

Memory

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

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	99	2	101
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	99	3	102

Accuracy

100.0%

Counts

102 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 (.f64 re re) (.f64 im im))
▶	100.0%	#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) im) im))
▶	99.6%	#s(approx (+ (* re re) (* im im)) (*.f64 im im))

Samples

10.0ms

256×

valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

Precisions

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

ival-mult: 4.0ms (74.9% of total)

ival-div: 1.0ms (18.7% of total)

ival-true: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series11.0ms (0.2%)

Memory

-24.2MiB live, 22.5MiB allocated; 3ms collecting garbage

Counts

10 → 26

Calls

Call 1

Inputs
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
(*.f64 im im)
im
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) im) im))
(.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) im) im)
(*.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) im)
(-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64))
(ratio-of-squares.f64 re im)
re
#s(literal -1 binary64)

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

Calls

6 calls:

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

rewrite120.0ms (1.7%)

Memory

6.1MiB live, 150.4MiB allocated; 19ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	440
0	79	394
1	305	394
0	2809	386

Stop Event

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

Counts

36 → 449

Calls

Call 1

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

Outputs
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
(.f64 (.f64 (neg.f64 im) #s(literal 1 binary64)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 (fabs.f64 im) #s(literal 1 binary64)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(.f64 (.f64 (fabs.f64 im) #s(literal -1 binary64)) (*.f64 (fabs.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) (fabs.f64 im)) (*.f64 #s(literal -1 binary64) (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 (*.f64 im im) #s(literal -1 binary64)) #s(literal -1 binary64))
(*.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) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(*.f64 (neg.f64 im) (neg.f64 im))
(.f64 (fabs.f64 im) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(*.f64 (fabs.f64 im) (fabs.f64 im))
(.f64 #s(literal 1 binary64) (.f64 im im))
(.f64 (.f64 im im) #s(literal 1 binary64))
(.f64 #s(literal -1 binary64) (.f64 #s(literal -1 binary64) (*.f64 im 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))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 im im)) #s(literal 2 binary64))
(/.f64 (.f64 (.f64 im im) #s(literal 2 binary64)) #s(literal 2 binary64))
(neg.f64 (*.f64 (neg.f64 im) im))
(fabs.f64 (*.f64 im im))
(exp.f64 (+.f64 (*.f64 (log.f64 im) #s(literal 2 binary64)) #s(literal 0 binary64)))
(exp.f64 (+.f64 #s(literal 0 binary64) (*.f64 (log.f64 im) #s(literal 2 binary64))))
(exp.f64 (*.f64 (log.f64 im) #s(literal 2 binary64)))
(+.f64 (cosh.f64 (.f64 (log.f64 im) #s(literal 2 binary64))) (sinh.f64 (.f64 (log.f64 im) #s(literal 2 binary64))))
im
#s(approx (+ (* re re) (* im im)) (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) (.f64 im im)))
(.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) (neg.f64 im)) (neg.f64 im))
(.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) (fabs.f64 im)) (fabs.f64 im))
(.f64 (neg.f64 im) (.f64 (neg.f64 im) (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64))))
(.f64 (fabs.f64 im) (.f64 (fabs.f64 im) (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64))))
(.f64 (+.f64 (.f64 (ratio-of-squares.f64 re im) im) im) im)
(.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) (.f64 im im))
(.f64 (.f64 im im) (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)))
(.f64 im (+.f64 (.f64 (ratio-of-squares.f64 re im) im) im))
(/.f64 (.f64 (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)) #s(literal 1 binary64)) (.f64 im im)) (+.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)))
(/.f64 (.f64 (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal -1 binary64)) (.f64 im im)) (+.f64 (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))) (.f64 im im)) (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)))
(/.f64 (.f64 (+.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal 1 binary64)) (.f64 im im)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))) (ratio-of-squares.f64 re im)))
(/.f64 (.f64 (.f64 im im) (-.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)))
(/.f64 (.f64 (.f64 im im) (+.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal 1 binary64))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))) (ratio-of-squares.f64 re im)))
(/.f64 (-.f64 (pow.f64 im #s(literal 4 binary64)) (.f64 (ratio-of-squares.f64 (.f64 re im) im) (ratio-of-squares.f64 (.f64 re im) im))) (-.f64 (.f64 im im) (ratio-of-squares.f64 (*.f64 re im) im)))
(/.f64 (+.f64 (pow.f64 im #s(literal 6 binary64)) (pow.f64 (ratio-of-squares.f64 (.f64 re im) im) #s(literal 3 binary64))) (+.f64 (pow.f64 im #s(literal 4 binary64)) (-.f64 (.f64 (ratio-of-squares.f64 (.f64 re im) im) (ratio-of-squares.f64 (.f64 re im) im)) (.f64 (.f64 im im) (ratio-of-squares.f64 (*.f64 re im) im)))))
(-.f64 (.f64 im im) (.f64 (neg.f64 (ratio-of-squares.f64 re im)) (*.f64 im im)))
(-.f64 (.f64 im im) (.f64 (*.f64 (neg.f64 im) im) (ratio-of-squares.f64 re im)))
(+.f64 (ratio-of-squares.f64 (.f64 re im) im) (.f64 im im))
(+.f64 (.f64 im im) (ratio-of-squares.f64 (.f64 re im) im))
(*.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) im)
(*.f64 im (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)))
(/.f64 (*.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))) im) (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)))
(/.f64 (*.f64 (+.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal 1 binary64)) im) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))) (ratio-of-squares.f64 re im)))
(/.f64 (*.f64 (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal -1 binary64)) im) (+.f64 (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)) #s(literal 1 binary64)) im) (+.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)))
(/.f64 (*.f64 im (-.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)))) (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)))
(/.f64 (*.f64 im (+.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal 1 binary64))) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))) (ratio-of-squares.f64 re im)))
(/.f64 (*.f64 im (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal -1 binary64))) (+.f64 (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))))
(/.f64 (*.f64 im (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)) #s(literal 1 binary64))) (+.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)))
(/.f64 (-.f64 (.f64 im im) (.f64 (.f64 (ratio-of-squares.f64 re im) im) (.f64 (ratio-of-squares.f64 re im) im))) (-.f64 im (*.f64 (ratio-of-squares.f64 re im) im)))
(/.f64 (+.f64 (pow.f64 im #s(literal 3 binary64)) (pow.f64 (.f64 (ratio-of-squares.f64 re im) im) #s(literal 3 binary64))) (+.f64 (.f64 im im) (-.f64 (.f64 (.f64 (ratio-of-squares.f64 re im) im) (.f64 (ratio-of-squares.f64 re im) im)) (ratio-of-squares.f64 (.f64 re im) im))))
(-.f64 im (*.f64 (neg.f64 (ratio-of-squares.f64 re im)) im))
(-.f64 im (*.f64 (neg.f64 im) (ratio-of-squares.f64 re im)))
(+.f64 (*.f64 (ratio-of-squares.f64 re im) im) im)
(+.f64 im (*.f64 (ratio-of-squares.f64 re im) im))
(.f64 (.f64 (+.f64 (pow.f64 re #s(literal -2 binary64)) (pow.f64 im #s(literal -2 binary64))) (neg.f64 re)) (neg.f64 re))
(.f64 (.f64 (+.f64 (pow.f64 re #s(literal -2 binary64)) (pow.f64 im #s(literal -2 binary64))) (fabs.f64 re)) (fabs.f64 re))
(.f64 (.f64 (+.f64 (pow.f64 re #s(literal -2 binary64)) (pow.f64 im #s(literal -2 binary64))) re) re)
(.f64 (neg.f64 re) (.f64 (neg.f64 re) (+.f64 (pow.f64 re #s(literal -2 binary64)) (pow.f64 im #s(literal -2 binary64)))))
(.f64 (fabs.f64 re) (.f64 (fabs.f64 re) (+.f64 (pow.f64 re #s(literal -2 binary64)) (pow.f64 im #s(literal -2 binary64)))))
(.f64 (+.f64 (pow.f64 re #s(literal -2 binary64)) (pow.f64 im #s(literal -2 binary64))) (.f64 re re))
(.f64 (.f64 re re) (+.f64 (pow.f64 re #s(literal -2 binary64)) (pow.f64 im #s(literal -2 binary64))))
(.f64 re (.f64 re (+.f64 (pow.f64 re #s(literal -2 binary64)) (pow.f64 im #s(literal -2 binary64)))))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (fabs.f64 im)) (fabs.f64 im))
(/.f64 (.f64 (-.f64 (pow.f64 im #s(literal -4 binary64)) (pow.f64 re #s(literal -4 binary64))) (.f64 re re)) (-.f64 (pow.f64 im #s(literal -2 binary64)) (pow.f64 re #s(literal -2 binary64))))
(/.f64 (.f64 (+.f64 (pow.f64 re #s(literal -6 binary64)) (pow.f64 im #s(literal -6 binary64))) (.f64 re re)) (+.f64 (-.f64 (pow.f64 re #s(literal -4 binary64)) (ratio-of-squares.f64 (/.f64 #s(literal 1 binary64) re) im)) (pow.f64 im #s(literal -4 binary64))))
(/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 re re)) (pow.f64 (*.f64 re im) #s(literal 2 binary64)))
(/.f64 (.f64 (.f64 re re) (-.f64 (pow.f64 im #s(literal -4 binary64)) (pow.f64 re #s(literal -4 binary64)))) (-.f64 (pow.f64 im #s(literal -2 binary64)) (pow.f64 re #s(literal -2 binary64))))
(/.f64 (.f64 (.f64 re re) (+.f64 (pow.f64 re #s(literal -6 binary64)) (pow.f64 im #s(literal -6 binary64)))) (+.f64 (-.f64 (pow.f64 re #s(literal -4 binary64)) (ratio-of-squares.f64 (/.f64 #s(literal 1 binary64) re) im)) (pow.f64 im #s(literal -4 binary64))))
(/.f64 (.f64 (.f64 re re) (+.f64 (.f64 re re) (.f64 im im))) (pow.f64 (*.f64 re im) #s(literal 2 binary64)))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 im)) (neg.f64 im))
(/.f64 (+.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 (*.f64 re im) #s(literal 2 binary64))) (pow.f64 im #s(literal 4 binary64)))
(/.f64 (neg.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))) (*.f64 im im))
(/.f64 (neg.f64 (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)) #s(literal 1 binary64))) (neg.f64 (+.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal -1 binary64))) (neg.f64 (+.f64 (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)))) (neg.f64 (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal 1 binary64))) (neg.f64 (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))) (ratio-of-squares.f64 re im))))
(/.f64 (+.f64 (.f64 (.f64 (neg.f64 re) re) #s(literal 2 binary64)) (.f64 (.f64 (neg.f64 im) im) #s(literal 2 binary64))) (.f64 (.f64 (neg.f64 im) im) #s(literal 2 binary64)))
(/.f64 (+.f64 (.f64 (/.f64 (.f64 re re) im) #s(literal 2 binary64)) (.f64 im #s(literal 2 binary64))) (.f64 im #s(literal 2 binary64)))
(/.f64 (+.f64 (.f64 (.f64 re re) #s(literal 2 binary64)) (.f64 (.f64 im im) #s(literal 2 binary64))) (.f64 (.f64 im im) #s(literal 2 binary64)))
(/.f64 (+.f64 (.f64 #s(literal 2 binary64) (.f64 (neg.f64 im) im)) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 re) re))) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 im) im)))
(/.f64 (+.f64 (.f64 #s(literal 2 binary64) im) (.f64 #s(literal 2 binary64) (/.f64 (.f64 re re) im))) (.f64 #s(literal 2 binary64) im))
(/.f64 (+.f64 (.f64 #s(literal 2 binary64) (.f64 im im)) (.f64 #s(literal 2 binary64) (.f64 re re))) (.f64 #s(literal 2 binary64) (.f64 im im)))
(/.f64 (+.f64 (.f64 (.f64 im im) (.f64 (neg.f64 im) im)) (.f64 (.f64 im im) (.f64 (neg.f64 re) re))) (.f64 (.f64 im im) (*.f64 (neg.f64 im) im)))
(/.f64 (+.f64 (pow.f64 im #s(literal 3 binary64)) (.f64 (.f64 im im) (/.f64 (*.f64 re re) im))) (pow.f64 im #s(literal 3 binary64)))
(/.f64 (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 (ratio-of-squares.f64 re im) #s(literal 1 binary64)))
(/.f64 (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)) #s(literal 1 binary64)) (+.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)))
(/.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 im #s(literal 4 binary64))) (.f64 (.f64 (+.f64 re im) (-.f64 re im)) (*.f64 im im)))
(/.f64 (-.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 re #s(literal 4 binary64))) (.f64 (.f64 (+.f64 im re) (-.f64 im re)) (*.f64 im im)))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))) (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)))
(/.f64 (-.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal -1 binary64)) (+.f64 (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64))) (.f64 (+.f64 (-.f64 (pow.f64 im #s(literal 4 binary64)) (pow.f64 (.f64 re im) #s(literal 2 binary64))) (pow.f64 re #s(literal 4 binary64))) (*.f64 im im)))
(/.f64 (+.f64 (pow.f64 re #s(literal 6 binary64)) (pow.f64 im #s(literal 6 binary64))) (.f64 (+.f64 (-.f64 (pow.f64 re #s(literal 4 binary64)) (pow.f64 (.f64 re im) #s(literal 2 binary64))) (pow.f64 im #s(literal 4 binary64))) (*.f64 im im)))
(/.f64 (+.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))))
(/.f64 (+.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) #s(literal 1 binary64)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))) (ratio-of-squares.f64 re im)))
(/.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))) (*.f64 (neg.f64 im) im))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) im) im)
(/.f64 (+.f64 (.f64 re re) (.f64 im im)) (*.f64 im im))
(neg.f64 (/.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))) (*.f64 im im)))
(neg.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (*.f64 (neg.f64 im) im)))
(-.f64 (ratio-square-sum.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) (ratio-square-sum.f64 #s(literal -1 binary64) (ratio-of-squares.f64 re im)))
(-.f64 (/.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) (+.f64 (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)))) (/.f64 #s(literal -1 binary64) (+.f64 (-.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im)) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64)))))
(-.f64 (ratio-square-sum.f64 #s(literal 1 binary64) (neg.f64 (ratio-of-squares.f64 re im))) (ratio-square-sum.f64 (neg.f64 (ratio-of-squares.f64 re im)) #s(literal 1 binary64)))
(-.f64 (ratio-of-squares.f64 re im) (.f64 (neg.f64 (pow.f64 re #s(literal -2 binary64))) (.f64 re re)))
(-.f64 (ratio-of-squares.f64 re im) (.f64 (.f64 (neg.f64 re) re) (pow.f64 re #s(literal -2 binary64))))
(-.f64 (ratio-of-squares.f64 re im) (/.f64 (.f64 (neg.f64 im) im) (.f64 im im)))
(-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64))
(-.f64 #s(literal 1 binary64) (neg.f64 (ratio-of-squares.f64 re im)))
(+.f64 (ratio-square-sum.f64 #s(literal 1 binary64) (*.f64 (ratio-of-squares.f64 re im) (-.f64 (ratio-of-squares.f64 re im) #s(literal 1 binary64)))) (/.f64 (pow.f64 (ratio-of-squares.f64 re im) #s(literal 3 binary64)) (-.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (ratio-of-squares.f64 re im) #s(literal 2 binary64))) (ratio-of-squares.f64 re im))))
(+.f64 (ratio-of-squares.f64 re im) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im))
(.f64 (.f64 (pow.f64 im #s(literal -2 binary64)) (neg.f64 re)) (neg.f64 re))
(.f64 (.f64 (pow.f64 im #s(literal -2 binary64)) (fabs.f64 re)) (fabs.f64 re))
(.f64 (.f64 (pow.f64 im #s(literal -2 binary64)) re) re)
(.f64 (.f64 #s(literal 1 binary64) (/.f64 re im)) (*.f64 #s(literal 1 binary64) (/.f64 re im)))
(.f64 (.f64 #s(literal 1 binary64) (/.f64 re im)) (/.f64 re im))
(.f64 (.f64 #s(literal -1 binary64) (/.f64 re im)) (*.f64 #s(literal -1 binary64) (/.f64 re im)))
(.f64 (.f64 #s(literal 1 binary64) re) (/.f64 (/.f64 re im) 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 (neg.f64 (/.f64 re im)) (neg.f64 (/.f64 re im)))
(*.f64 (fabs.f64 (/.f64 re im)) (fabs.f64 (/.f64 re im)))
(*.f64 (/.f64 (/.f64 re im) im) re)
(*.f64 (/.f64 re im) (/.f64 re im))
(.f64 (neg.f64 re) (/.f64 (neg.f64 re) (.f64 im im)))
(.f64 (neg.f64 re) (.f64 (neg.f64 re) (pow.f64 im #s(literal -2 binary64))))
(.f64 (fabs.f64 re) (/.f64 (fabs.f64 re) (.f64 im im)))
(.f64 (fabs.f64 re) (.f64 (fabs.f64 re) (pow.f64 im #s(literal -2 binary64))))
(.f64 (pow.f64 im #s(literal -2 binary64)) (.f64 re re))
(*.f64 (ratio-of-squares.f64 re im) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (ratio-of-squares.f64 re im))
(.f64 (.f64 re re) (pow.f64 im #s(literal -2 binary64)))
(*.f64 #s(literal -1 binary64) (neg.f64 (ratio-of-squares.f64 re im)))
(.f64 re (.f64 re (pow.f64 im #s(literal -2 binary64))))
(*.f64 re (/.f64 (/.f64 re im) im))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (neg.f64 re)) im)
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) (fabs.f64 re)) im)
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) re) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) re) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) re) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal 1 binary64) re) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) re) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) re) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) re) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) re) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) re) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) re) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal 1 binary64) re) im)
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (neg.f64 re)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (neg.f64 re)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (neg.f64 re)) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (neg.f64 re)) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (neg.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (neg.f64 re)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (neg.f64 re)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (neg.f64 re)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (neg.f64 re)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (neg.f64 re)) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (neg.f64 re)) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (neg.f64 re)) im)
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (fabs.f64 re)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (fabs.f64 re)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (fabs.f64 re)) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (fabs.f64 re)) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) (fabs.f64 re)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 re)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 re)) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 re)) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) (fabs.f64 re)) im)
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) re) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) re) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) re) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) re) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) re) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 #s(literal -1 binary64) re) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) re) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) re) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) re) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) re) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) re) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) re) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 #s(literal -1 binary64) re) im)
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal 1 binary64)) im)
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 (neg.f64 re) #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 (neg.f64 re) #s(literal -1 binary64)) im)
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal 1 binary64)) im)
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal -1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal -1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal -1 binary64)) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 (fabs.f64 re) #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal -1 binary64)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal -1 binary64)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal -1 binary64)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal -1 binary64)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal -1 binary64)) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal -1 binary64)) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 (fabs.f64 re) #s(literal -1 binary64)) im)
(ratio-of-squares.f64 (.f64 re #s(literal 1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 re #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 re #s(literal 1 binary64)) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 re #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 re #s(literal 1 binary64)) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 re #s(literal 1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 re #s(literal 1 binary64)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 re #s(literal 1 binary64)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 re #s(literal 1 binary64)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 re #s(literal 1 binary64)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 re #s(literal 1 binary64)) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 re #s(literal 1 binary64)) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 re #s(literal 1 binary64)) im)
(ratio-of-squares.f64 (.f64 re #s(literal -1 binary64)) (.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 re #s(literal -1 binary64)) (.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (.f64 re #s(literal -1 binary64)) (.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (.f64 re #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 re #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (.f64 re #s(literal -1 binary64)) (.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 re #s(literal -1 binary64)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (*.f64 re #s(literal -1 binary64)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 re #s(literal -1 binary64)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (*.f64 re #s(literal -1 binary64)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (*.f64 re #s(literal -1 binary64)) (neg.f64 im))
(ratio-of-squares.f64 (*.f64 re #s(literal -1 binary64)) (fabs.f64 im))
(ratio-of-squares.f64 (*.f64 re #s(literal -1 binary64)) im)
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (*.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (neg.f64 im))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) (fabs.f64 im))
(ratio-of-squares.f64 (neg.f64 (neg.f64 re)) im)
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (neg.f64 im))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) (fabs.f64 im))
(ratio-of-squares.f64 (neg.f64 (fabs.f64 re)) im)
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (*.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (neg.f64 im))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) (fabs.f64 im))
(ratio-of-squares.f64 (fabs.f64 (fabs.f64 re)) im)
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (*.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (neg.f64 im))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) (fabs.f64 im))
(ratio-of-squares.f64 (exp.f64 (log.f64 re)) im)
(ratio-of-squares.f64 (neg.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (neg.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (neg.f64 re) (*.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 re) (*.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (neg.f64 re) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (neg.f64 re) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 re) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (neg.f64 re) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (neg.f64 re) (neg.f64 im))
(ratio-of-squares.f64 (neg.f64 re) (fabs.f64 im))
(ratio-of-squares.f64 (neg.f64 re) im)
(ratio-of-squares.f64 (fabs.f64 re) (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (fabs.f64 re) (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 (fabs.f64 re) (*.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (fabs.f64 re) (*.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 (fabs.f64 re) (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 (fabs.f64 re) (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 (fabs.f64 re) (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (fabs.f64 re) (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 (fabs.f64 re) (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 (fabs.f64 re) (neg.f64 im))
(ratio-of-squares.f64 (fabs.f64 re) (fabs.f64 im))
(ratio-of-squares.f64 (fabs.f64 re) im)
(ratio-of-squares.f64 re (*.f64 (neg.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 re (*.f64 (fabs.f64 im) #s(literal 1 binary64)))
(ratio-of-squares.f64 re (*.f64 (fabs.f64 im) #s(literal -1 binary64)))
(ratio-of-squares.f64 re (*.f64 #s(literal 1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 re (*.f64 #s(literal -1 binary64) (fabs.f64 im)))
(ratio-of-squares.f64 re (*.f64 #s(literal 1 binary64) (neg.f64 im)))
(ratio-of-squares.f64 re (neg.f64 (neg.f64 im)))
(ratio-of-squares.f64 re (neg.f64 (fabs.f64 im)))
(ratio-of-squares.f64 re (fabs.f64 (fabs.f64 im)))
(ratio-of-squares.f64 re (exp.f64 (log.f64 im)))
(ratio-of-squares.f64 re (neg.f64 im))
(ratio-of-squares.f64 re (fabs.f64 im))
(ratio-of-squares.f64 re im)
(pow.f64 (/.f64 re im) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (ratio-of-squares.f64 re im)) #s(literal 2 binary64))
(/.f64 (.f64 #s(literal 1 binary64) (/.f64 (.f64 re re) im)) im)
(/.f64 (*.f64 (/.f64 re im) re) im)
(/.f64 (/.f64 (*.f64 re re) (neg.f64 im)) (neg.f64 im))
(/.f64 (/.f64 (*.f64 re re) (fabs.f64 im)) (fabs.f64 im))
(/.f64 (.f64 #s(literal 2 binary64) (/.f64 (.f64 re re) im)) (*.f64 #s(literal 2 binary64) im))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 (neg.f64 re) re)) (.f64 #s(literal 2 binary64) (.f64 (neg.f64 im) im)))
(/.f64 (.f64 #s(literal 2 binary64) (.f64 re re)) (.f64 #s(literal 2 binary64) (.f64 im im)))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 (neg.f64 re) re)) (*.f64 (neg.f64 im) im))
(/.f64 (neg.f64 (/.f64 (*.f64 re re) im)) (neg.f64 im))
(/.f64 (.f64 (neg.f64 re) re) (.f64 (neg.f64 im) im))
(/.f64 (/.f64 (*.f64 re re) im) im)
(/.f64 (.f64 re re) (.f64 im im))
(neg.f64 (neg.f64 (ratio-of-squares.f64 re im)))
(exp.f64 (-.f64 (.f64 (log.f64 re) #s(literal 2 binary64)) (.f64 (log.f64 im) #s(literal 2 binary64))))
re
#s(literal -1 binary64)
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
#s(approx (+ (* re re) (* im im)) (+.f64 (.f64 re re) (.f64 im im)))
#s(approx (* (* (- (/ (* re re) (* im im)) -1) im) im) (*.f64 im im))
#s(approx (* (* (- (/ (* re re) (* im im)) -1) im) im) (+.f64 (.f64 re re) (.f64 im im)))
#s(approx (* (- (/ (* re re) (* im im)) -1) im) im)
#s(approx (* (- (/ (* re re) (* im im)) -1) im) (+.f64 (/.f64 (*.f64 re re) im) im))
#s(approx (- (/ (* re re) (* im im)) -1) #s(literal 1 binary64))
#s(approx (- (/ (* re re) (* im im)) -1) (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)))
#s(approx (/ (* re re) (* im im)) (ratio-of-squares.f64 re im))
#s(approx re re)
#s(approx (+ (* re re) (* im im)) (*.f64 re re))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 im re) #s(literal -1 binary64)) re) re))
#s(approx (* (* (- (/ (* re re) (* im im)) -1) im) im) (*.f64 re re))
#s(approx (* (* (- (/ (* re re) (* im im)) -1) im) im) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 im re) #s(literal -1 binary64)) re) re))
#s(approx (* (- (/ (* re re) (* im im)) -1) im) (/.f64 (*.f64 re re) im))
#s(approx (* (- (/ (* re re) (* im im)) -1) im) (.f64 (+.f64 (/.f64 im (.f64 re re)) (pow.f64 im #s(literal -1 binary64))) (*.f64 re re)))
#s(approx (- (/ (* re re) (* im im)) -1) (ratio-of-squares.f64 re im))
#s(approx (- (/ (* re re) (* im im)) -1) (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)))
#s(approx (* im im) (*.f64 im im))
#s(approx im im)
#s(approx (* (- (/ (* re re) (* im im)) -1) im) (/.f64 (+.f64 (.f64 re re) (.f64 im im)) im))
#s(approx (- (/ (* re re) (* im im)) -1) (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)))
#s(approx (+ (* re re) (* im im)) (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) (.f64 im im)))
#s(approx (* (* (- (/ (* re re) (* im im)) -1) im) im) (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) (.f64 im im)))
#s(approx (* (- (/ (* re re) (* im im)) -1) im) (+.f64 (*.f64 (ratio-of-squares.f64 re im) im) im))
#s(approx (* (- (/ (* re re) (* im im)) -1) im) (*.f64 (neg.f64 im) (-.f64 (neg.f64 (ratio-of-squares.f64 re im)) #s(literal 1 binary64))))

eval4.2s (58%)

Memory

58.5MiB live, 6 036.1MiB allocated; 924ms collecting garbage

Samples

3.1s	65 248×	0	valid
2.0ms	32×	0	invalid

Compiler

Compiled 9 941 to 2 164 computations (78.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 1.6s

ival-mult: 1.0s (62.9% of total)

ival-div: 511.0ms (31.2% of total)

ival-true: 43.0ms (2.6% of total)

ival-assert: 29.0ms (1.8% of total)

adjust: 17.0ms (1% of total)

ival-add: 7.0ms (0.4% of total)

prune37.0ms (0.5%)

Memory

18.8MiB live, 65.8MiB allocated; 3ms collecting garbage

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	453	0	453
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	453	3	456

Accuracy

100.0%

Counts

456 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 (.f64 re re) (.f64 im im))
✓	100.0%	#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) im) im))
✓	99.6%	#s(approx (+ (* re re) (* im im)) (*.f64 im im))

Samples

21.0ms

512×

valid

Compiler

Compiled 70 to 38 computations (45.7% saved)

Precisions

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

ival-mult: 8.0ms (68.3% of total)

ival-div: 3.0ms (25.6% of total)

ival-true: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

regimes8.0ms (0.1%)

Memory

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

Counts

3 → 1

Calls

Call 1

Inputs
#s(approx (+ (* re re) (* im im)) (*.f64 im im))
(+.f64 (.f64 re re) (.f64 im im))
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) im) im))

Outputs
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) 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 15 to 15 computations (0% saved)

regimes23.0ms (0.3%)

Memory

-43.9MiB live, 13.5MiB allocated; 26ms collecting garbage

Counts

2 → 1

Calls

Call 1

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

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

Calls

5 calls:

18.0ms	(*.f64 im im)
1.0ms	re
1.0ms	im
1.0ms	(+.f64 (.f64 re re) (.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 15 to 15 computations (0% saved)

regimes5.0ms (0.1%)

Memory

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

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Results

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

Compiler

Compiled 15 to 15 computations (0% saved)

simplify10.0ms (0.1%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	35
1	28	35
2	71	35
3	129	35
4	166	35

Stop Event

1×

saturated

Calls

Call 1

Inputs
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) im) im))
(+.f64 (.f64 re re) (.f64 im im))
#s(approx (+ (* re re) (* im im)) (*.f64 im im))

Outputs
#s(approx (+ (* re re) (* im im)) (.f64 (.f64 (-.f64 (ratio-of-squares.f64 re im) #s(literal -1 binary64)) im) im))
(+.f64 (.f64 re re) (.f64 im im))
#s(approx (+ (* re re) (* im im)) (*.f64 im im))

derivations27.0ms (0.4%)

Memory

-15.4MiB live, 32.7MiB allocated; 5ms collecting garbage

Stop Event

1×

done

Samples

13.0ms

256×

valid

Compiler

Compiled 35 to 15 computations (57.1% saved)

Precisions

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

ival-mult: 6.0ms (75.4% of total)

ival-div: 2.0ms (25.1% of total)

ival-true: 0.0ms (0% of total)

adjust: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess682.0ms (9.4%)

Memory

34.7MiB live, 953.1MiB allocated; 139ms collecting garbage

Samples

479.0ms

11 328×

valid

Compiler

Compiled 288 to 172 computations (40.3% saved)

Precisions

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

ival-mult: 160.0ms (66.5% of total)

ival-div: 65.0ms (27% of total)

ival-true: 8.0ms (3.3% of total)

ival-assert: 5.0ms (2.1% of total)

adjust: 3.0ms (1.2% of total)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.9s (25.9%)

explain63.0ms (0.9%)

preprocess18.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

series4.0ms (0.1%)

rewrite62.0ms (0.9%)

eval73.0ms (1%)

prune16.0ms (0.2%)

series11.0ms (0.2%)

rewrite120.0ms (1.7%)

eval4.2s (58%)

prune37.0ms (0.5%)

regimes8.0ms (0.1%)

regimes23.0ms (0.3%)

regimes5.0ms (0.1%)

simplify10.0ms (0.1%)

derivations27.0ms (0.4%)

preprocess682.0ms (9.4%)

end0.0ms (0%)

Profiling