Details

analyze40.0ms (1.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
33.3%	25%	50%	0.1%	25%	0%	0%	6
44.4%	25%	31.2%	0.1%	43.7%	0%	0%	7
55.6%	31.2%	25%	0.1%	43.7%	0%	0%	8
69.4%	39%	17.2%	0.1%	43.7%	0%	0%	9
76.4%	42.9%	13.3%	0.1%	43.7%	0%	0%	10
84%	47.2%	9%	0.1%	43.7%	0%	0%	11
87.8%	49.4%	6.8%	0.1%	43.7%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample1.4s (41.4%)

Results

1.4s	8256×	body	256	valid
0.0ms	4×	body	256	infinite

Bogosity

preprocess119.0ms (3.4%)

Algorithm

2×	egg-herbie

Rules

1094×	`rational.json-simplify-2`
918×	`rational.json-simplify-44`
902×	`rational.json-simplify-37`
828×	`rational.json-simplify-39`
818×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	38
1	11	38
2	20	38
3	58	38
4	362	38
5	3944	38
6	6227	38
7	7329	38
0	2	2
1	2	2

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(+.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 im im) (.f64 re re))

Outputs
(+.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))

Symmetry

(sort re im)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify114.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1094×	`rational.json-simplify-2`
918×	`rational.json-simplify-44`
902×	`rational.json-simplify-37`
828×	`rational.json-simplify-39`
818×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	11	19
2	20	19
3	58	19
4	362	19
5	3944	19
6	6227	19
7	7329	19

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(+.f64 (.f64 re re) (.f64 im im))

Outputs
(+.f64 (.f64 re re) (.f64 im im))

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	re	@	0	(+.f64 (.f64 re re) (.f64 im im))
0.0ms	im	@	0	(+.f64 (.f64 re re) (.f64 im im))
0.0ms	re	@	inf	(+.f64 (.f64 re re) (.f64 im im))
0.0ms	im	@	inf	(+.f64 (.f64 re re) (.f64 im im))
0.0ms	re	@	-inf	(+.f64 (.f64 re re) (.f64 im im))

rewrite79.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

2042×	`rational.json-1`
2042×	`rational.json-2`
2042×	`rational.json-3`
1250×	`rational.json-simplify-35`
832×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	48	19
2	122	19
3	355	19
4	1852	19
5	6479	19

Stop Event

1×	node limit

Counts

1 → 43

Calls

Call 1

Inputs
(+.f64 (.f64 re re) (.f64 im im))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 re re) (.f64 im im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 re re) (.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 re re) (.f64 im im)) (fabs.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 re re) (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (fabs.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))) (+.f64 (.f64 re re) (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 re re) (.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 re re) (.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 (.f64 re re) (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 re re) (.f64 im im)) (fabs.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 (.f64 re re) (.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (fabs.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (+.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 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (fabs.f64 (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2) (+.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 (.f64 re re) (.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 (.f64 re re) (.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))) (+.f64 (.f64 re re) (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (+.f64 (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im)))) (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (fabs.f64 (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (+.f64 (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))) (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))) (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))) (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (+.f64 (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))) (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))) (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4)) (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))) (+.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))) (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))) (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))) (+.f64 (.f64 re re) (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))) (-.f64 0 (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (fabs.f64 (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 re re) (.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (+.f64 (.f64 re re) (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (fabs.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (fabs.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))) (+.f64 (*.f64 re re) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 re re) (*.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 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (fabs.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 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (fabs.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (+.f64 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im))) (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (+.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 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (fabs.f64 (+.f64 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im))) (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) (+.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 (*.f64 re re) (*.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 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))) (+.f64 (*.f64 re re) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (/.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 4) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (+.f64 (+.f64 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im))) (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))) (+.f64 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im))) (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (fabs.f64 (/.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 4) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 8 (+.f64 (/.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 4) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im)))) (/.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 4) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re)))) (+.f64 (*.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 4)) (*.f64 2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (+.f64 (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))))) (neg.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (+.f64 (*.f64 re re) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im))))) (-.f64 0 (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re)))) (fabs.f64 (*.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))))))

simplify128.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

2050×	`rational.json-simplify-35`
1146×	`rational.json-simplify-2`
1064×	`rational.json-simplify-43`
890×	`rational.json-simplify-40`
538×	`rational.json-simplify-38`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	101	1201
1	283	1201
2	1430	1201
3	4554	1201

Stop Event

1×	node limit

Counts

67 → 48

Calls

Call 1

Inputs
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(-.f64 (+.f64 (.f64 re re) (.f64 im im)) 0)
(.f64 (+.f64 (.f64 re re) (*.f64 im im)) 1)
(.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 (.f64 re re) (.f64 im im)) (fabs.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (*.f64 im im)))))
(.f64 1 (+.f64 (.f64 re re) (*.f64 im im)))
(.f64 2 (/.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2))
(.f64 2 (fabs.f64 (/.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2)))
(.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2) 1/2)
(.f64 1/2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2))
(.f64 (/.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2) 2)
(.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 re re) (.f64 im im)) 1)
(/.f64 (+.f64 (.f64 re re) (.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 (.f64 re re) (.f64 im im)))))
(/.f64 (+.f64 (.f64 re re) (.f64 im im)) (fabs.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 (.f64 re re) (.f64 im im))))))
(/.f64 1 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (*.f64 im im)))))
(/.f64 1 (fabs.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 2 (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im)))))
(/.f64 2 (+.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 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))))
(/.f64 2 (fabs.f64 (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))))))
(/.f64 (.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2) (+.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 (.f64 re re) (.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 (.f64 re re) (*.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 4 (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))))
(/.f64 4 (+.f64 (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im)))) (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))))))
(/.f64 4 (fabs.f64 (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))))
(/.f64 (.f64 (+.f64 (.f64 re re) (*.f64 im im)) 4) 4)
(/.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))
(/.f64 8 (+.f64 (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))) (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))) (.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4)) 8)
(/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))) (neg.f64 (+.f64 (.f64 re re) (*.f64 im im))))
(/.f64 (+.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (+.f64 (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))) (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))) (.f64 (+.f64 (.f64 re re) (*.f64 im im)) 4))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4)) (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4))) 16)
(/.f64 (+.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))) (+.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))) (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))))
(/.f64 (neg.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))) (neg.f64 (.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2)))
(/.f64 (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))) (+.f64 (.f64 re re) (*.f64 im im)))
(/.f64 (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))) (-.f64 0 (neg.f64 (+.f64 (.f64 re re) (*.f64 im im)))))
(/.f64 (fabs.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (fabs.f64 (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))
(pow.f64 (+.f64 (.f64 re re) (.f64 im im)) 1)
(fabs.f64 (+.f64 (.f64 re re) (.f64 im im)))
(fabs.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))
(fabs.f64 (-.f64 0 (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))))

Outputs
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(-.f64 (+.f64 (.f64 re re) (.f64 im im)) 0)
(+.f64 (.f64 re re) (.f64 im im))
(.f64 (+.f64 (.f64 re re) (*.f64 im im)) 1)
(+.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 re) (.f64 im im))
(.f64 (+.f64 (.f64 re re) (.f64 im im)) (fabs.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (*.f64 im im)))))
(+.f64 (.f64 re re) (.f64 im im))
(.f64 1 (+.f64 (.f64 re re) (*.f64 im im)))
(+.f64 (.f64 re re) (.f64 im im))
(.f64 2 (/.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2))
(+.f64 (.f64 re re) (.f64 im im))
(.f64 2 (fabs.f64 (/.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2)))
(+.f64 (.f64 re re) (.f64 im im))
(.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2) 1/2)
(+.f64 (.f64 re re) (.f64 im im))
(.f64 1/2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2))
(+.f64 (.f64 re re) (.f64 im im))
(.f64 (/.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2) 2)
(+.f64 (.f64 re re) (.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 re re) (.f64 im im))
(/.f64 (+.f64 (.f64 re re) (.f64 im im)) 1)
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (+.f64 (.f64 re re) (.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 (.f64 re re) (.f64 im im)))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (+.f64 (.f64 re re) (.f64 im im)) (fabs.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 (.f64 re re) (.f64 im im))))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 1 (/.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 re) (.f64 im im))
(/.f64 1 (fabs.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 (.f64 re re) (.f64 im im))
(/.f64 2 (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im)))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 2 (+.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 (+.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 re) (.f64 im im))
(/.f64 2 (fabs.f64 (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2) 2)
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 2) (+.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 (.f64 re re) (.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 (.f64 re re) (*.f64 im im))))))
(+.f64 (.f64 re re) (.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 re re) (.f64 im im))
(/.f64 4 (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 4 (+.f64 (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im)))) (+.f64 (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (+.f64 (.f64 re re) (.f64 im im))))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 4 (fabs.f64 (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.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 re re) (*.f64 im im)) 4) 4)
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 8 (+.f64 (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))) (/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))) (.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4)) 8)
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))) (neg.f64 (+.f64 (.f64 re re) (*.f64 im im))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (+.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (+.f64 (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im)))) (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))) (.f64 (+.f64 (.f64 re re) (*.f64 im im)) 4))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4)) (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) 4))) 16)
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (+.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))) (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))) (+.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))) (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (neg.f64 (.f64 2 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (+.f64 (.f64 re re) (.f64 im im))))) (neg.f64 (.f64 (+.f64 (.f64 re re) (*.f64 im im)) 2)))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))) (+.f64 (.f64 re re) (*.f64 im im)))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (neg.f64 (.f64 (+.f64 (.f64 re re) (.f64 im im)) (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))) (-.f64 0 (neg.f64 (+.f64 (.f64 re re) (*.f64 im im)))))
(+.f64 (.f64 re re) (.f64 im im))
(/.f64 (fabs.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (fabs.f64 (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))
(+.f64 (.f64 re re) (.f64 im im))
(pow.f64 (+.f64 (.f64 re re) (.f64 im im)) 1)
(+.f64 (.f64 re re) (.f64 im im))
(fabs.f64 (+.f64 (.f64 re re) (.f64 im im)))
(+.f64 (.f64 re re) (.f64 im im))
(fabs.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))))
(+.f64 (.f64 re re) (.f64 im im))
(fabs.f64 (-.f64 0 (neg.f64 (+.f64 (.f64 re re) (.f64 im im)))))
(+.f64 (.f64 re re) (.f64 im im))

eval74.0ms (2.1%)

Compiler: Compiled 1080 to 230 computations (78.7% saved)

prune7.0ms (0.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	47	1	48
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	2	49

Error

0.0b

Counts

49 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	41.4b	(/.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))
✓	0.0b	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 34 to 20 computations (41.2% saved)

localize20.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1 (*.f64 im im))
✓	0.2b	(/.f64 1 (*.f64 re re))
✓	5.7b	(.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))
✓	40.0b	(/.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))

Compiler

Compiled 66 to 30 computations (54.5% saved)

series5.0ms (0.2%)

Counts

4 → 72

Calls

18 calls:

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

rewrite214.0ms (6.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1188×	`exponential.json-3`
1188×	`rational.json-1`
1188×	`rational.json-2`
1188×	`rational.json-4`
1188×	`rational.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	100
1	108	70
2	376	70
3	2108	70

Stop Event

1×	node limit

Counts

4 → 189

Calls

Call 1

Inputs
(/.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))
(.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))
(/.f64 1 (*.f64 re re))
(/.f64 1 (*.f64 im im))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 im im) (.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 re re) (.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 (.f64 im im) (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 im im) (.f64 re re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 im im) (.f64 re re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 im im) (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 im im) (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 re (/.f64 re (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 re (/.f64 1 (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 re re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 im im) (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 im im) (.f64 re re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 im im) (.f64 re re)) (/.f64 1 (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 im im) (.f64 re re)) (fabs.f64 (/.f64 1 (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 im im) (.f64 re re)) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 re (+.f64 re re)) (/.f64 1 (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 re (+.f64 re re)) (fabs.f64 (/.f64 1 (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2) (/.f64 1 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2) (fabs.f64 (/.f64 1 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 re re) (/.f64 re (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fabs.f64 re) (/.f64 (fabs.f64 re) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fabs.f64 re) (fabs.f64 (/.f64 re (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fabs.f64 re) (fabs.f64 (/.f64 1 (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fabs.f64 re) (fabs.f64 (/.f64 (fabs.f64 re) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 re (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))) re)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re)))) (+.f64 (.f64 im im) (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))) re)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (fabs.f64 re) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))) (fabs.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))) (.f64 re (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 re (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))) (+.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2)) (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (fabs.f64 re)) (fabs.f64 (/.f64 re (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 im im) (.f64 re re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (+.f64 (.f64 im im) (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (+.f64 (.f64 im im) (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 im im) (neg.f64 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 re re) (neg.f64 (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (neg.f64 (.f64 re re)) (neg.f64 (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (neg.f64 (.f64 (.f64 im im) (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 (.f64 im im) (neg.f64 (.f64 re re))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 (.f64 re re) (neg.f64 (.f64 im im))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (.f64 (neg.f64 (.f64 re re)) (neg.f64 (.f64 im im))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 (neg.f64 (.f64 (.f64 im im) (.f64 re re))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (.f64 re re)) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (+.f64 (.f64 im im) (.f64 re re))) (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (.f64 re (+.f64 re re))) (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (fabs.f64 re) (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 re) (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 im im) (neg.f64 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 re re) (neg.f64 (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (.f64 (neg.f64 (.f64 re re)) (neg.f64 (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (neg.f64 (.f64 (.f64 im im) (.f64 re re)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (.f64 (.f64 im im) (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 im im) (/.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 1 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 im im) (fabs.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (.f64 im im)) (.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (.f64 im im)) (-.f64 0 (neg.f64 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (.f64 im im)) (/.f64 (.f64 re (neg.f64 re)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (.f64 im im)) (fabs.f64 (/.f64 -1 (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 re re) (/.f64 (.f64 re (.f64 re (.f64 re re))) (/.f64 1 (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 re re) (fabs.f64 (/.f64 (.f64 re (.f64 re (.f64 re re))) (/.f64 1 (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (.f64 re re)) (.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (.f64 re re)) (-.f64 0 (neg.f64 (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (.f64 re re)) (/.f64 (.f64 im (neg.f64 im)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (.f64 re re)) (fabs.f64 (/.f64 -1 (/.f64 1 (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (.f64 (+.f64 re re) (.f64 im (.f64 im re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 re) (.f64 im (.f64 im re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 im) (.f64 im (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 im) (/.f64 im (/.f64 1 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 (.f64 im im)) 2) (.f64 re (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 (.f64 im im)) 2) (/.f64 2 (/.f64 1 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 (.f64 im im)) 2) (fabs.f64 (/.f64 2 (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 (.f64 re re)) 2) (.f64 im (+.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 (.f64 re re)) 2) (/.f64 2 (/.f64 1 (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 (.f64 re re)) 2) (fabs.f64 (/.f64 2 (/.f64 1 (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 4 (.f64 (.f64 im im) (.f64 re (.f64 re 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (/.f64 1 re)) (.f64 (.f64 im im) (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (/.f64 1 im)) (.f64 (.f64 re re) (+.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (.f64 (.f64 re re) (neg.f64 (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (.f64 (.f64 im im) (neg.f64 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (.f64 (.f64 im im) (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 1 (.f64 im im))) (neg.f64 (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 1 (.f64 im im))) (/.f64 -1 (/.f64 1 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 1 (.f64 re re))) (neg.f64 (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 1 (.f64 re re))) (/.f64 -1 (/.f64 1 (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 1 re)) (.f64 (.f64 im im) (neg.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 1 re)) (-.f64 0 (.f64 im (.f64 im re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 1 im)) (.f64 (.f64 re re) (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 (.f64 re re)) (.f64 im (+.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 1 im) (.f64 re re)) im)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 4 (.f64 re re)) (.f64 im (.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 2 (/.f64 1 im)) (.f64 re re)) (+.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 -1 (.f64 re re)) (neg.f64 (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (neg.f64 (/.f64 1 im)) (.f64 re re)) (neg.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 (.f64 im im)) (.f64 re (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 1 re) (.f64 im im)) re)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 4 (.f64 im im)) (.f64 re (.f64 re 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 2 (/.f64 1 re)) (.f64 im im)) (+.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 -1 (.f64 im im)) (neg.f64 (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (neg.f64 (/.f64 1 re)) (.f64 im im)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 1 (.f64 im im)) re) re)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 1 (.f64 im im)) (fabs.f64 re)) (fabs.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 1 (.f64 re re)) im) im)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 1 (.f64 re re)) (fabs.f64 im)) (fabs.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 im im) (.f64 re re))) (/.f64 1 (.f64 (.f64 im im) (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (fabs.f64 re)) (.f64 (.f64 im im) (fabs.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (fabs.f64 im)) (.f64 (.f64 re re) (fabs.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (fabs.f64 im)) (fabs.f64 (/.f64 im (/.f64 1 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re)))) (neg.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))))) (/.f64 1 (.f64 (.f64 im im) (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (/.f64 1 (.f64 re re)) 2)) (neg.f64 (.f64 im (+.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (/.f64 1 (.f64 im im)) 2)) (neg.f64 (.f64 re (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 2 (.f64 re re))) (neg.f64 (.f64 im (+.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (/.f64 1 im) (.f64 re re))) (neg.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 4 (.f64 re re))) (-.f64 0 (.f64 im (.f64 im 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (.f64 2 (/.f64 1 im)) (.f64 re re))) (-.f64 0 (+.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 -1 (.f64 re re))) (.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 -1 (.f64 re re))) (-.f64 0 (neg.f64 (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 im)) (.f64 re re))) im)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 im)) (.f64 re re))) (-.f64 0 (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 2 (.f64 im im))) (neg.f64 (.f64 re (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (/.f64 1 re) (.f64 im im))) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 4 (.f64 im im))) (-.f64 0 (.f64 re (.f64 re 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (.f64 2 (/.f64 1 re)) (.f64 im im))) (-.f64 0 (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 -1 (.f64 im im))) (.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 -1 (.f64 im im))) (-.f64 0 (neg.f64 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 re)) (.f64 im im))) re)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 re)) (.f64 im im))) (-.f64 0 (neg.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (/.f64 1 (.f64 im im)) re)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (/.f64 1 (.f64 im im)) (fabs.f64 re))) (-.f64 0 (fabs.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (/.f64 1 (.f64 re re)) im)) (neg.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (/.f64 (/.f64 1 (.f64 re re)) (fabs.f64 im))) (-.f64 0 (fabs.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (.f64 2 (/.f64 1 im))) (fabs.f64 (.f64 (.f64 re re) (+.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (.f64 2 (/.f64 1 re))) (fabs.f64 (.f64 (.f64 im im) (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 2 (.f64 re re))) (.f64 im (+.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 (/.f64 1 im) (.f64 re re))) (fabs.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 4 (.f64 re re))) (.f64 im (.f64 im 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 (.f64 2 (/.f64 1 im)) (.f64 re re))) (.f64 2 (fabs.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 -1 (.f64 re re))) (.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 (neg.f64 (/.f64 1 im)) (.f64 re re))) (fabs.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 2 (.f64 im im))) (.f64 re (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 (/.f64 1 re) (.f64 im im))) (fabs.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 4 (.f64 im im))) (.f64 re (.f64 re 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 (.f64 2 (/.f64 1 re)) (.f64 im im))) (.f64 2 (fabs.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 -1 (.f64 im im))) (.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 (neg.f64 (/.f64 1 re)) (.f64 im im))) (fabs.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 (/.f64 1 (.f64 im im)) re)) (fabs.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 (/.f64 1 (.f64 im im)) (fabs.f64 re))) (fabs.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 (/.f64 1 (.f64 re re)) im)) (fabs.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fabs.f64 (/.f64 (/.f64 1 (.f64 re re)) (fabs.f64 im))) (fabs.f64 im))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (neg.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (.f64 re re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (.f64 re re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 1 (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 re re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 re) (/.f64 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (fabs.f64 re)) (/.f64 1 (fabs.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (.f64 re re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 1 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 1 (.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (/.f64 1 (.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 re re) (.f64 (.f64 re re) (neg.f64 (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (.f64 re re)) (.f64 re (.f64 re (.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (neg.f64 (/.f64 1 (.f64 re re)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (.f64 im im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (.f64 im im)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 1 (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 im) (/.f64 1 im))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (fabs.f64 im)) (/.f64 1 (fabs.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (.f64 im im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 1 (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 1 (.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (/.f64 1 (.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (.f64 im im) (.f64 (.f64 im im) (neg.f64 (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (-.f64 0 (neg.f64 (/.f64 1 (.f64 im im)))))))))

simplify310.0ms (8.9%)

Algorithm

1×	egg-herbie

Rules

1284×	`rational.json-simplify-35`
988×	`rational.json-simplify-44`
908×	`rational.json-simplify-47`
822×	`rational.json-simplify-61`
770×	`rational.json-simplify-39`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	398	6991
1	1548	6931
2	6899	6931

Stop Event

1×	node limit

Counts

261 → 232

Calls

Call 1

Inputs
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))
(+.f64 0 (+.f64 (.f64 im im) (.f64 re re)))
(+.f64 (+.f64 (.f64 im im) (.f64 re re)) 0)
(-.f64 (+.f64 (.f64 im im) (.f64 re re)) 0)
(.f64 1 (+.f64 (.f64 im im) (*.f64 re re)))
(.f64 (.f64 im im) (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(.f64 re (/.f64 re (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(.f64 re (/.f64 1 (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(.f64 (.f64 re re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 im im) (.f64 re re)))
(.f64 (+.f64 (.f64 im im) (*.f64 re re)) 1)
(.f64 (+.f64 (.f64 im im) (.f64 re re)) (/.f64 1 (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (*.f64 re re)))))
(.f64 (+.f64 (.f64 im im) (.f64 re re)) (fabs.f64 (/.f64 1 (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (*.f64 re re))))))
(.f64 (.f64 (.f64 im im) (.f64 re re)) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))
(.f64 (.f64 re (+.f64 re re)) (/.f64 1 (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))
(.f64 (.f64 re (+.f64 re re)) (fabs.f64 (/.f64 1 (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))))
(.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2) (/.f64 1 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2)))
(.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2) (fabs.f64 (/.f64 1 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2))))
(.f64 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (.f64 re re))
(.f64 (+.f64 re re) (/.f64 re (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(.f64 (fabs.f64 re) (/.f64 (fabs.f64 re) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(.f64 (fabs.f64 re) (fabs.f64 (/.f64 re (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))))))
(.f64 (fabs.f64 re) (fabs.f64 (/.f64 1 (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))))))
(.f64 (fabs.f64 re) (fabs.f64 (/.f64 (fabs.f64 re) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))))))
(.f64 (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (.f64 im im))
(.f64 (/.f64 re (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))) re)
(.f64 (/.f64 1 (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re)))) (+.f64 (.f64 im im) (*.f64 re re)))
(.f64 (/.f64 1 (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))) re)
(.f64 (/.f64 (fabs.f64 re) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))) (fabs.f64 re))
(.f64 (/.f64 1 (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))) (.f64 re (+.f64 re re)))
(.f64 (/.f64 re (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))) (+.f64 re re))
(.f64 (/.f64 1 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2)) (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2))
(.f64 (.f64 2 (fabs.f64 re)) (fabs.f64 (/.f64 re (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))))
(pow.f64 (+.f64 (.f64 im im) (.f64 re re)) 1)
(fabs.f64 (+.f64 (.f64 im im) (.f64 re re)))
(fabs.f64 (neg.f64 (+.f64 (.f64 im im) (.f64 re re))))
(fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 im im) (neg.f64 (.f64 re re)))))
(fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 re re) (neg.f64 (.f64 im im)))))
(fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (neg.f64 (.f64 re re)) (neg.f64 (.f64 im im)))))
(fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (neg.f64 (.f64 (.f64 im im) (.f64 re re)))))
(fabs.f64 (.f64 (.f64 (.f64 im im) (neg.f64 (.f64 re re))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(fabs.f64 (.f64 (.f64 (.f64 re re) (neg.f64 (.f64 im im))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(fabs.f64 (.f64 (.f64 (neg.f64 (.f64 re re)) (neg.f64 (.f64 im im))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(fabs.f64 (.f64 (neg.f64 (.f64 (.f64 im im) (.f64 re re))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(fabs.f64 (/.f64 (neg.f64 (.f64 re re)) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(fabs.f64 (/.f64 (neg.f64 (+.f64 (.f64 im im) (.f64 re re))) (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re)))))
(fabs.f64 (/.f64 (neg.f64 (.f64 re (+.f64 re re))) (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(fabs.f64 (/.f64 (fabs.f64 re) (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))
(fabs.f64 (/.f64 (neg.f64 re) (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))
(fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 im im) (neg.f64 (*.f64 re re)))))
(fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 re re) (neg.f64 (*.f64 im im)))))
(fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (.f64 (neg.f64 (.f64 re re)) (neg.f64 (*.f64 im im)))))
(fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (neg.f64 (.f64 (.f64 im im) (*.f64 re re)))))
(+.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))) 0)
(+.f64 0 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))))
(-.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))) 0)
(/.f64 1 (.f64 (.f64 im im) (*.f64 re re)))
(/.f64 (.f64 im im) (/.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 1 (*.f64 re re))))
(/.f64 (.f64 im im) (fabs.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 1 (*.f64 re re)))))
(/.f64 (/.f64 1 (.f64 im im)) (.f64 re re))
(/.f64 (/.f64 1 (.f64 im im)) (-.f64 0 (neg.f64 (.f64 re re))))
(/.f64 (/.f64 1 (.f64 im im)) (/.f64 (.f64 re (neg.f64 re)) -1))
(/.f64 (/.f64 1 (.f64 im im)) (fabs.f64 (/.f64 -1 (/.f64 1 (.f64 re re)))))
(/.f64 (.f64 re re) (/.f64 (.f64 re (.f64 re (.f64 re re))) (/.f64 1 (*.f64 im im))))
(/.f64 (.f64 re re) (fabs.f64 (/.f64 (.f64 re (.f64 re (.f64 re re))) (/.f64 1 (*.f64 im im)))))
(/.f64 (/.f64 1 (.f64 re re)) (.f64 im im))
(/.f64 (/.f64 1 (.f64 re re)) (-.f64 0 (neg.f64 (.f64 im im))))
(/.f64 (/.f64 1 (.f64 re re)) (/.f64 (.f64 im (neg.f64 im)) -1))
(/.f64 (/.f64 1 (.f64 re re)) (fabs.f64 (/.f64 -1 (/.f64 1 (.f64 im im)))))
(/.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))) 1)
(/.f64 2 (.f64 (+.f64 re re) (.f64 im (*.f64 im re))))
(/.f64 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2) 2)
(/.f64 (/.f64 1 re) (.f64 im (.f64 im re)))
(/.f64 (/.f64 1 im) (.f64 im (.f64 re re)))
(/.f64 (/.f64 1 im) (/.f64 im (/.f64 1 (*.f64 re re))))
(/.f64 (.f64 (/.f64 1 (.f64 im im)) 2) (*.f64 re (+.f64 re re)))
(/.f64 (.f64 (/.f64 1 (.f64 im im)) 2) (/.f64 2 (/.f64 1 (*.f64 re re))))
(/.f64 (.f64 (/.f64 1 (.f64 im im)) 2) (fabs.f64 (/.f64 2 (/.f64 1 (*.f64 re re)))))
(/.f64 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 4) 4)
(/.f64 (.f64 (/.f64 1 (.f64 re re)) 2) (*.f64 im (+.f64 im im)))
(/.f64 (.f64 (/.f64 1 (.f64 re re)) 2) (/.f64 2 (/.f64 1 (*.f64 im im))))
(/.f64 (.f64 (/.f64 1 (.f64 re re)) 2) (fabs.f64 (/.f64 2 (/.f64 1 (*.f64 im im)))))
(/.f64 4 (.f64 (.f64 im im) (.f64 re (.f64 re 4))))
(/.f64 (.f64 2 (/.f64 1 re)) (.f64 (*.f64 im im) (+.f64 re re)))
(/.f64 (.f64 2 (/.f64 1 im)) (.f64 (*.f64 re re) (+.f64 im im)))
(/.f64 -1 (.f64 (.f64 re re) (neg.f64 (*.f64 im im))))
(/.f64 -1 (.f64 (.f64 im im) (neg.f64 (*.f64 re re))))
(/.f64 -1 (neg.f64 (.f64 (.f64 im im) (*.f64 re re))))
(/.f64 (neg.f64 (/.f64 1 (.f64 im im))) (neg.f64 (.f64 re re)))
(/.f64 (neg.f64 (/.f64 1 (.f64 im im))) (/.f64 -1 (/.f64 1 (.f64 re re))))
(/.f64 (neg.f64 (/.f64 1 (.f64 re re))) (neg.f64 (.f64 im im)))
(/.f64 (neg.f64 (/.f64 1 (.f64 re re))) (/.f64 -1 (/.f64 1 (.f64 im im))))
(/.f64 (neg.f64 (/.f64 1 re)) (.f64 (.f64 im im) (neg.f64 re)))
(/.f64 (neg.f64 (/.f64 1 re)) (-.f64 0 (.f64 im (.f64 im re))))
(/.f64 (neg.f64 (/.f64 1 im)) (.f64 (.f64 re re) (neg.f64 im)))
(/.f64 (/.f64 2 (.f64 re re)) (.f64 im (+.f64 im im)))
(/.f64 (/.f64 (/.f64 1 im) (*.f64 re re)) im)
(/.f64 (/.f64 4 (.f64 re re)) (.f64 im (*.f64 im 4)))
(/.f64 (/.f64 (.f64 2 (/.f64 1 im)) (.f64 re re)) (+.f64 im im))
(/.f64 (/.f64 -1 (.f64 re re)) (neg.f64 (.f64 im im)))
(/.f64 (/.f64 (neg.f64 (/.f64 1 im)) (*.f64 re re)) (neg.f64 im))
(/.f64 (/.f64 2 (.f64 im im)) (.f64 re (+.f64 re re)))
(/.f64 (/.f64 (/.f64 1 re) (*.f64 im im)) re)
(/.f64 (/.f64 4 (.f64 im im)) (.f64 re (*.f64 re 4)))
(/.f64 (/.f64 (.f64 2 (/.f64 1 re)) (.f64 im im)) (+.f64 re re))
(/.f64 (/.f64 -1 (.f64 im im)) (neg.f64 (.f64 re re)))
(/.f64 (/.f64 (neg.f64 (/.f64 1 re)) (*.f64 im im)) (neg.f64 re))
(/.f64 (/.f64 (/.f64 1 (*.f64 im im)) re) re)
(/.f64 (/.f64 (/.f64 1 (*.f64 im im)) (fabs.f64 re)) (fabs.f64 re))
(/.f64 (/.f64 (/.f64 1 (*.f64 re re)) im) im)
(/.f64 (/.f64 (/.f64 1 (*.f64 re re)) (fabs.f64 im)) (fabs.f64 im))
(/.f64 (/.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 im im) (.f64 re re))) (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))))
(/.f64 (/.f64 1 (fabs.f64 re)) (.f64 (.f64 im im) (fabs.f64 re)))
(/.f64 (/.f64 1 (fabs.f64 im)) (.f64 (.f64 re re) (fabs.f64 im)))
(/.f64 (/.f64 1 (fabs.f64 im)) (fabs.f64 (/.f64 im (/.f64 1 (*.f64 re re)))))
(/.f64 (.f64 (neg.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re)))) (neg.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))))) (/.f64 1 (.f64 (.f64 im im) (.f64 re re))))
(/.f64 (neg.f64 (.f64 (/.f64 1 (.f64 re re)) 2)) (neg.f64 (*.f64 im (+.f64 im im))))
(/.f64 (neg.f64 (.f64 (/.f64 1 (.f64 im im)) 2)) (neg.f64 (*.f64 re (+.f64 re re))))
(/.f64 (neg.f64 (/.f64 2 (.f64 re re))) (neg.f64 (.f64 im (+.f64 im im))))
(/.f64 (neg.f64 (/.f64 (/.f64 1 im) (*.f64 re re))) (neg.f64 im))
(/.f64 (neg.f64 (/.f64 4 (.f64 re re))) (-.f64 0 (.f64 im (*.f64 im 4))))
(/.f64 (neg.f64 (/.f64 (.f64 2 (/.f64 1 im)) (.f64 re re))) (-.f64 0 (+.f64 im im)))
(/.f64 (neg.f64 (/.f64 -1 (.f64 re re))) (.f64 im im))
(/.f64 (neg.f64 (/.f64 -1 (.f64 re re))) (-.f64 0 (neg.f64 (.f64 im im))))
(/.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 im)) (*.f64 re re))) im)
(/.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 im)) (*.f64 re re))) (-.f64 0 (neg.f64 im)))
(/.f64 (neg.f64 (/.f64 2 (.f64 im im))) (neg.f64 (.f64 re (+.f64 re re))))
(/.f64 (neg.f64 (/.f64 (/.f64 1 re) (*.f64 im im))) (neg.f64 re))
(/.f64 (neg.f64 (/.f64 4 (.f64 im im))) (-.f64 0 (.f64 re (*.f64 re 4))))
(/.f64 (neg.f64 (/.f64 (.f64 2 (/.f64 1 re)) (.f64 im im))) (-.f64 0 (+.f64 re re)))
(/.f64 (neg.f64 (/.f64 -1 (.f64 im im))) (.f64 re re))
(/.f64 (neg.f64 (/.f64 -1 (.f64 im im))) (-.f64 0 (neg.f64 (.f64 re re))))
(/.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 re)) (*.f64 im im))) re)
(/.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 re)) (*.f64 im im))) (-.f64 0 (neg.f64 re)))
(/.f64 (neg.f64 (/.f64 (/.f64 1 (*.f64 im im)) re)) (neg.f64 re))
(/.f64 (neg.f64 (/.f64 (/.f64 1 (*.f64 im im)) (fabs.f64 re))) (-.f64 0 (fabs.f64 re)))
(/.f64 (neg.f64 (/.f64 (/.f64 1 (*.f64 re re)) im)) (neg.f64 im))
(/.f64 (neg.f64 (/.f64 (/.f64 1 (*.f64 re re)) (fabs.f64 im))) (-.f64 0 (fabs.f64 im)))
(/.f64 (fabs.f64 (.f64 2 (/.f64 1 im))) (fabs.f64 (.f64 (*.f64 re re) (+.f64 im im))))
(/.f64 (fabs.f64 (.f64 2 (/.f64 1 re))) (fabs.f64 (.f64 (*.f64 im im) (+.f64 re re))))
(/.f64 (fabs.f64 (/.f64 2 (.f64 re re))) (.f64 im (+.f64 im im)))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 im) (*.f64 re re))) (fabs.f64 im))
(/.f64 (fabs.f64 (/.f64 4 (.f64 re re))) (.f64 im (*.f64 im 4)))
(/.f64 (fabs.f64 (/.f64 (.f64 2 (/.f64 1 im)) (.f64 re re))) (*.f64 2 (fabs.f64 im)))
(/.f64 (fabs.f64 (/.f64 -1 (.f64 re re))) (.f64 im im))
(/.f64 (fabs.f64 (/.f64 (neg.f64 (/.f64 1 im)) (*.f64 re re))) (fabs.f64 im))
(/.f64 (fabs.f64 (/.f64 2 (.f64 im im))) (.f64 re (+.f64 re re)))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 re) (*.f64 im im))) (fabs.f64 re))
(/.f64 (fabs.f64 (/.f64 4 (.f64 im im))) (.f64 re (*.f64 re 4)))
(/.f64 (fabs.f64 (/.f64 (.f64 2 (/.f64 1 re)) (.f64 im im))) (*.f64 2 (fabs.f64 re)))
(/.f64 (fabs.f64 (/.f64 -1 (.f64 im im))) (.f64 re re))
(/.f64 (fabs.f64 (/.f64 (neg.f64 (/.f64 1 re)) (*.f64 im im))) (fabs.f64 re))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 (*.f64 im im)) re)) (fabs.f64 re))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 (*.f64 im im)) (fabs.f64 re))) (fabs.f64 re))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 (*.f64 re re)) im)) (fabs.f64 im))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 (*.f64 re re)) (fabs.f64 im))) (fabs.f64 im))
(pow.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))) 1)
(fabs.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))))
(fabs.f64 (neg.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re)))))
(fabs.f64 (-.f64 0 (neg.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))))))
(+.f64 (/.f64 1 (*.f64 re re)) 0)
(+.f64 0 (/.f64 1 (*.f64 re re)))
(-.f64 (/.f64 1 (*.f64 re re)) 0)
(.f64 1 (/.f64 1 (.f64 re re)))
(.f64 (/.f64 1 (.f64 re re)) 1)
(*.f64 (/.f64 1 re) (/.f64 1 re))
(*.f64 (/.f64 1 (fabs.f64 re)) (/.f64 1 (fabs.f64 re)))
(pow.f64 (/.f64 1 (*.f64 re re)) 1)
(neg.f64 (neg.f64 (/.f64 1 (*.f64 re re))))
(fabs.f64 (/.f64 1 (*.f64 re re)))
(fabs.f64 (neg.f64 (/.f64 1 (*.f64 re re))))
(fabs.f64 (/.f64 (.f64 re re) (.f64 (.f64 re re) (neg.f64 (.f64 re re)))))
(fabs.f64 (/.f64 (neg.f64 (.f64 re re)) (.f64 re (.f64 re (.f64 re re)))))
(fabs.f64 (-.f64 0 (neg.f64 (/.f64 1 (*.f64 re re)))))
(+.f64 (/.f64 1 (*.f64 im im)) 0)
(+.f64 0 (/.f64 1 (*.f64 im im)))
(-.f64 (/.f64 1 (*.f64 im im)) 0)
(.f64 1 (/.f64 1 (.f64 im im)))
(.f64 (/.f64 1 (.f64 im im)) 1)
(*.f64 (/.f64 1 im) (/.f64 1 im))
(*.f64 (/.f64 1 (fabs.f64 im)) (/.f64 1 (fabs.f64 im)))
(pow.f64 (/.f64 1 (*.f64 im im)) 1)
(neg.f64 (neg.f64 (/.f64 1 (*.f64 im im))))
(fabs.f64 (/.f64 1 (*.f64 im im)))
(fabs.f64 (neg.f64 (/.f64 1 (*.f64 im im))))
(fabs.f64 (/.f64 (.f64 im im) (.f64 (.f64 im im) (neg.f64 (.f64 im im)))))
(fabs.f64 (/.f64 (neg.f64 (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))
(fabs.f64 (-.f64 0 (neg.f64 (/.f64 1 (*.f64 im im)))))

Outputs
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (*.f64 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 1 (pow.f64 (*.f64 re im) 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 re 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(/.f64 1 (pow.f64 im 2))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 re re) (.f64 im im))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 0 (+.f64 (.f64 im im) (.f64 re re)))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (+.f64 (.f64 im im) (.f64 re re)) 0)
(+.f64 (.f64 im im) (.f64 re re))
(-.f64 (+.f64 (.f64 im im) (.f64 re re)) 0)
(+.f64 (.f64 im im) (.f64 re re))
(.f64 1 (+.f64 (.f64 im im) (*.f64 re re)))
(+.f64 (.f64 im im) (.f64 re re))
(.f64 (.f64 im im) (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 re (/.f64 re (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 re (/.f64 1 (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (.f64 re re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 im im) (.f64 re re)))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (+.f64 (.f64 im im) (*.f64 re re)) 1)
(+.f64 (.f64 im im) (.f64 re re))
(.f64 (+.f64 (.f64 im im) (.f64 re re)) (/.f64 1 (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (*.f64 re re)))))
(+.f64 (.f64 im im) (.f64 re re))
(.f64 (+.f64 (.f64 im im) (.f64 re re)) (fabs.f64 (/.f64 1 (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(.f64 (.f64 (.f64 im im) (.f64 re re)) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (.f64 re (+.f64 re re)) (/.f64 1 (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))
(.f64 re (.f64 (+.f64 re re) (/.f64 (.f64 (.f64 im im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re)))) 2)))
(.f64 re (.f64 (+.f64 re re) (.f64 (.f64 im im) (/.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))) 2))))
(.f64 (.f64 re (+.f64 re re)) (fabs.f64 (/.f64 1 (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))))
(.f64 re (.f64 (+.f64 re re) (/.f64 (.f64 (.f64 im im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re)))) 2)))
(.f64 re (.f64 (+.f64 re re) (.f64 (.f64 im im) (/.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))) 2))))
(.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2) (/.f64 1 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2)))
(.f64 (.f64 2 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re)))) (/.f64 1 (.f64 2 (/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re)))))
(.f64 2 (.f64 (/.f64 (.f64 (.f64 re im) (.f64 re im)) 2) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re)))))
(.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2) (fabs.f64 (/.f64 1 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2))))
(.f64 (.f64 2 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re)))) (/.f64 1 (.f64 2 (/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re)))))
(.f64 2 (.f64 (/.f64 (.f64 (.f64 re im) (.f64 re im)) 2) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re)))))
(.f64 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (.f64 re re))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (+.f64 re re) (/.f64 re (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(.f64 (+.f64 re re) (/.f64 re (/.f64 (/.f64 2 (.f64 im im)) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(.f64 (+.f64 re re) (.f64 (.f64 im im) (/.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (/.f64 2 re))))
(.f64 (fabs.f64 re) (/.f64 (fabs.f64 re) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (fabs.f64 re) (fabs.f64 (/.f64 re (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (fabs.f64 re) (fabs.f64 (/.f64 1 (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (fabs.f64 re) (fabs.f64 (/.f64 (fabs.f64 re) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re))))))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (.f64 im im))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (/.f64 re (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))) re)
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (/.f64 1 (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re)))) (+.f64 (.f64 im im) (*.f64 re re)))
(+.f64 (.f64 im im) (.f64 re re))
(.f64 (/.f64 1 (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))) re)
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (/.f64 (fabs.f64 re) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))) (fabs.f64 re))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(.f64 (/.f64 1 (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))) (.f64 re (+.f64 re re)))
(.f64 re (.f64 (+.f64 re re) (/.f64 (.f64 (.f64 im im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re)))) 2)))
(.f64 re (.f64 (+.f64 re re) (.f64 (.f64 im im) (/.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))) 2))))
(.f64 (/.f64 re (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))) (+.f64 re re))
(.f64 (+.f64 re re) (/.f64 re (/.f64 (/.f64 2 (.f64 im im)) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(.f64 (+.f64 re re) (.f64 (.f64 im im) (/.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (/.f64 2 re))))
(.f64 (/.f64 1 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2)) (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2))
(.f64 (.f64 2 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re)))) (/.f64 1 (.f64 2 (/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re)))))
(.f64 2 (.f64 (/.f64 (.f64 (.f64 re im) (.f64 re im)) 2) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re)))))
(.f64 (.f64 2 (fabs.f64 re)) (fabs.f64 (/.f64 re (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))))
(.f64 (.f64 2 (fabs.f64 re)) (fabs.f64 (/.f64 re (/.f64 (/.f64 2 (.f64 im im)) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re)))))))
(.f64 2 (.f64 (fabs.f64 re) (fabs.f64 (.f64 (.f64 im im) (/.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))) (/.f64 2 re))))))
(.f64 2 (.f64 (fabs.f64 re) (.f64 (.f64 im im) (fabs.f64 (/.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))) (/.f64 2 re))))))
(pow.f64 (+.f64 (.f64 im im) (.f64 re re)) 1)
(+.f64 (.f64 im im) (.f64 re re))
(fabs.f64 (+.f64 (.f64 im im) (.f64 re re)))
(+.f64 (.f64 im im) (.f64 re re))
(fabs.f64 (neg.f64 (+.f64 (.f64 im im) (.f64 re re))))
(+.f64 (.f64 im im) (.f64 re re))
(fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 im im) (neg.f64 (.f64 re re)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 re re) (neg.f64 (.f64 im im)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (neg.f64 (.f64 re re)) (neg.f64 (.f64 im im)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (neg.f64 (.f64 (.f64 im im) (.f64 re re)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (.f64 (.f64 (.f64 im im) (neg.f64 (.f64 re re))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (.f64 (.f64 (.f64 re re) (neg.f64 (.f64 im im))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (.f64 (.f64 (neg.f64 (.f64 re re)) (neg.f64 (.f64 im im))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (.f64 (neg.f64 (.f64 (.f64 im im) (.f64 re re))) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (/.f64 (neg.f64 (.f64 re re)) (/.f64 1 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (/.f64 (neg.f64 (+.f64 (.f64 im im) (.f64 re re))) (/.f64 (.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re)))))
(+.f64 (.f64 im im) (.f64 re re))
(fabs.f64 (/.f64 (neg.f64 (.f64 re (+.f64 re re))) (/.f64 2 (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (/.f64 (fabs.f64 re) (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (/.f64 (neg.f64 re) (/.f64 (/.f64 1 re) (.f64 (.f64 im im) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 im im) (neg.f64 (*.f64 re re)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 re re) (neg.f64 (*.f64 im im)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (.f64 (neg.f64 (.f64 re re)) (neg.f64 (*.f64 im im)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(fabs.f64 (/.f64 (.f64 (+.f64 (.f64 im im) (.f64 re re)) (.f64 (.f64 im im) (.f64 re re))) (neg.f64 (.f64 (.f64 im im) (*.f64 re re)))))
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 im (*.f64 re im))))
(+.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))) 0)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(+.f64 0 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(-.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))) 0)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 1 (.f64 (.f64 im im) (*.f64 re re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 im im) (/.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 1 (*.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 im im) (fabs.f64 (/.f64 (.f64 im (.f64 im (.f64 im im))) (/.f64 1 (*.f64 re re)))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (.f64 im im)) (.f64 re re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (.f64 im im)) (-.f64 0 (neg.f64 (.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (.f64 im im)) (/.f64 (.f64 re (neg.f64 re)) -1))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (.f64 im im)) (fabs.f64 (/.f64 -1 (/.f64 1 (.f64 re re)))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 re re) (/.f64 (.f64 re (.f64 re (.f64 re re))) (/.f64 1 (*.f64 im im))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 re re) (fabs.f64 (/.f64 (.f64 re (.f64 re (.f64 re re))) (/.f64 1 (*.f64 im im)))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (.f64 re re)) (.f64 im im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (.f64 re re)) (-.f64 0 (neg.f64 (.f64 im im))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (.f64 re re)) (/.f64 (.f64 im (neg.f64 im)) -1))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (.f64 re re)) (fabs.f64 (/.f64 -1 (/.f64 1 (.f64 im im)))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))) 1)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 2 (.f64 (+.f64 re re) (.f64 im (*.f64 im re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 2) 2)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 re) (.f64 im (.f64 im re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 im) (.f64 im (.f64 re re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 im) (/.f64 im (/.f64 1 (*.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 (/.f64 1 (.f64 im im)) 2) (*.f64 re (+.f64 re re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 (/.f64 1 (.f64 im im)) 2) (/.f64 2 (/.f64 1 (*.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 (/.f64 1 (.f64 im im)) 2) (fabs.f64 (/.f64 2 (/.f64 1 (*.f64 re re)))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) 4) 4)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 (/.f64 1 (.f64 re re)) 2) (*.f64 im (+.f64 im im)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 (/.f64 1 (.f64 re re)) 2) (/.f64 2 (/.f64 1 (*.f64 im im))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 (/.f64 1 (.f64 re re)) 2) (fabs.f64 (/.f64 2 (/.f64 1 (*.f64 im im)))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 4 (.f64 (.f64 im im) (.f64 re (.f64 re 4))))
(/.f64 (/.f64 4 (.f64 re (.f64 re 4))) (*.f64 im im))
(/.f64 4 (.f64 re (.f64 im (.f64 im (.f64 re 4)))))
(/.f64 (.f64 2 (/.f64 1 re)) (.f64 (*.f64 im im) (+.f64 re re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 2 (/.f64 1 im)) (.f64 (*.f64 re re) (+.f64 im im)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 -1 (.f64 (.f64 re re) (neg.f64 (*.f64 im im))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 -1 (.f64 (.f64 im im) (neg.f64 (*.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 -1 (neg.f64 (.f64 (.f64 im im) (*.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 1 (.f64 im im))) (neg.f64 (.f64 re re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 1 (.f64 im im))) (/.f64 -1 (/.f64 1 (.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 1 (.f64 re re))) (neg.f64 (.f64 im im)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 1 (.f64 re re))) (/.f64 -1 (/.f64 1 (.f64 im im))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 1 re)) (.f64 (.f64 im im) (neg.f64 re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 1 re)) (-.f64 0 (.f64 im (.f64 im re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 1 im)) (.f64 (.f64 re re) (neg.f64 im)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 2 (.f64 re re)) (.f64 im (+.f64 im im)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 (/.f64 1 im) (*.f64 re re)) im)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 4 (.f64 re re)) (.f64 im (*.f64 im 4)))
(/.f64 4 (.f64 (.f64 re re) (.f64 im (.f64 im 4))))
(/.f64 4 (.f64 (.f64 im 4) (.f64 re (.f64 re im))))
(/.f64 (/.f64 (.f64 2 (/.f64 1 im)) (.f64 re re)) (+.f64 im im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 -1 (.f64 re re)) (neg.f64 (.f64 im im)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 (neg.f64 (/.f64 1 im)) (*.f64 re re)) (neg.f64 im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 2 (.f64 im im)) (.f64 re (+.f64 re re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 (/.f64 1 re) (*.f64 im im)) re)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 4 (.f64 im im)) (.f64 re (*.f64 re 4)))
(/.f64 (/.f64 4 (.f64 re (.f64 re 4))) (*.f64 im im))
(/.f64 4 (.f64 re (.f64 im (.f64 im (.f64 re 4)))))
(/.f64 (/.f64 (.f64 2 (/.f64 1 re)) (.f64 im im)) (+.f64 re re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 -1 (.f64 im im)) (neg.f64 (.f64 re re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 (neg.f64 (/.f64 1 re)) (*.f64 im im)) (neg.f64 re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 (/.f64 1 (*.f64 im im)) re) re)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 (/.f64 1 (*.f64 im im)) (fabs.f64 re)) (fabs.f64 re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 (/.f64 1 (*.f64 re re)) im) im)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 (/.f64 1 (*.f64 re re)) (fabs.f64 im)) (fabs.f64 im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))) (.f64 (.f64 im im) (.f64 re re))) (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (fabs.f64 re)) (.f64 (.f64 im im) (fabs.f64 re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (fabs.f64 im)) (.f64 (.f64 re re) (fabs.f64 im)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (/.f64 1 (fabs.f64 im)) (fabs.f64 (/.f64 im (/.f64 1 (*.f64 re re)))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (.f64 (neg.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re)))) (neg.f64 (/.f64 1 (.f64 (.f64 im im) (.f64 re re))))) (/.f64 1 (.f64 (.f64 im im) (.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (.f64 (/.f64 1 (.f64 re re)) 2)) (neg.f64 (*.f64 im (+.f64 im im))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (.f64 (/.f64 1 (.f64 im im)) 2)) (neg.f64 (*.f64 re (+.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 2 (.f64 re re))) (neg.f64 (.f64 im (+.f64 im im))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 (/.f64 1 im) (*.f64 re re))) (neg.f64 im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 4 (.f64 re re))) (-.f64 0 (.f64 im (*.f64 im 4))))
(/.f64 (neg.f64 (/.f64 4 (.f64 re re))) (neg.f64 (.f64 im (*.f64 im 4))))
(/.f64 (/.f64 -4 (.f64 re re)) (neg.f64 (.f64 im (*.f64 im 4))))
(/.f64 (neg.f64 (/.f64 (.f64 2 (/.f64 1 im)) (.f64 re re))) (-.f64 0 (+.f64 im im)))
(/.f64 (neg.f64 (.f64 (/.f64 1 im) (/.f64 2 (.f64 re re)))) (neg.f64 (+.f64 im im)))
(/.f64 (*.f64 (/.f64 (/.f64 2 re) re) (/.f64 -1 im)) (neg.f64 (+.f64 im im)))
(/.f64 (neg.f64 (/.f64 -1 (.f64 re re))) (.f64 im im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 -1 (.f64 re re))) (-.f64 0 (neg.f64 (.f64 im im))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 im)) (*.f64 re re))) im)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 im)) (*.f64 re re))) (-.f64 0 (neg.f64 im)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 2 (.f64 im im))) (neg.f64 (.f64 re (+.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 (/.f64 1 re) (*.f64 im im))) (neg.f64 re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 4 (.f64 im im))) (-.f64 0 (.f64 re (*.f64 re 4))))
(/.f64 (neg.f64 (/.f64 4 (.f64 im im))) (neg.f64 (.f64 re (*.f64 re 4))))
(/.f64 (/.f64 -4 (.f64 im im)) (neg.f64 (.f64 re (*.f64 re 4))))
(/.f64 (neg.f64 (/.f64 (.f64 2 (/.f64 1 re)) (.f64 im im))) (-.f64 0 (+.f64 re re)))
(/.f64 (neg.f64 (.f64 (/.f64 1 re) (/.f64 2 (.f64 im im)))) (neg.f64 (+.f64 re re)))
(/.f64 (*.f64 (/.f64 (/.f64 2 im) im) (/.f64 -1 re)) (neg.f64 (+.f64 re re)))
(/.f64 (neg.f64 (/.f64 -1 (.f64 im im))) (.f64 re re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 -1 (.f64 im im))) (-.f64 0 (neg.f64 (.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 re)) (*.f64 im im))) re)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 (neg.f64 (/.f64 1 re)) (*.f64 im im))) (-.f64 0 (neg.f64 re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 (/.f64 1 (*.f64 im im)) re)) (neg.f64 re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 (/.f64 1 (*.f64 im im)) (fabs.f64 re))) (-.f64 0 (fabs.f64 re)))
(/.f64 (neg.f64 (/.f64 (/.f64 (/.f64 1 im) im) (fabs.f64 re))) (neg.f64 (fabs.f64 re)))
(/.f64 (/.f64 (/.f64 -1 (*.f64 im im)) (fabs.f64 re)) (neg.f64 (fabs.f64 re)))
(/.f64 (neg.f64 (/.f64 (/.f64 1 (*.f64 re re)) im)) (neg.f64 im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (neg.f64 (/.f64 (/.f64 1 (*.f64 re re)) (fabs.f64 im))) (-.f64 0 (fabs.f64 im)))
(/.f64 (neg.f64 (/.f64 1 (.f64 (.f64 re re) (fabs.f64 im)))) (neg.f64 (fabs.f64 im)))
(/.f64 (/.f64 -1 (.f64 re (.f64 re (fabs.f64 im)))) (neg.f64 (fabs.f64 im)))
(/.f64 (fabs.f64 (.f64 2 (/.f64 1 im))) (fabs.f64 (.f64 (*.f64 re re) (+.f64 im im))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (.f64 2 (/.f64 1 re))) (fabs.f64 (.f64 (*.f64 im im) (+.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 2 (.f64 re re))) (.f64 im (+.f64 im im)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 im) (*.f64 re re))) (fabs.f64 im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 4 (.f64 re re))) (.f64 im (*.f64 im 4)))
(/.f64 4 (.f64 (.f64 re re) (.f64 im (.f64 im 4))))
(/.f64 4 (.f64 (.f64 im 4) (.f64 re (.f64 re im))))
(/.f64 (fabs.f64 (/.f64 (.f64 2 (/.f64 1 im)) (.f64 re re))) (*.f64 2 (fabs.f64 im)))
(/.f64 (fabs.f64 (.f64 (/.f64 1 im) (/.f64 2 (.f64 re re)))) (*.f64 2 (fabs.f64 im)))
(/.f64 (.f64 2 (/.f64 1 (fabs.f64 im))) (.f64 (.f64 re re) (.f64 2 (fabs.f64 im))))
(/.f64 (fabs.f64 (/.f64 -1 (.f64 re re))) (.f64 im im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 (neg.f64 (/.f64 1 im)) (*.f64 re re))) (fabs.f64 im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 2 (.f64 im im))) (.f64 re (+.f64 re re)))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 re) (*.f64 im im))) (fabs.f64 re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 4 (.f64 im im))) (.f64 re (*.f64 re 4)))
(/.f64 (/.f64 4 (.f64 re (.f64 re 4))) (*.f64 im im))
(/.f64 4 (.f64 re (.f64 im (.f64 im (.f64 re 4)))))
(/.f64 (fabs.f64 (/.f64 (.f64 2 (/.f64 1 re)) (.f64 im im))) (*.f64 2 (fabs.f64 re)))
(/.f64 (/.f64 (.f64 2 (fabs.f64 (/.f64 1 re))) (.f64 im im)) (*.f64 2 (fabs.f64 re)))
(/.f64 (.f64 (fabs.f64 (/.f64 1 re)) (/.f64 (/.f64 2 im) im)) (.f64 2 (fabs.f64 re)))
(/.f64 (.f64 2 (/.f64 (/.f64 (/.f64 1 im) im) (fabs.f64 re))) (.f64 2 (fabs.f64 re)))
(/.f64 (fabs.f64 (/.f64 -1 (.f64 im im))) (.f64 re re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 (neg.f64 (/.f64 1 re)) (*.f64 im im))) (fabs.f64 re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 (*.f64 im im)) re)) (fabs.f64 re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 (*.f64 im im)) (fabs.f64 re))) (fabs.f64 re))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 (*.f64 re re)) im)) (fabs.f64 im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(/.f64 (fabs.f64 (/.f64 (/.f64 1 (*.f64 re re)) (fabs.f64 im))) (fabs.f64 im))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(pow.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))) 1)
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(fabs.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(fabs.f64 (neg.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re)))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(fabs.f64 (-.f64 0 (neg.f64 (/.f64 1 (.f64 (.f64 im im) (*.f64 re re))))))
(/.f64 (/.f64 (/.f64 1 im) im) (*.f64 re re))
(/.f64 1 (.f64 (.f64 re im) (*.f64 re im)))
(+.f64 (/.f64 1 (*.f64 re re)) 0)
(/.f64 1 (*.f64 re re))
(+.f64 0 (/.f64 1 (*.f64 re re)))
(/.f64 1 (*.f64 re re))
(-.f64 (/.f64 1 (*.f64 re re)) 0)
(/.f64 1 (*.f64 re re))
(.f64 1 (/.f64 1 (.f64 re re)))
(/.f64 1 (*.f64 re re))
(.f64 (/.f64 1 (.f64 re re)) 1)
(/.f64 1 (*.f64 re re))
(*.f64 (/.f64 1 re) (/.f64 1 re))
(/.f64 1 (*.f64 re re))
(*.f64 (/.f64 1 (fabs.f64 re)) (/.f64 1 (fabs.f64 re)))
(/.f64 1 (*.f64 re re))
(pow.f64 (/.f64 1 (*.f64 re re)) 1)
(/.f64 1 (*.f64 re re))
(neg.f64 (neg.f64 (/.f64 1 (*.f64 re re))))
(/.f64 1 (*.f64 re re))
(fabs.f64 (/.f64 1 (*.f64 re re)))
(/.f64 1 (*.f64 re re))
(fabs.f64 (neg.f64 (/.f64 1 (*.f64 re re))))
(/.f64 1 (*.f64 re re))
(fabs.f64 (/.f64 (.f64 re re) (.f64 (.f64 re re) (neg.f64 (.f64 re re)))))
(/.f64 1 (*.f64 re re))
(fabs.f64 (/.f64 (neg.f64 (.f64 re re)) (.f64 re (.f64 re (.f64 re re)))))
(/.f64 1 (*.f64 re re))
(fabs.f64 (-.f64 0 (neg.f64 (/.f64 1 (*.f64 re re)))))
(/.f64 1 (*.f64 re re))
(+.f64 (/.f64 1 (*.f64 im im)) 0)
(/.f64 (/.f64 1 im) im)
(+.f64 0 (/.f64 1 (*.f64 im im)))
(/.f64 (/.f64 1 im) im)
(-.f64 (/.f64 1 (*.f64 im im)) 0)
(/.f64 (/.f64 1 im) im)
(.f64 1 (/.f64 1 (.f64 im im)))
(/.f64 (/.f64 1 im) im)
(.f64 (/.f64 1 (.f64 im im)) 1)
(/.f64 (/.f64 1 im) im)
(*.f64 (/.f64 1 im) (/.f64 1 im))
(*.f64 (/.f64 1 (fabs.f64 im)) (/.f64 1 (fabs.f64 im)))
(*.f64 (/.f64 1 im) (/.f64 1 im))
(pow.f64 (/.f64 1 (*.f64 im im)) 1)
(/.f64 (/.f64 1 im) im)
(neg.f64 (neg.f64 (/.f64 1 (*.f64 im im))))
(/.f64 (/.f64 1 im) im)
(fabs.f64 (/.f64 1 (*.f64 im im)))
(/.f64 (/.f64 1 im) im)
(fabs.f64 (neg.f64 (/.f64 1 (*.f64 im im))))
(/.f64 (/.f64 1 im) im)
(fabs.f64 (/.f64 (.f64 im im) (.f64 (.f64 im im) (neg.f64 (.f64 im im)))))
(/.f64 (/.f64 1 im) im)
(fabs.f64 (/.f64 (neg.f64 (.f64 im im)) (.f64 im (.f64 im (.f64 im im)))))
(/.f64 (/.f64 1 im) im)
(fabs.f64 (-.f64 0 (neg.f64 (/.f64 1 (*.f64 im im)))))
(/.f64 (/.f64 1 im) im)

eval65.0ms (1.9%)

Compiler: Compiled 6243 to 2912 computations (53.4% saved)

prune45.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	263	1	264
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	264	2	266

Error

0.0b

Counts

266 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 re re) (.f64 im im))
▶	41.3b	(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))

Compiler

Compiled 30 to 18 computations (40% saved)

localize93.0ms (2.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(/.f64 1 (*.f64 re re))
✓	0.9b	(.f64 re (.f64 re (*.f64 im im)))
✓	1.7b	(.f64 re (.f64 im im))
✓	39.9b	(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))

Compiler

Compiled 66 to 27 computations (59.1% saved)

series3.0ms (0.1%)

Counts

3 → 72

Calls

18 calls:

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

rewrite89.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

942×	`rational.json-simplify-51`
766×	`rational.json-simplify-61`
680×	`rational.json-simplify-29`
668×	`rational.json-simplify-39`
626×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	87
1	116	87
2	317	87
3	1011	87
4	5140	87

Stop Event

1×	node limit

Counts

3 → 64

Calls

Call 1

Inputs
(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))
(.f64 re (.f64 im im))
(.f64 re (.f64 re (*.f64 im im)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 im (*.f64 re re)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 im (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 im (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 im (*.f64 re re)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (*.f64 (/.f64 1 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re)))) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 re (*.f64 im (*.f64 im re))) (/.f64 1 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 im (*.f64 re re)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (*.f64 (*.f64 2 (/.f64 1 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))))) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (*.f64 re (*.f64 im (*.f64 im re))) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 re (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 re (*.f64 im (+.f64 im im))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) 2) (*.f64 2 (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 (*.f64 im (*.f64 im re)) (*.f64 re 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (*.f64 (*.f64 im (*.f64 im re)) (+.f64 re re)) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) 4) (*.f64 4 (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) im) (*.f64 (*.f64 im (*.f64 re re)) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) re) (*.f64 (*.f64 im (*.f64 im re)) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 im im)) (*.f64 (*.f64 re re) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 im (*.f64 im re))) (*.f64 re (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 re re)) (*.f64 (*.f64 im im) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 (neg.f64 (*.f64 re (*.f64 im (*.f64 im re)))) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 (*.f64 im (*.f64 im re)) (*.f64 re 4)))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) (/.f64 1 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) (*.f64 2 (/.f64 1 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) (*.f64 re (*.f64 im (*.f64 im re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) 2) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im))) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) (*.f64 (*.f64 im (*.f64 im re)) (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) 4) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) im) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) (*.f64 im (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) re) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) (*.f64 im (*.f64 im re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 im im)) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 im (*.f64 im re))) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) re)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 re re)) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (neg.f64 (+.f64 (*.f64 re re) (*.f64 im im))) (/.f64 1 (*.f64 re (*.f64 im (*.f64 im re))))) (neg.f64 (*.f64 re (*.f64 im (*.f64 im re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (*.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 im (*.f64 re re)))) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im (*.f64 im re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 im (*.f64 im re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im (*.f64 im re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 re (/.f64 1 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (*.f64 im re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 re (*.f64 im (+.f64 im im))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (*.f64 (*.f64 im re) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 im (*.f64 (*.f64 im re) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (*.f64 im re)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re (*.f64 im (*.f64 im re))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 re (*.f64 im (*.f64 im re))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re (*.f64 im (*.f64 im re))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 re re) (/.f64 1 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im im) (/.f64 1 (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 re (*.f64 im (*.f64 im re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 im (*.f64 im re)) (+.f64 re re)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 im (*.f64 im re)) (*.f64 re 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 re (*.f64 im (*.f64 im re))) (*.f64 re (*.f64 im (*.f64 im re)))) (*.f64 re (*.f64 im (*.f64 im re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 re (*.f64 re (*.f64 im (neg.f64 im)))) (*.f64 re (*.f64 re (*.f64 im (neg.f64 im))))) (*.f64 re (*.f64 im (*.f64 im re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (*.f64 im im) (*.f64 re (neg.f64 re))) (*.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))) (*.f64 re (*.f64 im (*.f64 im re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (*.f64 re (neg.f64 re)) (*.f64 im (neg.f64 im))) (*.f64 (*.f64 re (neg.f64 re)) (*.f64 im (neg.f64 im)))) (*.f64 re (*.f64 im (*.f64 im re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 im (*.f64 im re)) (*.f64 re 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (*.f64 re (*.f64 im (*.f64 im re)))) (neg.f64 (*.f64 re (*.f64 im (*.f64 im re))))) (*.f64 re (*.f64 im (*.f64 im re))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 re (*.f64 im (*.f64 im re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 re (*.f64 im (*.f64 im re))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 re (*.f64 re (*.f64 im (neg.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 im im) (*.f64 re (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 re (neg.f64 re)) (*.f64 im (neg.f64 im))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (*.f64 re (*.f64 im (*.f64 im re)))))))))

simplify92.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1916×	`rational.json-simplify-51`
1072×	`rational.json-simplify-53`
980×	`rational.json-simplify-2`
770×	`rational.json-simplify-39`
512×	`rational.json-simplify-35`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	157	3448
1	578	3448
2	2665	2188
3	5210	2188

Stop Event

1×	node limit

Counts

136 → 80

Calls

Call 1

Inputs
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (.f64 im (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 im (.f64 re re)))) 0)
(+.f64 0 (.f64 im (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 im (.f64 re re)))))
(-.f64 (.f64 im (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 im (.f64 re re)))) 0)
(/.f64 1 (.f64 (/.f64 1 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(/.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (/.f64 1 (.f64 re (.f64 im (*.f64 im re)))))
(/.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 re (.f64 im (.f64 im re)))) 1))
(/.f64 (.f64 re (.f64 im (.f64 im re))) (/.f64 1 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))
(/.f64 (.f64 im (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 im (.f64 re re)))) 1)
(/.f64 2 (.f64 (.f64 2 (/.f64 1 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))) (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))))
(/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (.f64 re (.f64 im (.f64 im re))) (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))))
(/.f64 (.f64 re (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 re (.f64 im (+.f64 im im))))) 2)
(/.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2) (.f64 2 (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))))
(/.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 im (.f64 im re)) (*.f64 re 4))) 4)
(/.f64 (.f64 2 (+.f64 (.f64 re re) (.f64 im im))) (.f64 (.f64 (.f64 im (.f64 im re)) (+.f64 re re)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(/.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 4) (.f64 4 (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) im) (.f64 (.f64 im (.f64 re re)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) re) (.f64 (.f64 im (.f64 im re)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) (.f64 (.f64 re re) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im re))) (.f64 re (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 re re)) (.f64 (.f64 im im) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(/.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))) (.f64 (neg.f64 (.f64 re (.f64 im (.f64 im re)))) (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))))
(/.f64 (.f64 2 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 im (.f64 im re)) (.f64 re 4)))) 8)
(/.f64 (/.f64 1 (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (/.f64 1 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))
(/.f64 (/.f64 2 (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (.f64 2 (/.f64 1 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (.f64 re (.f64 im (.f64 im re))))
(/.f64 (/.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) 2)
(/.f64 (/.f64 (.f64 2 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (.f64 (.f64 im (*.f64 im re)) (+.f64 re re)))
(/.f64 (/.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 4) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) 4)
(/.f64 (/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) im) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (.f64 im (*.f64 re re)))
(/.f64 (/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) re) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (.f64 im (*.f64 im re)))
(/.f64 (/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (*.f64 re re))
(/.f64 (/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im re))) (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))) re)
(/.f64 (/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 re re)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (*.f64 im im))
(/.f64 (/.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (neg.f64 (.f64 re (.f64 im (.f64 im re)))))
(pow.f64 (.f64 im (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 im (.f64 re re)))) 1)
(+.f64 (.f64 im (.f64 im re)) 0)
(+.f64 0 (.f64 im (.f64 im re)))
(-.f64 (.f64 im (.f64 im re)) 0)
(/.f64 re (/.f64 1 (*.f64 im im)))
(/.f64 (.f64 im (.f64 im re)) 1)
(/.f64 (.f64 re (.f64 im (+.f64 im im))) 2)
(/.f64 (.f64 im (.f64 (*.f64 im re) 4)) 4)
(/.f64 (.f64 2 (.f64 im (.f64 (.f64 im re) 4))) 8)
(pow.f64 (.f64 im (.f64 im re)) 1)
(+.f64 (.f64 re (.f64 im (*.f64 im re))) 0)
(+.f64 0 (.f64 re (.f64 im (*.f64 im re))))
(-.f64 (.f64 re (.f64 im (*.f64 im re))) 0)
(/.f64 (.f64 re re) (/.f64 1 (.f64 im im)))
(/.f64 (.f64 im im) (/.f64 1 (.f64 re re)))
(/.f64 (.f64 re (.f64 im (*.f64 im re))) 1)
(/.f64 (.f64 (.f64 im (*.f64 im re)) (+.f64 re re)) 2)
(/.f64 (.f64 (.f64 im (.f64 im re)) (.f64 re 4)) 4)
(/.f64 (.f64 (.f64 re (.f64 im (.f64 im re))) (.f64 re (.f64 im (.f64 im re)))) (.f64 re (.f64 im (.f64 im re))))
(/.f64 (.f64 (.f64 re (.f64 re (.f64 im (neg.f64 im)))) (.f64 re (.f64 re (.f64 im (neg.f64 im))))) (.f64 re (.f64 im (.f64 im re))))
(/.f64 (.f64 (.f64 (.f64 im im) (.f64 re (neg.f64 re))) (.f64 (.f64 im im) (.f64 re (neg.f64 re)))) (.f64 re (.f64 im (.f64 im re))))
(/.f64 (.f64 (.f64 (.f64 re (neg.f64 re)) (.f64 im (neg.f64 im))) (.f64 (.f64 re (neg.f64 re)) (.f64 im (neg.f64 im)))) (.f64 re (.f64 im (.f64 im re))))
(/.f64 (.f64 2 (.f64 (.f64 im (.f64 im re)) (*.f64 re 4))) 8)
(/.f64 (.f64 (neg.f64 (.f64 re (.f64 im (.f64 im re)))) (neg.f64 (.f64 re (.f64 im (.f64 im re))))) (.f64 re (.f64 im (.f64 im re))))
(pow.f64 (.f64 re (.f64 im (*.f64 im re))) 1)
(fabs.f64 (.f64 re (.f64 im (*.f64 im re))))
(fabs.f64 (.f64 re (.f64 re (*.f64 im (neg.f64 im)))))
(fabs.f64 (.f64 (.f64 im im) (*.f64 re (neg.f64 re))))
(fabs.f64 (.f64 (.f64 re (neg.f64 re)) (*.f64 im (neg.f64 im))))
(fabs.f64 (neg.f64 (.f64 re (.f64 im (*.f64 im re)))))

Outputs
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 re (pow.f64 im 2))
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(*.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 (*.f64 re im) 2)
(+.f64 (.f64 im (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 im (.f64 re re)))) 0)
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 0 (.f64 im (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 im (.f64 re re)))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(-.f64 (.f64 im (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 im (.f64 re re)))) 0)
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 1 (.f64 (/.f64 1 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re)))) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (/.f64 1 (.f64 re (.f64 im (*.f64 im re)))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (/.f64 1 (.f64 re (.f64 im (.f64 im re)))) 1))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (.f64 re (.f64 im (.f64 im re))) (/.f64 1 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (.f64 im (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 im (.f64 re re)))) 1)
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 2 (.f64 (.f64 2 (/.f64 1 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))) (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 (.f64 re (.f64 im (.f64 im re))) (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (.f64 re (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 re (.f64 im (+.f64 im im))))) 2)
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2) (.f64 2 (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 im (.f64 im re)) (*.f64 re 4))) 4)
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (.f64 2 (+.f64 (.f64 re re) (.f64 im im))) (.f64 (.f64 (.f64 im (.f64 im re)) (+.f64 re re)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 4) (.f64 4 (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) im) (.f64 (.f64 im (.f64 re re)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) re) (.f64 (.f64 im (.f64 im re)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) (.f64 (.f64 re re) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im re))) (.f64 re (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 re re)) (.f64 (.f64 im im) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))) (.f64 (neg.f64 (.f64 re (.f64 im (.f64 im re)))) (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (.f64 2 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 (.f64 im (.f64 im re)) (.f64 re 4)))) 8)
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 1 (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (/.f64 1 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (*.f64 re re)))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 2 (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (.f64 2 (/.f64 1 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (.f64 re (.f64 im (.f64 im re))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 2) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) 2)
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (.f64 2 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (.f64 (.f64 im (*.f64 im re)) (+.f64 re re)))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) 4) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) 4)
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) im) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (.f64 im (*.f64 re re)))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) re) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (.f64 im (*.f64 im re)))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im im)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (*.f64 re re))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 im (.f64 im re))) (/.f64 1 (.f64 re (.f64 im (*.f64 im re))))) re)
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (/.f64 (+.f64 (.f64 re re) (.f64 im im)) (.f64 re re)) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (*.f64 im im))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(/.f64 (/.f64 (neg.f64 (+.f64 (.f64 re re) (.f64 im im))) (/.f64 1 (.f64 re (.f64 im (.f64 im re))))) (neg.f64 (.f64 re (.f64 im (.f64 im re)))))
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(pow.f64 (.f64 im (.f64 (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))) (.f64 im (.f64 re re)))) 1)
(.f64 im (.f64 im (.f64 (.f64 re re) (+.f64 (/.f64 1 (.f64 im im)) (/.f64 1 (.f64 re re))))))
(.f64 im (.f64 re (.f64 (.f64 re im) (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))))))
(+.f64 (.f64 im im) (.f64 re re))
(+.f64 (.f64 im (.f64 im re)) 0)
(.f64 im (.f64 re im))
(.f64 re (.f64 im im))
(+.f64 0 (.f64 im (.f64 im re)))
(.f64 im (.f64 re im))
(.f64 re (.f64 im im))
(-.f64 (.f64 im (.f64 im re)) 0)
(.f64 im (.f64 re im))
(.f64 re (.f64 im im))
(/.f64 re (/.f64 1 (*.f64 im im)))
(/.f64 re (/.f64 (/.f64 1 im) im))
(/.f64 (.f64 im (.f64 im re)) 1)
(.f64 im (.f64 re im))
(.f64 re (.f64 im im))
(/.f64 (.f64 re (.f64 im (+.f64 im im))) 2)
(.f64 im (.f64 re im))
(.f64 re (.f64 im im))
(/.f64 (.f64 im (.f64 (*.f64 im re) 4)) 4)
(.f64 im (.f64 re im))
(.f64 re (.f64 im im))
(/.f64 (.f64 2 (.f64 im (.f64 (.f64 im re) 4))) 8)
(.f64 im (.f64 re im))
(.f64 re (.f64 im im))
(pow.f64 (.f64 im (.f64 im re)) 1)
(.f64 im (.f64 re im))
(.f64 re (.f64 im im))
(+.f64 (.f64 re (.f64 im (*.f64 im re))) 0)
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(+.f64 0 (.f64 re (.f64 im (*.f64 im re))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(-.f64 (.f64 re (.f64 im (*.f64 im re))) 0)
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(/.f64 (.f64 re re) (/.f64 1 (.f64 im im)))
(.f64 im (/.f64 im (/.f64 1 (.f64 re re))))
(/.f64 (.f64 im im) (/.f64 1 (.f64 re re)))
(/.f64 re (/.f64 (/.f64 1 re) (*.f64 im im)))
(/.f64 (.f64 im im) (/.f64 1 (.f64 re re)))
(.f64 im (/.f64 im (/.f64 1 (.f64 re re))))
(/.f64 re (/.f64 (/.f64 1 re) (*.f64 im im)))
(/.f64 (.f64 re (.f64 im (*.f64 im re))) 1)
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(/.f64 (.f64 (.f64 im (*.f64 im re)) (+.f64 re re)) 2)
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(/.f64 (.f64 (.f64 im (.f64 im re)) (.f64 re 4)) 4)
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(/.f64 (.f64 (.f64 re (.f64 im (.f64 im re))) (.f64 re (.f64 im (.f64 im re)))) (.f64 re (.f64 im (.f64 im re))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(/.f64 (.f64 (.f64 re (.f64 re (.f64 im (neg.f64 im)))) (.f64 re (.f64 re (.f64 im (neg.f64 im))))) (.f64 re (.f64 im (.f64 im re))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(/.f64 (.f64 (.f64 (.f64 im im) (.f64 re (neg.f64 re))) (.f64 (.f64 im im) (.f64 re (neg.f64 re)))) (.f64 re (.f64 im (.f64 im re))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(/.f64 (.f64 (.f64 (.f64 re (neg.f64 re)) (.f64 im (neg.f64 im))) (.f64 (.f64 re (neg.f64 re)) (.f64 im (neg.f64 im)))) (.f64 re (.f64 im (.f64 im re))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(/.f64 (.f64 2 (.f64 (.f64 im (.f64 im re)) (*.f64 re 4))) 8)
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(/.f64 (.f64 (neg.f64 (.f64 re (.f64 im (.f64 im re)))) (neg.f64 (.f64 re (.f64 im (.f64 im re))))) (.f64 re (.f64 im (.f64 im re))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(pow.f64 (.f64 re (.f64 im (*.f64 im re))) 1)
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(fabs.f64 (.f64 re (.f64 im (*.f64 im re))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(fabs.f64 (.f64 re (.f64 re (*.f64 im (neg.f64 im)))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(fabs.f64 (.f64 (.f64 im im) (*.f64 re (neg.f64 re))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(fabs.f64 (.f64 (.f64 re (neg.f64 re)) (*.f64 im (neg.f64 im))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))
(fabs.f64 (neg.f64 (.f64 re (.f64 im (*.f64 im re)))))
(.f64 re (.f64 im (*.f64 re im)))
(.f64 (.f64 re im) (*.f64 re im))

eval157.0ms (4.5%)

Compiler: Compiled 2163 to 858 computations (60.3% saved)

prune294.0ms (8.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	96	2	98

Error

0.0b

Counts

98 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 re re) (.f64 im im))
✓	41.3b	(.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (.f64 re re))) (.f64 re (.f64 re (*.f64 im im))))

Compiler

Compiled 30 to 18 computations (40% saved)

regimes17.0ms (0.5%)

Accuracy

Total -41.6b remaining (-354655.3%)

Threshold costs -41.6b (-354655.3%)

Counts

3 → 1

Calls

Call 1

Inputs

(+.f64 (*.f64 re re) (*.f64 im im))

(*.f64 (+.f64 (/.f64 (/.f64 1 im) im) (/.f64 1 (*.f64 re re))) (*.f64 re (*.f64 re (*.f64 im im))))

(/.f64 (+.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))) (*.f64 (/.f64 1 (*.f64 im im)) (/.f64 1 (*.f64 re re))))

Outputs
(+.f64 (.f64 re re) (.f64 im im))

Calls

5 calls:

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

Results

Error	Segments	Branch
0.0b	1	`re`
0.0b	1	`im`
0.0b	1	`(+.f64 (.f64 re re) (.f64 im im))`
0.0b	1	`(*.f64 re re)`
0.0b	1	`(*.f64 im im)`

Compiler

Compiled 76 to 40 computations (47.4% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 re re) (.f64 im im))

Outputs
(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 9 to 5 computations (44.4% saved)

soundness0.0ms (0%)

end62.0ms (1.8%)

Remove: (sort re im)
Compiler: Compiled 27 to 15 computations (44.4% saved)

Details

analyze40.0ms (1.2%)

sample1.4s (41.4%)

preprocess119.0ms (3.4%)

simplify114.0ms (3.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series1.0ms (0%)

rewrite79.0ms (2.3%)

simplify128.0ms (3.7%)

eval74.0ms (2.1%)

prune7.0ms (0.2%)

localize20.0ms (0.6%)

series5.0ms (0.2%)

rewrite214.0ms (6.1%)

simplify310.0ms (8.9%)

eval65.0ms (1.9%)

prune45.0ms (1.3%)

localize93.0ms (2.7%)

series3.0ms (0.1%)

rewrite89.0ms (2.6%)

simplify92.0ms (2.6%)

eval157.0ms (4.5%)

prune294.0ms (8.5%)

regimes17.0ms (0.5%)

simplify1.0ms (0%)

soundness0.0ms (0%)

end62.0ms (1.8%)

Profiling