Metrics for math.cube on complex, imaginary part

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

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

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 21 to 13 computations (38.1% saved)

sample1.6s (59.7%)

Memory

53.2MiB live, 979.8MiB allocated; 331ms collecting garbage

Samples

1.3s

8 256×

valid

Precisions

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

ival-mult!: 1.0s (95.4% of total)

ival-add!: 31.0ms (2.9% of total)

ival-sub!: 17.0ms (1.6% of total)

adjust: 2.0ms (0.2% of total)

Bogosity

preprocess78.0ms (2.9%)

Memory

-30.3MiB live, 73.6MiB allocated; 31ms collecting garbage

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	118
1	160	102
2	568	102
3	1510	66
4	5174	66

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	84.1%	(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))

Symmetry

(abs x.re)

(negabs x.im)

Compiler

Compiled 38 to 22 computations (42.1% saved)

series17.0ms (0.7%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	91	536

Stop Event

1×	iter-limit

Counts

11 → 26

Calls

Call 1

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

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

Calls

6 calls:

Time	Variable	Point
3.0ms	x.im	-inf
2.0ms	x.im	0
2.0ms	x.im	inf
2.0ms	x.re	inf
2.0ms	x.re	-inf

rewrite28.0ms (1%)

Memory

-9.9MiB live, 34.7MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	65
0	20	65
0	108	61

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

11 → 51

Calls

Call 1

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

Outputs
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re) (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))) (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im) (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im)) (.f64 (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re) (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re))) (-.f64 (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im) (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re)))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im) #s(literal 3 binary64)) (pow.f64 (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im) (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im) (-.f64 (.f64 (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re) (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re)) (.f64 (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im) (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re)))))
(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
(fma.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im (.f64 (fma.f64 x.im x.re (*.f64 x.im x.re)) x.re))
(fma.f64 x.im (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) (.f64 (fma.f64 x.im x.re (*.f64 x.im x.re)) x.re))
(fma.f64 x.re (fma.f64 x.im x.re (.f64 x.im x.re)) (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
(-.f64 (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im) (.f64 (neg.f64 (fma.f64 x.im x.re (.f64 x.im x.re))) x.re))
(-.f64 (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im) (neg.f64 (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re)))
(+.f64 (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re) (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
(+.f64 (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im) (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re))
(.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im)
(.f64 x.im (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)))
(*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 x.im x.im) (.f64 x.re x.re))) (.f64 x.re x.re))
(/.f64 (-.f64 (.f64 (.f64 x.re x.re) (.f64 x.re x.re)) (.f64 (.f64 x.im x.im) (.f64 x.im x.im))) (fma.f64 x.re x.re (*.f64 x.im x.im)))
(/.f64 (-.f64 (pow.f64 (.f64 x.re x.re) #s(literal 3 binary64)) (pow.f64 (.f64 x.im x.im) #s(literal 3 binary64))) (fma.f64 (.f64 x.re x.re) (.f64 x.re x.re) (fma.f64 (.f64 x.im x.im) (.f64 x.im x.im) (.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))))
(neg.f64 (-.f64 (.f64 x.im x.im) (.f64 x.re x.re)))
(fma.f64 (fabs.f64 x.re) (fabs.f64 x.re) (*.f64 (neg.f64 x.im) x.im))
(fma.f64 (fabs.f64 x.re) (fabs.f64 x.re) (neg.f64 (*.f64 x.im x.im)))
(fma.f64 (neg.f64 x.re) (neg.f64 x.re) (*.f64 (neg.f64 x.im) x.im))
(fma.f64 (neg.f64 x.re) (neg.f64 x.re) (neg.f64 (*.f64 x.im x.im)))
(fma.f64 x.re x.re (*.f64 (neg.f64 x.im) x.im))
(fma.f64 x.re x.re (neg.f64 (*.f64 x.im x.im)))
(-.f64 (.f64 x.re x.re) (.f64 x.im x.im))
(+.f64 (.f64 x.re x.re) (.f64 (neg.f64 x.im) x.im))
(+.f64 (.f64 x.re x.re) (neg.f64 (.f64 x.im x.im)))
(*.f64 (fabs.f64 x.re) (fabs.f64 x.re))
(*.f64 (neg.f64 x.re) (neg.f64 x.re))
(*.f64 x.re x.re)
(pow.f64 x.re #s(literal 2 binary64))
x.re
(*.f64 (fabs.f64 x.im) (fabs.f64 x.im))
(*.f64 (neg.f64 x.im) (neg.f64 x.im))
(*.f64 x.im x.im)
(pow.f64 x.im #s(literal 2 binary64))
x.im
(.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re)
(.f64 x.re (fma.f64 x.im x.re (.f64 x.im x.re)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 x.im x.re) (.f64 x.im x.re))) (.f64 x.im x.re))
(/.f64 (-.f64 (.f64 (.f64 x.im x.re) (.f64 x.im x.re)) (.f64 (.f64 x.im x.re) (.f64 x.im x.re))) (-.f64 (.f64 x.im x.re) (.f64 x.im x.re)))
(/.f64 (+.f64 (pow.f64 (.f64 x.im x.re) #s(literal 3 binary64)) (pow.f64 (.f64 x.im x.re) #s(literal 3 binary64))) (fma.f64 (.f64 x.im x.re) (.f64 x.im x.re) (-.f64 (.f64 (.f64 x.im x.re) (.f64 x.im x.re)) (.f64 (.f64 x.im x.re) (.f64 x.im x.re)))))
(fma.f64 x.im x.re (*.f64 x.im x.re))
(fma.f64 x.re x.im (*.f64 x.im x.re))
(-.f64 (.f64 x.im x.re) (.f64 (neg.f64 x.im) x.re))
(-.f64 (.f64 x.im x.re) (neg.f64 (.f64 x.im x.re)))
(+.f64 (.f64 x.im x.re) (.f64 x.im x.re))
(*.f64 x.im x.re)
(*.f64 x.re x.im)
(*.f64 x.im x.re)
(*.f64 x.re x.im)

eval7.0ms (0.2%)

Memory: 16.6MiB live, 16.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 823 to 286 computations (84.3% saved)

prune9.0ms (0.3%)

Memory

-33.1MiB live, 13.7MiB allocated; 3ms collecting garbage

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	60	9	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	9	70

Accuracy

95.9%

Counts

70 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	89.6%	(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
▶	87.2%	(fma.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im (.f64 (fma.f64 x.im x.re (*.f64 x.im x.re)) x.re))
	84.1%	(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 #s(approx (+ (* x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.re))
▶	84.1%	(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 x.im (pow.f64 x.re #s(literal 2 binary64))))))
	65.2%	(+.f64 (.f64 #s(approx (- ( x.re x.re) (* x.im x.im)) (.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 2 binary64)))) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))
▶	63.7%	(+.f64 #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (pow.f64 x.im #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) #s(literal 1 binary64)))) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))
	50.0%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 (pow.f64 x.re #s(literal 2 binary64)) (+.f64 x.im (.f64 #s(literal 2 binary64) x.im))))
	70.2%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 (pow.f64 x.im #s(literal 3 binary64)) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64)))) #s(literal 1 binary64))))
▶	59.9%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64))))

Compiler

Compiled 480 to 282 computations (41.3% saved)

series35.0ms (1.3%)

Memory

9.7MiB live, 61.4MiB allocated; 11ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	290	1705

Stop Event

1×	iter-limit

Counts

36 → 74

Calls

Call 1

Inputs
(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
(fma.f64 x.im x.re (*.f64 x.im x.re))
x.im
x.re
(*.f64 x.im x.re)
(.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im)
(*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im))
(+.f64 x.re x.im)
(-.f64 x.re x.im)
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64))))
(*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64)))
#s(literal -1 binary64)
(pow.f64 x.im #s(literal 3 binary64))
#s(literal 3 binary64)
(fma.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im (.f64 (fma.f64 x.im x.re (*.f64 x.im x.re)) x.re))
(.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re)
(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 x.im (pow.f64 x.re #s(literal 2 binary64))))))
(.f64 (-.f64 (.f64 x.re x.re) (*.f64 x.im x.im)) x.im)
(-.f64 (.f64 x.re x.re) (.f64 x.im x.im))
(*.f64 x.re x.re)
(*.f64 x.im x.im)
#s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 x.im (pow.f64 x.re #s(literal 2 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 x.im (pow.f64 x.re #s(literal 2 binary64))))
#s(literal 2 binary64)
(*.f64 x.im (pow.f64 x.re #s(literal 2 binary64)))
(pow.f64 x.re #s(literal 2 binary64))
(+.f64 #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (pow.f64 x.im #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) #s(literal 1 binary64)))) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))
#s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (*.f64 (pow.f64 x.im #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) #s(literal 1 binary64))))
(*.f64 (pow.f64 x.im #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) #s(literal 1 binary64)))
(-.f64 (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) #s(literal 1 binary64))
(/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64)))
(pow.f64 x.im #s(literal 2 binary64))
#s(literal 1 binary64)
(.f64 (+.f64 (.f64 x.re x.im) (*.f64 x.im x.re)) x.re)
(+.f64 (.f64 x.re x.im) (.f64 x.im x.re))
(*.f64 x.re x.im)

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

Calls

6 calls:

Time	Variable	Point
3.0ms	x.im	-inf
3.0ms	x.re	-inf
3.0ms	x.re	inf
3.0ms	x.im	inf
3.0ms	x.re	0

rewrite57.0ms (2.2%)

Memory

3.6MiB live, 49.6MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	300
0	72	281
0	351	279

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

36 → 196

Calls

Call 1

Inputs
(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
(fma.f64 x.im x.re (*.f64 x.im x.re))
x.im
x.re
(*.f64 x.im x.re)
(.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im)
(*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im))
(+.f64 x.re x.im)
(-.f64 x.re x.im)
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64))))
(*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64)))
#s(literal -1 binary64)
(pow.f64 x.im #s(literal 3 binary64))
#s(literal 3 binary64)
(fma.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im (.f64 (fma.f64 x.im x.re (*.f64 x.im x.re)) x.re))
(.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re)
(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 x.im (pow.f64 x.re #s(literal 2 binary64))))))
(.f64 (-.f64 (.f64 x.re x.re) (*.f64 x.im x.im)) x.im)
(-.f64 (.f64 x.re x.re) (.f64 x.im x.im))
(*.f64 x.re x.re)
(*.f64 x.im x.im)
#s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 x.im (pow.f64 x.re #s(literal 2 binary64)))))
(.f64 #s(literal 2 binary64) (.f64 x.im (pow.f64 x.re #s(literal 2 binary64))))
#s(literal 2 binary64)
(*.f64 x.im (pow.f64 x.re #s(literal 2 binary64)))
(pow.f64 x.re #s(literal 2 binary64))
(+.f64 #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (pow.f64 x.im #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) #s(literal 1 binary64)))) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))
#s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (*.f64 (pow.f64 x.im #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) #s(literal 1 binary64))))
(*.f64 (pow.f64 x.im #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) #s(literal 1 binary64)))
(-.f64 (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) #s(literal 1 binary64))
(/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64)))
(pow.f64 x.im #s(literal 2 binary64))
#s(literal 1 binary64)
(.f64 (+.f64 (.f64 x.re x.im) (*.f64 x.im x.re)) x.re)
(+.f64 (.f64 x.re x.im) (.f64 x.im x.re))
(*.f64 x.re x.im)

Outputs
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)))) (.f64 (+.f64 x.re x.im) (*.f64 (-.f64 x.re x.im) x.im)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)) (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)))) (-.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))))
(/.f64 (-.f64 (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))) (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))) (-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) #s(literal 3 binary64)) (pow.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (-.f64 (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))) (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) #s(literal 3 binary64))) (fma.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (-.f64 (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)) (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)))))
(fma.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) x.im (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 (.f64 x.re (+.f64 x.im x.im)) x.re (.f64 (+.f64 x.re x.im) (*.f64 (-.f64 x.re x.im) x.im)))
(fma.f64 x.re (.f64 x.re (+.f64 x.im x.im)) (.f64 (+.f64 x.re x.im) (*.f64 (-.f64 x.re x.im) x.im)))
(fma.f64 x.im (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (neg.f64 (.f64 x.re (+.f64 x.im x.im))) x.re))
(-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (neg.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)))
(-.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (neg.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im))) x.im))
(-.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (neg.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))))
(+.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
(+.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 x.re x.im) (.f64 x.re x.im))) (.f64 x.re x.im))
(.f64 #s(literal 2 binary64) (.f64 x.re x.im))
(*.f64 x.re (+.f64 x.im x.im))
(*.f64 x.im (+.f64 x.re x.re))
(/.f64 (-.f64 (.f64 (.f64 x.re x.im) (.f64 x.re x.im)) (.f64 (.f64 x.re x.im) (.f64 x.re x.im))) (-.f64 (.f64 x.re x.im) (.f64 x.re x.im)))
(/.f64 (+.f64 (pow.f64 (.f64 x.re x.im) #s(literal 3 binary64)) (pow.f64 (.f64 x.re x.im) #s(literal 3 binary64))) (fma.f64 (.f64 x.re x.im) (.f64 x.re x.im) (-.f64 (.f64 (.f64 x.re x.im) (.f64 x.re x.im)) (.f64 (.f64 x.re x.im) (.f64 x.re x.im)))))
(fma.f64 x.re x.im (*.f64 x.re x.im))
(fma.f64 x.im x.re (*.f64 x.re x.im))
(-.f64 (.f64 x.re x.im) (.f64 (neg.f64 x.im) x.re))
(-.f64 (.f64 x.re x.im) (neg.f64 (.f64 x.re x.im)))
(+.f64 (.f64 x.re x.im) (.f64 x.re x.im))
x.im
x.re
(*.f64 x.re x.im)
(*.f64 x.im x.re)
(.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) x.im)
(.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))
(.f64 x.im (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 x.im x.im) (.f64 x.re x.re))) (.f64 x.re x.re))
(*.f64 (-.f64 x.re x.im) (+.f64 x.re x.im))
(*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im))
(/.f64 (-.f64 (.f64 (.f64 x.re x.re) (.f64 x.re x.re)) (.f64 (.f64 x.im x.im) (.f64 x.im x.im))) (fma.f64 x.re x.re (*.f64 x.im x.im)))
(/.f64 (-.f64 (pow.f64 (.f64 x.re x.re) #s(literal 3 binary64)) (pow.f64 (.f64 x.im x.im) #s(literal 3 binary64))) (fma.f64 (.f64 x.re x.re) (.f64 x.re x.re) (fma.f64 (.f64 x.im x.im) (.f64 x.im x.im) (.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))))
(neg.f64 (-.f64 (.f64 x.im x.im) (.f64 x.re x.re)))
(fma.f64 (pow.f64 x.re #s(literal 1 binary64)) (pow.f64 x.re #s(literal 1 binary64)) (*.f64 (neg.f64 x.im) x.im))
(fma.f64 (pow.f64 x.re #s(literal 1 binary64)) (pow.f64 x.re #s(literal 1 binary64)) (neg.f64 (*.f64 x.im x.im)))
(fma.f64 (fabs.f64 x.re) (fabs.f64 x.re) (*.f64 (neg.f64 x.im) x.im))
(fma.f64 (fabs.f64 x.re) (fabs.f64 x.re) (neg.f64 (*.f64 x.im x.im)))
(fma.f64 (neg.f64 x.re) (neg.f64 x.re) (*.f64 (neg.f64 x.im) x.im))
(fma.f64 (neg.f64 x.re) (neg.f64 x.re) (neg.f64 (*.f64 x.im x.im)))
(fma.f64 x.re x.re (*.f64 (neg.f64 x.im) x.im))
(fma.f64 x.re x.re (neg.f64 (*.f64 x.im x.im)))
(-.f64 (.f64 x.re x.re) (.f64 x.im x.im))
(+.f64 (.f64 x.re x.re) (.f64 (neg.f64 x.im) x.im))
(+.f64 (.f64 x.re x.re) (neg.f64 (.f64 x.im x.im)))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 x.im x.re)) x.re)
(/.f64 (+.f64 (pow.f64 x.re #s(literal 3 binary64)) (.f64 (.f64 x.im x.im) x.im)) (fma.f64 x.re x.re (-.f64 (.f64 x.im x.im) (.f64 x.re x.im))))
(/.f64 (*.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) (-.f64 x.re x.im))
(-.f64 x.re (neg.f64 x.im))
(+.f64 x.re x.im)
(+.f64 x.im x.re)
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 x.im x.re)) x.re)
(/.f64 (-.f64 (pow.f64 x.re #s(literal 3 binary64)) (.f64 (.f64 x.im x.im) x.im)) (fma.f64 x.re x.re (fma.f64 x.im x.im (*.f64 x.re x.im))))
(/.f64 (*.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) (+.f64 x.re x.im))
(neg.f64 (-.f64 x.im x.re))
(-.f64 x.re x.im)
(+.f64 x.re (neg.f64 x.im))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
(.f64 (.f64 (*.f64 x.im x.im) x.im) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 (*.f64 x.im x.im) x.im))
(neg.f64 (.f64 (.f64 x.im x.im) x.im))
#s(literal -1 binary64)
(*.f64 (pow.f64 x.im #s(literal 3/2 binary64)) (pow.f64 x.im #s(literal 3/2 binary64)))
(.f64 (.f64 x.im x.im) x.im)
(.f64 x.im (.f64 x.im x.im))
(pow.f64 x.im #s(literal 3 binary64))
(exp.f64 (*.f64 (log.f64 x.im) #s(literal 3 binary64)))
#s(literal 3 binary64)
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)))) (.f64 (+.f64 x.re x.im) (*.f64 (-.f64 x.re x.im) x.im)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)) (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)))) (-.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))))
(/.f64 (-.f64 (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))) (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))) (-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) #s(literal 3 binary64)) (pow.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (-.f64 (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))) (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) #s(literal 3 binary64))) (fma.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (-.f64 (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)) (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)))))
(fma.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) x.im (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 (.f64 x.re (+.f64 x.im x.im)) x.re (.f64 (+.f64 x.re x.im) (*.f64 (-.f64 x.re x.im) x.im)))
(fma.f64 x.re (.f64 x.re (+.f64 x.im x.im)) (.f64 (+.f64 x.re x.im) (*.f64 (-.f64 x.re x.im) x.im)))
(fma.f64 x.im (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (neg.f64 (.f64 x.re (+.f64 x.im x.im))) x.re))
(-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (neg.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)))
(-.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (neg.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im))) x.im))
(-.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (neg.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))))
(+.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
(+.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)))
(.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)
(.f64 x.re (.f64 x.re (+.f64 x.im x.im)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (.f64 x.re x.re) x.im) #s(literal 2 binary64))) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)))) (.f64 (+.f64 x.re x.im) (*.f64 (-.f64 x.re x.im) x.im)))
(/.f64 (-.f64 (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))) (.f64 #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (.f64 x.re x.re) x.im) #s(literal 2 binary64))) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (.f64 x.re x.re) x.im) #s(literal 2 binary64))))) (-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) #s(literal 3 binary64)) (pow.f64 #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (.f64 x.re x.re) x.im) #s(literal 2 binary64))) #s(literal 3 binary64))) (fma.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (-.f64 (.f64 #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (.f64 x.re x.re) x.im) #s(literal 2 binary64))) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (.f64 x.re x.re) x.im) #s(literal 2 binary64)))) (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64)))))))
(fma.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) x.im #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
(fma.f64 x.im (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
(-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (neg.f64 #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64)))))
(+.f64 #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (.f64 x.re x.re) x.im) #s(literal 2 binary64))) (.f64 (+.f64 x.re x.im) (*.f64 (-.f64 x.re x.im) x.im)))
(+.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
(.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) x.im)
(.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))
(.f64 x.im (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 x.im x.im) (.f64 x.re x.re))) (.f64 x.re x.re))
(*.f64 (-.f64 x.re x.im) (+.f64 x.re x.im))
(*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im))
(/.f64 (-.f64 (.f64 (.f64 x.re x.re) (.f64 x.re x.re)) (.f64 (.f64 x.im x.im) (.f64 x.im x.im))) (fma.f64 x.re x.re (*.f64 x.im x.im)))
(/.f64 (-.f64 (pow.f64 (.f64 x.re x.re) #s(literal 3 binary64)) (pow.f64 (.f64 x.im x.im) #s(literal 3 binary64))) (fma.f64 (.f64 x.re x.re) (.f64 x.re x.re) (fma.f64 (.f64 x.im x.im) (.f64 x.im x.im) (.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))))
(neg.f64 (-.f64 (.f64 x.im x.im) (.f64 x.re x.re)))
(fma.f64 (pow.f64 x.re #s(literal 1 binary64)) (pow.f64 x.re #s(literal 1 binary64)) (*.f64 (neg.f64 x.im) x.im))
(fma.f64 (pow.f64 x.re #s(literal 1 binary64)) (pow.f64 x.re #s(literal 1 binary64)) (neg.f64 (*.f64 x.im x.im)))
(fma.f64 (fabs.f64 x.re) (fabs.f64 x.re) (*.f64 (neg.f64 x.im) x.im))
(fma.f64 (fabs.f64 x.re) (fabs.f64 x.re) (neg.f64 (*.f64 x.im x.im)))
(fma.f64 (neg.f64 x.re) (neg.f64 x.re) (*.f64 (neg.f64 x.im) x.im))
(fma.f64 (neg.f64 x.re) (neg.f64 x.re) (neg.f64 (*.f64 x.im x.im)))
(fma.f64 x.re x.re (*.f64 (neg.f64 x.im) x.im))
(fma.f64 x.re x.re (neg.f64 (*.f64 x.im x.im)))
(-.f64 (.f64 x.re x.re) (.f64 x.im x.im))
(+.f64 (.f64 x.re x.re) (.f64 (neg.f64 x.im) x.im))
(+.f64 (.f64 x.re x.re) (neg.f64 (.f64 x.im x.im)))
(*.f64 (pow.f64 x.re #s(literal 1 binary64)) (pow.f64 x.re #s(literal 1 binary64)))
(*.f64 (fabs.f64 x.re) (fabs.f64 x.re))
(*.f64 (neg.f64 x.re) (neg.f64 x.re))
(*.f64 x.re x.re)
(pow.f64 x.re #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 x.re) #s(literal 2 binary64)))
(*.f64 (pow.f64 x.im #s(literal 1 binary64)) (pow.f64 x.im #s(literal 1 binary64)))
(*.f64 (fabs.f64 x.im) (fabs.f64 x.im))
(*.f64 (neg.f64 x.im) (neg.f64 x.im))
(*.f64 x.im x.im)
(pow.f64 x.im #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 x.im) #s(literal 2 binary64)))
#s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64)))
(.f64 (.f64 #s(literal 2 binary64) x.im) (*.f64 x.re x.re))
(.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))
(.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im))
(fma.f64 (.f64 x.re x.re) x.im (.f64 (*.f64 x.re x.re) x.im))
(fma.f64 x.im (.f64 x.re x.re) (.f64 (*.f64 x.re x.re) x.im))
(+.f64 (.f64 (.f64 x.re x.re) x.im) (.f64 (.f64 x.re x.re) x.im))
#s(literal 2 binary64)
(.f64 (.f64 x.re x.re) x.im)
(.f64 x.im (.f64 x.re x.re))
(*.f64 (pow.f64 x.re #s(literal 1 binary64)) (pow.f64 x.re #s(literal 1 binary64)))
(*.f64 (fabs.f64 x.re) (fabs.f64 x.re))
(*.f64 (neg.f64 x.re) (neg.f64 x.re))
(*.f64 x.re x.re)
(pow.f64 x.re #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 x.re) #s(literal 2 binary64)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) #s(approx ( (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im))))) #s(approx ( (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (*.f64 x.im x.im) x.im))))
(/.f64 (-.f64 (.f64 #s(approx ( (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im))) #s(approx ( (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im)))) (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))) (-.f64 #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im))) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re)))
(/.f64 (+.f64 (pow.f64 #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im))) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) #s(literal 3 binary64))) (fma.f64 #s(approx ( (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im))) #s(approx ( (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im))) (-.f64 (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)) (.f64 #s(approx ( (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im))) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re)))))
(fma.f64 (.f64 x.re (+.f64 x.im x.im)) x.re #s(approx ( (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (*.f64 x.im x.im) x.im))))
(fma.f64 x.re (.f64 x.re (+.f64 x.im x.im)) #s(approx ( (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (*.f64 x.im x.im) x.im))))
(-.f64 #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im))) (.f64 (neg.f64 (*.f64 x.re (+.f64 x.im x.im))) x.re))
(-.f64 #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im))) (neg.f64 (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re)))
(+.f64 #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (.f64 x.im x.im) x.im))) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(+.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (*.f64 x.im x.im) x.im))))
#s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (*.f64 x.im x.im) x.im)))
(.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (*.f64 x.im x.im) x.im))
(.f64 (.f64 (.f64 x.im x.im) x.im) (-.f64 (/.f64 (.f64 x.re x.re) (*.f64 x.im x.im)) #s(literal 1 binary64)))
(.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)))) (/.f64 (.f64 x.re x.re) (*.f64 x.im x.im)))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) (/.f64 (.f64 x.re x.re) (.f64 x.im x.im))) #s(literal 1 binary64)) (+.f64 (/.f64 (.f64 x.re x.re) (*.f64 x.im x.im)) #s(literal 1 binary64)))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) (+.f64 #s(literal 1 binary64) (.f64 (/.f64 (.f64 x.re x.re) (*.f64 x.im x.im)) #s(literal 1 binary64)))))
(neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (.f64 x.re x.re) (.f64 x.im x.im))))
(fma.f64 (.f64 x.re x.re) (/.f64 #s(literal 1 binary64) (.f64 x.im x.im)) #s(literal -1 binary64))
(-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64))
(+.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal -1 binary64))
(.f64 (.f64 x.re x.re) (/.f64 #s(literal 1 binary64) (*.f64 x.im x.im)))
(/.f64 (neg.f64 (.f64 x.re x.re)) (neg.f64 (.f64 x.im x.im)))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 x.im x.im) (.f64 x.re x.re)))
(/.f64 (.f64 x.re x.re) (.f64 x.im x.im))
(*.f64 (pow.f64 x.im #s(literal 1 binary64)) (pow.f64 x.im #s(literal 1 binary64)))
(*.f64 (fabs.f64 x.im) (fabs.f64 x.im))
(*.f64 (neg.f64 x.im) (neg.f64 x.im))
(*.f64 x.im x.im)
(pow.f64 x.im #s(literal 2 binary64))
(exp.f64 (*.f64 (log.f64 x.im) #s(literal 2 binary64)))
#s(literal 1 binary64)
(.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)
(.f64 x.re (.f64 x.re (+.f64 x.im x.im)))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 x.re x.im) (.f64 x.re x.im))) (.f64 x.re x.im))
(.f64 #s(literal 2 binary64) (.f64 x.re x.im))
(*.f64 x.re (+.f64 x.im x.im))
(*.f64 x.im (+.f64 x.re x.re))
(/.f64 (-.f64 (.f64 (.f64 x.re x.im) (.f64 x.re x.im)) (.f64 (.f64 x.re x.im) (.f64 x.re x.im))) (-.f64 (.f64 x.re x.im) (.f64 x.re x.im)))
(/.f64 (+.f64 (pow.f64 (.f64 x.re x.im) #s(literal 3 binary64)) (pow.f64 (.f64 x.re x.im) #s(literal 3 binary64))) (fma.f64 (.f64 x.re x.im) (.f64 x.re x.im) (-.f64 (.f64 (.f64 x.re x.im) (.f64 x.re x.im)) (.f64 (.f64 x.re x.im) (.f64 x.re x.im)))))
(fma.f64 x.re x.im (*.f64 x.re x.im))
(fma.f64 x.im x.re (*.f64 x.re x.im))
(-.f64 (.f64 x.re x.im) (.f64 (neg.f64 x.im) x.re))
(-.f64 (.f64 x.re x.im) (neg.f64 (.f64 x.re x.im)))
(+.f64 (.f64 x.re x.im) (.f64 x.re x.im))
(*.f64 x.re x.im)
(*.f64 x.im x.re)

eval28.0ms (1.1%)

Memory: 19.2MiB live, 64.9MiB allocated; 3ms collecting garbage
Compiler: Compiled 8 046 to 922 computations (88.5% saved)

prune15.0ms (0.6%)

Memory

-10.5MiB live, 34.1MiB allocated; 5ms collecting garbage

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	254	13	267
Fresh	3	1	4
Picked	4	1	5
Done	0	0	0
Total	261	15	276

Accuracy

100.0%

Counts

276 → 15

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	87.7%	(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (.f64 (+.f64 x.re x.im) #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))) x.im))
	72.1%	(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (*.f64 #s(approx (+ x.re x.im) x.im) (-.f64 x.re x.im)) x.im))
▶	92.0%	(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
▶	87.2%	(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
	87.2%	(fma.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) x.im (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
	69.7%	(fma.f64 (.f64 #s(approx (+ x.re x.im) x.im) (-.f64 x.re x.im)) x.im (.f64 (fma.f64 x.im x.re (*.f64 x.im x.re)) x.re))
	89.6%	(fma.f64 (.f64 x.re (+.f64 x.im x.im)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
	24.4%	(/.f64 (-.f64 (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))) (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))) (-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)))
	92.0%	(+.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
	63.6%	(+.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (*.f64 x.im x.im) x.im))))
	50.0%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 (pow.f64 x.re #s(literal 2 binary64)) (+.f64 x.im (.f64 #s(literal 2 binary64) x.im))))
✓	59.9%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64))))
▶	58.1%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 #s(literal -1 binary64) (exp.f64 (.f64 (log.f64 x.im) #s(literal 3 binary64)))))
▶	59.8%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
	87.3%	#s(approx (+ (* (+ (* x.im x.re) (* x.im x.re)) x.re) (* (* (+ x.re x.im) (- x.re x.im)) x.im)) (fma.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64)) (.f64 x.re (fma.f64 x.im (+.f64 x.im (.f64 #s(literal -1 binary64) x.im)) (.f64 x.re (+.f64 x.im (.f64 #s(literal 2 binary64) x.im)))))))

Compiler

Compiled 751 to 398 computations (47% saved)

series85.0ms (3.2%)

Memory

20.8MiB live, 157.1MiB allocated; 29ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	302	1599

Stop Event

1×	iter-limit

Counts

36 → 76

Calls

Call 1

Inputs
(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(+.f64 x.re x.im)
x.re
x.im
(*.f64 (-.f64 x.re x.im) x.im)
(-.f64 x.re x.im)
(.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)
(*.f64 x.re (+.f64 x.im x.im))
(+.f64 x.im x.im)
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
(neg.f64 (.f64 (.f64 x.im x.im) x.im))
(.f64 (.f64 x.im x.im) x.im)
(*.f64 x.im x.im)
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 #s(literal -1 binary64) (exp.f64 (.f64 (log.f64 x.im) #s(literal 3 binary64)))))
(.f64 #s(literal -1 binary64) (exp.f64 (.f64 (log.f64 x.im) #s(literal 3 binary64))))
#s(literal -1 binary64)
(exp.f64 (*.f64 (log.f64 x.im) #s(literal 3 binary64)))
(*.f64 (log.f64 x.im) #s(literal 3 binary64))
(log.f64 x.im)
#s(literal 3 binary64)
(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))
(.f64 (.f64 x.re x.re) x.im)
(*.f64 x.re x.re)
#s(literal 2 binary64)
(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (.f64 (+.f64 x.re x.im) #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))) x.im))
(fma.f64 x.im x.re (*.f64 x.im x.re))
(*.f64 x.im x.re)
(.f64 (.f64 (+.f64 x.re x.im) #s(approx (- x.re x.im) (*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))) x.im)
(.f64 (+.f64 x.re x.im) #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))))
#s(approx (- x.re x.im) (*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))
(*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))
(-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))
(/.f64 x.re x.im)
#s(literal 1 binary64)

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

Calls

6 calls:

Time	Variable	Point
35.0ms	x.im	0
15.0ms	x.im	-inf
12.0ms	x.re	-inf
9.0ms	x.im	inf
2.0ms	x.re	inf

rewrite36.0ms (1.3%)

Memory

6.2MiB live, 53.0MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	283
0	73	257
0	340	257

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

36 → 152

Calls

Call 1

Inputs
(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(+.f64 x.re x.im)
x.re
x.im
(*.f64 (-.f64 x.re x.im) x.im)
(-.f64 x.re x.im)
(.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)
(*.f64 x.re (+.f64 x.im x.im))
(+.f64 x.im x.im)
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
(neg.f64 (.f64 (.f64 x.im x.im) x.im))
(.f64 (.f64 x.im x.im) x.im)
(*.f64 x.im x.im)
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 #s(literal -1 binary64) (exp.f64 (.f64 (log.f64 x.im) #s(literal 3 binary64)))))
(.f64 #s(literal -1 binary64) (exp.f64 (.f64 (log.f64 x.im) #s(literal 3 binary64))))
#s(literal -1 binary64)
(exp.f64 (*.f64 (log.f64 x.im) #s(literal 3 binary64)))
(*.f64 (log.f64 x.im) #s(literal 3 binary64))
(log.f64 x.im)
#s(literal 3 binary64)
(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))
(.f64 (.f64 x.re x.re) x.im)
(*.f64 x.re x.re)
#s(literal 2 binary64)
(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (.f64 (+.f64 x.re x.im) #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))) x.im))
(fma.f64 x.im x.re (*.f64 x.im x.re))
(*.f64 x.im x.re)
(.f64 (.f64 (+.f64 x.re x.im) #s(approx (- x.re x.im) (*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))) x.im)
(.f64 (+.f64 x.re x.im) #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))))
#s(approx (- x.re x.im) (*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))
(*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))
(-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))
(/.f64 x.re x.im)
#s(literal 1 binary64)

Outputs
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)))) (.f64 (*.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re))) (.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re))) (-.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re)))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (-.f64 (.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re)) (.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re)))))
(fma.f64 (.f64 (+.f64 x.im x.re) (-.f64 x.re x.im)) x.im (.f64 (*.f64 (+.f64 x.im x.im) x.re) x.re))
(fma.f64 (.f64 (+.f64 x.im x.im) x.re) x.re (.f64 (*.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)))
(fma.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re) (.f64 (*.f64 (+.f64 x.im x.im) x.re) x.re))
(fma.f64 (+.f64 x.im x.re) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 (+.f64 x.im x.im) x.re) x.re))
(fma.f64 x.im (.f64 (+.f64 x.im x.re) (-.f64 x.re x.im)) (.f64 (*.f64 (+.f64 x.im x.im) x.re) x.re))
(fma.f64 x.re (.f64 (+.f64 x.im x.im) x.re) (.f64 (*.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)))
(-.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (.f64 (neg.f64 (.f64 (+.f64 x.im x.im) x.re)) x.re))
(-.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (neg.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re)))
(+.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re))
(+.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 x.im x.re)) x.re)
(/.f64 (+.f64 (pow.f64 x.re #s(literal 3 binary64)) (.f64 (.f64 x.im x.im) x.im)) (fma.f64 x.re x.re (-.f64 (.f64 x.im x.im) (.f64 x.im x.re))))
(/.f64 (*.f64 (+.f64 x.im x.re) (-.f64 x.re x.im)) (-.f64 x.re x.im))
(-.f64 x.re (neg.f64 x.im))
(+.f64 x.im x.re)
(+.f64 x.re x.im)
x.re
x.im
(*.f64 (-.f64 x.re x.im) x.im)
(*.f64 x.im (-.f64 x.re x.im))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 x.im x.re)) x.re)
(/.f64 (-.f64 (pow.f64 x.re #s(literal 3 binary64)) (.f64 (.f64 x.im x.im) x.im)) (fma.f64 x.re x.re (fma.f64 x.im x.im (*.f64 x.im x.re))))
(/.f64 (*.f64 (+.f64 x.im x.re) (-.f64 x.re x.im)) (+.f64 x.im x.re))
(neg.f64 (-.f64 x.im x.re))
(-.f64 x.re x.im)
(+.f64 x.re (neg.f64 x.im))
(.f64 (.f64 (+.f64 x.im x.im) x.re) x.re)
(.f64 x.re (.f64 (+.f64 x.im x.im) x.re))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 x.im x.re) (.f64 x.im x.re))) (.f64 x.im x.re))
(.f64 #s(literal 2 binary64) (.f64 x.im x.re))
(*.f64 (+.f64 x.im x.im) x.re)
(*.f64 x.im (+.f64 x.re x.re))
(*.f64 x.re (+.f64 x.im x.im))
(/.f64 (-.f64 (.f64 (.f64 x.im x.re) (.f64 x.im x.re)) (.f64 (.f64 x.im x.re) (.f64 x.im x.re))) (-.f64 (.f64 x.im x.re) (.f64 x.im x.re)))
(/.f64 (+.f64 (pow.f64 (.f64 x.im x.re) #s(literal 3 binary64)) (pow.f64 (.f64 x.im x.re) #s(literal 3 binary64))) (fma.f64 (.f64 x.im x.re) (.f64 x.im x.re) (-.f64 (.f64 (.f64 x.im x.re) (.f64 x.im x.re)) (.f64 (.f64 x.im x.re) (.f64 x.im x.re)))))
(fma.f64 x.im x.re (*.f64 x.im x.re))
(fma.f64 x.re x.im (*.f64 x.im x.re))
(-.f64 (.f64 x.im x.re) (.f64 (neg.f64 x.im) x.re))
(-.f64 (.f64 x.im x.re) (neg.f64 (.f64 x.im x.re)))
(+.f64 (.f64 x.im x.re) (.f64 x.im x.re))
(*.f64 (+.f64 #s(literal 1 binary64) (/.f64 x.im x.im)) x.im)
(*.f64 #s(literal 2 binary64) x.im)
(/.f64 (-.f64 (.f64 x.im x.im) (.f64 x.im x.im)) (-.f64 x.im x.im))
(/.f64 (fma.f64 (.f64 x.im x.im) x.im (.f64 (.f64 x.im x.im) x.im)) (fma.f64 x.im x.im (-.f64 (.f64 x.im x.im) (*.f64 x.im x.im))))
(-.f64 x.im (neg.f64 x.im))
(+.f64 x.im x.im)
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 (.f64 x.im x.im) (neg.f64 x.im)))
(.f64 (neg.f64 (.f64 x.im x.im)) x.im)
(.f64 #s(literal -1 binary64) (.f64 (*.f64 x.im x.im) x.im))
(.f64 (.f64 (*.f64 x.im x.im) x.im) #s(literal -1 binary64))
(.f64 (.f64 x.im x.im) (neg.f64 x.im))
(neg.f64 (.f64 (.f64 x.im x.im) x.im))
(.f64 (.f64 x.im x.im) x.im)
(.f64 x.im (.f64 x.im x.im))
(pow.f64 (exp.f64 (log.f64 x.im)) #s(literal 3 binary64))
(pow.f64 x.im #s(literal 3 binary64))
(fabs.f64 (.f64 (.f64 x.im x.im) x.im))
(exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 x.im)))
(+.f64 (cosh.f64 (.f64 #s(literal 3 binary64) (log.f64 x.im))) (sinh.f64 (.f64 #s(literal 3 binary64) (log.f64 x.im))))
(*.f64 (fabs.f64 x.im) (fabs.f64 x.im))
(*.f64 (neg.f64 x.im) (neg.f64 x.im))
(*.f64 x.im x.im)
(pow.f64 x.im #s(literal 2 binary64))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 (.f64 x.im x.im) (neg.f64 x.im)))
(.f64 (neg.f64 (.f64 x.im x.im)) x.im)
(.f64 #s(literal -1 binary64) (.f64 (*.f64 x.im x.im) x.im))
(.f64 (.f64 (*.f64 x.im x.im) x.im) #s(literal -1 binary64))
(.f64 (.f64 x.im x.im) (neg.f64 x.im))
(neg.f64 (.f64 (.f64 x.im x.im) x.im))
#s(literal -1 binary64)
(.f64 (.f64 x.im x.im) x.im)
(.f64 x.im (.f64 x.im x.im))
(pow.f64 (exp.f64 (log.f64 x.im)) #s(literal 3 binary64))
(pow.f64 x.im #s(literal 3 binary64))
(fabs.f64 (.f64 (.f64 x.im x.im) x.im))
(exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 x.im)))
(+.f64 (cosh.f64 (.f64 #s(literal 3 binary64) (log.f64 x.im))) (sinh.f64 (.f64 #s(literal 3 binary64) (log.f64 x.im))))
(*.f64 #s(literal 3 binary64) (log.f64 x.im))
(*.f64 (log.f64 x.im) #s(literal 3 binary64))
(log.f64 x.im)
#s(literal 3 binary64)
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (.f64 x.re x.re) x.im))) (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)))) (.f64 (*.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re))) (.f64 #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (.f64 x.re x.re) x.im))) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (.f64 x.re x.re) x.im))))) (-.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im)))))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) #s(literal 3 binary64)) (pow.f64 #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (.f64 x.re x.re) x.im))) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (-.f64 (.f64 #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (.f64 x.re x.re) x.im))) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (.f64 x.re x.re) x.im)))) (.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im)))))))
(fma.f64 (.f64 (+.f64 x.im x.re) (-.f64 x.re x.im)) x.im #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im))))
(fma.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im))))
(fma.f64 (+.f64 x.im x.re) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im))))
(fma.f64 x.im (.f64 (+.f64 x.im x.re) (-.f64 x.re x.im)) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im))))
(-.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) (neg.f64 #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im)))))
(+.f64 (.f64 (.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im))))
(+.f64 #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (.f64 x.re x.re) x.im))) (.f64 (*.f64 (-.f64 x.re x.im) x.im) (+.f64 x.im x.re)))
#s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im)))
(.f64 #s(literal 2 binary64) (.f64 (*.f64 x.re x.re) x.im))
(.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))
(.f64 (.f64 x.re x.re) (*.f64 x.im #s(literal 2 binary64)))
(.f64 (.f64 x.re x.re) x.im)
(.f64 x.im (.f64 x.re x.re))
(.f64 x.re (.f64 x.im x.re))
(*.f64 (fabs.f64 x.re) (fabs.f64 x.re))
(*.f64 (neg.f64 x.re) (neg.f64 x.re))
(*.f64 x.re x.re)
(pow.f64 x.re #s(literal 2 binary64))
#s(literal 2 binary64)
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re))) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re))
(/.f64 (-.f64 (.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re)) (.f64 (.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im) (.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im))) (-.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (.f64 (.f64 #s(approx (- x.re x.im) (*.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im)))
(/.f64 (+.f64 (pow.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) #s(literal 3 binary64)) (pow.f64 (.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im) #s(literal 3 binary64))) (fma.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (-.f64 (.f64 (.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im) (.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im)) (.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im)))))
(fma.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re))
(fma.f64 (.f64 (+.f64 x.im x.im) x.re) x.re (.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im))
(fma.f64 (+.f64 x.im x.re) (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) x.im) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re))
(fma.f64 x.im (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re))
(fma.f64 x.re (.f64 (+.f64 x.im x.im) x.re) (.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im))
(-.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (.f64 (neg.f64 (.f64 #s(approx (- x.re x.im) (*.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re))) x.im))
(-.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (neg.f64 (.f64 (.f64 #s(approx (- x.re x.im) (*.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im)))
(+.f64 (.f64 (.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im) (.f64 (*.f64 (+.f64 x.im x.im) x.re) x.re))
(+.f64 (.f64 (.f64 (+.f64 x.im x.im) x.re) x.re) (.f64 (.f64 #s(approx (- x.re x.im) (*.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im))
(.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 x.im x.re) (.f64 x.im x.re))) (.f64 x.im x.re))
(.f64 #s(literal 2 binary64) (.f64 x.im x.re))
(*.f64 (+.f64 x.im x.im) x.re)
(*.f64 x.im (+.f64 x.re x.re))
(*.f64 x.re (+.f64 x.im x.im))
(/.f64 (-.f64 (.f64 (.f64 x.im x.re) (.f64 x.im x.re)) (.f64 (.f64 x.im x.re) (.f64 x.im x.re))) (-.f64 (.f64 x.im x.re) (.f64 x.im x.re)))
(/.f64 (+.f64 (pow.f64 (.f64 x.im x.re) #s(literal 3 binary64)) (pow.f64 (.f64 x.im x.re) #s(literal 3 binary64))) (fma.f64 (.f64 x.im x.re) (.f64 x.im x.re) (-.f64 (.f64 (.f64 x.im x.re) (.f64 x.im x.re)) (.f64 (.f64 x.im x.re) (.f64 x.im x.re)))))
(fma.f64 x.im x.re (*.f64 x.im x.re))
(fma.f64 x.re x.im (*.f64 x.im x.re))
(-.f64 (.f64 x.im x.re) (.f64 (neg.f64 x.im) x.re))
(-.f64 (.f64 x.im x.re) (neg.f64 (.f64 x.im x.re)))
(+.f64 (.f64 x.im x.re) (.f64 x.im x.re))
(*.f64 x.im x.re)
(*.f64 x.re x.im)
(.f64 (.f64 #s(approx (- x.re x.im) (*.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)) x.im)
(.f64 (+.f64 x.im x.re) (.f64 #s(approx (- x.re x.im) (*.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) x.im))
(.f64 x.im (.f64 #s(approx (- x.re x.im) (*.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re)))
(.f64 #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)) (+.f64 x.im x.re))
(.f64 (+.f64 x.im x.re) #s(approx (- x.re x.im) (.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)))
#s(approx (- x.re x.im) (*.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im))
(*.f64 (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)) x.im)
(*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))
(*.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (/.f64 x.re x.im))) (/.f64 x.re x.im))
(/.f64 (-.f64 (*.f64 (/.f64 x.re x.im) (/.f64 x.re x.im)) #s(literal 1 binary64)) (+.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))
(/.f64 (-.f64 (pow.f64 (/.f64 x.re x.im) #s(literal 3 binary64)) #s(literal 1 binary64)) (fma.f64 (/.f64 x.re x.im) (/.f64 x.re x.im) (+.f64 #s(literal 1 binary64) (*.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))))
(neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 x.re x.im)))
(fma.f64 x.re (/.f64 #s(literal 1 binary64) x.im) #s(literal -1 binary64))
(-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))
(+.f64 (/.f64 x.re x.im) #s(literal -1 binary64))
(*.f64 x.re (/.f64 #s(literal 1 binary64) x.im))
(/.f64 (neg.f64 x.re) (neg.f64 x.im))
(/.f64 #s(literal 1 binary64) (/.f64 x.im x.re))
(/.f64 x.re x.im)
#s(literal 1 binary64)

eval49.0ms (1.8%)

Memory: -45.5MiB live, 58.0MiB allocated; 53ms collecting garbage
Compiler: Compiled 6 689 to 860 computations (87.1% saved)

prune12.0ms (0.4%)

Memory

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

Pruning

17 alts after pruning (14 fresh and 3 done)

	Pruned	Kept	Total
New	216	6	222
Fresh	1	8	9
Picked	2	3	5
Done	1	0	1
Total	220	17	237

Accuracy

100.0%

Counts

237 → 17

Alt Table

Click to see full alt table

Status	Accuracy	Program
	72.1%	(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (*.f64 #s(approx (+ x.re x.im) x.im) (-.f64 x.re x.im)) x.im))
✓	92.0%	(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
✓	87.2%	(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
▶	85.7%	(fma.f64 (+.f64 x.re x.im) (.f64 #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))) x.im) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
	87.2%	(fma.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) x.im (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
▶	89.6%	(fma.f64 (.f64 x.re (+.f64 x.im x.im)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
	69.7%	(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
▶	69.0%	(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
	24.4%	(/.f64 (-.f64 (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))) (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))) (-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)))
▶	92.0%	(+.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
	63.6%	(+.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (*.f64 x.im x.im) x.im))))
	50.0%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 (pow.f64 x.re #s(literal 2 binary64)) (+.f64 x.im (.f64 #s(literal 2 binary64) x.im))))
	59.9%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (pow.f64 x.im #s(literal 3 binary64))))
✓	59.8%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
▶	59.8%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im))))
	58.1%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 x.im)))))
	87.3%	#s(approx (+ (* (+ (* x.im x.re) (* x.im x.re)) x.re) (* (* (+ x.re x.im) (- x.re x.im)) x.im)) (fma.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64)) (.f64 x.re (fma.f64 x.im (+.f64 x.im (.f64 #s(literal -1 binary64) x.im)) (.f64 x.re (+.f64 x.im (.f64 #s(literal 2 binary64) x.im)))))))

Compiler

Compiled 810 to 435 computations (46.3% saved)

series26.0ms (1%)

Memory

-7.5MiB live, 38.3MiB allocated; 5ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	296	1592

Stop Event

1×	iter-limit

Counts

32 → 74

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
(.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))
(+.f64 x.re x.im)
x.re
x.im
(*.f64 (-.f64 x.re x.im) x.im)
(-.f64 x.re x.im)
(.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)
(*.f64 x.re (+.f64 x.im x.im))
(+.f64 x.im x.im)
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im))))
(neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im)))
(fabs.f64 (.f64 (.f64 x.im x.im) x.im))
(.f64 (.f64 x.im x.im) x.im)
(*.f64 x.im x.im)
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ x.re x.im) x.im)
#s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))
(.f64 (.f64 x.re x.re) x.im)
(*.f64 x.re x.re)
#s(literal 2 binary64)
(fma.f64 (.f64 x.re (+.f64 x.im x.im)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
(.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im)
(*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im))
(fma.f64 (+.f64 x.re x.im) (.f64 #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))) x.im) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
(.f64 #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))) x.im)
#s(approx (- x.re x.im) (*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))
(*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))
(-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))
(/.f64 x.re x.im)
#s(literal 1 binary64)

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

Calls

6 calls:

Time	Variable	Point
6.0ms	x.re	-inf
3.0ms	x.im	-inf
2.0ms	x.im	inf
2.0ms	x.im	0
2.0ms	x.re	inf

rewrite58.0ms (2.2%)

Memory

-4.4MiB live, 41.0MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	264
0	68	248
0	336	248

Stop Event

1×	iter-limit
1×	iter-limit
1×	iter-limit
1×	unsound
1×	iter-limit

Counts

32 → 157

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
(.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))
(+.f64 x.re x.im)
x.re
x.im
(*.f64 (-.f64 x.re x.im) x.im)
(-.f64 x.re x.im)
(.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)
(*.f64 x.re (+.f64 x.im x.im))
(+.f64 x.im x.im)
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im))))
(neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im)))
(fabs.f64 (.f64 (.f64 x.im x.im) x.im))
(.f64 (.f64 x.im x.im) x.im)
(*.f64 x.im x.im)
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ x.re x.im) x.im)
#s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64)))
(.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))
(.f64 (.f64 x.re x.re) x.im)
(*.f64 x.re x.re)
#s(literal 2 binary64)
(fma.f64 (.f64 x.re (+.f64 x.im x.im)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
(.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im)
(*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im))
(fma.f64 (+.f64 x.re x.im) (.f64 #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))) x.im) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
(.f64 #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))) x.im)
#s(approx (- x.re x.im) (*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))
(*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))
(-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))
(/.f64 x.re x.im)
#s(literal 1 binary64)

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

eval88.0ms (3.3%)

Memory: -1.1MiB live, 51.1MiB allocated; 11ms collecting garbage
Compiler: Compiled 8 010 to 968 computations (87.9% saved)

prune35.0ms (1.3%)

Memory

-13.6MiB live, 33.0MiB allocated; 3ms collecting garbage

Pruning

16 alts after pruning (10 fresh and 6 done)

	Pruned	Kept	Total
New	270	5	275
Fresh	4	5	9
Picked	2	3	5
Done	0	3	3
Total	276	16	292

Accuracy

100.0%

Counts

292 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	92.0%	(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
✓	87.2%	(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
	85.7%	(fma.f64 (+.f64 x.re x.im) (.f64 #s(approx (- x.re x.im) (.f64 x.im (fma.f64 x.re (/.f64 #s(literal 1 binary64) x.im) #s(literal -1 binary64)))) x.im) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
✓	85.7%	(fma.f64 (+.f64 x.re x.im) (.f64 #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))) x.im) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
✓	89.6%	(fma.f64 (.f64 x.re (+.f64 x.im x.im)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
	69.7%	(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
	66.0%	(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 #s(approx (- x.re x.im) (.f64 #s(literal -1 binary64) x.im)) x.im) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
	32.3%	(fma.f64 #s(approx (+ x.re x.im) x.im) #s(approx (* (- x.re x.im) x.im) (.f64 x.im x.re)) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
	24.4%	(/.f64 (-.f64 (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))) (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))) (-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)))
	54.2%	(+.f64 (.f64 (+.f64 x.re x.im) #s(approx ( (- x.re x.im) x.im) (.f64 x.im x.re))) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
	50.0%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 (pow.f64 x.re #s(literal 2 binary64)) (+.f64 x.im (.f64 #s(literal 2 binary64) x.im))))
	59.9%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (pow.f64 x.im #s(literal 3 binary64))))
✓	59.8%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
	50.8%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 x.im x.im) x.im) (.f64 (*.f64 x.im x.im) x.im)))))
✓	59.8%	#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im))))
	87.3%	#s(approx (+ (* (+ (* x.im x.re) (* x.im x.re)) x.re) (* (* (+ x.re x.im) (- x.re x.im)) x.im)) (fma.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64)) (.f64 x.re (fma.f64 x.im (+.f64 x.im (.f64 #s(literal -1 binary64) x.im)) (.f64 x.re (+.f64 x.im (.f64 #s(literal 2 binary64) x.im)))))))

Compiler

Compiled 443 to 238 computations (46.3% saved)

regimes113.0ms (4.2%)

Memory

10.4MiB live, 193.9MiB allocated; 31ms collecting garbage

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

3 → 3

6 → 3

10 → 2

14 → 3

16 → 3

34 → 2

Calls

Call 1

Inputs

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

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

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

Call 2

Inputs

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

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

(fma.f64 #s(approx (+ x.re x.im) x.im) #s(approx (* (- x.re x.im) x.im) (*.f64 x.im x.re)) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (*.f64 (*.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))

Outputs

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

(fma.f64 #s(approx (+ x.re x.im) x.im) #s(approx (* (- x.re x.im) x.im) (*.f64 x.im x.re)) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (*.f64 (*.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))

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

Call 3

Inputs
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im))))
(fma.f64 #s(approx (+ x.re x.im) x.im) #s(approx (* (- x.re x.im) x.im) (.f64 x.im x.re)) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (pow.f64 x.im #s(literal 3 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 x.im x.im) x.im) (.f64 (*.f64 x.im x.im) x.im)))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64))))

Outputs

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

(fma.f64 #s(approx (+ x.re x.im) x.im) #s(approx (* (- x.re x.im) x.im) (*.f64 x.im x.re)) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (*.f64 (*.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))

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

Call 4

Inputs
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im))))
(fma.f64 #s(approx (+ x.re x.im) x.im) #s(approx (* (- x.re x.im) x.im) (.f64 x.im x.re)) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (pow.f64 x.im #s(literal 3 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 x.im x.im) x.im) (.f64 (*.f64 x.im x.im) x.im)))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64))))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 #s(approx (- x.re x.im) (.f64 #s(literal -1 binary64) x.im)) x.im) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 x.im)))))

Outputs

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

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

Call 5

Inputs
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im))))
(fma.f64 #s(approx (+ x.re x.im) x.im) #s(approx (* (- x.re x.im) x.im) (.f64 x.im x.re)) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (pow.f64 x.im #s(literal 3 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 x.im x.im) x.im) (.f64 (*.f64 x.im x.im) x.im)))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64))))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 #s(approx (- x.re x.im) (.f64 #s(literal -1 binary64) x.im)) x.im) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 x.im)))))
(+.f64 (.f64 (+.f64 x.re x.im) #s(approx ( (- x.re x.im) x.im) (.f64 x.im x.re))) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 (.f64 #s(approx (+ x.re x.im) x.im) (-.f64 x.re x.im)) x.im (.f64 (fma.f64 x.im x.re (*.f64 x.im x.re)) x.re))
(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (*.f64 #s(approx (+ x.re x.im) x.im) (-.f64 x.re x.im)) x.im))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 #s(literal -1 binary64) (exp.f64 (.f64 (log.f64 x.im) #s(literal 3 binary64)))))

Outputs

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

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

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

Call 6

Inputs
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im))))
(fma.f64 #s(approx (+ x.re x.im) x.im) #s(approx (* (- x.re x.im) x.im) (.f64 x.im x.re)) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (pow.f64 x.im #s(literal 3 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 x.im x.im) x.im) (.f64 (*.f64 x.im x.im) x.im)))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64))))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 #s(approx (- x.re x.im) (.f64 #s(literal -1 binary64) x.im)) x.im) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 x.im)))))
(+.f64 (.f64 (+.f64 x.re x.im) #s(approx ( (- x.re x.im) x.im) (.f64 x.im x.re))) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 (.f64 #s(approx (+ x.re x.im) x.im) (-.f64 x.re x.im)) x.im (.f64 (fma.f64 x.im x.re (*.f64 x.im x.re)) x.re))
(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (*.f64 #s(approx (+ x.re x.im) x.im) (-.f64 x.re x.im)) x.im))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 #s(literal -1 binary64) (exp.f64 (.f64 (log.f64 x.im) #s(literal 3 binary64)))))
(fma.f64 (.f64 x.re (+.f64 x.im x.im)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
(fma.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) x.im (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))

Outputs

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

(fma.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re (*.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))

#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 x.im)))))

Call 7

Inputs
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (.f64 (.f64 x.im x.im) x.im)))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (fabs.f64 (.f64 (.f64 x.im x.im) x.im))))
(fma.f64 #s(approx (+ x.re x.im) x.im) #s(approx (* (- x.re x.im) x.im) (.f64 x.im x.re)) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (pow.f64 x.im #s(literal 3 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 x.im x.im) x.im) (.f64 (*.f64 x.im x.im) x.im)))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64))))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
(fma.f64 #s(approx (+ x.re x.im) x.im) (.f64 #s(approx (- x.re x.im) (.f64 #s(literal -1 binary64) x.im)) x.im) #s(approx (* (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (neg.f64 (exp.f64 (*.f64 #s(literal 3 binary64) (log.f64 x.im)))))
(+.f64 (.f64 (+.f64 x.re x.im) #s(approx ( (- x.re x.im) x.im) (.f64 x.im x.re))) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 (.f64 #s(approx (+ x.re x.im) x.im) (-.f64 x.re x.im)) x.im (.f64 (fma.f64 x.im x.re (*.f64 x.im x.re)) x.re))
(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (*.f64 #s(approx (+ x.re x.im) x.im) (-.f64 x.re x.im)) x.im))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 #s(literal -1 binary64) (exp.f64 (.f64 (log.f64 x.im) #s(literal 3 binary64)))))
(fma.f64 (.f64 x.re (+.f64 x.im x.im)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
(fma.f64 (.f64 (-.f64 x.re x.im) (+.f64 x.re x.im)) x.im (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) (.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 (.f64 (*.f64 x.re x.re) x.im) #s(literal 2 binary64))))
(+.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 #s(approx (+ (* x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.re))
(fma.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im (.f64 (fma.f64 x.im x.re (*.f64 x.im x.re)) x.re))
(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (*.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.im))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (.f64 (pow.f64 x.re #s(literal 2 binary64)) (+.f64 x.im (.f64 #s(literal 2 binary64) x.im))))
(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))
(fma.f64 (+.f64 x.re x.im) (.f64 #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64)))) x.im) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
(fma.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.re (.f64 (.f64 (+.f64 x.re x.im) #s(approx (- x.re x.im) (.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))) x.im))
(fma.f64 (+.f64 x.re x.im) (.f64 #s(approx (- x.re x.im) (.f64 x.im (fma.f64 x.re (/.f64 #s(literal 1 binary64) x.im) #s(literal -1 binary64)))) x.im) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))
(+.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (-.f64 (/.f64 (.f64 x.re x.re) (.f64 x.im x.im)) #s(literal 1 binary64)) (.f64 (*.f64 x.im x.im) x.im))))
(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) #s(approx ( (+ (* x.re x.im) (* x.im x.re)) x.re) (.f64 #s(literal 2 binary64) (.f64 x.im (pow.f64 x.re #s(literal 2 binary64))))))
(+.f64 (.f64 #s(approx (- ( x.re x.re) (* x.im x.im)) (.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 2 binary64)))) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))
#s(approx (+ (* (+ (* x.im x.re) (* x.im x.re)) x.re) (* (* (+ x.re x.im) (- x.re x.im)) x.im)) (fma.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 3 binary64)) (.f64 x.re (fma.f64 x.im (+.f64 x.im (.f64 #s(literal -1 binary64) x.im)) (.f64 x.re (+.f64 x.im (.f64 #s(literal 2 binary64) x.im)))))))
(+.f64 #s(approx (* (- (* x.re x.re) (* x.im x.im)) x.im) (.f64 (pow.f64 x.im #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) #s(literal 1 binary64)))) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))
(/.f64 (-.f64 (.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im))) (.f64 (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re))) (-.f64 (.f64 (+.f64 x.re x.im) (.f64 (-.f64 x.re x.im) x.im)) (.f64 (.f64 x.re (+.f64 x.im x.im)) x.re)))
#s(approx (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) (*.f64 (pow.f64 x.im #s(literal 3 binary64)) (-.f64 (fma.f64 #s(literal 2 binary64) (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) (/.f64 (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64)))) #s(literal 1 binary64))))

Outputs

(fma.f64 (+.f64 x.re x.im) (*.f64 (-.f64 x.re x.im) x.im) (*.f64 (*.f64 x.re (+.f64 x.im x.im)) x.re))

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

Calls

18 calls:

28.0ms	x.im
13.0ms	x.re
9.0ms	x.im
9.0ms	x.im
7.0ms	(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))

Results

Accuracy	Segments	Branch
59.8%	1	`x.im`
59.8%	1	`x.re`
59.8%	1	`(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))`
73.9%	3	`(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))`
71.9%	2	`x.re`
62.9%	2	`x.im`
73.9%	3	`(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))`
72.6%	2	`x.re`
74.0%	2	`x.im`
74.4%	2	`(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))`
84.9%	2	`x.re`
95.8%	3	`(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))`
88.4%	3	`x.im`
97.5%	3	`x.im`
96.7%	3	`(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))`
96.7%	2	`(+.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.im) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.re))`
94.3%	2	`x.re`
97.9%	3	`x.im`

Compiler

Compiled 1 027 to 250 computations (75.7% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch27.0ms (1%)

Memory

15.9MiB live, 59.3MiB allocated; 6ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	7.751183906037853e+201	9.239168854406656e+204
9.0ms	1.5664668692209418e-176	2.0811969423300496e-175

Samples

15.0ms

224×

valid

Compiler

Compiled 580 to 378 computations (34.8% saved)

Precisions

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

ival-mult!: 8.0ms (81.9% of total)

ival-add!: 1.0ms (10.2% of total)

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

adjust: 0.0ms (0% of total)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	-5e-324	0.0

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	-5e-324	0.0

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	-5e-324	0.0

Compiler

Compiled 22 to 16 computations (27.3% saved)

derivations21.0ms (0.8%)

Memory

-10.1MiB live, 32.3MiB allocated; 12ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 596 to 72 computations (87.9% saved)

preprocess252.0ms (9.4%)

Memory

3.5MiB live, 377.2MiB allocated; 220ms collecting garbage

Remove

(negabs x.im)

(abs x.re)

Compiler

Compiled 3 516 to 1 290 computations (63.3% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.6s (59.7%)

preprocess78.0ms (2.9%)

series17.0ms (0.7%)

rewrite28.0ms (1%)

eval7.0ms (0.2%)

prune9.0ms (0.3%)

series35.0ms (1.3%)

rewrite57.0ms (2.2%)

eval28.0ms (1.1%)

prune15.0ms (0.6%)

series85.0ms (3.2%)

rewrite36.0ms (1.3%)

eval49.0ms (1.8%)

prune12.0ms (0.4%)

series26.0ms (1%)

rewrite58.0ms (2.2%)

eval88.0ms (3.3%)

prune35.0ms (1.3%)

regimes113.0ms (4.2%)

bsearch0.0ms (0%)

bsearch27.0ms (1%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

derivations21.0ms (0.8%)

preprocess252.0ms (9.4%)

end0.0ms (0%)

Profiling