Details

analyze77.0ms (1.8%)

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
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	8
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	9
82%	82%	18%	0.1%	0%	0%	0%	10
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.6s (37%)

Results

1.6s

8256×

body

256

valid

Bogosity

preprocess31.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

8×	`rational.json-simplify-54`
8×	`rational.json-simplify-55`
4×	`rational.json-simplify-73`
4×	`rational.json-simplify-71`
4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	46
1	13	46
2	18	46
3	22	46
4	30	46
5	30	46
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

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

Symmetry

(sort re im)

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify24.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

8×	`rational.json-simplify-54`
8×	`rational.json-simplify-55`
4×	`rational.json-simplify-73`
4×	`rational.json-simplify-71`
4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	12	23
2	17	23
3	21	23
4	29	23
5	29	23

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 10 to 6 computations (40% saved)

prune2.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

31.3b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 10 to 6 computations (40% saved)

localize14.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 6 computations (76% saved)

series5.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite172.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

1098×	`rational.json-simplify-2`
766×	`rational.json-simplify-79`
642×	`rational.json-simplify-76`
578×	`rational.json-simplify-47`
566×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	42
1	77	42
2	262	42
3	968	42
4	4102	42

Stop Event

1×	node limit

Counts

2 → 54

Calls

Call 1

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

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

Outputs

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

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

simplify370.0ms (8.5%)

Algorithm

1×	egg-herbie

Rules

1500×	`rational.json-simplify-49`
1096×	`rational.json-simplify-2`
974×	`rational.json-simplify-54`
714×	`rational.json-simplify-1`
654×	`rational.json-simplify-47`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	2714
1	362	2706
2	803	2570
3	2671	2570
4	7344	2570

Stop Event

1×	node limit

Counts

102 → 106

Calls

Call 1

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

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

eval46.0ms (1%)

Compiler: Compiled 2365 to 846 computations (64.2% saved)

prune29.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	103	3	106
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	103	4	107

Error

0.3b

Counts

107 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	37.3b	(+.f64 (+.f64 im (.f64 1/2 (/.f64 (pow.f64 re 2) im))) (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
✓	31.3b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
▶	33.3b	(neg.f64 re)
	29.1b	im

Compiler

Compiled 38 to 27 computations (28.9% saved)

localize5.0ms (0.1%)

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

localize61.0ms (1.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 re 2)
✓	6.6b	(/.f64 (pow.f64 re 2) im)
✓	13.1b	(+.f64 (+.f64 im (.f64 1/2 (/.f64 (pow.f64 re 2) im))) (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
✓	16.7b	(/.f64 (pow.f64 re 4) (pow.f64 im 3))

Compiler

Compiled 74 to 53 computations (28.4% saved)

series16.0ms (0.4%)

Counts

4 → 24

Calls

21 calls:

Time	Variable		Point	Expression
3.0ms	im	@	-inf	(/.f64 (pow.f64 re 2) im)
2.0ms	re	@	0	(/.f64 (pow.f64 re 4) (pow.f64 im 3))
2.0ms	re	@	inf	(/.f64 (pow.f64 re 4) (pow.f64 im 3))
2.0ms	im	@	0	(/.f64 (pow.f64 re 4) (pow.f64 im 3))
1.0ms	re	@	-inf	(pow.f64 re 2)

rewrite201.0ms (4.6%)

Algorithm

1×	batch-egg-rewrite

Rules

912×	`rational.json-simplify-47`
830×	`rational.json-simplify-49`
692×	`rational.json-simplify-1`
660×	`rational.json-5`
658×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	94
1	145	94
2	411	94
3	1477	94
4	5756	94

Stop Event

1×	node limit

Counts

4 → 109

Calls

Call 1

Inputs
(/.f64 (pow.f64 re 4) (pow.f64 im 3))
(+.f64 (+.f64 im (.f64 1/2 (/.f64 (pow.f64 re 2) im))) (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
(/.f64 (pow.f64 re 2) im)
(pow.f64 re 2)

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

simplify303.0ms (7%)

Algorithm

1×	egg-herbie

Rules

1086×	`rational.json-simplify-50`
942×	`rational.json-simplify-1`
834×	`exponential.json-simplify-26`
672×	`rational.json-simplify-2`
550×	`rational.json-simplify-47`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	246	3901
1	575	3901
2	1331	3901
3	4194	3877
4	7795	3877

Stop Event

1×	node limit

Counts

133 → 126

Calls

Call 1

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

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

eval144.0ms (3.3%)

Compiler: Compiled 4443 to 3295 computations (25.8% saved)

prune34.0ms (0.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	126	4	130

Error

0.3b

Counts

130 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	37.3b	(+.f64 (+.f64 im (.f64 1/2 (/.f64 (pow.f64 re 2) im))) (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
✓	31.3b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
✓	33.3b	(neg.f64 re)
	29.1b	im

Compiler

Compiled 38 to 27 computations (28.9% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	3	3
Total	4	4

Error

0.3b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	37.3b	(+.f64 (+.f64 im (.f64 1/2 (/.f64 (pow.f64 re 2) im))) (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
✓	31.3b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
✓	33.3b	(neg.f64 re)
	29.1b	im

Compiler

Compiled 38 to 27 computations (28.9% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	3	3
Total	4	4

Error

0.3b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	37.3b	(+.f64 (+.f64 im (.f64 1/2 (/.f64 (pow.f64 re 2) im))) (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))
✓	31.3b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
✓	33.3b	(neg.f64 re)
	29.1b	im

Compiler

Compiled 38 to 27 computations (28.9% saved)

regimes199.0ms (4.6%)

Counts

4 → 5

Calls

Call 1

Inputs
im
(neg.f64 re)
(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
(+.f64 (+.f64 im (.f64 1/2 (/.f64 (pow.f64 re 2) im))) (.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))))

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

Calls

6 calls:

93.0ms	im
31.0ms	(*.f64 re re)
20.0ms	re
19.0ms	(+.f64 (.f64 re re) (.f64 im im))
18.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Results

Error	Segments	Branch
8.4b	3	`re`
4.0b	5	`im`
13.4b	3	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`
13.4b	3	`(+.f64 (.f64 re re) (.f64 im im))`
10.8b	6	`(*.f64 re re)`
9.1b	3	`(*.f64 im im)`

Compiler

Compiled 67 to 42 computations (37.3% saved)

bsearch285.0ms (6.5%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
17.0ms	1.5256581058832955e+144	1.1619906427333534e+145
22.0ms	1.6046861729907137e-116	6.674429772902247e-115
29.0ms	4.877830006387598e-166	3.285341245020981e-159
216.0ms	5.461701863597341e-184	2.8054232690113155e-179

Results

82.0ms

480×

body

256

valid

Compiler

Compiled 370 to 266 computations (28.1% saved)

regimes39.0ms (0.9%)

Accuracy

Total -54.1b remaining (-716.1%)

Threshold costs -54.1b (-716.1%)

Counts

2 → 4

Calls

Call 1

Inputs
im
(neg.f64 re)

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

Calls

2 calls:

21.0ms	im
17.0ms	re

Results

Error	Segments	Branch
10.8b	2	`re`
7.6b	4	`im`

Compiler

Compiled 11 to 7 computations (36.4% saved)

bsearch72.0ms (1.6%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
20.0ms	6.674429772902247e-115	4.924970783237851e-113
27.0ms	4.877830006387598e-166	3.285341245020981e-159
25.0ms	5.461701863597341e-184	2.8054232690113155e-179

Results

63.0ms

384×

body

256

valid

Compiler

Compiled 231 to 178 computations (22.9% saved)

simplify71.0ms (1.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	111

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(if (<=.f64 im 4087946793389487/145998099763910246996517491382409322396583312231953917778534160572776805350677676368189209962155884792916553906355021033942038551084014015944085162231110854024063829579528478402651974151891320832) (neg.f64 re) (if (<=.f64 im 7469128023985787/2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688) im (if (<=.f64 im 6388230975254357/354901720847464302026037015570314714039863945648104521621821386318671527399120079749116723981329865996466075003059657194108692201472) (neg.f64 re) (if (<=.f64 im 5600000000000000132974421208446190001488484395840620249851403936553329605435315206381794718010066447124337427149504650024443113751384456811249664) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) im))))

(if (<=.f64 im 2919961995278205/145998099763910246996517491382409322396583312231953917778534160572776805350677676368189209962155884792916553906355021033942038551084014015944085162231110854024063829579528478402651974151891320832) (neg.f64 re) (if (<=.f64 im 4149515568880993/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752) im (if (<=.f64 im 2426085982355713/86645927941275464361825443254471365732388658605494267974077486894206915868925800719999200190754361815543475342543861619655442432) (neg.f64 re) im)))

im

Outputs

(if (<=.f64 im 4087946793389487/145998099763910246996517491382409322396583312231953917778534160572776805350677676368189209962155884792916553906355021033942038551084014015944085162231110854024063829579528478402651974151891320832) (neg.f64 re) (if (<=.f64 im 7469128023985787/2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688) im (if (<=.f64 im 6388230975254357/354901720847464302026037015570314714039863945648104521621821386318671527399120079749116723981329865996466075003059657194108692201472) (neg.f64 re) (if (<=.f64 im 5600000000000000132974421208446190001488484395840620249851403936553329605435315206381794718010066447124337427149504650024443113751384456811249664) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) im))))

(if (<=.f64 im 2919961995278205/145998099763910246996517491382409322396583312231953917778534160572776805350677676368189209962155884792916553906355021033942038551084014015944085162231110854024063829579528478402651974151891320832) (neg.f64 re) (if (<=.f64 im 4149515568880993/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752) im (if (<=.f64 im 2426085982355713/86645927941275464361825443254471365732388658605494267974077486894206915868925800719999200190754361815543475342543861619655442432) (neg.f64 re) im)))

im

Compiler

Compiled 55 to 33 computations (40% saved)

soundness458.0ms (10.5%)

Algorithm

1×	egg-herbie

Rules

1500×	`rational.json-simplify-49`
1096×	`rational.json-simplify-2`
974×	`rational.json-simplify-54`
714×	`rational.json-simplify-1`
654×	`rational.json-simplify-47`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	2714
1	362	2706
2	803	2570
3	2671	2570
4	7344	2570

Stop Event

1×	node limit

Compiler

Compiled 10 to 7 computations (30% saved)

end74.0ms (1.7%)

Compiler: Compiled 115 to 66 computations (42.6% saved)

Details

analyze77.0ms (1.8%)

sample1.6s (37%)

preprocess31.0ms (0.7%)

simplify24.0ms (0.6%)

eval1.0ms (0%)

prune2.0ms (0%)

localize14.0ms (0.3%)

series5.0ms (0.1%)

rewrite172.0ms (4%)

simplify370.0ms (8.5%)

eval46.0ms (1%)

prune29.0ms (0.7%)

localize5.0ms (0.1%)

localize61.0ms (1.4%)

series16.0ms (0.4%)

rewrite201.0ms (4.6%)

simplify303.0ms (7%)

eval144.0ms (3.3%)

prune34.0ms (0.8%)

eval0.0ms (0%)

prune3.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes199.0ms (4.6%)

bsearch285.0ms (6.5%)

regimes39.0ms (0.9%)

bsearch72.0ms (1.6%)

simplify71.0ms (1.6%)

soundness458.0ms (10.5%)

end74.0ms (1.7%)

Profiling