Details

analyze58.0ms (2.3%)

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)

sample777.0ms (30.7%)

Results

767.0ms

8256×

body

256

valid

Bogosity

preprocess115.0ms (4.6%)

Algorithm

2×	egg-herbie

Rules

1100×	`rational.json-simplify-2`
932×	`rational.json-simplify-44`
902×	`rational.json-simplify-37`
836×	`rational.json-simplify-39`
824×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	46
1	13	46
2	22	46
3	60	46
4	364	46
5	3978	46
6	6255	46
7	7368	46
0	2	2
1	2	2

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(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)

simplify115.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

1086×	`rational.json-simplify-2`
926×	`rational.json-simplify-44`
902×	`rational.json-simplify-37`
840×	`rational.json-simplify-39`
832×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	12	23
2	21	23
3	59	23
4	364	23
5	3969	23
6	6267	23
7	7362	23

Stop Event

1×	node limit

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)))

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

32.2b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 10 to 6 computations (40% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 6 computations (76% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite84.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

2072×	`rational.json-1`
2072×	`rational.json-2`
2072×	`rational.json-3`
1274×	`rational.json-simplify-35`
850×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	42
1	59	42
2	136	42
3	385	42
4	1910	42
5	6598	42

Stop Event

1×	node limit

Counts

2 → 58

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

Outputs

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

simplify75.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1948×	`rational.json-simplify-35`
996×	`rational.json-simplify-2`
950×	`rational.json-simplify-43`
902×	`rational.json-simplify-41`
738×	`rational.json-simplify-40`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	179	2590
1	445	2574
2	1724	2574
3	4739	2574

Stop Event

1×	node limit

Counts

106 → 115

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

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

eval28.0ms (1.1%)

Compiler: Compiled 2301 to 1069 computations (53.5% saved)

prune17.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	112	4	116

Error

0.6b

Counts

116 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	37.2b	(+.f64 (.f64 (/.f64 (pow.f64 im 2) re) -1/2) (+.f64 (.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8) (neg.f64 re)))
✓	32.2b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
▶	28.9b	(neg.f64 re)
	34.1b	im

Compiler

Compiled 39 to 28 computations (28.2% saved)

localize2.0ms (0.1%)

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

localize31.0ms (1.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	8.2b	(/.f64 (pow.f64 im 2) re)
✓	15.4b	(+.f64 (.f64 (/.f64 (pow.f64 im 2) re) -1/2) (+.f64 (.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8) (neg.f64 re)))
✓	17.0b	(/.f64 (pow.f64 im 4) (pow.f64 re 3))

Compiler

Compiled 80 to 56 computations (30% saved)

series8.0ms (0.3%)

Counts

3 → 24

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	re	@	0	(/.f64 (pow.f64 im 2) re)
1.0ms	im	@	0	(/.f64 (pow.f64 im 4) (pow.f64 re 3))
1.0ms	im	@	inf	(/.f64 (pow.f64 im 4) (pow.f64 re 3))
1.0ms	re	@	0	(/.f64 (pow.f64 im 4) (pow.f64 re 3))
0.0ms	im	@	inf	(+.f64 (.f64 (/.f64 (pow.f64 im 2) re) -1/2) (+.f64 (.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8) (neg.f64 re)))

rewrite108.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1828×	`rational.json-1`
1828×	`rational.json-2`
1234×	`rational.json-simplify-2`
1124×	`rational.json-4`
1124×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	91
1	138	91
2	300	91
3	704	91
4	2009	91
5	4516	91
6	7576	91

Stop Event

1×	node limit

Counts

3 → 95

Calls

Call 1

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

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

Outputs

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

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

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

simplify121.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1576×	`rational.json-simplify-35`
906×	`rational.json-simplify-2`
884×	`rational.json-simplify-61`
838×	`rational.json-simplify-46`
770×	`rational.json-simplify-50`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	208	3333
1	449	3333
2	905	3333
3	1889	3333
4	3789	3333
5	6366	3333

Stop Event

1×	node limit

Counts

119 → 123

Calls

Call 1

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

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

eval50.0ms (2%)

Compiler: Compiled 2883 to 2149 computations (25.5% saved)

prune17.0ms (0.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	123	4	127

Error

0.6b

Counts

127 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	37.2b	(+.f64 (.f64 (/.f64 (pow.f64 im 2) re) -1/2) (+.f64 (.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8) (neg.f64 re)))
✓	32.2b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
✓	28.9b	(neg.f64 re)
	34.1b	im

Compiler

Compiled 39 to 28 computations (28.2% saved)

eval0.0ms (0%)

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

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

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	37.2b	(+.f64 (.f64 (/.f64 (pow.f64 im 2) re) -1/2) (+.f64 (.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8) (neg.f64 re)))
✓	32.2b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
✓	28.9b	(neg.f64 re)
	34.1b	im

Compiler

Compiled 39 to 28 computations (28.2% saved)

eval0.0ms (0%)

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

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

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	37.2b	(+.f64 (.f64 (/.f64 (pow.f64 im 2) re) -1/2) (+.f64 (.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8) (neg.f64 re)))
✓	32.2b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
✓	28.9b	(neg.f64 re)
	34.1b	im

Compiler

Compiled 39 to 28 computations (28.2% saved)

regimes59.0ms (2.3%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

6 calls:

14.0ms	re
10.0ms	im
10.0ms	(*.f64 re re)
9.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
8.0ms	(+.f64 (.f64 re re) (.f64 im im))

Results

Error	Segments	Branch
7.1b	3	`re`
6.8b	3	`im`
15.7b	3	`(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))`
15.7b	3	`(+.f64 (.f64 re re) (.f64 im im))`
10.9b	3	`(*.f64 re re)`
11.2b	3	`(*.f64 im im)`

Compiler

Compiled 68 to 42 computations (38.2% saved)

bsearch24.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
14.0ms	1.980710341146088e+83	6.876979454921558e+90
10.0ms	6.935227444688565e-133	2.6993847816500077e-132

Results

20.0ms

224×

body

256

valid

Compiler

Compiled 230 to 155 computations (32.6% saved)

regimes80.0ms (3.1%)

Accuracy

Total -53.0b remaining (-603.5%)

Threshold costs -53.0b (-603.5%)

Counts

2 → 4

Calls

Call 1

Inputs
im
(neg.f64 re)

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

Calls

2 calls:

71.0ms	im
8.0ms	re

Results

Error	Segments	Branch
9.2b	2	`re`
8.8b	4	`im`

Compiler

Compiled 11 to 7 computations (36.4% saved)

bsearch543.0ms (21.4%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
8.0ms	0.012040259039216966	0.04762721390309955
6.0ms	2.820063568571251e-33	4.2751411526142364e-33
529.0ms	7.174842090862157e-84	7.563314317552312e-81

Results

540.0ms

272×

body

256

valid

Compiler

Compiled 168 to 129 computations (23.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	87

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(if (<=.f64 im 5498273286700551/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448) (neg.f64 re) (if (<=.f64 im 6199999999999999769585856406712860890249945764735421115882188623308991819755191853710835712) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) im))

(if (<=.f64 im 1922388332328819/266998379490113760299377713271194014325338065294581596243380200977777465722580068752870260867072) (neg.f64 re) (if (<=.f64 im 5553706221857431/1461501637330902918203684832716283019655932542976) im (if (<=.f64 im 8070450532247929/576460752303423488) (neg.f64 re) im)))

im

Outputs

(if (<=.f64 im 5498273286700551/6393341031047152089869511126616404594173128996177860916959553453312761321102879990006386899074031556935325554936640763689877454191182408307282280448) (neg.f64 re) (if (<=.f64 im 6199999999999999769585856406712860890249945764735421115882188623308991819755191853710835712) (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) im))

(if (<=.f64 im 1922388332328819/266998379490113760299377713271194014325338065294581596243380200977777465722580068752870260867072) (neg.f64 re) (if (<=.f64 im 5553706221857431/1461501637330902918203684832716283019655932542976) im (if (<=.f64 im 8070450532247929/576460752303423488) (neg.f64 re) im)))

im

Compiler

Compiled 44 to 27 computations (38.6% saved)

soundness122.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1948×	`rational.json-simplify-35`
996×	`rational.json-simplify-2`
950×	`rational.json-simplify-43`
902×	`rational.json-simplify-41`
738×	`rational.json-simplify-40`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	179	2590
1	445	2574
2	1724	2574
3	4739	2574

Stop Event

1×	node limit

Compiler

Compiled 10 to 7 computations (30% saved)

end84.0ms (3.3%)

Compiler: Compiled 82 to 48 computations (41.5% saved)

Details

analyze58.0ms (2.3%)

sample777.0ms (30.7%)

preprocess115.0ms (4.6%)

simplify115.0ms (4.5%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.3%)

series3.0ms (0.1%)

rewrite84.0ms (3.3%)

simplify75.0ms (3%)

eval28.0ms (1.1%)

prune17.0ms (0.7%)

localize2.0ms (0.1%)

localize31.0ms (1.2%)

series8.0ms (0.3%)

rewrite108.0ms (4.2%)

simplify121.0ms (4.8%)

eval50.0ms (2%)

prune17.0ms (0.7%)

eval0.0ms (0%)

prune2.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes59.0ms (2.3%)

bsearch24.0ms (0.9%)

regimes80.0ms (3.1%)

bsearch543.0ms (21.4%)

simplify3.0ms (0.1%)

soundness122.0ms (4.8%)

end84.0ms (3.3%)

Profiling