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.4MiB live, 0.4MiB 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)

sample471.0ms (34.4%)

Memory

29.4MiB live, 833.8MiB allocated; 117ms collecting garbage

Samples

288.0ms

8 256×

valid

Precisions

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

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

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

adjust: 2.0ms (1.6% of total)

Bogosity

preprocess39.0ms (2.9%)

Memory

20.4MiB live, 66.8MiB allocated; 4ms 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
▶	91.8%	(-.f64 (.f64 re re) (.f64 im im))

Symmetry

(abs re)

(abs im)

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs

Outputs

series14.0ms (1.0%)

Memory

-17.8MiB live, 28.8MiB allocated; 3ms 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	re	0
1.0ms	im	inf
1.0ms	im	-inf

rewrite118.0ms (8.6%)

Memory

-10.6MiB live, 180.4MiB allocated; 14ms 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))

eval29.0ms (2.1%)

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

prune5.0ms (0.3%)

Memory

12.7MiB live, 12.7MiB allocated; 0ms 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)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs

Outputs

series10.0ms (0.7%)

Memory

-29.9MiB live, 17.1MiB allocated; 3ms 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	0
1.0ms	re	-inf
0.0ms	im	-inf
0.0ms	re	inf
0.0ms	im	inf

rewrite108.0ms (7.9%)

Memory

2.8MiB live, 193.0MiB allocated; 14ms 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))

eval13.0ms (1.0%)

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

prune5.0ms (0.4%)

Memory

-35.9MiB live, 10.4MiB allocated; 3ms 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))
▶	61.0%	(*.f64 (-.f64 re im) #s(approx (+ im re) im))

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs

Outputs

series8.0ms (0.6%)

Memory

17.5MiB live, 17.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)
#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	re	-inf
0.0ms	im	-inf
0.0ms	re	inf
0.0ms	im	inf
0.0ms	re	0

rewrite243.0ms (17.8%)

Memory

-10.7MiB live, 132.5MiB allocated; 11ms 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)))

eval5.0ms (0.4%)

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

prune3.0ms (0.2%)

Memory

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

sample0.0ms (0.0%)

Memory

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

Calls

Call 1

Inputs
-1

Outputs
#s(literal -1 binary64)

Samples

0.0ms

1×

valid

Compiler

Compiled 3 to 3 computations (0.0% saved)

Precisions

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

adjust: 0.0ms (0.0% of total)

series8.0ms (0.6%)

Memory

14.1MiB live, 14.1MiB allocated; 0ms 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
1.0ms	im	0
0.0ms	im	-inf
0.0ms	im	inf
0.0ms	re	-inf
0.0ms	re	inf

rewrite123.0ms (9.0%)

Memory

5.1MiB live, 147.7MiB allocated; 20ms 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))

eval19.0ms (1.4%)

Memory: -17.5MiB live, 28.6MiB allocated; 5ms collecting garbage
Compiler: Compiled 2 775 to 588 computations (78.8% saved)

prune4.0ms (0.3%)

Memory

9.9MiB live, 9.9MiB 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))
	52.6%	(*.f64 #s(approx (- re im) (neg.f64 im)) #s(approx (+ im re) im))
	15.8%	(*.f64 #s(approx (- re im) re) #s(approx (+ im re) im))

Compiler

Compiled 30 to 20 computations (33.3% saved)

regimes48.0ms (3.5%)

Memory

-0.7MiB live, 93.1MiB allocated; 7ms 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:

8.0ms	(-.f64 (.f64 re re) (.f64 im im))
6.0ms	re
3.0ms	im
2.0ms	(-.f64 (.f64 re re) (.f64 im im))
2.0ms	(*.f64 im im)

Results

Accuracy	Segments	Branch
15.8%	1	`im`
15.8%	1	`(*.f64 im im)`
15.8%	1	`(*.f64 re re)`
15.8%	1	`(-.f64 (.f64 re re) (.f64 im im))`
15.8%	1	`re`
52.6%	1	`(*.f64 im im)`
52.6%	1	`im`
55.9%	2	`(*.f64 re re)`
56.6%	2	`(-.f64 (.f64 re re) (.f64 im im))`
58.7%	2	`re`
61.0%	1	`(*.f64 im im)`
61.0%	1	`(*.f64 re re)`
61.0%	1	`(-.f64 (.f64 re re) (.f64 im im))`
61.0%	1	`re`
61.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)

bsearch7.0ms (0.5%)

Memory

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

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
6.0ms	4.734623661113684e+217	6.408745020747599e+218

Samples

3.0ms

96×

valid

Compiler

Compiled 148 to 112 computations (24.3% saved)

Precisions

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

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

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

adjust: 0.0ms (0.0% of total)

derivations28.0ms (2.0%)

Memory

-30.4MiB live, 29.3MiB allocated; 7ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 54 to 17 computations (68.5% saved)

preprocess59.0ms (4.3%)

Memory: 15.7MiB live, 62.7MiB allocated; 4ms collecting garbage
Symmetry: (abs im)
Compiler: Compiled 320 to 168 computations (47.5% saved)

end0.0ms (0.0%)

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

start0.0ms (0.0%)

analyze0.0ms (0.0%)

sample471.0ms (34.4%)

preprocess39.0ms (2.9%)

sample0.0ms (0.0%)

series14.0ms (1.0%)

rewrite118.0ms (8.6%)

eval29.0ms (2.1%)

prune5.0ms (0.3%)

sample0.0ms (0.0%)

series10.0ms (0.7%)

rewrite108.0ms (7.9%)

eval13.0ms (1.0%)

prune5.0ms (0.4%)

sample0.0ms (0.0%)

series8.0ms (0.6%)

rewrite243.0ms (17.8%)

eval5.0ms (0.4%)

prune3.0ms (0.2%)

sample0.0ms (0.0%)

series8.0ms (0.6%)

rewrite123.0ms (9.0%)

eval19.0ms (1.4%)

prune4.0ms (0.3%)

regimes48.0ms (3.5%)

bsearch7.0ms (0.5%)

derivations28.0ms (2.0%)

preprocess59.0ms (4.3%)

end0.0ms (0.0%)

Profiling