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

0.3MiB live, 0.3MiB 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.0s (32.2%)

Memory

-10.2MiB live, 591.2MiB allocated; 179ms collecting garbage

Samples

697.0ms

8 256×

valid

Precisions

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

ival-mult!: 367.0ms (86.2% of total)

ival-sub!: 37.0ms (8.7% of total)

ival-add!: 20.0ms (4.7% of total)

adjust: 2.0ms (0.5% of total)

Bogosity

preprocess77.0ms (2.5%)

Memory

-5.3MiB live, 41.6MiB allocated; 7ms collecting garbage

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	36	114
1	263	90
2	1980	78

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	45.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))

Symmetry

(abs x.re)

(abs x.im)

(negabs x.re)

(negabs x.im)

Compiler

Compiled 38 to 22 computations (42.1% saved)

series159.0ms (5.1%)

Memory

-12.6MiB live, 56.7MiB allocated; 97ms collecting garbage

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
8.0ms	x.im	-inf
3.0ms	x.re	inf
2.0ms	x.im	inf
2.0ms	x.re	0
2.0ms	x.re	-inf

rewrite197.0ms (6.4%)

Memory

20.6MiB live, 69.9MiB allocated; 10ms collecting garbage

Counts

11 → 49

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(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
(*.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(*.f64 x.re #s(literal 2 binary64))
(*.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) x.re)
(.f64 (.f64 (+.f64 x.im x.re) x.re) (neg.f64 (-.f64 x.re x.im)))
(.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im))
(*.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) (fma.f64 (fabs.f64 x.im) x.re (fabs.f64 x.re)))
(*.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) (neg.f64 x.re))
(*.f64 (+.f64 x.im x.re) (-.f64 x.re x.im))
(*.f64 (-.f64 x.re x.im) (+.f64 x.im x.re))
(.f64 (.f64 (+.f64 x.im x.re) (+.f64 x.im x.re)) (*.f64 (-.f64 x.re x.im) (-.f64 x.re x.im)))
(*.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)))
(.f64 (.f64 (-.f64 x.re x.im) (-.f64 x.re x.im)) (*.f64 (+.f64 x.im x.re) (+.f64 x.im x.re)))
(*.f64 x.re x.re)
(*.f64 (fabs.f64 x.re) (fabs.f64 x.re))
(*.f64 (fabs.f64 x.re) (neg.f64 x.re))
(*.f64 (fabs.f64 x.re) x.re)
(*.f64 (neg.f64 x.re) (fabs.f64 x.re))
x.re
(neg.f64 (neg.f64 x.re))
(*.f64 x.im x.im)
(*.f64 (fabs.f64 x.im) (fabs.f64 x.im))
(*.f64 (fabs.f64 x.im) (neg.f64 x.im))
(*.f64 (fabs.f64 x.im) x.im)
(*.f64 (neg.f64 x.im) (fabs.f64 x.im))
x.im
(neg.f64 (neg.f64 x.im))
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
(*.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(*.f64 x.re #s(literal 2 binary64))
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
(*.f64 #s(literal 2 binary64) #s(literal 2 binary64))
(*.f64 x.re #s(literal 2 binary64))
(*.f64 x.re x.im)
(*.f64 x.im x.re)
(*.f64 (neg.f64 x.re) (neg.f64 x.im))
(*.f64 (neg.f64 x.im) (neg.f64 x.re))
(neg.f64 (neg.f64 (*.f64 x.re x.im)))
(*.f64 x.re x.im)
(*.f64 x.im x.re)
(*.f64 (neg.f64 x.re) (neg.f64 x.im))
(*.f64 (neg.f64 x.im) (neg.f64 x.re))
(neg.f64 (neg.f64 (*.f64 x.re x.im)))

eval7.0ms (0.2%)

Memory: 6.4MiB live, 6.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 1 324 to 248 computations (81.3% saved)

prune12.0ms (0.4%)

Memory

-38.1MiB live, 8.3MiB allocated; 6ms collecting garbage

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	43	12	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	12	56

Accuracy

99.9%

Counts

56 → 12

Alt Table

Click to see full alt table

Status	Accuracy	Program
	45.1%	(-.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))
	45.1%	(-.f64 (.f64 (-.f64 (.f64 x.re x.re) (.f64 x.im x.im)) 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))))
▶	30.1%	(-.f64 (.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))
▶	50.3%	(-.f64 (.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im)) (.f64 (+.f64 (.f64 x.re x.im) (*.f64 x.im x.re)) x.im))
▶	3.7%	(*.f64 x.re #s(literal 2 binary64))
	2.6%	(*.f64 #s(literal 2 binary64) #s(literal 2 binary64))
	39.5%	#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)))
	37.8%	#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))))
	37.9%	#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))))))
▶	2.6%	#s(literal 2 binary64)
	2.6%	#s(literal 1 binary64)
▶	17.3%	#s(literal 0 binary64)

Compiler

Compiled 368 to 244 computations (33.7% saved)

series128.0ms (4.1%)

Memory

12.0MiB live, 57.5MiB allocated; 11ms collecting garbage

Counts

19 → 58

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im)) (.f64 (+.f64 (.f64 x.re x.im) (*.f64 x.im x.re)) x.im))
(.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im))
(*.f64 (+.f64 x.im x.re) x.re)
(+.f64 x.im x.re)
x.im
x.re
(-.f64 x.re 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)
#s(literal 0 binary64)
#s(literal 2 binary64)
(*.f64 x.re #s(literal 2 binary64))
(-.f64 (.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))
(*.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) x.re)
(-.f64 (fabs.f64 x.re) (fabs.f64 x.im))
(fabs.f64 x.re)
(fabs.f64 x.im)

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

rewrite173.0ms (5.6%)

Memory

4.1MiB live, 193.6MiB allocated; 28ms collecting garbage

Counts

19 → 95

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im)) (.f64 (+.f64 (.f64 x.re x.im) (*.f64 x.im x.re)) x.im))
(.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im))
(*.f64 (+.f64 x.im x.re) x.re)
(+.f64 x.im x.re)
x.im
x.re
(-.f64 x.re 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)
#s(literal 0 binary64)
#s(literal 2 binary64)
(*.f64 x.re #s(literal 2 binary64))
(-.f64 (.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) x.re) (.f64 (+.f64 (.f64 x.re x.im) (.f64 x.im x.re)) x.im))
(*.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) x.re)
(-.f64 (fabs.f64 x.re) (fabs.f64 x.im))
(fabs.f64 x.re)
(fabs.f64 x.im)

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

eval10.0ms (0.3%)

Memory: 19.4MiB live, 19.4MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 506 to 422 computations (83.2% saved)

prune20.0ms (0.6%)

Memory

-30.0MiB live, 17.6MiB allocated; 13ms collecting garbage

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	76	6	82
Fresh	2	5	7
Picked	2	3	5
Done	0	0	0
Total	80	14	94

Accuracy

100.0%

Counts

94 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	45.1%	(-.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))
▶	30.1%	(-.f64 (.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 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))
▶	50.3%	(-.f64 (.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im)) (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
	45.9%	(-.f64 (.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im)) #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))))
✓	3.7%	(*.f64 x.re #s(literal 2 binary64))
▶	2.6%	(*.f64 #s(literal 2 binary64) #s(literal 2 binary64))
	39.5%	#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)))
	37.8%	#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))))
	32.6%	#s(approx (- (* (- (fabs x.re) (fabs x.im)) x.re) (* (+ (* 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)))
	49.9%	#s(approx (- (* (* (+ x.im x.re) x.re) (- x.re x.im)) (* (+ (* x.re x.im) (* 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))))
	3.7%	x.re
✓	2.6%	#s(literal 2 binary64)
▶	2.6%	#s(literal 1 binary64)
✓	17.3%	#s(literal 0 binary64)

Compiler

Compiled 455 to 296 computations (34.9% saved)

series135.0ms (4.4%)

Memory

33.1MiB live, 168.3MiB allocated; 44ms collecting garbage

Counts

24 → 73

Calls

Call 1

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

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

rewrite204.0ms (6.6%)

Memory

3.0MiB live, 322.0MiB allocated; 112ms collecting garbage

Counts

24 → 100

Calls

Call 1

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

Outputs
(-.f64 #s(literal 2 binary64) (*.f64 #s(approx 2 #s(literal 2 binary64)) #s(literal 2 binary64)))
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
(*.f64 #s(approx 2 #s(literal 2 binary64)) #s(literal 2 binary64))
#s(approx 2 #s(literal 2 binary64))
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
(-.f64 #s(literal 2 binary64) (*.f64 #s(approx 2 #s(literal 2 binary64)) #s(literal 2 binary64)))
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
(-.f64 #s(literal 2 binary64) (*.f64 #s(approx 2 #s(literal 2 binary64)) #s(literal 2 binary64)))
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im
#s(literal 2 binary64)
#s(literal 1 binary64)
#s(literal 0 binary64)
x.re
x.im

eval16.0ms (0.5%)

Memory: -1.6MiB live, 43.6MiB allocated; 6ms collecting garbage
Compiler: Compiled 2 820 to 402 computations (85.7% saved)

prune9.0ms (0.3%)

Memory

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

Pruning

20 alts after pruning (12 fresh and 8 done)

	Pruned	Kept	Total
New	78	7	85
Fresh	1	5	6
Picked	0	5	5
Done	0	3	3
Total	79	20	99

Accuracy

100.0%

Counts

99 → 20

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	45.1%	(-.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))
✓	30.1%	(-.f64 (.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 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))
▶	16.4%	(-.f64 (.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) x.re) (.f64 #s(approx 2 #s(literal 2 binary64)) x.im))
	15.5%	(-.f64 (.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) x.re) (.f64 #s(approx 2 #s(literal 2 binary64)) #s(literal 2 binary64)))
✓	50.3%	(-.f64 (.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im)) (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
	45.9%	(-.f64 (.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im)) #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))))
	37.1%	(-.f64 (.f64 (.f64 #s(approx (+ x.im x.re) x.im) x.re) (-.f64 x.re x.im)) (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
▶	17.8%	(-.f64 x.im (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
	17.8%	(-.f64 #s(literal 2 binary64) (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
	2.7%	(-.f64 #s(literal 2 binary64) (*.f64 #s(approx 2 #s(literal 2 binary64)) #s(literal 2 binary64)))
▶	33.3%	(-.f64 #s(literal 0 binary64) (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
✓	3.7%	(*.f64 x.re #s(literal 2 binary64))
✓	2.6%	(*.f64 #s(literal 2 binary64) #s(literal 2 binary64))
	39.5%	#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)))
	37.8%	#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.9%	#s(approx (- (* (* (+ x.im x.re) x.re) (- x.re x.im)) (* (+ (* x.re x.im) (* 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))))
▶	3.7%	x.re
✓	2.6%	#s(literal 2 binary64)
✓	2.6%	#s(literal 1 binary64)
✓	17.3%	#s(literal 0 binary64)

Compiler

Compiled 550 to 368 computations (33.1% saved)

series139.0ms (4.5%)

Memory

-8.3MiB live, 227.0MiB allocated; 58ms collecting garbage

Counts

28 → 53

Calls

Call 1

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

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

Calls

6 calls:

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

rewrite255.0ms (8.2%)

Memory

-28.2MiB live, 379.1MiB allocated; 145ms collecting garbage

Counts

28 → 104

Calls

Call 1

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

Outputs
#s(approx 2 #s(literal -1 binary64))
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal 3 binary64)
(-.f64 #s(literal -1 binary64) (*.f64 #s(approx 2 #s(literal -1 binary64)) #s(literal -1 binary64)))
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
(*.f64 #s(approx 2 #s(literal -1 binary64)) #s(literal -1 binary64))
#s(approx 2 #s(literal -1 binary64))
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
(-.f64 #s(literal -1 binary64) (*.f64 #s(approx 2 #s(literal -1 binary64)) #s(literal -1 binary64)))
(-.f64 #s(literal -1 binary64) (*.f64 #s(approx 2 #s(literal -1 binary64)) #s(literal -1 binary64)))
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
#s(literal -1 binary64)
#s(literal 2 binary64)
#s(literal 0 binary64)
#s(literal 1 binary64)
x.re
(*.f64 #s(approx 2 #s(literal -1 binary64)) #s(literal -1 binary64))
#s(approx 2 #s(literal -1 binary64))

eval7.0ms (0.2%)

Memory: 23.7MiB live, 23.6MiB allocated; 0ms collecting garbage
Compiler: Compiled 2 116 to 313 computations (85.2% saved)

prune14.0ms (0.4%)

Memory

-20.9MiB live, 29.3MiB allocated; 11ms collecting garbage

Pruning

24 alts after pruning (13 fresh and 11 done)

	Pruned	Kept	Total
New	59	7	66
Fresh	1	6	7
Picked	2	3	5
Done	0	8	8
Total	62	24	86

Accuracy

100.0%

Counts

86 → 24

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	45.1%	(-.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))
✓	30.1%	(-.f64 (.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 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))
	15.5%	(-.f64 (.f64 (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)) x.re) (.f64 #s(approx 2 #s(literal 2 binary64)) #s(literal 2 binary64)))
✓	50.3%	(-.f64 (.f64 (.f64 (+.f64 x.im x.re) x.re) (-.f64 x.re x.im)) (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
	37.1%	(-.f64 (.f64 (.f64 #s(approx (+ x.im x.re) x.im) x.re) (-.f64 x.re x.im)) (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
✓	17.8%	(-.f64 x.im (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
	17.8%	(-.f64 #s(literal 2 binary64) (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
	2.7%	(-.f64 #s(literal 2 binary64) (*.f64 #s(approx 2 #s(literal 2 binary64)) #s(literal 2 binary64)))
✓	33.3%	(-.f64 #s(literal 0 binary64) (.f64 #s(approx (+ ( x.re x.im) (* x.im x.re)) (.f64 #s(literal 2 binary64) (.f64 x.im x.re))) x.im))
✓	3.7%	(*.f64 x.re #s(literal 2 binary64))
✓	2.6%	(*.f64 #s(literal 2 binary64) #s(literal 2 binary64))
	39.5%	#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)))
	37.8%	#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))))
	16.4%	#s(approx (- (* (- (fabs x.re) (fabs x.im)) x.re) (* 2 x.im)) (fma.f64 #s(literal -2 binary64) x.im (*.f64 x.re (-.f64 (fabs.f64 x.re) (fabs.f64 x.im)))))
	3.6%	#s(approx (- (* (- (fabs x.re) (fabs x.im)) x.re) (* 2 x.im)) (*.f64 #s(literal -2 binary64) x.im))
	49.9%	#s(approx (- (* (* (+ x.im x.re) x.re) (- x.re x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 x.im #s(approx (+ (* x.im (- (* -1 x.re) (* 2 x.re))) (* x.re (+ x.re (* -1 x.re)))) (.f64 x.im (-.f64 (.f64 #s(literal -1 binary64) x.re) (*.f64 #s(literal 2 binary64) x.re)))) (pow.f64 x.re #s(literal 3 binary64))))
	49.9%	#s(approx (- (* (* (+ x.im x.re) x.re) (- x.re x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) (fma.f64 x.im #s(approx (+ (* x.im (- (* -1 x.re) (* 2 x.re))) (* x.re (+ x.re (* -1 x.re)))) (.f64 #s(literal -3 binary64) (.f64 x.im x.re))) (pow.f64 x.re #s(literal 3 binary64))))
	37.8%	#s(approx (- (* (* (+ x.im x.re) x.re) (- x.re x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) #s(approx (+ (* x.im (+ (* x.im (- (* -1 x.re) (* 2 x.re))) (* x.re (+ x.re (* -1 x.re))))) (pow x.re 3)) (.f64 #s(literal -3 binary64) (.f64 (pow.f64 x.im #s(literal 2 binary64)) x.re))))
	2.7%	#s(approx (- (* (* (+ x.im x.re) x.re) (- x.re x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.im)) #s(literal -1 binary64))
	3.6%	#s(approx (- x.im (* (+ (* x.re x.im) (* x.im x.re)) x.im)) x.im)
✓	3.7%	x.re
✓	2.6%	#s(literal 2 binary64)
✓	2.6%	#s(literal 1 binary64)
✓	17.3%	#s(literal 0 binary64)

Compiler

Compiled 457 to 304 computations (33.5% saved)

regimes102.0ms (3.3%)

Memory

-10.6MiB live, 324.4MiB allocated; 14ms collecting garbage

Accuracy

Total -10.4b remaining (-4.7%)

Threshold costs -10.4b (-4.7%)

Counts

10 → 1

13 → 1

16 → 3

18 → 2

22 → 3

33 → 2

Calls

Call 1

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

Outputs
#s(literal 0 binary64)

Call 2

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

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

Call 3

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

Outputs

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

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

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

Call 4

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

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

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

Call 5

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

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

Outputs

(-.f64 (*.f64 (*.f64 #s(approx (+ x.im x.re) x.im) x.re) (-.f64 x.re x.im)) (*.f64 #s(approx (+ (* x.re x.im) (* x.im x.re)) (*.f64 #s(literal 2 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)))

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

Call 6

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

Outputs

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

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

Calls

16 calls:

10.0ms	x.im
10.0ms	x.re
7.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))
7.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))
6.0ms	x.re

Results

Accuracy	Segments	Branch
17.3%	1	`x.im`
17.3%	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))`
17.3%	1	`x.re`
33.3%	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))`
33.3%	1	`x.re`
40.1%	3	`x.re`
39.8%	3	`(-.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))`
33.3%	1	`x.im`
44.2%	3	`x.re`
48.1%	2	`x.im`
48.0%	3	`(-.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))`
51.3%	3	`x.re`
57.0%	3	`(-.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))`
56.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))`
57.9%	3	`x.re`
55.9%	3	`x.im`

Compiler

Compiled 802 to 213 computations (73.4% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch1.0ms (0%)

Memory

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

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	+inf	NaN
0.0ms	-1.0502385532482512e-258	-2.3378189669172475e-262

Compiler

Compiled 22 to 16 computations (27.3% saved)

bsearch17.0ms (0.6%)

Memory

-4.2MiB live, 39.4MiB allocated; 4ms collecting garbage

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
15.0ms	2.4958974855817202e-8	3.095828172001074e-5

Samples

10.0ms

128×

valid

Compiler

Compiled 342 to 240 computations (29.8% saved)

Precisions

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

ival-mult!: 3.0ms (73.2% of total)

ival-sub!: 1.0ms (24.4% of total)

adjust: 0.0ms (0% of total)

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

bsearch32.0ms (1%)

Memory

28.8MiB live, 66.7MiB allocated; 17ms collecting garbage

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
23.0ms	1.8881859830811052e+285	1.3093765665277475e+289
6.0ms	4.531088782507285e+154	6.445555900370745e+154

Samples

22.0ms

192×

valid

Compiler

Compiled 490 to 376 computations (23.3% saved)

Precisions

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

ival-mult!: 17.0ms (95.3% of total)

ival-sub!: 1.0ms (5.6% of total)

adjust: 0.0ms (0% of total)

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

derivations2.0ms (0.1%)

Memory

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

Stop Event

1×

fuel

Compiler

Compiled 301 to 69 computations (77.1% saved)

preprocess387.0ms (12.5%)

Memory

9.9MiB live, 483.8MiB allocated; 179ms collecting garbage

Remove

(negabs x.im)

(negabs x.re)

(abs x.im)

(abs x.re)

Compiler

Compiled 3 823 to 1 695 computations (55.7% saved)

end0.0ms (0%)

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

start0.0ms (0%)

analyze0.0ms (0%)

sample1.0s (32.2%)

preprocess77.0ms (2.5%)

series159.0ms (5.1%)

rewrite197.0ms (6.4%)

eval7.0ms (0.2%)

prune12.0ms (0.4%)

series128.0ms (4.1%)

rewrite173.0ms (5.6%)

eval10.0ms (0.3%)

prune20.0ms (0.6%)

series135.0ms (4.4%)

rewrite204.0ms (6.6%)

eval16.0ms (0.5%)

prune9.0ms (0.3%)

series139.0ms (4.5%)

rewrite255.0ms (8.2%)

eval7.0ms (0.2%)

prune14.0ms (0.4%)

regimes102.0ms (3.3%)

bsearch1.0ms (0%)

bsearch1.0ms (0%)

bsearch17.0ms (0.6%)

bsearch32.0ms (1%)

derivations2.0ms (0.1%)

preprocess387.0ms (12.5%)

end0.0ms (0%)

Profiling