Metrics for math.square on complex, real part

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 10 to 6 computations (40% saved)

Precisions

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

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

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

const: 0.0ms (0% of total)

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

sample557.0ms (24%)

Results

396.0ms

8256×

valid

Precisions

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

ival-mult: 129.0ms (72.2% of total)

ival-sub: 41.0ms (23% of total)

const: 6.0ms (3.4% of total)

backward-pass: 2.0ms (1.1% of total)

Bogosity

preprocess182.0ms (7.9%)

Algorithm

2×	egg-herbie

Rules

2632×	`sum4-define`
2434×	`sum3-define`
1966×	`fmsub-define`
1962×	`fnmsub-define`
1952×	`fnmadd-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	33
1	67	30
2	193	30
3	530	30
4	1491	30
5	3963	30
6	6129	30
0	5	5
1	17	5
2	29	5
3	59	5
4	137	5
5	565	5
6	2335	5
7	4114	5
8	7862	5
0	8049	5

Stop Event

1×	iter limit
1×	node limit
1×	node limit

Calls

Call 1

Inputs
(- (* re re) (* im im))

Outputs
(- (* re re) (* im im))
(-.f64 (.f64 re re) (.f64 im im))

Call 2

Inputs
(- (* re re) (* im im))
(- (* (neg re) (neg re)) (* im im))
(- (* re re) (* (neg im) (neg im)))
(neg (- (* (neg re) (neg re)) (* im im)))
(neg (- (* re re) (* (neg im) (neg im))))
(- (* im im) (* re re))

Outputs
(- (* re re) (* im im))
(fnmadd im im (square re))
(- (* (neg re) (neg re)) (* im im))
(fnmadd im im (square re))
(- (* re re) (* (neg im) (neg im)))
(fnmadd im im (square re))
(neg (- (* (neg re) (neg re)) (* im im)))
(fmsub im im (square re))
(neg (- (* re re) (* (neg im) (neg im))))
(fmsub im im (square re))
(- (* im im) (* re re))
(fmsub im im (square re))

Symmetry

(abs re)

(abs im)

explain57.0ms (2.5%)

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
9	-	-	`(-.f64 (.f64 re re) (.f64 im im))`
0	-	-	`im`
0	-	-	`(*.f64 im im)`
0	-	-	`(*.f64 re re)`
0	-	-	`re`

Results

34.0ms

512×

valid

Compiler

Compiled 45 to 17 computations (62.2% saved)

Precisions

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

ival-mult: 15.0ms (82.2% of total)

ival-sub: 2.0ms (11% of total)

const: 0.0ms (0% of total)

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

eval0.0ms (0%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	96.5%	(-.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 9 to 5 computations (44.4% saved)

simplify114.0ms (4.9%)

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Program
✓	cost-diff	(*.f64 im im)
✓	cost-diff	(*.f64 re re)
✓	cost-diff	(-.f64 (.f64 re re) (.f64 im im))

Rules

2632×	`sum4-define`
1446×	`sum3-define`
1442×	`fmsub-define`
1392×	`fma-define`
1298×	`fnmadd-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
1	17	11
2	29	11
3	59	11
4	137	11
5	565	11
6	2335	11
7	4114	11
8	7862	11
0	8049	11

Stop Event

1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(- (* re re) (* im im))
(* re re)
re
(* im im)
im

Outputs
(- (* re re) (* im im))
(-.f64 (.f64 re re) (.f64 im im))
(* re re)
(*.f64 re re)
re
(* im im)
(*.f64 im im)
im

localize29.0ms (1.3%)

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 re re)
✓	accuracy	100.0%	(*.f64 im im)
✓	accuracy	96.8%	(-.f64 (.f64 re re) (.f64 im im))

Results

16.0ms

256×

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

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

ival-sub: 1.0ms (18% of total)

const: 0.0ms (0% of total)

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

series2.0ms (0.1%)

Counts

3 → 48

Calls

Call 1

Inputs
#<alt (- (* re re) (* im im))>
#<alt (* re re)>
#<alt (* im im)>

Outputs
#<alt (* -1 (pow im 2))>
#<alt (- (pow re 2) (pow im 2))>
#<alt (- (pow re 2) (pow im 2))>
#<alt (- (pow re 2) (pow im 2))>
#<alt (pow re 2)>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (pow re 2)>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2)))))>
#<alt (pow re 2)>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (+ (* -1 (pow im 2)) (pow re 2))>
#<alt (* -1 (pow im 2))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* -1 (pow im 2))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<alt (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1))>
#<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

12 calls:

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

rewrite323.0ms (13.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2928×	`-lowering-.f32`
2928×	`-lowering-.f64`
1848×	`sum3-define`
1554×	`fma-lowering-fma.f32`
1554×	`fma-lowering-fma.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	9
1	35	9
2	255	9
3	3269	9
0	8662	9

Stop Event

1×	iter limit
1×	node limit

Counts

3 → 224

Calls

Call 1

Inputs
(- (* re re) (* im im))
(* re re)
(* im im)

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

simplify115.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

2156×	`-lowering-.f32`
2156×	`-lowering-.f64`
1684×	`sum4-define`
1286×	`sum3-define`
1232×	`sum5-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	219
1	40	153
2	125	153
3	522	153
4	1924	153
5	3950	153
0	8170	153

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 48

Calls

Call 1

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

eval28.0ms (1.2%)

Compiler: Compiled 9916 to 540 computations (94.6% saved)

prune28.0ms (1.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	270	2	272
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	270	3	273

Accuracy

100.0%

Counts

273 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	96.5%	(-.f64 (.f64 re re) (.f64 im im))
▶	54.2%	(-.f64 #s(literal 0 binary64) (*.f64 im im))
▶	49.5%	(*.f64 re re)

Compiler

Compiled 21 to 13 computations (38.1% saved)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Program
✓	cost-diff	(*.f64 im im)
✓	cost-diff	(-.f64 #s(literal 0 binary64) (*.f64 im im))
✓	cost-diff	(*.f64 re re)

Rules

40×	`sum3-define`
32×	`fma-define`
18×	`fma-lowering-fma.f32`
18×	`fma-lowering-fma.f64`
16×	`+-lowering-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	13	10
2	20	10
3	32	10
4	44	10
5	62	10
6	71	10
7	78	10
8	102	10
0	102	10

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* re re)
re
(- 0 (* im im))
0
(* im im)
im

Outputs
(* re re)
(*.f64 re re)
re
(- 0 (* im im))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
0
#s(literal 0 binary64)
(* im im)
(*.f64 im im)
im

localize24.0ms (1%)

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(-.f64 #s(literal 0 binary64) (*.f64 im im))
✓	accuracy	100.0%	(*.f64 im im)
✓	accuracy	100.0%	(*.f64 re re)

Results

18.0ms

256×

valid

Compiler

Compiled 17 to 7 computations (58.8% saved)

Precisions

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

ival-mult: 6.0ms (73.2% of total)

ival-sub: 1.0ms (12.2% of total)

const: 0.0ms (0% of total)

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

series0.0ms (0%)

Counts

3 → 36

Calls

Call 1

Inputs
#<alt (* re re)>
#<alt (- 0 (* im im))>
#<alt (* im im)>

Outputs
#<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 (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (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)>
#<alt (pow im 2)>

Calls

9 calls:

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

rewrite75.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

596×	`/-lowering-/.f32`
596×	`/-lowering-/.f64`
582×	`-lowering-.f32`
582×	`-lowering-.f64`
238×	`frac-times`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	29	7
2	199	7
0	1945	7

Stop Event

1×	iter limit
1×	iter limit
1×	node limit

Counts

3 → 134

Calls

Call 1

Inputs
(* re re)
(- 0 (* im im))
(* im im)

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

simplify9.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

40×	`sum3-define`
32×	`fma-define`
18×	`fma-lowering-fma.f32`
18×	`fma-lowering-fma.f64`
16×	`+-lowering-+.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	120
1	11	84
2	22	84
3	24	84
4	27	84
5	41	84
6	59	84
7	68	84
8	81	84
9	105	84
0	105	84

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

Inputs
(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)
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (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)
(pow im 2)

Outputs
(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)
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.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)
(pow im 2)
(*.f64 im im)

eval16.0ms (0.7%)

Compiler: Compiled 2918 to 287 computations (90.2% saved)

prune35.0ms (1.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	169	1	170
Fresh	0	0	0
Picked	1	1	2
Done	0	1	1
Total	170	3	173

Accuracy

100.0%

Counts

173 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	96.5%	(-.f64 (.f64 re re) (.f64 im im))
✓	49.5%	(*.f64 re re)
▶	54.2%	(neg.f64 (*.f64 im im))

Compiler

Compiled 20 to 12 computations (40% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	-64	(neg.f64 (*.f64 im im))
✓	cost-diff	0	(*.f64 im im)

Rules

40×	`sum3-define`
32×	`fma-define`
18×	`fma-lowering-fma.f32`
18×	`fma-lowering-fma.f64`
16×	`+-lowering-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	6
1	11	6
2	15	6
3	21	6
4	35	6
5	53	6
6	62	6
7	75	6
8	99	6
0	99	6

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(neg (* im im))
(* im im)
im

Outputs
(neg (* im im))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* im im)
(*.f64 im im)
im

localize17.0ms (0.7%)

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 im im)
✓	accuracy	100.0%	(neg.f64 (*.f64 im im))

Results

12.0ms

256×

valid

Compiler

Compiled 11 to 5 computations (54.5% saved)

Precisions

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

ival-mult: 2.0ms (40.2% of total)

ival-neg: 2.0ms (40.2% of total)

const: 0.0ms (0% of total)

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

series0.0ms (0%)

Counts

2 → 24

Calls

Call 1

Inputs
#<alt (* im im)>
#<alt (neg (* im im))>

Outputs
#<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)>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>
#<alt (* -1 (pow im 2))>

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	im	@	0	(neg (* im im))
0.0ms	im	@	0	(* im im)
0.0ms	im	@	inf	(neg (* im im))
0.0ms	im	@	-inf	(neg (* im im))
0.0ms	im	@	-inf	(* im im)

rewrite82.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

668×	`-lowering-.f32`
668×	`-lowering-.f64`
646×	`/-lowering-/.f32`
646×	`/-lowering-/.f64`
238×	`frac-times`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	5
1	13	5
2	37	5
3	212	5
0	2184	5

Stop Event

1×	iter limit
1×	iter limit
1×	node limit

Counts

2 → 138

Calls

Call 1

Inputs
(* im im)
(neg (* im im))

Outputs
(+.f64 (*.f64 im im) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 im im))
(+.f64 #s(literal 0 binary64) (*.f64 (-.f64 #s(literal 0 binary64) im) (-.f64 #s(literal 0 binary64) im)))
(+.f64 #s(literal 0 binary64) (.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) #s(literal -1 binary64)))
(+.f64 #s(literal 0 binary64) (.f64 #s(literal 1 binary64) (.f64 im im)))
(+.f64 #s(literal 0 binary64) (*.f64 (neg.f64 (-.f64 #s(literal 0 binary64) im)) im))
(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 (.f64 (log.f64 im) #s(literal 4 binary64)) (.f64 #s(literal 2 binary64) (log.f64 im))))
(exp.f64 (-.f64 (.f64 (log.f64 im) #s(literal 6 binary64)) (.f64 (log.f64 im) #s(literal 4 binary64))))
(-.f64 (*.f64 im im) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(fma.f64 im im #s(literal 0 binary64))
(neg.f64 (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(/.f64 (-.f64 #s(literal 0 binary64) (*.f64 im im)) #s(literal -1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))))
(/.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im im))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 im im) (.f64 im (.f64 im (.f64 im im)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im))))))
(/.f64 #s(literal 1 binary64) (/.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))
(/.f64 (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 (.f64 im im) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))))
(/.f64 (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))
(/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 im (.f64 im (.f64 im im))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))
(/.f64 (/.f64 (.f64 im (.f64 im (*.f64 im im))) im) im)
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (*.f64 im im)))) im) (-.f64 #s(literal 0 binary64) im))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) #s(literal -1 binary64)) (.f64 im im))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (*.f64 im im)))) (-.f64 #s(literal 0 binary64) im)) im)
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (/.f64 #s(literal 1 binary64) (.f64 im (.f64 im (*.f64 im im)))))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im))))) (/.f64 #s(literal 1 binary64) (*.f64 im im)))
(/.f64 (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) im) (.f64 im (*.f64 im im)))
(/.f64 (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 im im)) (*.f64 im im))
(/.f64 (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 im (*.f64 im im))) im)
(pow.f64 im #s(literal 2 binary64))
(pow.f64 (*.f64 im im) #s(literal 1 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 im))
(*.f64 im im)
(.f64 (.f64 im im) (/.f64 (.f64 im im) (.f64 im im)))
(.f64 (.f64 im im) (/.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 im (.f64 im im)))))
(.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 #s(literal 1 binary64) (*.f64 im im)))
(.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 (.f64 im im) (.f64 im (.f64 im (.f64 im im)))))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im))))
(.f64 (.f64 im (.f64 im im)) (/.f64 im (.f64 im im)))
(.f64 (.f64 im (.f64 im im)) (/.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))
(.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (/.f64 #s(literal 1 binary64) (.f64 im (.f64 im (*.f64 im im)))))
(.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (*.f64 im im)))))
(.f64 (sqrt.f64 im) (.f64 (sqrt.f64 im) im))
(.f64 (/.f64 im im) (/.f64 (.f64 im (*.f64 im im)) im))
(.f64 (/.f64 (.f64 im (*.f64 im im)) im) (/.f64 im im))
(.f64 (/.f64 (.f64 im (.f64 im im)) im) (/.f64 (.f64 im (.f64 im im)) (.f64 im (*.f64 im im))))
(.f64 (/.f64 (.f64 im im) im) (/.f64 (*.f64 im im) im))
(.f64 (/.f64 (.f64 im im) im) (/.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (*.f64 im im))))
(.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 im im))) (/.f64 (*.f64 im im) im))
(.f64 (/.f64 (.f64 im im) (.f64 im im)) (.f64 im im))
(.f64 (/.f64 (.f64 im im) (.f64 im (.f64 im im))) (/.f64 (.f64 im (.f64 im (*.f64 im im))) im))
(.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) im) (/.f64 (.f64 im im) (.f64 im (*.f64 im im))))
(.f64 (/.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (/.f64 (.f64 im (*.f64 im im)) im))
(.f64 (.f64 im (sqrt.f64 im)) (sqrt.f64 im))
(.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 im (.f64 im (.f64 im im))))
(.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 im (.f64 im (.f64 im im))))
(.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im))))) (.f64 im im))
(.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im))))) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im))))
(.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (.f64 im (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(.f64 (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))
(.f64 (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 im (.f64 im (.f64 im im))))
(.f64 (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (-.f64 #s(literal 0 binary64) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))))
(+.f64 (-.f64 #s(literal 0 binary64) (*.f64 im im)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))
(-.f64 (-.f64 #s(literal 0 binary64) (*.f64 im im)) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(fma.f64 im (-.f64 #s(literal 0 binary64) im) #s(literal 0 binary64))
(fma.f64 (*.f64 im im) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 im im) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) im) im #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (/.f64 #s(literal 1 binary64) (.f64 im (.f64 im (.f64 im im)))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (/.f64 #s(literal 1 binary64) (.f64 im im)) #s(literal 0 binary64))
(neg.f64 (*.f64 im im))
(/.f64 (*.f64 im im) #s(literal -1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im)))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 im (.f64 im (.f64 im im))))
(/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (.f64 im im))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im))) #s(literal 1 binary64)))
(/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 (.f64 im im) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im im))) im)
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))))
(/.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im))) (/.f64 #s(literal 1 binary64) (.f64 im (.f64 im (.f64 im im)))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))
(/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) #s(literal 1 binary64)) (.f64 (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 im (.f64 im (*.f64 im im)))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) #s(literal 1 binary64)) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 im (.f64 im (*.f64 im im)))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) #s(literal 1 binary64)) (.f64 (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (*.f64 im im)))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) #s(literal 1 binary64)) (.f64 (.f64 im (.f64 im im)) (.f64 im (*.f64 im im))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) #s(literal 1 binary64)) (.f64 im (.f64 im (*.f64 im im))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) #s(literal 1 binary64)) (*.f64 im im))
(/.f64 (/.f64 (.f64 im (.f64 im (*.f64 im im))) im) (-.f64 #s(literal 0 binary64) im))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 im im)) im) im)
(/.f64 (.f64 im (-.f64 #s(literal 0 binary64) (.f64 im im))) im)
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (/.f64 #s(literal 1 binary64) (.f64 im (.f64 im (.f64 im im))))) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (/.f64 #s(literal 1 binary64) (.f64 im (.f64 im (.f64 im im))))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (/.f64 #s(literal 1 binary64) (.f64 im im))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (/.f64 #s(literal 1 binary64) (.f64 im im))) (.f64 im (.f64 im (.f64 im im))))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (*.f64 im im)))) im) im)
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) im) (.f64 im (*.f64 im im)))
(/.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) #s(literal -1 binary64)) (.f64 im im))
(/.f64 (/.f64 (.f64 im (.f64 im (*.f64 im im))) (-.f64 #s(literal 0 binary64) im)) im)
(/.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im))))) (/.f64 #s(literal 1 binary64) (*.f64 im im)))
(pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im))) #s(literal -1 binary64))
(*.f64 im (-.f64 #s(literal 0 binary64) im))
(.f64 (.f64 im im) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (.f64 im im))
(*.f64 (-.f64 #s(literal 0 binary64) im) im)
(.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (/.f64 #s(literal 1 binary64) (.f64 im (.f64 im (*.f64 im im)))))
(.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im))))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (/.f64 #s(literal 1 binary64) (*.f64 im im)))
(.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (*.f64 im im))))))
(.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (.f64 im im))) (.f64 im (.f64 im (*.f64 im im))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 im (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (*.f64 im im)))))
(.f64 (/.f64 #s(literal 1 binary64) (.f64 im im)) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (*.f64 im im)))))
(.f64 (sqrt.f64 im) (.f64 (sqrt.f64 im) (-.f64 #s(literal 0 binary64) im)))
(.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 im im))))
(.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))))
(.f64 (.f64 (-.f64 #s(literal 0 binary64) im) (sqrt.f64 im)) (sqrt.f64 im))
(.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im))))) (-.f64 #s(literal 0 binary64) (.f64 im im)))
(.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im))))) (.f64 im im))
(.f64 (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (-.f64 #s(literal 0 binary64) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))) (.f64 im (.f64 im (.f64 im im))))
(.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))
(.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))))) (.f64 im (.f64 im (.f64 im im))))
(.f64 (/.f64 (-.f64 #s(literal 0 binary64) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))) (-.f64 #s(literal 0 binary64) (.f64 im (.f64 im (.f64 im im)))))
(.f64 (/.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (-.f64 #s(literal 0 binary64) (.f64 (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im))) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))) (.f64 (.f64 im im) (.f64 (.f64 im (.f64 im im)) (.f64 im (.f64 im im)))))
(.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (.f64 im (.f64 im (.f64 im im)))) (-.f64 #s(literal 0 binary64) (.f64 im im)))

simplify15.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

40×	`sum3-define`
32×	`fma-define`
18×	`fma-lowering-fma.f32`
18×	`fma-lowering-fma.f64`
16×	`+-lowering-+.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	84
1	8	60
2	18	60
3	20	60
4	23	60
5	37	60
6	55	60
7	64	60
8	77	60
9	101	60
0	101	60

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 24

Calls

Call 1

Inputs
(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)
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))
(* -1 (pow im 2))

Outputs
(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)
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(* -1 (pow im 2))
(-.f64 #s(literal 0 binary64) (*.f64 im im))

eval14.0ms (0.6%)

Compiler: Compiled 2836 to 306 computations (89.2% saved)

prune20.0ms (0.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	162	3	165

Accuracy

100.0%

Counts

165 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	96.5%	(-.f64 (.f64 re re) (.f64 im im))
✓	49.5%	(*.f64 re re)
✓	54.2%	(neg.f64 (*.f64 im im))

Compiler

Compiled 41 to 20 computations (51.2% saved)

regimes13.0ms (0.6%)

Counts

4 → 2

Calls

Call 1

Inputs
(*.f64 re re)
(neg.f64 (*.f64 im im))
(-.f64 #s(literal 0 binary64) (*.f64 im im))
(-.f64 (.f64 re re) (.f64 im im))

Outputs
(-.f64 (.f64 re re) (.f64 im im))
(neg.f64 (*.f64 im im))

Calls

5 calls:

5.0ms	(*.f64 im im)
2.0ms	re
2.0ms	im
2.0ms	(-.f64 (.f64 re re) (.f64 im im))
2.0ms	(*.f64 re re)

Results

Accuracy	Segments	Branch
98.0%	2	`re`
98.4%	2	`im`
98.4%	2	`(-.f64 (.f64 re re) (.f64 im im))`
98.0%	2	`(*.f64 re re)`
98.4%	2	`(*.f64 im im)`

Compiler

Compiled 25 to 15 computations (40% saved)

regimes7.0ms (0.3%)

Counts

3 → 2

Calls

Call 1

Inputs
(*.f64 re re)
(neg.f64 (*.f64 im im))
(-.f64 #s(literal 0 binary64) (*.f64 im im))

Outputs
(neg.f64 (*.f64 im im))
(*.f64 re re)

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
79.9%	2	`re`
79.9%	2	`(*.f64 re re)`
78.3%	2	`im`
78.3%	2	`(*.f64 im im)`

Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes7.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 re re)

Outputs
(*.f64 re re)

Calls

3 calls:

4.0ms	im
1.0ms	re
1.0ms	(*.f64 re re)

Results

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

bsearch8.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
8.0ms	1.908909377530253e+300	2.2370505461820117e+302

Results

4.0ms

112×

valid

Compiler

Compiled 105 to 72 computations (31.4% saved)

Precisions

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

ival-sub: 1.0ms (61.5% of total)

ival-mult: 1.0ms (61.5% of total)

const: 0.0ms (0% of total)

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

bsearch9.0ms (0.4%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
9.0ms	3.070192068223197e-89	6.730328280477576e-86

Results

5.0ms

128×

valid

Compiler

Compiled 102 to 73 computations (28.4% saved)

Precisions

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

ival-sub: 1.0ms (53.9% of total)

ival-mult: 1.0ms (53.9% of total)

const: 0.0ms (0% of total)

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

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
6×	`sub-neg_binary64`
4×	`*-commutative_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	21	33
2	26	33
3	29	33
4	30	33

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 (*.f64 im im) #s(literal 220000000000000009171820202580519554238083090803954117871471582757565406268324828167496651061051532417345674449384292255249397047470537845914517887781226403761316254440015275569569306718917581504762913976817196995535132936810581463908025672407023207756078628982559572605113278557252944592376510015340544 binary64)) (-.f64 (*.f64 re re) (*.f64 im im)) (neg.f64 (*.f64 im im)))

(if (<=.f64 (*.f64 re re) #s(literal 3762771166858711/8958978968711216842229769122273777112486581988938598139599956403855167484720643781523509973086428463104 binary64)) (neg.f64 (*.f64 im im)) (*.f64 re re))

(*.f64 re re)

Outputs
(if (<=.f64 (.f64 im im) #s(literal 220000000000000009171820202580519554238083090803954117871471582757565406268324828167496651061051532417345674449384292255249397047470537845914517887781226403761316254440015275569569306718917581504762913976817196995535132936810581463908025672407023207756078628982559572605113278557252944592376510015340544 binary64)) (-.f64 (.f64 re re) (.f64 im im)) (neg.f64 (.f64 im im)))
(if (<=.f64 (.f64 im im) #s(literal 220000000000000009171820202580519554238083090803954117871471582757565406268324828167496651061051532417345674449384292255249397047470537845914517887781226403761316254440015275569569306718917581504762913976817196995535132936810581463908025672407023207756078628982559572605113278557252944592376510015340544 binary64)) (-.f64 (.f64 re re) (.f64 im im)) (.f64 im (-.f64 #s(literal 0 binary64) im)))
(if (<=.f64 (.f64 re re) #s(literal 3762771166858711/8958978968711216842229769122273777112486581988938598139599956403855167484720643781523509973086428463104 binary64)) (neg.f64 (.f64 im im)) (*.f64 re re))
(if (<=.f64 (.f64 re re) #s(literal 3762771166858711/8958978968711216842229769122273777112486581988938598139599956403855167484720643781523509973086428463104 binary64)) (.f64 im (-.f64 #s(literal 0 binary64) im)) (*.f64 re re))
(*.f64 re re)

soundness485.0ms (20.9%)

Rules

2156×	`-lowering-.f32`
2156×	`-lowering-.f64`
1684×	`sum4-define`
1286×	`sum3-define`
1232×	`sum5-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	29	7
2	199	7
0	1945	7
0	17	219
1	40	153
2	125	153
3	522	153
4	1924	153
5	3950	153
0	8170	153

Stop Event

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

Compiler

Compiled 73 to 38 computations (47.9% saved)

preprocess24.0ms (1%)

Remove

(abs im)

(abs re)

Compiler

Compiled 172 to 82 computations (52.3% saved)

math.square on complex, real part

analyze0.0ms (0%)

sample557.0ms (24%)

preprocess182.0ms (7.9%)

explain57.0ms (2.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify114.0ms (4.9%)

localize29.0ms (1.3%)

series2.0ms (0.1%)

rewrite323.0ms (13.9%)

simplify115.0ms (4.9%)

eval28.0ms (1.2%)

prune28.0ms (1.2%)

simplify6.0ms (0.3%)

localize24.0ms (1%)

series0.0ms (0%)

rewrite75.0ms (3.3%)

simplify9.0ms (0.4%)

eval16.0ms (0.7%)

prune35.0ms (1.5%)

simplify6.0ms (0.2%)

localize17.0ms (0.7%)

series0.0ms (0%)

rewrite82.0ms (3.5%)

simplify15.0ms (0.7%)

eval14.0ms (0.6%)

prune20.0ms (0.9%)

regimes13.0ms (0.6%)

regimes7.0ms (0.3%)

regimes7.0ms (0.3%)

bsearch8.0ms (0.4%)

bsearch9.0ms (0.4%)

simplify8.0ms (0.3%)

soundness485.0ms (20.9%)

preprocess24.0ms (1%)

end0.0ms (0%)

Profiling