Metrics for math.cube on complex, real part

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory

1.0MiB live, 1.0MiB 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.1s (48.6%)

Memory

5.4MiB live, 1 615.9MiB allocated; 453ms collecting garbage

Samples

730.0ms

8 256×

valid

Precisions

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

ival-mult!: 315.0ms (82.5% of total)

ival-sub!: 40.0ms (10.5% of total)

ival-add!: 25.0ms (6.6% of total)

adjust: 2.0ms (0.5% of total)

Bogosity

preprocess69.0ms (3.1%)

Memory

-28.5MiB live, 71.2MiB allocated; 10ms collecting garbage

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	36	118
1	158	102
2	555	102
3	1524	67
4	4820	66

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

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

Symmetry

(abs x.im)

(negabs x.re)

Compiler

Compiled 38 to 22 computations (42.1% saved)

series18.0ms (0.8%)

Memory

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	90	546

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.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))
(.f64 (-.f64 (.f64 x.re x.re) (*.f64 x.im x.im)) x.re)
(-.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.im)
(+.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.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 x.re (-.f64 (.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 x.re (-.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (* (- (* x.re x.re) (* x.im x.im)) x.re) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))
#s(approx (* (- (* x.re x.re) (* x.im x.im)) x.re) (*.f64 x.re (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)) (*.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.im) (.f64 #s(literal 2 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))
#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.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (pow.f64 x.re #s(literal 3 binary64)))
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 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)) x.re) (.f64 (pow.f64 x.re #s(literal 3 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)) (.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.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 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.re) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))) #s(literal 1 binary64)))))
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) x.re) (.f64 #s(literal 2 binary64) x.re)) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (* (- (* x.re x.re) (* x.im x.im)) x.re) (fma.f64 #s(literal -1 binary64) (*.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re) (pow.f64 x.re #s(literal 3 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.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) x.re) (*.f64 #s(literal 2 binary64) x.re))))
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (/.f64 (pow.f64 x.re #s(literal 3 binary64)) (pow.f64 x.im #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) x.re))))
#s(approx (* (- (* x.re x.re) (* x.im x.im)) x.re) (*.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) x.re (/.f64 (pow.f64 x.re #s(literal 3 binary64)) (pow.f64 x.im #s(literal 2 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))))

Calls

6 calls:

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

rewrite26.0ms (1.2%)

Memory

-12.1MiB live, 34.0MiB allocated; 3ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	65
0	20	65
0	109	62

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

eval6.0ms (0.3%)

Memory: 16.9MiB live, 16.9MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 828 to 289 computations (84.2% saved)

prune32.0ms (1.4%)

Memory

-37.8MiB live, 9.2MiB allocated; 3ms collecting garbage

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	61	8	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	8	70

Accuracy

92.0%

Counts

70 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
	84.0%	(fma.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.re (.f64 (neg.f64 (fma.f64 x.im x.re (*.f64 x.im x.re))) x.im))
	82.8%	(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.re) (.f64 #s(approx (+ (* x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
▶	84.0%	(-.f64 (.f64 (.f64 (+.f64 x.re x.im) (-.f64 x.re x.im)) x.re) (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.im))
▶	85.6%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) x.re) (.f64 #s(literal 2 binary64) x.re)) (pow.f64 x.re #s(literal 3 binary64))))
▶	58.4%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (pow.f64 x.re #s(literal 3 binary64)))
▶	49.2%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) x.re) (*.f64 #s(literal 2 binary64) x.re))))
	49.3%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 x.re (-.f64 (.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
▶	60.4%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))))))))

Compiler

Compiled 454 to 268 computations (41% saved)

series37.0ms (1.7%)

Memory

17.8MiB live, 63.7MiB allocated; 4ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	344	2499

Stop Event

1×	iter-limit

Counts

33 → 94

Calls

Call 1

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

Outputs
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 x.re (-.f64 (.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 x.re (-.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (.f64 #s(literal -3 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))
#s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (*.f64 x.re (fma.f64 #s(literal -3 binary64) (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))))
#s(approx (- (* -1 x.re) (* 2 x.re)) (*.f64 #s(literal -3 binary64) x.re))
#s(approx (* -1 x.re) (*.f64 #s(literal -1 binary64) x.re))
#s(approx x.re x.re)
#s(approx (* 2 x.re) (*.f64 #s(literal 2 binary64) x.re))
#s(approx (pow x.re 3) (pow.f64 x.re #s(literal 3 binary64)))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (.f64 x.re (-.f64 (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)))) (.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (.f64 x.re (-.f64 (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))))) (.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (* (* (+ x.re x.im) (- x.re x.im)) x.re) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))
#s(approx (* (* (+ x.re x.im) (- x.re x.im)) x.re) (.f64 x.re (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)) x.re) (.f64 x.re (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.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.im x.re) (* x.im x.re)) x.im) (.f64 #s(literal 2 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))
#s(approx (+ (* x.im x.re) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re)))
#s(approx (* x.im x.re) (*.f64 x.im x.re))
#s(approx (* -1 (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))))) (.f64 #s(literal -1 binary64) (.f64 x.re (-.f64 (pow.f64 x.im #s(literal 2 binary64)) (*.f64 #s(literal -2 binary64) (pow.f64 x.im #s(literal 2 binary64)))))))
#s(approx (* -1 (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))))) (.f64 x.re (fma.f64 #s(literal -1 binary64) (-.f64 (pow.f64 x.im #s(literal 2 binary64)) (.f64 #s(literal -2 binary64) (pow.f64 x.im #s(literal 2 binary64)))) (pow.f64 x.re #s(literal 2 binary64)))))
#s(approx (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))))) (.f64 x.re (-.f64 (pow.f64 x.im #s(literal 2 binary64)) (.f64 #s(literal -2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))))) (.f64 x.re (-.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) (.f64 #s(literal -2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))) (/.f64 (-.f64 (pow.f64 x.im #s(literal 2 binary64)) (*.f64 #s(literal -2 binary64) (pow.f64 x.im #s(literal 2 binary64)))) (pow.f64 x.re #s(literal 2 binary64))))
#s(approx (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))) (/.f64 (-.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 x.re #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) (*.f64 #s(literal -2 binary64) (pow.f64 x.im #s(literal 2 binary64)))) (pow.f64 x.re #s(literal 2 binary64))))
#s(approx (/ (pow x.im 2) (pow x.re 2)) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))))
#s(approx (pow x.re 2) (pow.f64 x.re #s(literal 2 binary64)))
#s(approx (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))) (*.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))))
#s(approx (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))) (/.f64 (fma.f64 #s(literal -2 binary64) (pow.f64 x.im #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.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) (pow.f64 x.re #s(literal 2 binary64)))))))
#s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -3 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))))))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (*.f64 (pow.f64 x.re #s(literal 3 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)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (+.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)))) (.f64 #s(literal 2 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))))))
#s(approx (* (* (+ x.re x.im) (- x.re x.im)) x.re) (*.f64 (pow.f64 x.re #s(literal 3 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) (- 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 (* -1 (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))))) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (pow.f64 x.im #s(literal 2 binary64)) (*.f64 #s(literal -2 binary64) (pow.f64 x.im #s(literal 2 binary64)))) (pow.f64 x.re #s(literal 2 binary64)))))))
#s(approx (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))))) (*.f64 #s(literal -1 binary64) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))))) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))))))))
#s(approx (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))) #s(literal -1 binary64))
#s(approx (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))) (-.f64 (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))))))
#s(approx (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))) #s(literal 1 binary64))
#s(approx (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 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.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))))))))
#s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (*.f64 #s(literal 3 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))) #s(literal 1 binary64)))))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x.im (.f64 #s(literal -1 binary64) x.im)) x.re)) #s(literal 1 binary64)))))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x.im (fma.f64 #s(literal -1 binary64) x.im (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (pow.f64 x.im #s(literal 2 binary64)) (*.f64 #s(literal -2 binary64) (pow.f64 x.im #s(literal 2 binary64)))) x.re)))) x.re)) #s(literal 1 binary64)))))
#s(approx (* (* (+ x.re x.im) (- x.re x.im)) x.re) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x.im (fma.f64 #s(literal -1 binary64) x.im (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))) 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) (.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 (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))))) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (pow.f64 x.im #s(literal 2 binary64)) (.f64 #s(literal -2 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)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) x.re) (.f64 #s(literal 2 binary64) x.re)) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (pow x.im 2) (pow.f64 x.im #s(literal 2 binary64)))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (fma.f64 x.im (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re))) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (fma.f64 x.im (fma.f64 x.im (-.f64 (.f64 #s(literal -1 binary64) x.re) (.f64 #s(literal 2 binary64) x.re)) (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re)))) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (* (* (+ x.re x.im) (- x.re x.im)) x.re) (fma.f64 x.im (fma.f64 #s(literal -1 binary64) (.f64 x.im x.re) (.f64 x.re (+.f64 x.re (*.f64 #s(literal -1 binary64) x.re)))) (pow.f64 x.re #s(literal 3 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 (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) x.re) (*.f64 #s(literal 2 binary64) x.re))))
#s(approx (* -1 (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))))) (fma.f64 #s(literal -3 binary64) (*.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))))) (fma.f64 #s(literal -1 binary64) (pow.f64 x.re #s(literal 3 binary64)) (.f64 #s(literal 3 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re))))
#s(approx (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))) (-.f64 (*.f64 #s(literal 3 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))) #s(literal 1 binary64)))
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (/.f64 (pow.f64 x.re #s(literal 3 binary64)) (pow.f64 x.im #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) x.re))))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (/.f64 (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re))) x.im)) (.f64 #s(literal 2 binary64) x.re))))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (+.f64 (/.f64 (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re))) x.im) (/.f64 (pow.f64 x.re #s(literal 3 binary64)) (pow.f64 x.im #s(literal 2 binary64))))) (.f64 #s(literal 2 binary64) x.re))))
#s(approx (* (* (+ x.re x.im) (- x.re x.im)) x.re) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) x.re (/.f64 (.f64 x.re (+.f64 x.re (*.f64 #s(literal -1 binary64) x.re))) x.im))))
#s(approx (* (* (+ x.re x.im) (- x.re x.im)) x.re) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) x.re (+.f64 (/.f64 (.f64 x.re (+.f64 x.re (*.f64 #s(literal -1 binary64) x.re))) x.im) (/.f64 (pow.f64 x.re #s(literal 3 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 (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 (* -1 (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))))) (*.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -3 binary64) x.re (/.f64 (pow.f64 x.re #s(literal 3 binary64)) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))))) (.f64 #s(literal 3 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))
#s(approx (* (pow x.re 3) (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))))) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x.re #s(literal 3 binary64)) (pow.f64 x.im #s(literal 2 binary64))) (.f64 #s(literal 3 binary64) x.re))))
#s(approx (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))) (*.f64 #s(literal 3 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))))
#s(approx (- (/ (pow x.im 2) (pow x.re 2)) (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2))))) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 3 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 x.re #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (+ 1 (* -2 (/ (pow x.im 2) (pow x.re 2)))) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x.im #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 x.re #s(literal 2 binary64)))))))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re))) x.im))) (*.f64 #s(literal 2 binary64) x.re))))
#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x.re #s(literal 3 binary64)) x.im) (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re)))) x.im))) (*.f64 #s(literal 2 binary64) x.re))))
#s(approx (* (* (+ x.re x.im) (- x.re x.im)) x.re) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) x.re (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re))) x.im)))))
#s(approx (* (* (+ x.re x.im) (- x.re x.im)) x.re) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) x.re (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x.re #s(literal 3 binary64)) x.im) (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re)))) 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))))))

Calls

6 calls:

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

rewrite96.0ms (4.4%)

Memory

15.4MiB live, 111.6MiB allocated; 70ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	338
0	64	304
0	348	299

Stop Event

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

Counts

33 → 149

Calls

Call 1

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

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

eval84.0ms (3.8%)

Memory: -21.1MiB live, 67.9MiB allocated; 22ms collecting garbage
Compiler: Compiled 10 083 to 1 191 computations (88.2% saved)

prune10.0ms (0.4%)

Memory

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

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	258	11	269
Fresh	3	0	3
Picked	4	1	5
Done	0	0	0
Total	265	12	277

Accuracy

100.0%

Counts

277 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	92.0%	(fma.f64 (+.f64 x.im x.re) (.f64 (-.f64 x.re x.im) x.re) (.f64 (neg.f64 (*.f64 x.im (+.f64 x.re x.re))) x.im))
▶	91.9%	(-.f64 (.f64 (+.f64 x.im x.re) (.f64 (-.f64 x.re x.im) x.re)) (.f64 (.f64 x.im (+.f64 x.re x.re)) x.im))
	55.7%	(-.f64 (.f64 (.f64 #s(approx (+ x.re x.im) x.im) (-.f64 x.re x.im)) x.re) (.f64 (fma.f64 x.im x.re (.f64 x.im x.re)) x.im))
	82.8%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 (.f64 x.re x.re) x.re (.f64 (.f64 x.re #s(literal -3 binary64)) (.f64 x.im x.im))))
▶	85.5%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 (.f64 x.re #s(literal -3 binary64)) (.f64 x.im x.im) (.f64 (.f64 x.re x.re) x.re)))
✓	58.4%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (pow.f64 x.re #s(literal 3 binary64)))
▶	58.4%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (.f64 x.re x.re) x.re))
	49.2%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (.f64 x.re #s(literal -3 binary64)) (*.f64 x.im x.im)))
	60.4%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (neg.f64 (.f64 (-.f64 (/.f64 (.f64 x.im x.im) (.f64 x.re x.re)) (fma.f64 #s(literal -2 binary64) (/.f64 (.f64 x.im x.im) (.f64 x.re x.re)) #s(literal 1 binary64))) (.f64 (*.f64 x.re x.re) x.re))))
	87.5%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) #s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (*.f64 x.re (fma.f64 #s(literal -3 binary64) (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))))))
▶	49.2%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) #s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (.f64 #s(literal -3 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re))))
	90.4%	#s(approx (- (* (* (+ x.re x.im) (- x.re x.im)) x.re) (* (+ (* x.im x.re) (* x.im x.re)) x.im)) (fma.f64 x.im (fma.f64 x.im (-.f64 (.f64 #s(literal -1 binary64) x.re) (.f64 #s(literal 2 binary64) x.re)) (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re)))) (pow.f64 x.re #s(literal 3 binary64))))

Compiler

Compiled 713 to 410 computations (42.5% saved)

series35.0ms (1.6%)

Memory

11.5MiB live, 64.3MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	312	1939

Stop Event

1×	iter-limit

Counts

27 → 76

Calls

Call 1

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

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

Calls

6 calls:

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

rewrite86.0ms (3.9%)

Memory

0.3MiB live, 45.5MiB allocated; 6ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	251
0	64	227
0	350	227

Stop Event

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

Counts

27 → 140

Calls

Call 1

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

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

eval38.0ms (1.7%)

Memory: -15.9MiB live, 70.9MiB allocated; 18ms collecting garbage
Compiler: Compiled 7 197 to 852 computations (88.2% saved)

prune8.0ms (0.4%)

Memory

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

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	232	5	237
Fresh	5	1	6
Picked	3	2	5
Done	0	1	1
Total	240	9	249

Accuracy

100.0%

Counts

249 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
	68.5%	(fma.f64 #s(approx (+ x.im x.re) x.im) (.f64 (-.f64 x.re x.im) x.re) (.f64 (neg.f64 (*.f64 x.im (+.f64 x.re x.re))) x.im))
▶	68.4%	(-.f64 (.f64 #s(approx (+ x.im x.re) x.im) (.f64 (-.f64 x.re x.im) x.re)) (.f64 (.f64 x.im (+.f64 x.re x.re)) x.im))
▶	90.7%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 (.f64 x.re x.re) x.re (.f64 (.f64 (.f64 #s(literal -3 binary64) x.re) x.im) x.im)))
✓	85.5%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 (.f64 x.re #s(literal -3 binary64)) (.f64 x.im x.im) (.f64 (.f64 x.re x.re) x.re)))
✓	58.4%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (pow.f64 x.re #s(literal 3 binary64)))
✓	58.4%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (.f64 x.re x.re) x.re))
▶	49.2%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (.f64 x.re #s(literal -3 binary64)) (*.f64 x.im x.im)))
▶	49.2%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) #s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (.f64 (.f64 (*.f64 x.im x.im) x.re) #s(literal -3 binary64))))
▶	49.3%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) #s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (.f64 (.f64 #s(literal -3 binary64) (*.f64 x.im x.im)) x.re)))

Compiler

Compiled 446 to 266 computations (40.4% saved)

series35.0ms (1.6%)

Memory

-32.2MiB live, 61.9MiB allocated; 27ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	266	1510

Stop Event

1×	iter-limit

Counts

29 → 65

Calls

Call 1

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

Outputs
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 x.re (-.f64 (.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 2 binary64))) (*.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 x.re (-.f64 (fma.f64 #s(literal -1 binary64) (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (+ (* (* x.re x.re) x.re) (* (* (* -3 x.re) x.im) x.im)) (.f64 #s(literal -3 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))
#s(approx (+ (* (* x.re x.re) x.re) (* (* (* -3 x.re) x.im) x.im)) (*.f64 x.re (fma.f64 #s(literal -3 binary64) (pow.f64 x.im #s(literal 2 binary64)) (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.re)
#s(approx (* (* -3 x.re) x.im) (.f64 #s(literal -3 binary64) (.f64 x.im x.re)))
#s(approx (* -3 x.re) (*.f64 #s(literal -3 binary64) x.re))
#s(approx (* (* x.im x.im) x.re) (*.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (.f64 x.re (-.f64 (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)))) (.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (.f64 x.re (-.f64 (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))))) (.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (* (+ x.im x.re) (* (- x.re x.im) x.re)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))
#s(approx (* (+ x.im x.re) (* (- x.re x.im) x.re)) (.f64 x.re (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.im x.re) (* (- x.re x.im) x.re)) (.f64 x.re (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)
#s(approx (+ x.im x.re) (+.f64 x.im x.re))
#s(approx (* (- x.re x.im) x.re) (.f64 #s(literal -1 binary64) (.f64 x.im x.re)))
#s(approx (* (- x.re x.im) x.re) (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.im))))
#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.im (+ x.re x.re)) x.im) (.f64 #s(literal 2 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))
#s(approx (* x.im (+ x.re x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re)))
#s(approx (+ x.re x.re) (*.f64 #s(literal 2 binary64) x.re))
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (pow.f64 x.re #s(literal 3 binary64)))
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.im #s(literal 2 binary64))) (pow.f64 x.re #s(literal 2 binary64)))))))
#s(approx (+ (* (* x.re x.re) x.re) (* (* (* -3 x.re) x.im) x.im)) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -3 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))))))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (*.f64 (pow.f64 x.re #s(literal 3 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.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (+.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)))) (.f64 #s(literal 2 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))))))
#s(approx (* (+ x.im x.re) (* (- x.re x.im) x.re)) (*.f64 (pow.f64 x.re #s(literal 3 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.im x.re) (*.f64 x.re (+.f64 #s(literal 1 binary64) (/.f64 x.im x.re))))
#s(approx (* (- x.re x.im) x.re) (.f64 (pow.f64 x.re #s(literal 2 binary64)) (+.f64 #s(literal 1 binary64) (.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.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 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.re) (* (* (* -3 x.re) x.im) x.im)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (*.f64 #s(literal 3 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) (pow.f64 x.re #s(literal 2 binary64)))) #s(literal 1 binary64)))))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x.im (.f64 #s(literal -1 binary64) x.im)) x.re)) #s(literal 1 binary64)))))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x.im (fma.f64 #s(literal -1 binary64) x.im (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (pow.f64 x.im #s(literal 2 binary64)) (*.f64 #s(literal -2 binary64) (pow.f64 x.im #s(literal 2 binary64)))) x.re)))) x.re)) #s(literal 1 binary64)))))
#s(approx (* (+ x.im x.re) (* (- x.re x.im) x.re)) (.f64 #s(literal -1 binary64) (.f64 (pow.f64 x.re #s(literal 3 binary64)) (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x.im (fma.f64 #s(literal -1 binary64) x.im (.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re)))) x.re)) #s(literal 1 binary64)))))
#s(approx (+ x.im x.re) (.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.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) x.re) (.f64 #s(literal 2 binary64) x.re)) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (+ (* (* x.re x.re) x.re) (* (* (* -3 x.re) x.im) x.im)) (fma.f64 #s(literal -3 binary64) (*.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (* -3 (* x.im x.im)) (*.f64 #s(literal -3 binary64) (pow.f64 x.im #s(literal 2 binary64))))
#s(approx (* x.im x.im) (pow.f64 x.im #s(literal 2 binary64)))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (fma.f64 x.im (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re))) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (fma.f64 x.im (fma.f64 x.im (-.f64 (.f64 #s(literal -1 binary64) x.re) (.f64 #s(literal 2 binary64) x.re)) (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re)))) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (* (+ x.im x.re) (* (- x.re x.im) x.re)) (fma.f64 x.im (fma.f64 #s(literal -1 binary64) (.f64 x.im x.re) (.f64 x.re (+.f64 x.re (*.f64 #s(literal -1 binary64) x.re)))) (pow.f64 x.re #s(literal 3 binary64))))
#s(approx (* (- x.re x.im) x.re) (fma.f64 #s(literal -1 binary64) (*.f64 x.im 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.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) x.re) (*.f64 #s(literal 2 binary64) x.re))))
#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (/.f64 (pow.f64 x.re #s(literal 3 binary64)) (pow.f64 x.im #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) x.re))))
#s(approx (+ (* (* x.re x.re) x.re) (* (* (* -3 x.re) x.im) x.im)) (*.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -3 binary64) x.re (/.f64 (pow.f64 x.re #s(literal 3 binary64)) (pow.f64 x.im #s(literal 2 binary64))))))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (/.f64 (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re))) x.im)) (.f64 #s(literal 2 binary64) x.re))))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (+.f64 (/.f64 (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re))) x.im) (/.f64 (pow.f64 x.re #s(literal 3 binary64)) (pow.f64 x.im #s(literal 2 binary64))))) (.f64 #s(literal 2 binary64) x.re))))
#s(approx (* (+ x.im x.re) (* (- x.re x.im) x.re)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) x.re (/.f64 (.f64 x.re (+.f64 x.re (*.f64 #s(literal -1 binary64) x.re))) x.im))))
#s(approx (* (+ x.im x.re) (* (- x.re x.im) x.re)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) x.re (+.f64 (/.f64 (.f64 x.re (+.f64 x.re (*.f64 #s(literal -1 binary64) x.re))) x.im) (/.f64 (pow.f64 x.re #s(literal 3 binary64)) (pow.f64 x.im #s(literal 2 binary64)))))))
#s(approx (+ x.im x.re) (*.f64 x.im (+.f64 #s(literal 1 binary64) (/.f64 x.re x.im))))
#s(approx (* (- x.re x.im) x.re) (*.f64 x.im (fma.f64 #s(literal -1 binary64) x.re (/.f64 (pow.f64 x.re #s(literal 2 binary64)) x.im))))
#s(approx (- x.re x.im) (*.f64 x.im (-.f64 (/.f64 x.re x.im) #s(literal 1 binary64))))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re))) x.im))) (*.f64 #s(literal 2 binary64) x.re))))
#s(approx (- (* (+ x.im x.re) (* (- x.re x.im) x.re)) (* (* x.im (+ x.re x.re)) x.im)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (-.f64 (fma.f64 #s(literal -1 binary64) x.re (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x.re #s(literal 3 binary64)) x.im) (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re)))) x.im))) (*.f64 #s(literal 2 binary64) x.re))))
#s(approx (* (+ x.im x.re) (* (- x.re x.im) x.re)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) x.re (.f64 #s(literal -1 binary64) (/.f64 (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re))) x.im)))))
#s(approx (* (+ x.im x.re) (* (- x.re x.im) x.re)) (.f64 (pow.f64 x.im #s(literal 2 binary64)) (fma.f64 #s(literal -1 binary64) x.re (.f64 #s(literal -1 binary64) (/.f64 (fma.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x.re #s(literal 3 binary64)) x.im) (.f64 x.re (+.f64 x.re (.f64 #s(literal -1 binary64) x.re)))) x.im)))))
#s(approx (+ x.im x.re) (.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) x.re) (.f64 #s(literal -1 binary64) (.f64 x.im (+.f64 x.re (*.f64 #s(literal -1 binary64) (/.f64 (pow.f64 x.re #s(literal 2 binary64)) x.im))))))
#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))))))

Calls

6 calls:

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

rewrite47.0ms (2.1%)

Memory

21.3MiB live, 112.2MiB allocated; 8ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	319
0	68	293
0	341	287

Stop Event

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

Counts

29 → 152

Calls

Call 1

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

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

eval24.0ms (1.1%)

Memory: -0.5MiB live, 55.7MiB allocated; 9ms collecting garbage
Compiler: Compiled 6 107 to 787 computations (87.1% saved)

prune13.0ms (0.6%)

Memory

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

Pruning

10 alts after pruning (3 fresh and 7 done)

	Pruned	Kept	Total
New	174	3	177
Fresh	1	0	1
Picked	1	4	5
Done	0	3	3
Total	176	10	186

Accuracy

100.0%

Counts

186 → 10

Alt Table

Click to see full alt table

Status	Accuracy	Program
	68.5%	(fma.f64 (.f64 (-.f64 x.re x.im) x.re) #s(approx (+ x.im x.re) x.im) (.f64 (neg.f64 (*.f64 (+.f64 x.re x.re) x.im)) x.im))
✓	90.7%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 (.f64 x.re x.re) x.re (.f64 (.f64 (.f64 #s(literal -3 binary64) x.re) x.im) x.im)))
✓	85.5%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 (.f64 x.re #s(literal -3 binary64)) (.f64 x.im x.im) (.f64 (.f64 x.re x.re) x.re)))
✓	58.4%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (pow.f64 x.re #s(literal 3 binary64)))
✓	58.4%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (.f64 x.re x.re) x.re))
✓	49.2%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (.f64 x.re #s(literal -3 binary64)) (*.f64 x.im x.im)))
	57.2%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (.f64 (.f64 #s(literal -3 binary64) (*.f64 x.im x.re)) x.im))
✓	49.2%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) #s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (.f64 (.f64 (*.f64 x.im x.im) x.re) #s(literal -3 binary64))))
	57.2%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) #s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (.f64 (.f64 x.im (*.f64 x.im x.re)) #s(literal -3 binary64))))
✓	49.3%	#s(approx (- (* (- (* x.re x.re) (* x.im x.im)) x.re) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) #s(approx (+ (* (pow x.im 2) (- (* -1 x.re) (* 2 x.re))) (pow x.re 3)) (.f64 (.f64 #s(literal -3 binary64) (*.f64 x.im x.im)) x.re)))

Compiler

Compiled 314 to 188 computations (40.1% saved)

regimes86.0ms (3.9%)

Memory

8.0MiB live, 161.2MiB allocated; 29ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

2 → 2

4 → 2

6 → 2

9 → 2

16 → 2

28 → 2

Calls

Call 1

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

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

Call 2

Inputs

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

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

Outputs

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

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

Call 3

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

Outputs

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

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

Call 4

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

Outputs

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

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

Call 5

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

Outputs

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

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

Call 6

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

Outputs

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

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

Call 7

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

Outputs

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

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

Calls

14 calls:

32.0ms	x.re
10.0ms	x.im
8.0ms	x.im
6.0ms	(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))
4.0ms	(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))

Results

Accuracy	Segments	Branch
58.4%	1	`x.re`
58.4%	1	`x.im`
58.4%	1	`(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))`
74.6%	2	`x.re`
74.6%	2	`x.im`
90.0%	2	`(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))`
97.9%	2	`(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))`
97.9%	2	`(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))`
97.1%	3	`x.re`
98.0%	2	`(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))`
98.6%	2	`(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))`
98.7%	2	`(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))`
98.6%	2	`x.re`
96.7%	2	`x.im`

Compiler

Compiled 976 to 242 computations (75.2% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.2471079200443562e-172	4.949933997313843e-134

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.2471079200443562e-172	4.949933997313843e-134

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-1.0788354678823461e-302	-0.0

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-1.0788354678823461e-302	-0.0

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-1.0788354678823461e-302	-0.0

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch0.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-1.0788354678823461e-302	-0.0

Compiler

Compiled 22 to 16 computations (27.3% saved)

derivations55.0ms (2.5%)

Memory

-9.6MiB live, 35.4MiB allocated; 4ms collecting garbage

Stop Event

1×

fuel

Compiler

Compiled 490 to 70 computations (85.7% saved)

preprocess327.0ms (14.8%)

Memory

21.5MiB live, 435.9MiB allocated; 105ms collecting garbage

Remove

(negabs x.re)

(abs x.im)

Compiler

Compiled 3 292 to 1 310 computations (60.2% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.1s (48.6%)

preprocess69.0ms (3.1%)

series18.0ms (0.8%)

rewrite26.0ms (1.2%)

eval6.0ms (0.3%)

prune32.0ms (1.4%)

series37.0ms (1.7%)

rewrite96.0ms (4.4%)

eval84.0ms (3.8%)

prune10.0ms (0.4%)

series35.0ms (1.6%)

rewrite86.0ms (3.9%)

eval38.0ms (1.7%)

prune8.0ms (0.4%)

series35.0ms (1.6%)

rewrite47.0ms (2.1%)

eval24.0ms (1.1%)

prune13.0ms (0.6%)

regimes86.0ms (3.9%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

derivations55.0ms (2.5%)

preprocess327.0ms (14.8%)

end0.0ms (0%)

Profiling