Metrics for math.square on complex, real part

start0.0ms (0.0%)

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

analyze0.0ms (0.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%	0.0%	99.9%	0.1%	0.0%	0.0%	0.0%	0
100.0%	99.9%	0.0%	0.1%	0.0%	0.0%	0.0%	1

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.2s (54.9%)

Memory

-643.1MiB live, 1 038.6MiB allocated; 1.6s collecting garbage

Samples

358.0ms

8 256×

valid

Precisions

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

ival-mult!: 94.0ms (70.8% of total)

ival-sub!: 24.0ms (18.1% of total)

adjust: 14.0ms (10.5% of total)

Bogosity

preprocess63.0ms (2.9%)

Memory

-27.7MiB live, 114.5MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	42
1	62	42
2	267	42
3	466	42
4	1110	42
5	3697	42

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(abs re)

(abs im)

Compiler

Compiled 14 to 10 computations (28.6% saved)

series30.0ms (1.4%)

Memory

36.8MiB live, 80.8MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	109

Stop Event

1×	iter-limit

Counts

5 → 9

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
2.0ms	re	inf
1.0ms	re	-inf
1.0ms	im	inf
1.0ms	im	-inf
1.0ms	re	0

rewrite134.0ms (6.2%)

Memory

-9.6MiB live, 232.3MiB allocated; 20ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	15
0	8	15
1	45	15
2	228	15
3	1058	15
4	2205	15
0	4037	15

Stop Event

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

Counts

5 → 301

Calls

Call 1

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

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

eval25.0ms (1.2%)

Memory: 12.7MiB live, 58.0MiB allocated; 4ms collecting garbage
Compiler: Compiled 4 427 to 882 computations (80.1% saved)

prune7.0ms (0.3%)

Memory

-32.2MiB live, 14.5MiB allocated; 3ms collecting garbage

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	305	1	306
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	306	1	307

Accuracy

100.0%

Counts

307 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

series17.0ms (0.8%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	114	447

Stop Event

1×	iter-limit

Counts

5 → 27

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
1.0ms	re	-inf
1.0ms	re	0
1.0ms	im	-inf
1.0ms	im	inf
1.0ms	re	inf

rewrite162.0ms (7.5%)

Memory

-12.0MiB live, 228.4MiB allocated; 57ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	15
0	8	15
1	50	15
2	184	15
3	636	15
4	1673	15
0	4144	15

Stop Event

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

Counts

5 → 170

Calls

Call 1

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

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

eval18.0ms (0.8%)

Memory: 9.2MiB live, 57.4MiB allocated; 8ms collecting garbage
Compiler: Compiled 4 250 to 661 computations (84.4% saved)

prune7.0ms (0.3%)

Memory

-27.4MiB live, 16.6MiB allocated; 4ms collecting garbage

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	192	1	193
Fresh	0	0	0
Picked	1	0	1
Done	-1	1	0
Total	192	2	194

Accuracy

100.0%

Counts

194 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (-.f64 re im) (+.f64 im re))
▶	65.0%	(*.f64 (-.f64 re im) #s(approx (+ im re) im))

Compiler

Compiled 16 to 11 computations (31.3% saved)

series8.0ms (0.4%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	114	447

Stop Event

1×	iter-limit

Counts

5 → 27

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
0.0ms	im	-inf
0.0ms	re	-inf
0.0ms	re	inf
0.0ms	im	inf
0.0ms	re	0

rewrite234.0ms (10.8%)

Memory

-0.6MiB live, 145.7MiB allocated; 14ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
0	8	19
1	44	19
2	109	19
3	265	19
4	503	19
5	1024	19
6	3713	19
0	4092	19

Stop Event

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

Counts

5 → 42

Calls

Call 1

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

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

eval6.0ms (0.3%)

Memory: 14.5MiB live, 14.5MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 518 to 271 computations (82.1% saved)

prune3.0ms (0.1%)

Memory

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

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	0	0
Picked	1	0	1
Done	-1	2	1
Total	63	3	66

Accuracy

100.0%

Counts

66 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (-.f64 re im) (+.f64 im re))
✓	65.0%	(*.f64 (-.f64 re im) #s(approx (+ im re) im))
▶	57.9%	(.f64 #s(approx (- re im) (.f64 #s(literal -1 binary64) im)) #s(approx (+ im re) im))

Compiler

Compiled 29 to 20 computations (31.0% saved)

series10.0ms (0.5%)

Memory

-26.8MiB live, 19.5MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	114	449

Stop Event

1×	iter-limit

Counts

6 → 27

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
2.0ms	im	0
1.0ms	im	-inf
1.0ms	im	inf
0.0ms	re	inf
0.0ms	re	-inf

rewrite120.0ms (5.6%)

Memory

22.1MiB live, 251.3MiB allocated; 24ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	30
0	11	27
1	49	27
2	109	27
3	251	27
4	375	27
5	1062	27
0	4094	27

Stop Event

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

Counts

6 → 116

Calls

Call 1

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

Outputs
im
#s(literal -1 binary64)
(.f64 (.f64 (neg.f64 im) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(.f64 #s(literal 2 binary64) (.f64 #s(literal 1/2 binary64) (neg.f64 im)))
(*.f64 #s(literal 1 binary64) (neg.f64 im))
(*.f64 (neg.f64 im) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) im)
(*.f64 im #s(literal -1 binary64))
(/.f64 (+.f64 (.f64 (neg.f64 im) #s(literal 4 binary64)) (.f64 #s(literal 0 binary64) (+.f64 im im))) #s(literal 4 binary64))
(/.f64 (+.f64 (.f64 (neg.f64 im) #s(literal 4 binary64)) (.f64 (+.f64 im im) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 (*.f64 (neg.f64 im) #s(literal -4 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (+.f64 (*.f64 (neg.f64 im) #s(literal 8 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (+.f64 (*.f64 (neg.f64 im) #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (.f64 (neg.f64 im) (neg.f64 im))) (-.f64 #s(literal 0 binary64) (neg.f64 im)))
(/.f64 (-.f64 (.f64 (neg.f64 im) (neg.f64 im)) (.f64 #s(literal 0 binary64) #s(literal 0 binary64))) (neg.f64 im))
(/.f64 (-.f64 (.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) (.f64 (neg.f64 im) #s(literal 1/2 binary64))) (.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) (.f64 (neg.f64 im) #s(literal 1/2 binary64)))) (-.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) (.f64 (neg.f64 im) #s(literal 1/2 binary64))))
(/.f64 (+.f64 (pow.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) #s(literal 3 binary64)) (pow.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) (.f64 (neg.f64 im) #s(literal 1/2 binary64))) (-.f64 (.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) (.f64 (neg.f64 im) #s(literal 1/2 binary64))) (.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) (*.f64 (neg.f64 im) #s(literal 1/2 binary64))))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) (.f64 #s(literal 1/2 binary64) (neg.f64 im))) (.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) (.f64 #s(literal 1/2 binary64) (neg.f64 im)))) (-.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) (.f64 #s(literal 1/2 binary64) (neg.f64 im))))
(/.f64 (+.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) #s(literal 3 binary64)) (pow.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) (.f64 #s(literal 1/2 binary64) (neg.f64 im))) (-.f64 (.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) (.f64 #s(literal 1/2 binary64) (neg.f64 im))) (.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) (*.f64 #s(literal 1/2 binary64) (neg.f64 im))))))
(/.f64 (+.f64 (pow.f64 #s(literal 0 binary64) #s(literal 3 binary64)) (pow.f64 (neg.f64 im) #s(literal 3 binary64))) (+.f64 (.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (-.f64 (.f64 (neg.f64 im) (neg.f64 im)) (*.f64 #s(literal 0 binary64) (neg.f64 im)))))
(/.f64 (+.f64 (pow.f64 (neg.f64 im) #s(literal 3 binary64)) (pow.f64 #s(literal 0 binary64) #s(literal 3 binary64))) (+.f64 (.f64 (neg.f64 im) (neg.f64 im)) (-.f64 (.f64 #s(literal 0 binary64) #s(literal 0 binary64)) (*.f64 (neg.f64 im) #s(literal 0 binary64)))))
(/.f64 (+.f64 (.f64 #s(literal 0 binary64) (+.f64 im im)) (.f64 #s(literal -1 binary64) (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal 0 binary64)) (.f64 #s(literal -1 binary64) (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal -1 binary64) (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal 0 binary64) (+.f64 im im)) (.f64 (+.f64 im im) #s(literal -1 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal 0 binary64)) (.f64 (+.f64 im im) #s(literal -1 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (+.f64 im im) #s(literal -1 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal 0 binary64) (+.f64 im im)) (.f64 #s(literal -2 binary64) im)) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal 0 binary64)) (.f64 #s(literal -2 binary64) im)) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) im)) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal 0 binary64) (+.f64 im im)) (.f64 (neg.f64 im) #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal 0 binary64)) (.f64 (neg.f64 im) #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (neg.f64 im) #s(literal 2 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal 0 binary64) (+.f64 im im)) (.f64 #s(literal 2 binary64) (neg.f64 im))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (neg.f64 im))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (neg.f64 im))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal 0 binary64) (+.f64 im im)) (.f64 im #s(literal -2 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal 0 binary64)) (.f64 im #s(literal -2 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 im #s(literal -2 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal 0 binary64) (+.f64 im im)) (.f64 #s(literal -2 binary64) (+.f64 im im))) #s(literal 4 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal 0 binary64)) (.f64 #s(literal -2 binary64) (+.f64 im im))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (+.f64 im im))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (+.f64 im im))) #s(literal -4 binary64))
(/.f64 (+.f64 (.f64 #s(literal 0 binary64) (+.f64 im im)) (.f64 (+.f64 im im) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal 0 binary64)) (.f64 (+.f64 im im) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (+.f64 im im) #s(literal -2 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (*.f64 (+.f64 im im) #s(literal 2 binary64))) #s(literal -4 binary64))
(/.f64 (+.f64 (*.f64 #s(literal 0 binary64) (+.f64 im im)) (neg.f64 (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 (*.f64 (+.f64 im im) #s(literal 0 binary64)) (neg.f64 (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (neg.f64 (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) (+.f64 im im)) #s(literal -2 binary64))
(/.f64 (+.f64 (.f64 #s(literal -2 binary64) (+.f64 im im)) (.f64 #s(literal 0 binary64) (+.f64 im im))) #s(literal 4 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal -2 binary64)) (.f64 #s(literal 0 binary64) (+.f64 im im))) #s(literal 4 binary64))
(/.f64 (+.f64 (.f64 #s(literal -1 binary64) (+.f64 im im)) (.f64 #s(literal 0 binary64) (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal -1 binary64)) (.f64 #s(literal 0 binary64) (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal -2 binary64) im) (.f64 #s(literal 0 binary64) (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (neg.f64 im) #s(literal 2 binary64)) (.f64 #s(literal 0 binary64) (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal 2 binary64) (neg.f64 im)) (.f64 #s(literal 0 binary64) (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 im #s(literal -2 binary64)) (.f64 #s(literal 0 binary64) (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 (neg.f64 (+.f64 im im)) (*.f64 #s(literal 0 binary64) (+.f64 im im))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal -2 binary64) (+.f64 im im)) (.f64 (+.f64 im im) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal -2 binary64)) (.f64 (+.f64 im im) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (+.f64 (.f64 #s(literal -1 binary64) (+.f64 im im)) (.f64 (+.f64 im im) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (+.f64 im im) #s(literal -1 binary64)) (.f64 (+.f64 im im) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal -2 binary64) im) (.f64 (+.f64 im im) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (neg.f64 im) #s(literal 2 binary64)) (.f64 (+.f64 im im) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 #s(literal 2 binary64) (neg.f64 im)) (.f64 (+.f64 im im) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 im #s(literal -2 binary64)) (.f64 (+.f64 im im) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (neg.f64 (+.f64 im im)) (*.f64 (+.f64 im im) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 (*.f64 #s(literal -2 binary64) (+.f64 im im)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 (*.f64 (+.f64 im im) #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 (*.f64 #s(literal -1 binary64) (+.f64 im im)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 (*.f64 (+.f64 im im) #s(literal -1 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 (*.f64 #s(literal -2 binary64) im) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 (*.f64 (neg.f64 im) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 (*.f64 im #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 (neg.f64 (+.f64 im im)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 (*.f64 #s(literal 2 binary64) (+.f64 im im)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (+.f64 (*.f64 (+.f64 im im) #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal -1 binary64) (+.f64 im im))) #s(literal -2 binary64))
(/.f64 (neg.f64 (*.f64 (+.f64 im im) #s(literal -1 binary64))) #s(literal -2 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal -2 binary64) (+.f64 im im))) #s(literal -4 binary64))
(/.f64 (neg.f64 (*.f64 (+.f64 im im) #s(literal -2 binary64))) #s(literal -4 binary64))
(/.f64 (neg.f64 (neg.f64 (+.f64 im im))) #s(literal -2 binary64))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) (+.f64 im im))) #s(literal 4 binary64))
(/.f64 (neg.f64 (*.f64 (+.f64 im im) #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) (+.f64 im im)) #s(literal 2 binary64))
(/.f64 (*.f64 (+.f64 im im) #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 (neg.f64 im) (neg.f64 im)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) im) #s(literal 2 binary64))
(/.f64 (*.f64 (neg.f64 im) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (neg.f64 im)) #s(literal 2 binary64))
(/.f64 (*.f64 im #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) (+.f64 im im)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) (+.f64 im im)) #s(literal -4 binary64))
(/.f64 (*.f64 (+.f64 im im) #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 (+.f64 im im) #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (neg.f64 (+.f64 im im)) #s(literal 2 binary64))
(/.f64 (+.f64 im im) #s(literal -2 binary64))
(/.f64 (neg.f64 im) #s(literal 1 binary64))
(/.f64 im #s(literal -1 binary64))
(neg.f64 im)
(-.f64 (neg.f64 im) #s(literal 0 binary64))
(+.f64 (/.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) #s(literal 1 binary64)) (/.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) #s(literal 1 binary64)) (/.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) #s(literal 1 binary64)))
(+.f64 (/.f64 (.f64 im #s(literal 1/2 binary64)) #s(literal -1 binary64)) (/.f64 (.f64 im #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(+.f64 (/.f64 (.f64 #s(literal 1/2 binary64) im) #s(literal -1 binary64)) (/.f64 (.f64 #s(literal 1/2 binary64) im) #s(literal -1 binary64)))
(+.f64 (.f64 (neg.f64 im) #s(literal 1/2 binary64)) (.f64 (neg.f64 im) #s(literal 1/2 binary64)))
(+.f64 (.f64 #s(literal 1/2 binary64) (neg.f64 im)) (.f64 #s(literal 1/2 binary64) (neg.f64 im)))
(+.f64 (/.f64 im #s(literal -2 binary64)) (/.f64 im #s(literal -2 binary64)))
(+.f64 #s(literal 0 binary64) (neg.f64 im))
(+.f64 (neg.f64 im) #s(literal 0 binary64))
#s(approx (- re im) (neg.f64 im))
#s(approx (+ im re) im)
(*.f64 #s(approx (+ im re) im) #s(approx (- re im) (neg.f64 im)))
(*.f64 #s(approx (- re im) (neg.f64 im)) #s(approx (+ im re) im))

eval13.0ms (0.6%)

Memory: 3.1MiB live, 48.8MiB allocated; 3ms collecting garbage
Compiler: Compiled 2 775 to 588 computations (78.8% saved)

prune4.0ms (0.2%)

Memory

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

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	134	2	136
Fresh	0	0	0
Picked	1	0	1
Done	1	1	2
Total	136	3	139

Accuracy

100.0%

Counts

139 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(*.f64 (-.f64 re im) (+.f64 im re))
	57.9%	(*.f64 #s(approx (- re im) (neg.f64 im)) #s(approx (+ im re) im))
	14.2%	(*.f64 #s(approx (- re im) re) #s(approx (+ im re) im))

Compiler

Compiled 30 to 20 computations (33.3% saved)

regimes50.0ms (2.3%)

Memory

-33.1MiB live, 120.3MiB allocated; 20ms collecting garbage

Counts

1 → 1

2 → 2

4 → 1

6 → 1

Calls

Call 1

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

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

Call 2

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

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

Call 3

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

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

Call 4

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

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

Calls

20 calls:

11.0ms	im
4.0ms	im
3.0ms	re
3.0ms	(*.f64 re re)
2.0ms	(*.f64 im im)

Results

Accuracy	Segments	Branch
14.2%	1	`(*.f64 im im)`
14.2%	1	`im`
14.2%	1	`(*.f64 re re)`
14.2%	1	`(-.f64 (.f64 re re) (.f64 im im))`
14.2%	1	`re`
63.2%	2	`(*.f64 re re)`
63.8%	2	`(-.f64 (.f64 re re) (.f64 im im))`
57.9%	1	`(*.f64 im im)`
63.9%	2	`re`
57.9%	1	`im`
65.0%	1	`(*.f64 im im)`
65.0%	1	`(*.f64 re re)`
65.0%	1	`(-.f64 (.f64 re re) (.f64 im im))`
65.0%	1	`re`
65.0%	1	`im`
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 119 to 81 computations (31.9% saved)

bsearch9.0ms (0.4%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
9.0ms	3.3021739382243434e+170	1.1797766998444313e+172

Samples

4.0ms

112×

valid

Compiler

Compiled 171 to 129 computations (24.6% saved)

Precisions

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

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

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

adjust: 0.0ms (0.0% of total)

derivations25.0ms (1.2%)

Memory

-12.7MiB live, 34.1MiB allocated; 3ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 54 to 17 computations (68.5% saved)

preprocess28.0ms (1.3%)

Memory

21.2MiB live, 69.2MiB allocated; 6ms collecting garbage

Symmetry

(abs re)

(abs im)

Compiler

Compiled 301 to 149 computations (50.5% saved)

end0.0ms (0.0%)

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

start0.0ms (0.0%)

analyze0.0ms (0.0%)

sample1.2s (54.9%)

preprocess63.0ms (2.9%)

series30.0ms (1.4%)

rewrite134.0ms (6.2%)

eval25.0ms (1.2%)

prune7.0ms (0.3%)

series17.0ms (0.8%)

rewrite162.0ms (7.5%)

eval18.0ms (0.8%)

prune7.0ms (0.3%)

series8.0ms (0.4%)

rewrite234.0ms (10.8%)

eval6.0ms (0.3%)

prune3.0ms (0.1%)

series10.0ms (0.5%)

rewrite120.0ms (5.6%)

eval13.0ms (0.6%)

prune4.0ms (0.2%)

regimes50.0ms (2.3%)

bsearch9.0ms (0.4%)

derivations25.0ms (1.2%)

preprocess28.0ms (1.3%)

end0.0ms (0.0%)

Profiling