Details

analyze234.0ms (6.4%)

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
28.6%	25%	62.4%	0.1%	12.5%	0%	0%	6
33.3%	25%	50%	0.1%	25%	0%	0%	7
45.5%	31.2%	37.5%	0.1%	31.2%	0%	0%	8
61.7%	39%	24.2%	0.1%	36.7%	0%	0%	9
70.1%	42.9%	18.3%	0.1%	38.6%	0%	0%	10
79.9%	47.2%	11.9%	0.1%	40.8%	0%	0%	11
84.5%	49.4%	9.1%	0.1%	41.5%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample2.2s (61%)

Results

2.1s	8256×	body	256	valid
73.0ms	344×	body	256	infinite

Bogosity

preprocess77.0ms (2.1%)

Algorithm

2×	egg-herbie

Rules

20×	`rational_best-simplify-1`
16×	`rational_best-simplify-111`
8×	`rational_best-simplify-3`
8×	`rational_best-simplify-110`
8×	`rational_best-simplify-102`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	38
1	17	38
2	25	38
3	45	38
4	66	38
5	66	38
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(-.f64 (.f64 re re) (.f64 im im))
(-.f64 (.f64 im im) (.f64 re re))

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify44.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

12×	`rational_best-simplify-1`
8×	`rational_best-simplify-3`
8×	`rational_best-simplify-111`
8×	`rational_best-simplify-102`
4×	`rational_best-simplify-34`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	13	19
2	19	19
3	30	19
4	45	19
5	45	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 (.f64 re re) (.f64 im im))

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

eval1.0ms (0%)

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

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize35.0ms (0.9%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 5 computations (70.6% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite226.0ms (6.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1266×	`rational_best-simplify-75`
762×	`rational_best-4`
762×	`rational_best-2`
762×	`rational_best-3`
762×	`rational_best-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	50	19
2	133	19
3	446	19
4	2077	19

Stop Event

1×	node limit

Counts

1 → 119

Calls

Call 1

Inputs
(-.f64 (.f64 re re) (.f64 im im))

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

Outputs

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

simplify495.0ms (13.6%)

Algorithm

1×	egg-herbie

Rules

1420×	`rational_best-simplify-56`
964×	`rational_best-simplify-66`
852×	`rational_best-simplify-1`
696×	`rational_best-simplify-63`
684×	`rational_best-simplify-108`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	304	3613
1	784	3561
2	1889	3119
3	5422	3095

Stop Event

1×	node limit

Counts

143 → 148

Calls

Call 1

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

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

eval103.0ms (2.8%)

Compiler: Compiled 1919 to 787 computations (59% saved)

prune78.0ms (2.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	147	1	148
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	148	1	149

Error

Counts

149 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(*.f64 (-.f64 re im) (+.f64 re im))

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize24.0ms (0.7%)

Compiler: Compiled 17 to 5 computations (70.6% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(*.f64 (-.f64 re im) (+.f64 re im))

Compiler

Compiled 9 to 5 computations (44.4% saved)

regimes41.0ms (1.1%)

Accuracy

Total -0.0b remaining (-∞%)

Threshold costs -0.0b (-∞%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

5 calls:

21.0ms	(-.f64 (.f64 re re) (.f64 im im))
5.0ms	re
5.0ms	im
4.0ms	(*.f64 im im)
4.0ms	(*.f64 re re)

Results

Error	Segments	Branch
0b	1	`re`
0b	1	`im`
0b	1	`(-.f64 (.f64 re re) (.f64 im im))`
0b	1	`(*.f64 re re)`
0b	1	`(*.f64 im im)`

Compiler

Compiled 41 to 23 computations (43.9% saved)

simplify23.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 9 to 5 computations (44.4% saved)

soundness0.0ms (0%)

end36.0ms (1%)

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

Details

analyze234.0ms (6.4%)

sample2.2s (61%)

preprocess77.0ms (2.1%)

simplify44.0ms (1.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize35.0ms (0.9%)

series2.0ms (0.1%)

rewrite226.0ms (6.2%)

simplify495.0ms (13.6%)

eval103.0ms (2.8%)

prune78.0ms (2.1%)

localize24.0ms (0.7%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes41.0ms (1.1%)

simplify23.0ms (0.6%)

soundness0.0ms (0%)

end36.0ms (1%)

Profiling