Metrics for math.abs on complex

analyze1.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

Precisions

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

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

ival-mult: 0.0ms (0% of total)

const: 0.0ms (0% of total)

ival-sqrt: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

sample928.0ms (28.7%)

Results

704.0ms

8256×

valid

Precisions

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

ival-mult: 298.0ms (67.6% of total)

ival-sqrt: 77.0ms (17.5% of total)

ival-add: 53.0ms (12% of total)

const: 8.0ms (1.8% of total)

backward-pass: 3.0ms (0.7% of total)

Bogosity

preprocess26.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

164×	`fmsub-define`
160×	`fnmadd-define`
148×	`fnmsub-define`
104×	`fmm-def`
92×	`sum3-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	20
1	48	20
2	99	20
3	221	20
4	432	20
5	589	20
6	664	20
7	667	20
0	6	3
1	11	3
2	13	3
0	13	3

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(sqrt (+ (* re re) (* im im)))

Outputs
(sqrt (+ (* re re) (* im im)))
(hypot.f64 re im)

Call 2

Inputs
(sqrt (+ (* re re) (* im im)))
(sqrt (+ (* (neg re) (neg re)) (* im im)))
(sqrt (+ (* re re) (* (neg im) (neg im))))
(neg (sqrt (+ (* (neg re) (neg re)) (* im im))))
(neg (sqrt (+ (* re re) (* (neg im) (neg im)))))
(sqrt (+ (* im im) (* re re)))

Outputs
(sqrt (+ (* re re) (* im im)))
(hypot re im)
(sqrt (+ (* (neg re) (neg re)) (* im im)))
(hypot re im)
(sqrt (+ (* re re) (* (neg im) (neg im))))
(hypot re im)
(neg (sqrt (+ (* (neg re) (neg re)) (* im im))))
(neg (hypot re im))
(neg (sqrt (+ (* re re) (* (neg im) (neg im)))))
(neg (hypot re im))
(sqrt (+ (* im im) (* re re)))
(hypot re im)

Symmetry

(abs re)

(abs im)

(sort re im)

explain111.0ms (3.4%)

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
128	-	-	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`
0	-	-	`im`
0	-	-	`(*.f64 im im)`
0	-	-	`(*.f64 re re)`
0	-	-	`re`
0	-	-	`(+.f64 (.f64 re re) (.f64 im im))`

Results

82.0ms

512×

valid

Compiler

Compiled 62 to 20 computations (67.7% saved)

Precisions

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

ival-mult: 13.0ms (63.1% of total)

ival-sqrt: 4.0ms (19.4% of total)

ival-add: 3.0ms (14.6% of total)

const: 1.0ms (4.9% of total)

backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler: Compiled 5 to 3 computations (40% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(hypot.f64 re im)

Compiler

Compiled 5 to 3 computations (40% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(hypot.f64 re im)

Rules

4×	`fma-lowering-fma.f32`
4×	`fma-define`
4×	`+-lowering-+.f64`
4×	`hypot-lowering-hypot.f64`
4×	`-lowering-.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	5
1	11	5
2	13	5
0	13	5

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(sqrt (+ (* re re) (* im im)))
re
im

Outputs
(sqrt (+ (* re re) (* im im)))
(hypot.f64 re im)
re
im

localize34.0ms (1.1%)

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(hypot.f64 re im)

Results

28.0ms

256×

valid

Compiler

Compiled 8 to 4 computations (50% saved)

Precisions

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

compiled-spec: 9.0ms (53.3% of total)

ival-mult: 4.0ms (23.7% of total)

ival-sqrt: 2.0ms (11.9% of total)

ival-add: 1.0ms (5.9% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series3.0ms (0.1%)

Counts

1 → 24

Calls

Call 1

Inputs
#<alt (sqrt (+ (* re re) (* im im)))>

Outputs
#<alt im>
#<alt (+ im (* 1/2 (/ (pow re 2) im)))>
#<alt (+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))>
#<alt (+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))>
#<alt re>
#<alt (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))>
#<alt (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))>
#<alt (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))>
#<alt (* -1 re)>
#<alt (* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))>
#<alt (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))>
#<alt (* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))>
#<alt re>
#<alt (+ re (* 1/2 (/ (pow im 2) re)))>
#<alt (+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))>
#<alt (+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))>
#<alt im>
#<alt (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))>
#<alt (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))>
#<alt (* -1 im)>
#<alt (* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))>
#<alt (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))>
#<alt (* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))>

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	re	@	0	(sqrt (+ (* re re) (* im im)))
1.0ms	im	@	inf	(sqrt (+ (* re re) (* im im)))
0.0ms	re	@	inf	(sqrt (+ (* re re) (* im im)))
0.0ms	im	@	0	(sqrt (+ (* re re) (* im im)))
0.0ms	im	@	-inf	(sqrt (+ (* re re) (* im im)))

rewrite278.0ms (8.6%)

Algorithm

1×	batch-egg-rewrite

Rules

2274×	`fma-lowering-fma.f32`
2274×	`fma-lowering-fma.f64`
2148×	`-lowering-.f32`
2148×	`-lowering-.f64`
1732×	`fma-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	3
1	29	3
2	219	3
3	2282	3
0	8400	3

Stop Event

1×	iter limit
1×	node limit

Counts

1 → 46

Calls

Call 1

Inputs
(sqrt (+ (* re re) (* im im)))

Outputs
(exp.f64 (.f64 #s(literal 1/2 binary64) (log.f64 (+.f64 (.f64 re re) (*.f64 im im)))))
(exp.f64 (.f64 (log.f64 (pow.f64 (+.f64 (.f64 re re) (*.f64 im im)) #s(literal 1/4 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))) #s(literal 1/4 binary64)))
(exp.f64 (.f64 (.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) #s(literal 1/4 binary64)) #s(literal 2 binary64)))
(exp.f64 (+.f64 (.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) #s(literal 1/4 binary64)) (.f64 (log.f64 (+.f64 (.f64 re re) (.f64 im im))) #s(literal 1/4 binary64))))
(hypot.f64 re im)
(hypot.f64 im re)
(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
(/.f64 (hypot.f64 (.f64 re (.f64 re re)) (.f64 im (.f64 im im))) (sqrt.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (*.f64 im im))))))
(/.f64 (sqrt.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (.f64 im im))))) (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))))
(/.f64 #s(literal 1 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 im im)))))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (.f64 im im))))) (hypot.f64 (.f64 re (.f64 re re)) (.f64 im (*.f64 im im)))))
(/.f64 #s(literal 1 binary64) (/.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (.f64 im im)))))))
(/.f64 (sqrt.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 im im) (.f64 im (.f64 im (.f64 im im))))))) (sqrt.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (*.f64 im im)))))))
(/.f64 (sqrt.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (.f64 im im)))))) (sqrt.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (.f64 im im)))))
(/.f64 (sqrt.f64 (-.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 re (.f64 re (.f64 re re))))) (sqrt.f64 (-.f64 (.f64 im im) (.f64 re re))))
(/.f64 (neg.f64 (hypot.f64 (.f64 re (.f64 re re)) (.f64 im (.f64 im im)))) (neg.f64 (sqrt.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (*.f64 im im)))))))
(/.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (.f64 im im)))))) (neg.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im)))))
(pow.f64 (+.f64 (.f64 re re) (.f64 im im)) #s(literal 1/2 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 im im))) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (+.f64 (.f64 re re) (.f64 im im)) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (*.f64 im im))) #s(literal 1/4 binary64))
(pow.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re re) (.f64 im im)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (sqrt.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (.f64 im im))))) (hypot.f64 (.f64 re (.f64 re re)) (.f64 im (*.f64 im im)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 re re) (.f64 im im))) (sqrt.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (.f64 im im)))))) #s(literal -1 binary64))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (+.f64 (.f64 re re) (.f64 im im))))
(.f64 (hypot.f64 re im) (pow.f64 (.f64 (-.f64 (.f64 re re) (.f64 im im)) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 re re) (.f64 im im)))) #s(literal 1/2 binary64)))
(.f64 (hypot.f64 re im) (pow.f64 (/.f64 (-.f64 (.f64 re re) (.f64 im im)) (-.f64 (.f64 re re) (*.f64 im im))) #s(literal 1/2 binary64)))
(.f64 (hypot.f64 (.f64 re (.f64 re re)) (.f64 im (.f64 im im))) (pow.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (.f64 im im)))) #s(literal -1/2 binary64)))
(.f64 (sqrt.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (.f64 im im))))) (pow.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (.f64 im im)))))) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (.f64 im im))))) (pow.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (*.f64 im im))))) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (.f64 im im))))) (pow.f64 (-.f64 (.f64 re re) (*.f64 im im)) #s(literal -1/2 binary64)))
(.f64 (pow.f64 (+.f64 (.f64 re re) (.f64 im im)) #s(literal 1/4 binary64)) (pow.f64 (+.f64 (.f64 re re) (*.f64 im im)) #s(literal 1/4 binary64)))
(.f64 (pow.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (.f64 im im)))) #s(literal -1/2 binary64)) (hypot.f64 (.f64 re (.f64 re re)) (.f64 im (.f64 im im))))
(.f64 (pow.f64 (-.f64 (.f64 re re) (.f64 im im)) #s(literal -1/2 binary64)) (sqrt.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (*.f64 im im))))))
(.f64 (sqrt.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 im im) (.f64 im (.f64 im (.f64 im im))))))) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (.f64 im im)))))) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (.f64 im im)))))) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re re) (*.f64 im im)))) #s(literal 1/2 binary64)))
(.f64 (sqrt.f64 (-.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 re (.f64 re (.f64 re re))))) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 im im) (*.f64 re re))) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (/.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (.f64 im im)))) (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (*.f64 im im))))) #s(literal 1/2 binary64)) (hypot.f64 re im))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/2 binary64)) (hypot.f64 re im))
(.f64 (pow.f64 (/.f64 (+.f64 (.f64 re re) (*.f64 im im)) (+.f64 re im)) #s(literal 1/2 binary64)) (pow.f64 (+.f64 re im) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (/.f64 (+.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 im im) (.f64 im (.f64 im (.f64 im im))))) (+.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 (.f64 im im) (.f64 im (.f64 im (.f64 im im)))) (.f64 (.f64 (-.f64 (.f64 im im) (.f64 re re)) (-.f64 (.f64 im im) (.f64 re re))) (-.f64 (.f64 im im) (.f64 re re)))))) #s(literal 1/2 binary64)) (sqrt.f64 (+.f64 (.f64 (.f64 re re) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (-.f64 (.f64 im im) (.f64 re re)))) (-.f64 (.f64 im (.f64 im (-.f64 (.f64 im im) (.f64 re re)))) (.f64 re (.f64 re (*.f64 re re))))))))
(.f64 (pow.f64 (/.f64 (+.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 im im) (.f64 im (.f64 im (.f64 im im))))) (-.f64 (.f64 (.f64 re re) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (-.f64 (.f64 im im) (.f64 re re)) (-.f64 (.f64 im im) (.f64 re re)))))) #s(literal 1/2 binary64)) (sqrt.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (-.f64 (.f64 im im) (.f64 re re)))))))
(.f64 (pow.f64 (/.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (.f64 im im)))) (-.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 im im) (.f64 im (.f64 im (.f64 im im)))))) #s(literal 1/2 binary64)) (sqrt.f64 (+.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 (.f64 im im) (+.f64 (.f64 re re) (.f64 im im))))))
(.f64 (pow.f64 (pow.f64 (+.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 im im) (.f64 im (.f64 im (.f64 im im))))) #s(literal 1/4 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 re re) (-.f64 (.f64 re re) (.f64 im im)))) #s(literal -1/4 binary64)) #s(literal 2 binary64)))
(.f64 (pow.f64 (pow.f64 (-.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 im (.f64 im (.f64 im im)))) #s(literal 1/4 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 (-.f64 (.f64 re re) (*.f64 im im)) #s(literal -1/4 binary64)) #s(literal 2 binary64)))

simplify200.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

3804×	`-lowering-.f32`
3804×	`-lowering-.f64`
2068×	`+-lowering-+.f64`
2068×	`+-lowering-+.f32`
1652×	`fnmadd-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	99	386
1	292	340
2	1044	320
3	4052	308
0	8374	308

Stop Event

1×	iter limit
1×	node limit

Counts

24 → 24

Calls

Call 1

Inputs
im
(+ im (* 1/2 (/ (pow re 2) im)))
(+ im (* (pow re 2) (+ (* -1/8 (/ (pow re 2) (pow im 3))) (* 1/2 (/ 1 im)))))
(+ im (* (pow re 2) (+ (* (pow re 2) (- (* 1/16 (/ (pow re 2) (pow im 5))) (* 1/8 (/ 1 (pow im 3))))) (* 1/2 (/ 1 im)))))
re
(* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2)))))
(* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2))))))
(* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2)))))))
(* -1 re)
(* -1 (* re (+ 1 (* 1/2 (/ (pow im 2) (pow re 2))))))
(* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (* 1/2 (/ (pow im 2) (pow re 2)))))))
(* -1 (* re (+ 1 (+ (* -1/8 (/ (pow im 4) (pow re 4))) (+ (* 1/16 (/ (pow im 6) (pow re 6))) (* 1/2 (/ (pow im 2) (pow re 2))))))))
re
(+ re (* 1/2 (/ (pow im 2) re)))
(+ re (* (pow im 2) (+ (* -1/8 (/ (pow im 2) (pow re 3))) (* 1/2 (/ 1 re)))))
(+ re (* (pow im 2) (+ (* (pow im 2) (- (* 1/16 (/ (pow im 2) (pow re 5))) (* 1/8 (/ 1 (pow re 3))))) (* 1/2 (/ 1 re)))))
im
(* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2))))))
(* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2)))))))
(* -1 im)
(* -1 (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2))))))
(* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (* 1/2 (/ (pow re 2) (pow im 2)))))))
(* -1 (* im (+ 1 (+ (* -1/8 (/ (pow re 4) (pow im 4))) (+ (* 1/16 (/ (pow re 6) (pow im 6))) (* 1/2 (/ (pow re 2) (pow im 2))))))))

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

eval23.0ms (0.7%)

Compiler: Compiled 1788 to 257 computations (85.6% saved)

prune10.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	68	2	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	68	3	71

Accuracy

100.0%

Counts

71 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 re im)
▶	99.5%	(+.f64 im (.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im))))
▶	99.2%	im

Compiler

Compiled 19 to 12 computations (36.8% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Program
✓	cost-diff	(/.f64 re im)
✓	cost-diff	(*.f64 re (/.f64 re im))
✓	cost-diff	(.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im)))
✓	cost-diff	(+.f64 im (.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im))))

Rules

42×	`-lowering-.f32`
42×	`-lowering-.f64`
16×	`fma-lowering-fma.f32`
16×	`fma-define`
16×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	28
1	14	24
2	31	24
3	41	24
4	45	24
5	49	24
0	49	24

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
im
(+ im (* 1/2 (* re (/ re im))))
im
(* 1/2 (* re (/ re im)))
1/2
(* re (/ re im))
re
(/ re im)

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

localize39.0ms (1.2%)

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(/.f64 re im)
✓	accuracy	100.0%	(+.f64 im (.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im))))
✓	accuracy	100.0%	(.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im)))
✓	accuracy	99.8%	(*.f64 re (/.f64 re im))

Results

31.0ms

256×

valid

Compiler

Compiled 31 to 8 computations (74.2% saved)

Precisions

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

ival-mult: 4.0ms (49.6% of total)

ival-div: 3.0ms (37.2% of total)

ival-add: 1.0ms (12.4% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series7.0ms (0.2%)

Counts

4 → 96

Calls

Call 1

Inputs
#<alt (+ im (* 1/2 (* re (/ re im))))>
#<alt (* 1/2 (* re (/ re im)))>
#<alt (* re (/ re im))>
#<alt (/ re im)>

Outputs
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)>
#<alt (/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)>
#<alt (/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)>
#<alt im>
#<alt (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt im>
#<alt (* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))>
#<alt (* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))>
#<alt (* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))>
#<alt im>
#<alt (+ im (* 1/2 (/ (pow re 2) im)))>
#<alt (+ im (* 1/2 (/ (pow re 2) im)))>
#<alt (+ im (* 1/2 (/ (pow re 2) im)))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ (pow re 2) im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>
#<alt (/ re im)>

Calls

24 calls:

Time	Variable		Point	Expression
1.0ms	re	@	0	(+ im (* 1/2 (* re (/ re im))))
1.0ms	im	@	0	(+ im (* 1/2 (* re (/ re im))))
0.0ms	re	@	inf	(+ im (* 1/2 (* re (/ re im))))
0.0ms	im	@	inf	(+ im (* 1/2 (* re (/ re im))))
0.0ms	im	@	0	(/ re im)

rewrite275.0ms (8.5%)

Algorithm

1×	batch-egg-rewrite

Rules

2392×	`-lowering-.f32`
2392×	`-lowering-.f64`
1812×	`sum5-define`
1726×	`fma-lowering-fma.f32`
1726×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	24
1	35	20
2	278	20
3	3785	20
0	8218	20

Stop Event

1×	iter limit
1×	node limit

Counts

4 → 157

Calls

Call 1

Inputs
(+ im (* 1/2 (* re (/ re im))))
(* 1/2 (* re (/ re im)))
(* re (/ re im))
(/ re im)

Outputs
(+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (*.f64 re re))))
(+.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (*.f64 re re))) im)
(+.f64 (/.f64 (.f64 im im) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (neg.f64 (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))))
(-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (*.f64 re re))) (-.f64 #s(literal 0 binary64) im))
(-.f64 (/.f64 (.f64 im im) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re))) im)) (/.f64 (.f64 im im) (-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re))) im)))
(fma.f64 im (/.f64 im (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (neg.f64 (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) im)))))
(fma.f64 #s(literal 1/2 binary64) (*.f64 re (/.f64 re im)) im)
(fma.f64 re (*.f64 #s(literal 1/2 binary64) (/.f64 re im)) im)
(fma.f64 (/.f64 re im) (*.f64 #s(literal 1/2 binary64) re) im)
(fma.f64 (*.f64 re (/.f64 re im)) #s(literal 1/2 binary64) im)
(fma.f64 (.f64 im im) (/.f64 #s(literal 1 binary64) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (neg.f64 (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))))
(fma.f64 (*.f64 #s(literal 1/2 binary64) re) (/.f64 re im) im)
(fma.f64 (.f64 re (.f64 #s(literal 1/2 binary64) re)) (/.f64 #s(literal 1 binary64) im) im)
(fma.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 re im)) re im)
(fma.f64 (/.f64 (.f64 im im) (-.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))))) (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re)))) (neg.f64 (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) im)))))
(fma.f64 (/.f64 (.f64 im im) (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (+.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))) (neg.f64 (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) im)))))
(neg.f64 (/.f64 (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (*.f64 im #s(literal 1/2 binary64))))))))
(neg.f64 (/.f64 (-.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))) (-.f64 #s(literal 0 binary64) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (*.f64 im #s(literal 1/2 binary64)))))))
(neg.f64 (/.f64 (+.f64 (neg.f64 (.f64 im im)) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))))
(/.f64 (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (*.f64 im #s(literal 1/2 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (*.f64 re re))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (*.f64 re re))))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re))) im) (-.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (*.f64 im im))))
(/.f64 (-.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (*.f64 re re)))))))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (*.f64 im #s(literal 1/2 binary64)))))))
(/.f64 (+.f64 (neg.f64 (.f64 im im)) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))) (-.f64 #s(literal 0 binary64) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))))
(/.f64 (+.f64 (.f64 (.f64 im (.f64 im im)) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))) (.f64 #s(literal 1/64 binary64) (.f64 (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))))) (.f64 (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))) (+.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))) (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))) (.f64 im (*.f64 im im)))))))
(/.f64 (-.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 #s(literal 1/64 binary64) (.f64 (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) (.f64 (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))) (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (*.f64 re re))))))))
(/.f64 (-.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 #s(literal 1/64 binary64) (.f64 (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) (.f64 (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (*.f64 re re))))))))
(/.f64 (-.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (.f64 im im)) (-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (*.f64 re re))) im))
(/.f64 (-.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal 1/16 binary64) (.f64 (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))) (.f64 (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)) (+.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))))))
(/.f64 (-.f64 (.f64 (.f64 im im) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (.f64 (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))))) (.f64 (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)) (+.f64 im (/.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) im))))
(/.f64 (.f64 (+.f64 (.f64 (.f64 im (.f64 im im)) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))) (.f64 #s(literal 1/64 binary64) (.f64 (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))) (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))) (.f64 im (.f64 im im))))) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64)))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 #s(literal 1/64 binary64) (.f64 (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64)))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 #s(literal 1/64 binary64) (.f64 (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))))
(/.f64 (.f64 (-.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal 1/16 binary64) (.f64 (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))) (+.f64 im (/.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) im))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))))) (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (*.f64 im #s(literal 1/2 binary64))))))))
(/.f64 (neg.f64 (+.f64 (neg.f64 (.f64 im im)) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))))) (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))))
(/.f64 (neg.f64 (-.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (.f64 im im))) (neg.f64 (-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (*.f64 re re))) im)))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 im im) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) #s(literal 3 binary64)) (pow.f64 (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) #s(literal 3 binary64))) (+.f64 (.f64 (/.f64 (.f64 im im) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (/.f64 (.f64 im im) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))) (+.f64 (.f64 (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))) (.f64 (/.f64 (.f64 im im) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) im)))))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 im im) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (/.f64 (.f64 im im) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))) (.f64 (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))))) (+.f64 (/.f64 (.f64 im im) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (/.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))))
(/.f64 (.f64 (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))) #s(literal 1 binary64)) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))))
(/.f64 (.f64 (-.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))) #s(literal 1 binary64)) (+.f64 im (/.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) im)))
(/.f64 (.f64 (+.f64 (.f64 (.f64 im (.f64 im im)) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))) (.f64 #s(literal 1/64 binary64) (.f64 (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))))) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))))) (+.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))) (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))) (.f64 im (*.f64 im im))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 #s(literal 1/64 binary64) (.f64 (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))))) (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (*.f64 re re)))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 #s(literal 1/64 binary64) (.f64 (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) (/.f64 #s(literal 1 binary64) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (+.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (*.f64 re re)))))))
(/.f64 (.f64 (-.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal 1/16 binary64) (.f64 (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))) (/.f64 #s(literal 1 binary64) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)))) (+.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (*.f64 re re))))) #s(literal -1 binary64))
(.f64 (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re)))) (.f64 (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)) (/.f64 #s(literal 1 binary64) (+.f64 im (/.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) im)))))
(.f64 (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re)))) (/.f64 (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im)) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))))
(.f64 (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64)))))))
(.f64 (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))) (.f64 (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re)))) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (*.f64 im #s(literal 1/2 binary64))))))))
(.f64 (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))) (/.f64 (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re)))) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64)))))))
(.f64 #s(literal 1 binary64) (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re)))))
(.f64 (-.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))) (/.f64 #s(literal 1 binary64) (+.f64 im (/.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) im))))
(.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))))))
(.f64 (+.f64 (neg.f64 (.f64 im im)) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 im (/.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) im)))))
(.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64)))))) (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))))
(.f64 (/.f64 #s(literal 1 binary64) (+.f64 im (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))) (-.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (*.f64 re re)))))
(.f64 (-.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (.f64 im im)) (/.f64 #s(literal 1 binary64) (-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re))) im)))
(.f64 (/.f64 (-.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))) (-.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))))) (+.f64 im (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re)))))
(.f64 (/.f64 (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))) (+.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64)))) (.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (.f64 (-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re))) im) (-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re))) im)))))) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64)))) (-.f64 (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64)))) (*.f64 im im)))))
(.f64 (/.f64 (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re)))))) (-.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re))) (.f64 (-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re))) im) (-.f64 (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re))) im))))) (-.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (-.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))))
(.f64 (/.f64 (-.f64 (.f64 im im) (/.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (/.f64 im (.f64 re re)))) (+.f64 (.f64 im (.f64 im im)) (.f64 #s(literal -1/8 binary64) (.f64 (.f64 re (/.f64 re im)) (/.f64 (.f64 re (/.f64 re im)) (/.f64 im (.f64 re re))))))) (+.f64 (.f64 im im) (.f64 (.f64 re (/.f64 re im)) (+.f64 (.f64 (.f64 re (/.f64 re im)) #s(literal 1/4 binary64)) (.f64 im #s(literal 1/2 binary64))))))
(neg.f64 (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) im))
(/.f64 #s(literal 1/2 binary64) (/.f64 im (*.f64 re re)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 im re) (*.f64 #s(literal 1/2 binary64) re)))
(/.f64 #s(literal 1 binary64) (/.f64 im (.f64 re (.f64 #s(literal 1/2 binary64) re))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 0 binary64) im) (.f64 re (.f64 re #s(literal -1/2 binary64)))))
(/.f64 (*.f64 #s(literal 1/2 binary64) re) (/.f64 im re))
(/.f64 (*.f64 re #s(literal -1/2 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 im re)))
(/.f64 (.f64 re (.f64 #s(literal 1/2 binary64) re)) im)
(/.f64 (*.f64 #s(literal 1/2 binary64) (/.f64 re im)) (/.f64 #s(literal 1 binary64) re))
(/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) (-.f64 #s(literal 0 binary64) im))
(/.f64 (.f64 (.f64 re (*.f64 #s(literal 1/2 binary64) re)) #s(literal 1 binary64)) im)
(/.f64 (neg.f64 (.f64 re (.f64 re #s(literal -1/2 binary64)))) im)
(/.f64 (.f64 (.f64 #s(literal 1/2 binary64) re) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (/.f64 im re)))
(/.f64 (.f64 (.f64 re (*.f64 #s(literal 1/2 binary64) re)) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) im))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) #s(literal 1/2 binary64)) (-.f64 #s(literal 0 binary64) im))
(/.f64 (/.f64 (.f64 re (.f64 re #s(literal -1/2 binary64))) #s(literal -1 binary64)) im)
(.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im)))
(.f64 re (.f64 #s(literal 1/2 binary64) (/.f64 re im)))
(.f64 (/.f64 re im) (.f64 #s(literal 1/2 binary64) re))
(*.f64 (/.f64 re im) (/.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 1 binary64) re)))
(.f64 (.f64 re (/.f64 re im)) #s(literal 1/2 binary64))
(.f64 (-.f64 #s(literal 0 binary64) re) (.f64 (/.f64 #s(literal -1 binary64) im) (*.f64 #s(literal 1/2 binary64) re)))
(.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) (/.f64 im (.f64 re re))))
(.f64 (/.f64 #s(literal 1 binary64) im) (.f64 re (*.f64 #s(literal 1/2 binary64) re)))
(.f64 (.f64 #s(literal 1/2 binary64) re) (/.f64 re im))
(.f64 (.f64 re re) (/.f64 #s(literal 1/2 binary64) im))
(.f64 (.f64 re re) (*.f64 (/.f64 #s(literal 1 binary64) im) #s(literal 1/2 binary64)))
(.f64 (.f64 re (*.f64 #s(literal 1/2 binary64) re)) (/.f64 #s(literal 1 binary64) im))
(.f64 (.f64 #s(literal 1/2 binary64) (/.f64 re im)) re)
(.f64 (.f64 #s(literal 1/2 binary64) (/.f64 re im)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re)))
(.f64 (.f64 re (*.f64 re #s(literal -1/2 binary64))) (/.f64 #s(literal -1 binary64) im))
(.f64 (.f64 (.f64 re (.f64 #s(literal 1/2 binary64) re)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) im))
(*.f64 (/.f64 #s(literal 1/2 binary64) im) (/.f64 re (/.f64 #s(literal 1 binary64) re)))
(.f64 (/.f64 (.f64 #s(literal 1/2 binary64) re) #s(literal -1 binary64)) (/.f64 re (-.f64 #s(literal 0 binary64) im)))
(.f64 (/.f64 (.f64 #s(literal 1/2 binary64) re) (-.f64 #s(literal 0 binary64) im)) (-.f64 #s(literal 0 binary64) re))
(.f64 (/.f64 (.f64 #s(literal 1/2 binary64) re) #s(literal 1 binary64)) (/.f64 re im))
(neg.f64 (-.f64 #s(literal 0 binary64) (*.f64 re (/.f64 re im))))
(/.f64 re (/.f64 im re))
(/.f64 (/.f64 re im) (/.f64 #s(literal 1 binary64) re))
(/.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) (/.f64 im re)))
(/.f64 #s(literal 1 binary64) (/.f64 im (*.f64 re re)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 im (*.f64 re re)) #s(literal 1 binary64)))
(/.f64 (*.f64 re re) im)
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 im (*.f64 re re))))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 re re)) (-.f64 #s(literal 0 binary64) im))
(/.f64 (.f64 (.f64 re re) #s(literal 1 binary64)) im)
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (*.f64 re re))) im)
(/.f64 (.f64 (.f64 re re) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) im))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (*.f64 re re)) #s(literal -1 binary64)) im)
(pow.f64 (/.f64 im (*.f64 re re)) #s(literal -1 binary64))
(*.f64 re (/.f64 re im))
(*.f64 (/.f64 re im) re)
(*.f64 (/.f64 re im) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) re)))
(*.f64 (-.f64 #s(literal 0 binary64) re) (/.f64 re (-.f64 #s(literal 0 binary64) im)))
(.f64 (-.f64 #s(literal 0 binary64) re) (.f64 (/.f64 #s(literal -1 binary64) im) re))
(.f64 #s(literal 1 binary64) (.f64 re (/.f64 re im)))
(.f64 (/.f64 #s(literal 1 binary64) im) (.f64 re re))
(*.f64 (/.f64 #s(literal 1 binary64) im) (/.f64 re (/.f64 #s(literal 1 binary64) re)))
(.f64 (.f64 re re) (/.f64 #s(literal 1 binary64) im))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 re re)) (/.f64 #s(literal -1 binary64) im))
(*.f64 (/.f64 re (-.f64 #s(literal 0 binary64) im)) (-.f64 #s(literal 0 binary64) re))
(.f64 (.f64 (*.f64 re re) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) im))
(*.f64 (/.f64 re #s(literal -1 binary64)) (/.f64 re (-.f64 #s(literal 0 binary64) im)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) re) #s(literal -1 binary64)) (/.f64 re im))
(*.f64 (/.f64 re #s(literal 1 binary64)) (/.f64 re im))
(exp.f64 (*.f64 (log.f64 (/.f64 im re)) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (/.f64 re (-.f64 #s(literal 0 binary64) im)))
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) im)) (/.f64 re (-.f64 #s(literal 0 binary64) im)))
(neg.f64 (/.f64 re (-.f64 #s(literal 0 binary64) im)))
(neg.f64 (*.f64 #s(literal 1 binary64) (/.f64 re (-.f64 #s(literal 0 binary64) im))))
(neg.f64 (/.f64 #s(literal -1 binary64) (/.f64 im re)))
(/.f64 re im)
(/.f64 (-.f64 #s(literal 0 binary64) re) (-.f64 #s(literal 0 binary64) im))
(/.f64 #s(literal 1 binary64) (/.f64 im re))
(/.f64 (/.f64 #s(literal 1 binary64) im) (/.f64 #s(literal 1 binary64) re))
(/.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (/.f64 im re)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) re) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) im))
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (-.f64 #s(literal 0 binary64) im))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) re) #s(literal -1 binary64)) im)
(pow.f64 (/.f64 im re) #s(literal -1 binary64))
(*.f64 re (/.f64 #s(literal 1 binary64) im))
(*.f64 (/.f64 re im) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) re) (/.f64 #s(literal -1 binary64) im))
(*.f64 #s(literal 1 binary64) (/.f64 re im))
(*.f64 (/.f64 #s(literal 1 binary64) im) re)
(*.f64 (/.f64 #s(literal 1 binary64) im) (pow.f64 (/.f64 #s(literal 1 binary64) re) #s(literal -1 binary64)))
(*.f64 #s(literal -1 binary64) (/.f64 re (-.f64 #s(literal 0 binary64) im)))
(*.f64 (/.f64 #s(literal -1 binary64) im) (-.f64 #s(literal 0 binary64) re))
(.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) re)) (/.f64 #s(literal -1 binary64) im))
(*.f64 (pow.f64 (/.f64 im re) #s(literal -1/2 binary64)) (pow.f64 (/.f64 im re) #s(literal -1/2 binary64)))

simplify180.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

2704×	`-lowering-.f32`
2704×	`-lowering-.f64`
1850×	`fmm-def`
1790×	`fma-lowering-fma.f32`
1790×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	29	609
1	74	507
2	184	492
3	644	462
4	2725	462
5	7681	462
0	8357	462

Stop Event

1×	iter limit
1×	node limit

Counts

96 → 96

Calls

Call 1

Inputs
(* 1/2 (/ (pow re 2) im))
(/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)
(/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)
(/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)
im
(* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
im
(* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))
(* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))
(* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))
im
(+ im (* 1/2 (/ (pow re 2) im)))
(+ im (* 1/2 (/ (pow re 2) im)))
(+ im (* 1/2 (/ (pow re 2) im)))
(* 1/2 (/ (pow re 2) im))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* 1/2 (/ (pow re 2) im))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(* 1/2 (/ (pow re 2) im))
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ (pow re 2) im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)
(/ re im)

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

eval26.0ms (0.8%)

Compiler: Compiled 5284 to 514 computations (90.3% saved)

prune22.0ms (0.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	252	1	253
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	252	4	256

Accuracy

100.0%

Counts

256 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 re im)
▶	53.1%	(/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)) im)
✓	99.5%	(+.f64 im (.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im))))
✓	99.2%	im

Compiler

Compiled 32 to 20 computations (37.5% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Program
✓	cost-diff	(*.f64 re re)
✓	cost-diff	(.f64 #s(literal 1/2 binary64) (.f64 re re))
✓	cost-diff	(+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))
✓	cost-diff	(/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)) im)

Rules

16×	`-lowering-.f32`
16×	`-lowering-.f64`
10×	`fma-lowering-fma.f32`
10×	`fma-define`
10×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	25
1	15	25
2	21	25
3	22	25
0	22	25

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(/ (+ (* 1/2 (* re re)) (* im im)) im)
(+ (* 1/2 (* re re)) (* im im))
(* 1/2 (* re re))
1/2
(* re re)
re
(* im im)
im

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

localize41.0ms (1.3%)

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 re re)
✓	accuracy	100.0%	(*.f64 im im)
✓	accuracy	100.0%	(.f64 #s(literal 1/2 binary64) (.f64 re re))
✓	accuracy	53.4%	(/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)) im)

Results

32.0ms

256×

valid

Compiler

Compiled 37 to 9 computations (75.7% saved)

Precisions

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

ival-mult: 7.0ms (57.1% of total)

ival-add: 3.0ms (24.5% of total)

ival-div: 2.0ms (16.3% of total)

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series5.0ms (0.1%)

Counts

5 → 84

Calls

Call 1

Inputs
#<alt (/ (+ (* 1/2 (* re re)) (* im im)) im)>
#<alt (+ (* 1/2 (* re re)) (* im im))>
#<alt (* 1/2 (* re re))>
#<alt (* re re)>
#<alt (* im im)>

Outputs
#<alt im>
#<alt (+ im (* 1/2 (/ (pow re 2) im)))>
#<alt (+ im (* 1/2 (/ (pow re 2) im)))>
#<alt (+ im (* 1/2 (/ (pow re 2) im)))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))>
#<alt (* 1/2 (/ (pow re 2) im))>
#<alt (/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)>
#<alt (/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)>
#<alt (/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)>
#<alt im>
#<alt (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt im>
#<alt (* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))>
#<alt (* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))>
#<alt (* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))>
#<alt (pow im 2)>
#<alt (+ (* 1/2 (pow re 2)) (pow im 2))>
#<alt (+ (* 1/2 (pow re 2)) (pow im 2))>
#<alt (+ (* 1/2 (pow re 2)) (pow im 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))>
#<alt (* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))>
#<alt (* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))>
#<alt (* 1/2 (pow re 2))>
#<alt (* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))>
#<alt (* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))>
#<alt (* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))>
#<alt (* 1/2 (pow re 2))>
#<alt (+ (* 1/2 (pow re 2)) (pow im 2))>
#<alt (+ (* 1/2 (pow re 2)) (pow im 2))>
#<alt (+ (* 1/2 (pow re 2)) (pow im 2))>
#<alt (pow im 2)>
#<alt (* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (pow im 2)>
#<alt (* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (* 1/2 (pow re 2))>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow re 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>
#<alt (pow im 2)>

Calls

21 calls:

Time	Variable		Point	Expression
2.0ms	re	@	0	(/ (+ (* 1/2 (* re re)) (* im im)) im)
0.0ms	re	@	inf	(/ (+ (* 1/2 (* re re)) (* im im)) im)
0.0ms	im	@	inf	(/ (+ (* 1/2 (* re re)) (* im im)) im)
0.0ms	im	@	0	(/ (+ (* 1/2 (* re re)) (* im im)) im)
0.0ms	re	@	inf	(* 1/2 (* re re))

rewrite313.0ms (9.7%)

Algorithm

1×	batch-egg-rewrite

Rules

3534×	`-lowering-.f32`
3534×	`-lowering-.f64`
1570×	`fma-lowering-fma.f32`
1570×	`fma-lowering-fma.f64`
1498×	`fmsub-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	22
1	39	22
2	302	22
3	3451	22
0	8479	22

Stop Event

1×	iter limit
1×	node limit

Counts

5 → 245

Calls

Call 1

Inputs
(/ (+ (* 1/2 (* re re)) (* im im)) im)
(+ (* 1/2 (* re re)) (* im im))
(* 1/2 (* re re))
(* re re)
(* im im)

Outputs
(+.f64 (.f64 (/.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1/2 binary64) (.f64 re re))) (.f64 (/.f64 #s(literal 1 binary64) im) (*.f64 im im)))
(+.f64 (.f64 (/.f64 #s(literal 1 binary64) im) (.f64 im im)) (.f64 (/.f64 #s(literal 1 binary64) im) (.f64 #s(literal 1/2 binary64) (*.f64 re re))))
(+.f64 (.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (/.f64 #s(literal 1 binary64) im)) (.f64 (*.f64 im im) (/.f64 #s(literal 1 binary64) im)))
(+.f64 (.f64 (.f64 im im) (/.f64 #s(literal 1 binary64) im)) (.f64 (.f64 #s(literal 1/2 binary64) (*.f64 re re)) (/.f64 #s(literal 1 binary64) im)))
(exp.f64 (.f64 (log.f64 (/.f64 im (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (/.f64 (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im)) im))
(-.f64 (/.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) im) (/.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))) im))
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) im)) (/.f64 (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im)) im))
(-.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) (/.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(neg.f64 (/.f64 (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im)) im))
(neg.f64 (.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im)) im)))
(neg.f64 (/.f64 #s(literal -1 binary64) (/.f64 im (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)) im)
(/.f64 (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im)) (-.f64 #s(literal 0 binary64) im))
(/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (.f64 im (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))) (-.f64 #s(literal 0 binary64) im)))
(/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))))
(/.f64 #s(literal 1 binary64) (/.f64 im (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) im)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) im)))
(/.f64 (/.f64 #s(literal 1 binary64) im) (/.f64 #s(literal -1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im))))
(/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (.f64 im (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))) (-.f64 #s(literal 0 binary64) im)))
(/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(/.f64 #s(literal -1 binary64) (/.f64 im (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im))))
(/.f64 #s(literal -1 binary64) (.f64 (/.f64 #s(literal -1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im))) (-.f64 #s(literal 0 binary64) im)))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) (.f64 im (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) (.f64 (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) (neg.f64 (.f64 im (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) (.f64 im (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) (.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) (neg.f64 (.f64 im (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(/.f64 (+.f64 (.f64 #s(literal 1/512 binary64) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))))) (.f64 (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 im (.f64 im im))))) (.f64 (.f64 im (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) (+.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (-.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (*.f64 re re))))))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (.f64 (.f64 im (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (*.f64 im im))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (.f64 (.f64 im (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (*.f64 im im))))))))
(/.f64 (-.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))) (.f64 (.f64 im (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (*.f64 im im))))))
(/.f64 (/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) im) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))
(/.f64 (/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) im) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))
(/.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))
(/.f64 (.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) #s(literal -1 binary64)) (.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (-.f64 #s(literal 0 binary64) im)))
(/.f64 (.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) #s(literal -1 binary64)) (.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (-.f64 #s(literal 0 binary64) im)))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (-.f64 #s(literal 0 binary64) im)))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) #s(literal 1 binary64)) (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) im))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) #s(literal -1 binary64)) (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) (-.f64 #s(literal 0 binary64) im)))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) #s(literal 1 binary64)) (.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (-.f64 #s(literal 0 binary64) im)))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) #s(literal 1 binary64)) (.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) im))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) #s(literal -1 binary64)) (.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (-.f64 #s(literal 0 binary64) im)))
(/.f64 (.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))) im))
(/.f64 (.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re))))) #s(literal -1 binary64)) (.f64 (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))) (-.f64 #s(literal 0 binary64) im)))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (.f64 im (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))) (.f64 im (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(/.f64 (.f64 #s(literal 1 binary64) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re)))))) (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))
(/.f64 (.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))))
(/.f64 (.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))) (.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(/.f64 (.f64 #s(literal -1 binary64) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re)))))) (.f64 (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))
(/.f64 (neg.f64 (/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) im)) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))))
(/.f64 (neg.f64 (/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) im)) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im))) (-.f64 #s(literal 0 binary64) im))
(/.f64 (.f64 (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im)) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) im))
(/.f64 (.f64 #s(literal 1 binary64) (/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) im)) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))
(/.f64 (.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) im)) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) im) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) im) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(/.f64 (.f64 (/.f64 #s(literal 1 binary64) im) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re)))))) (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) (/.f64 #s(literal 1 binary64) im)) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) (/.f64 #s(literal 1 binary64) im)) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(/.f64 (.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re))))) (/.f64 #s(literal 1 binary64) im)) (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))
(/.f64 (.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (/.f64 #s(literal -1 binary64) im)) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(/.f64 (.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (/.f64 #s(literal -1 binary64) im)) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) (/.f64 #s(literal -1 binary64) im)) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) (/.f64 #s(literal -1 binary64) im)) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))
(/.f64 (/.f64 (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im)) #s(literal -1 binary64)) im)
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 im (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))
(/.f64 (/.f64 #s(literal 1 binary64) (/.f64 im (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))
(pow.f64 (/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)) im) #s(literal 1 binary64))
(pow.f64 (/.f64 im (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))) #s(literal -1 binary64))
(pow.f64 (/.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) im)) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) im)) #s(literal -1 binary64))
(.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (/.f64 #s(literal 1 binary64) im))
(.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (/.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (.f64 im (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(.f64 (/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) im) #s(literal 1 binary64))
(.f64 (/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) im) (/.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))))
(.f64 (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im)) (/.f64 #s(literal -1 binary64) im))
(.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))) im))
(.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (/.f64 #s(literal 1 binary64) (.f64 im (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))))
(.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) (/.f64 #s(literal 1 binary64) im)))
(.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (/.f64 (/.f64 #s(literal 1 binary64) im) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (.f64 im (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))))
(.f64 #s(literal 1 binary64) (/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) im))
(.f64 (/.f64 #s(literal 1 binary64) im) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))
(.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (/.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))) im))
(.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (/.f64 #s(literal 1 binary64) (.f64 im (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (/.f64 #s(literal 1 binary64) im)))
(.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (/.f64 (/.f64 #s(literal 1 binary64) im) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im)) im))
(.f64 (/.f64 #s(literal -1 binary64) im) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im)))
(.f64 (/.f64 #s(literal -1 binary64) im) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im))) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) (/.f64 #s(literal 1 binary64) (/.f64 im (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (*.f64 im im)))))))
(.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (/.f64 #s(literal 1 binary64) (/.f64 im (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (*.f64 im im)))))))
(.f64 (/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) im) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(.f64 (/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) im) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(.f64 (/.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) im) (/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))))
(.f64 (pow.f64 (/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) im) #s(literal 1/2 binary64)) (pow.f64 (/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)) im) #s(literal 1/2 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im))) (/.f64 #s(literal -1 binary64) im))
(.f64 (/.f64 #s(literal 1 binary64) (/.f64 im (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(.f64 (/.f64 #s(literal 1 binary64) (/.f64 im (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(.f64 (/.f64 (/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) im) (+.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))) (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))) (-.f64 (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))) (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64))))))))
(.f64 (/.f64 (/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) im) (-.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))) (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))
(.f64 (/.f64 (/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) im) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))
(.f64 (/.f64 (/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) im) (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 (.f64 im im) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (.f64 im (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))))
(.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im))) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) im))
(.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (.f64 im (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(.f64 (pow.f64 (/.f64 im (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))))
(.f64 (pow.f64 (/.f64 im (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(.f64 (pow.f64 (/.f64 im (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))
(.f64 (pow.f64 (/.f64 (-.f64 #s(literal 0 binary64) im) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))))
(.f64 (pow.f64 (/.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))
(+.f64 (.f64 im im) (.f64 #s(literal 1/2 binary64) (*.f64 re re)))
(+.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(+.f64 (neg.f64 (.f64 im (-.f64 #s(literal 0 binary64) im))) (neg.f64 (.f64 (*.f64 re re) #s(literal -1/2 binary64))))
(+.f64 (neg.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64))) (neg.f64 (*.f64 im (-.f64 #s(literal 0 binary64) im))))
(exp.f64 (.f64 (log.f64 (/.f64 #s(literal -1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im)))) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im)))
(-.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(-.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))) (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))
(fma.f64 #s(literal 1/2 binary64) (.f64 re re) (.f64 im im))
(fma.f64 #s(literal 1/2 binary64) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re (.f64 re (.f64 re re)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(fma.f64 re (.f64 #s(literal 1/2 binary64) re) (.f64 im im))
(fma.f64 (.f64 re re) #s(literal 1/2 binary64) (.f64 im im))
(fma.f64 (.f64 re re) (/.f64 (.f64 (.f64 re re) #s(literal 1/4 binary64)) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(fma.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (/.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(fma.f64 im im (.f64 #s(literal 1/2 binary64) (.f64 re re)))
(fma.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(fma.f64 (.f64 #s(literal 1/2 binary64) re) re (.f64 im im))
(fma.f64 (.f64 #s(literal 1/2 binary64) re) (/.f64 (.f64 re (.f64 #s(literal 1/2 binary64) (.f64 re re))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(fma.f64 #s(literal 1/4 binary64) (/.f64 (.f64 re (.f64 re (.f64 re re))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(fma.f64 (.f64 re (.f64 re (.f64 re re))) (/.f64 #s(literal 1/4 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(fma.f64 (.f64 (.f64 re re) #s(literal 1/4 binary64)) (/.f64 (.f64 re re) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(fma.f64 (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64))) (/.f64 re (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(fma.f64 (.f64 #s(literal 1/2 binary64) (.f64 re (.f64 re (.f64 re re)))) (/.f64 #s(literal 1/2 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(fma.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(fma.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 (.f64 im im) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) (neg.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(neg.f64 (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im)))
(/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))
(/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal -1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re)))))))
(/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))
(/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (neg.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal -1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im)))))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))))
(/.f64 (+.f64 (.f64 #s(literal 1/512 binary64) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))))) (.f64 (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 im (.f64 im im))))) (.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (+.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (-.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))))
(/.f64 (-.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))))))
(/.f64 (-.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))) (.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))))
(/.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re))))) (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))
(/.f64 (-.f64 (.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (.f64 im (.f64 im (.f64 im im))))) (.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(/.f64 (.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re))))) #s(literal 1 binary64)) (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))
(/.f64 (.f64 (-.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(/.f64 (.f64 (+.f64 (.f64 #s(literal 1/512 binary64) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))))) (.f64 (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 im (.f64 im im))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (-.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))))))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) #s(literal 1 binary64)) (.f64 (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) #s(literal 1 binary64)) (.f64 (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))) (neg.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(/.f64 (neg.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re)))))) (neg.f64 (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) #s(literal 3 binary64))) (+.f64 (.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) (+.f64 (.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) (.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) (.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))))) (+.f64 (/.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(/.f64 (.f64 (+.f64 (.f64 #s(literal 1/512 binary64) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))))) (.f64 (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 im (.f64 im im))))) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))) (+.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (-.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))) (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))))
(/.f64 (.f64 (-.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))
(pow.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im))) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal -1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (*.f64 im im))) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (/.f64 (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re)))))) #s(literal -1 binary64))
(.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) #s(literal 1 binary64))
(.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (/.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))))
(.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) #s(literal 1 binary64)))
(.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))))
(.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))))
(.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))
(.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) #s(literal 1 binary64)))
(.f64 #s(literal -1 binary64) (-.f64 (.f64 (.f64 re re) #s(literal -1/2 binary64)) (.f64 im im)))
(.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))))
(.f64 (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (*.f64 im im)))))
(.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (*.f64 im im))))) #s(literal -1 binary64)))
(.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (*.f64 im im)))))
(.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im))) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (*.f64 im im))))) #s(literal -1 binary64)))
(.f64 (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re))))) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))
(.f64 (/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))
(.f64 (/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (+.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))) (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))) (-.f64 (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))) (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64))))))))
(.f64 (/.f64 (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))) (-.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))) (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64))))))) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))))
(.f64 (/.f64 (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))) (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 (.f64 im im) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)))))
(.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64))))))))
(.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im))))
(.f64 (pow.f64 (/.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (-.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))))))
(.f64 (pow.f64 (/.f64 (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (.f64 im im)) (-.f64 (.f64 #s(literal 1/16 binary64) (.f64 (.f64 re (.f64 re (.f64 re re))) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im (.f64 im im))))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im))))))
(.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))))))
(.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (.f64 im im)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)))))
(.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 #s(literal -1/4 binary64) (.f64 re (.f64 re (.f64 re re)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 im im) (.f64 (*.f64 re re) #s(literal -1/2 binary64)))))
(.f64 (pow.f64 (/.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (+.f64 (.f64 #s(literal 1/512 binary64) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))))) (.f64 (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 im (.f64 im im)))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (-.f64 (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))) (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))))))))
(.f64 (pow.f64 (/.f64 (+.f64 (.f64 re (.f64 re (.f64 (.f64 re re) #s(literal 1/4 binary64)))) (.f64 im (.f64 im (+.f64 (.f64 im im) (.f64 (.f64 re re) #s(literal -1/2 binary64)))))) (-.f64 (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) (.f64 (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re)))) #s(literal 1/64 binary64))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 #s(literal 1/8 binary64) (.f64 (.f64 re re) (.f64 re (.f64 re (.f64 re re))))) (.f64 im (.f64 (.f64 im (.f64 im im)) (.f64 im im))))))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 1/2 binary64) (*.f64 re re))) #s(literal 1 binary64)))
(pow.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) #s(literal 1 binary64))
(.f64 #s(literal 1/2 binary64) (.f64 re re))
(.f64 re (.f64 #s(literal 1/2 binary64) re))
(.f64 re (pow.f64 (.f64 #s(literal 1/2 binary64) re) #s(literal 1 binary64)))
(.f64 (.f64 re re) #s(literal 1/2 binary64))
(.f64 (.f64 #s(literal 1/2 binary64) re) re)
(.f64 (pow.f64 (.f64 #s(literal 1/2 binary64) re) #s(literal 1 binary64)) re)
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 re)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 re)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 (log.f64 re))) #s(literal 2 binary64)))
(pow.f64 re #s(literal 2 binary64))
(pow.f64 (*.f64 re re) #s(literal 1 binary64))
(pow.f64 (exp.f64 (log.f64 re)) #s(literal 2 binary64))
(*.f64 re re)
(*.f64 (exp.f64 (log.f64 re)) (exp.f64 (log.f64 re)))
(*.f64 (pow.f64 (pow.f64 re #s(literal 1/2 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 re #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (exp.f64 (log.f64 re)) #s(literal 1 binary64)) (pow.f64 (exp.f64 (log.f64 re)) #s(literal 1 binary64)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 im)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 im)) #s(literal 1 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 (log.f64 im))) #s(literal 2 binary64)))
(pow.f64 im #s(literal 2 binary64))
(pow.f64 (*.f64 im im) #s(literal 1 binary64))
(pow.f64 (exp.f64 (log.f64 im)) #s(literal 2 binary64))
(*.f64 im im)
(.f64 (.f64 im im) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 im im))
(*.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 0 binary64) im) #s(literal 2 binary64)))
(*.f64 (exp.f64 (log.f64 im)) (exp.f64 (log.f64 im)))
(*.f64 (pow.f64 (pow.f64 im #s(literal 1/2 binary64)) #s(literal 2 binary64)) (pow.f64 (pow.f64 im #s(literal 1/2 binary64)) #s(literal 2 binary64)))
(*.f64 (pow.f64 (exp.f64 (log.f64 im)) #s(literal 1 binary64)) (pow.f64 (exp.f64 (log.f64 im)) #s(literal 1 binary64)))

simplify213.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

2958×	`-lowering-.f32`
2958×	`-lowering-.f64`
1262×	`times-frac`
974×	`/-lowering-/.f32`
974×	`/-lowering-/.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	32	489
1	91	372
2	248	372
3	939	372
4	3054	372
5	7936	372
0	8051	372

Stop Event

1×	iter limit
1×	node limit

Counts

84 → 84

Calls

Call 1

Inputs
im
(+ im (* 1/2 (/ (pow re 2) im)))
(+ im (* 1/2 (/ (pow re 2) im)))
(+ im (* 1/2 (/ (pow re 2) im)))
(* 1/2 (/ (pow re 2) im))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* 1/2 (/ (pow re 2) im))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* (pow re 2) (+ (* 1/2 (/ 1 im)) (/ im (pow re 2))))
(* 1/2 (/ (pow re 2) im))
(/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)
(/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)
(/ (+ (* 1/2 (pow re 2)) (pow im 2)) im)
im
(* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* im (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
im
(* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))
(* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))
(* -1 (* im (- (* -1/2 (/ (pow re 2) (pow im 2))) 1)))
(pow im 2)
(+ (* 1/2 (pow re 2)) (pow im 2))
(+ (* 1/2 (pow re 2)) (pow im 2))
(+ (* 1/2 (pow re 2)) (pow im 2))
(* 1/2 (pow re 2))
(* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))
(* 1/2 (pow re 2))
(* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))
(* (pow re 2) (+ 1/2 (/ (pow im 2) (pow re 2))))
(* 1/2 (pow re 2))
(+ (* 1/2 (pow re 2)) (pow im 2))
(+ (* 1/2 (pow re 2)) (pow im 2))
(+ (* 1/2 (pow re 2)) (pow im 2))
(pow im 2)
(* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(pow im 2)
(* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* (pow im 2) (+ 1 (* 1/2 (/ (pow re 2) (pow im 2)))))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(* 1/2 (pow re 2))
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow re 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)
(pow im 2)

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

eval83.0ms (2.6%)

Compiler: Compiled 10796 to 716 computations (93.4% saved)

prune41.0ms (1.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	329	0	329
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	329	4	333

Accuracy

100.0%

Counts

333 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(hypot.f64 re im)
✓	53.1%	(/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)) im)
✓	99.5%	(+.f64 im (.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im))))
✓	99.2%	im

Compiler

Compiled 66 to 35 computations (47% saved)

regimes15.0ms (0.5%)

Counts

5 → 1

Calls

Call 1

Inputs
im
(+.f64 im (.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im))))
(/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)) im)
(hypot.f64 re im)
(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Outputs
(hypot.f64 re im)

Calls

6 calls:

3.0ms	(*.f64 im im)
2.0ms	re
2.0ms	im
2.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
2.0ms	(+.f64 (.f64 re re) (.f64 im im))

Results

Accuracy	Segments	Branch
100.0%	1	`re`
100.0%	1	`im`
100.0%	1	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`
100.0%	1	`(+.f64 (.f64 re re) (.f64 im im))`
100.0%	1	`(*.f64 re re)`
100.0%	1	`(*.f64 im im)`

Compiler

Compiled 35 to 21 computations (40% saved)

regimes7.0ms (0.2%)

Counts

3 → 1

Calls

Call 1

Inputs
im
(+.f64 im (.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im))))
(/.f64 (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 re re)) (*.f64 im im)) im)

Outputs
(+.f64 im (.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im))))

Calls

3 calls:

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

Results

Accuracy	Segments	Branch
99.5%	1	`re`
99.5%	1	`im`
99.5%	1	`(*.f64 re re)`

Compiler

Compiled 11 to 7 computations (36.4% saved)

regimes3.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
im

Outputs
im

Calls

2 calls:

1.0ms	im
1.0ms	re

Results

Accuracy	Segments	Branch
99.2%	1	`re`
99.2%	1	`im`

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
2×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	11	13

Stop Event

1×

saturated

Calls

Call 1

Inputs
(hypot.f64 re im)
(+.f64 im (.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im))))
im

Outputs
(hypot.f64 re im)
(+.f64 im (.f64 #s(literal 1/2 binary64) (.f64 re (/.f64 re im))))
im

soundness291.0ms (9%)

Rules

3804×	`-lowering-.f32`
3804×	`-lowering-.f64`
2068×	`+-lowering-+.f64`
2068×	`+-lowering-+.f32`
1652×	`fnmadd-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	99	386
1	292	340
2	1044	320
3	4052	308
0	8374	308
0	6	3
1	11	3
2	13	3
0	13	3

Stop Event

1×	done
1×	iter limit
1×	saturated
1×	iter limit
1×	node limit

Compiler

Compiled 35 to 21 computations (40% saved)

preprocess31.0ms (1%)

Remove

(sort re im)

(abs im)

(abs re)

Compiler

Compiled 110 to 64 computations (41.8% saved)

math.abs on complex

analyze1.0ms (0%)

sample928.0ms (28.7%)

preprocess26.0ms (0.8%)

explain111.0ms (3.4%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.1%)

localize34.0ms (1.1%)

series3.0ms (0.1%)

rewrite278.0ms (8.6%)

simplify200.0ms (6.2%)

eval23.0ms (0.7%)

prune10.0ms (0.3%)

simplify5.0ms (0.2%)

localize39.0ms (1.2%)

series7.0ms (0.2%)

rewrite275.0ms (8.5%)

simplify180.0ms (5.6%)

eval26.0ms (0.8%)

prune22.0ms (0.7%)

simplify5.0ms (0.1%)

localize41.0ms (1.3%)

series5.0ms (0.1%)

rewrite313.0ms (9.7%)

simplify213.0ms (6.6%)

eval83.0ms (2.6%)

prune41.0ms (1.3%)

regimes15.0ms (0.5%)

regimes7.0ms (0.2%)

regimes3.0ms (0.1%)

simplify8.0ms (0.3%)

soundness291.0ms (9%)

preprocess31.0ms (1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	18	20
1	48	20
2	99	20
3	221	20
4	432	20
5	589	20
6	664	20
7	667	20
0	6	3
1	11	3
2	13	3
0	13	3

Iter	Nodes	Cost
0	18	20
1	48	20
2	99	20
3	221	20
4	432	20
5	589	20
6	664	20
7	667	20
0	6	3
1	11	3
2	13	3
0	13	3

Iter	Nodes	Cost
0	18	20
1	48	20
2	99	20
3	221	20
4	432	20
5	589	20
6	664	20
7	667	20
0	6	3
1	11	3
2	13	3
0	13	3