Details

Time bar (total: 1.5s)

analyze53.0ms (3.7%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
25%25%74.9%0.1%0%0%0%5
33.3%25%50%0.1%25%0%0%6
44.4%25%31.2%0.1%43.7%0%0%7
55.6%31.2%25%0.1%43.7%0%0%8
69.4%39%17.2%0.1%43.7%0%0%9
76.4%42.9%13.3%0.1%43.7%0%0%10
84%47.2%9%0.1%43.7%0%0%11
87.8%49.4%6.8%0.1%43.7%0%0%12
Compiler

Compiled 10 to 6 computations (40% saved)

sample789.0ms (54.4%)

Results
778.0ms8256×body256valid
0.0msbody256infinite
Bogosity

preprocess4.0ms (0.3%)

Algorithm
egg-herbie
Rules
rational.json-simplify-48
rational.json-simplify-47
rational.json-simplify-59
rational.json-simplify-39
rational.json-simplify-62
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0838
11138
21538
31938
42738
52738
022
122
Stop Event
unsound
saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 im im) (*.f64 re re))
Outputs
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 re re) (*.f64 im im))
Symmetry

(sort re im)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify7.0ms (0.5%)

Algorithm
egg-herbie
Rules
rational.json-simplify-48
rational.json-simplify-47
rational.json-simplify-59
rational.json-simplify-39
rational.json-simplify-62
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
11119
21519
31919
42719
52719
Stop Event
saturated
Counts
1 → 1
Calls
Call 1
Inputs
(+.f64 (*.f64 re re) (*.f64 im im))
Outputs
(+.f64 (*.f64 re re) (*.f64 im im))

eval0.0ms (0%)

Compiler

Compiled 9 to 5 computations (44.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 9 to 5 computations (44.4% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 17 to 5 computations (70.6% saved)

series1.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
re
@0
(+.f64 (*.f64 re re) (*.f64 im im))
0.0ms
im
@0
(+.f64 (*.f64 re re) (*.f64 im im))
0.0ms
re
@inf
(+.f64 (*.f64 re re) (*.f64 im im))
0.0ms
im
@inf
(+.f64 (*.f64 re re) (*.f64 im im))
0.0ms
re
@-inf
(+.f64 (*.f64 re re) (*.f64 im im))

rewrite53.0ms (3.7%)

Algorithm
batch-egg-rewrite
Rules
1422×rational.json-1
1418×rational.json-2
1418×rational.json-4
1418×rational.json-3
752×rational.json-simplify-41
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
14119
212819
361719
4441119
Stop Event
node limit
Counts
1 → 74
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 re re) (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re re) (-.f64 (*.f64 re (+.f64 re re)) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im im) (-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im im) (-.f64 (*.f64 im (+.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im 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 (+.f64 (*.f64 re re) (*.f64 im im)) (-.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (-.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (*.f64 re re) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 im (-.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (-.f64 im im) (-.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (-.f64 im im) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (-.f64 re re) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im (neg.f64 im)) (-.f64 0 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im (neg.f64 im)) (-.f64 (-.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (-.f64 0 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (/.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (*.f64 -1 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re (neg.f64 re)) (-.f64 0 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re (neg.f64 re)) (-.f64 (-.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 im im) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 re re) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) (+.f64 (*.f64 re re) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 re re) 0) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 im (-.f64 im im)) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (-.f64 im im)) (*.f64 im (neg.f64 im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (-.f64 re re)) (*.f64 re (neg.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 re re) 3) (-.f64 (*.f64 (*.f64 re (+.f64 re re)) 2) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 im im) 3) (-.f64 (*.f64 (*.f64 im (+.f64 im im)) 2) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im)) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (-.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 re re)) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (-.f64 re re)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 im (+.f64 im im)) 2)) (*.f64 (*.f64 im im) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 (*.f64 re (+.f64 re re)) 2)) (*.f64 (*.f64 re re) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))) (+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2)) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)))))) (#(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 -1 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) -1)))) (#(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 1/2 (+.f64 (*.f64 im (+.f64 im im)) (*.f64 re (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 im im))) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 0 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 0 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 im (+.f64 im im)) (*.f64 re (+.f64 re re))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))) 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 1 (+.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 1 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 1 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 -1 (-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))))

simplify58.0ms (4%)

Algorithm
egg-herbie
Rules
780×rational.json-simplify-36
716×rational.json-simplify-3
716×rational.json-simplify-25
638×rational.json-simplify-34
514×rational.json-simplify-31
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01593900
15973180
229042790
Stop Event
node limit
Counts
98 → 146
Calls
Call 1
Inputs
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(-.f64 (*.f64 re re) (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 re re) (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(-.f64 (*.f64 re re) (-.f64 (*.f64 re (+.f64 re re)) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(-.f64 (*.f64 im im) (-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(-.f64 (*.f64 im im) (-.f64 (*.f64 im (+.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (-.f64 im im))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (-.f64 re re))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (*.f64 re re) 0))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 im (-.f64 im im)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (-.f64 im im) (-.f64 re re)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (-.f64 im im) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (-.f64 re re) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))
(-.f64 0 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 im (neg.f64 im)) (-.f64 0 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(-.f64 (*.f64 im (neg.f64 im)) (-.f64 (-.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (-.f64 0 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (/.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) -1))
(-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (*.f64 -1 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(-.f64 (*.f64 re (neg.f64 re)) (-.f64 0 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (*.f64 re (neg.f64 re)) (-.f64 (-.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (-.f64 im im) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (-.f64 re re) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (*.f64 (*.f64 re re) 0) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 im (-.f64 im im)) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (*.f64 im im))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
(-.f64 (+.f64 (*.f64 re re) (-.f64 im im)) (*.f64 im (neg.f64 im)))
(-.f64 (+.f64 (*.f64 im im) (-.f64 re re)) (*.f64 re (neg.f64 re)))
(-.f64 (*.f64 (*.f64 re re) 3) (-.f64 (*.f64 (*.f64 re (+.f64 re re)) 2) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (*.f64 (*.f64 im im) 3) (-.f64 (*.f64 (*.f64 im (+.f64 im im)) 2) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))
(-.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2))
(-.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im)) (*.f64 re re))
(-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (-.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))
(-.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 re re)) (*.f64 im im))
(-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (-.f64 re re)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))
(-.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)) (*.f64 im im))
(-.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)) (*.f64 re re))
(-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))
(-.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 im (+.f64 im im)) 2)) (*.f64 (*.f64 im im) 3))
(-.f64 (+.f64 (*.f64 im im) (*.f64 (*.f64 re (+.f64 re re)) 2)) (*.f64 (*.f64 re re) 3))
(-.f64 (*.f64 1/2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/2))
(-.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))) (+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(-.f64 (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2)) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)))
(*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1)
(*.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 -1 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(*.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) -1)
(*.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 1/2 (+.f64 (*.f64 im (+.f64 im im)) (*.f64 re (+.f64 re re))))
(*.f64 2 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))))
(*.f64 (-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 im im))) -1/2)
(*.f64 -1/2 (-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 im im))))
(*.f64 -1/2 (-.f64 0 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(*.f64 -1/2 (-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)))
(*.f64 (-.f64 0 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)) -1/2)
(*.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)) -1/2)
(*.f64 (+.f64 (*.f64 im (+.f64 im im)) (*.f64 re (+.f64 re re))) 1/2)
(*.f64 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))) 2)
(/.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1)
(/.f64 1 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im))))
(/.f64 -1 (/.f64 1 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re))))
(/.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) -1)
(/.f64 1/2 (/.f64 1 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(/.f64 1/2 (/.f64 -1 (-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 im im)))))
(neg.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
Outputs
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(-.f64 (*.f64 re re) (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(-.f64 (*.f64 re re) (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(-.f64 (*.f64 re re) (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im)))))
(-.f64 (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im))) (+.f64 (*.f64 im im) (*.f64 re (-.f64 (+.f64 re re) re))))
(-.f64 (*.f64 re re) (-.f64 (*.f64 re (+.f64 re re)) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re (-.f64 (+.f64 re re) re)))
(+.f64 (*.f64 im im) (*.f64 re (-.f64 (+.f64 re re) (-.f64 (+.f64 re re) re))))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(-.f64 (*.f64 re re) (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 im im) (-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(-.f64 (*.f64 im im) (-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im)))))
(-.f64 (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im))) (+.f64 (*.f64 re re) (*.f64 im (-.f64 (+.f64 im im) im))))
(-.f64 (*.f64 im im) (-.f64 (*.f64 im (+.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (-.f64 im im))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 im im)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (-.f64 re re))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 re re)))
(+.f64 (*.f64 re re) (-.f64 re (-.f64 re (*.f64 im im))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (*.f64 re re) 0))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 im (-.f64 im im)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (-.f64 im im) (-.f64 re re)))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (+.f64 re (-.f64 (-.f64 im im) re))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (+.f64 im (-.f64 (-.f64 re re) im))))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re re) (+.f64 re (-.f64 (-.f64 im im) re))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (-.f64 im im) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 im im)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (-.f64 re re) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 re re)))
(+.f64 (*.f64 re re) (-.f64 re (-.f64 re (*.f64 im im))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (+.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 0 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 re re) (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(-.f64 (*.f64 im (neg.f64 im)) (-.f64 0 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(-.f64 (*.f64 im (neg.f64 im)) (neg.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 (neg.f64 im) (neg.f64 im))))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 (+.f64 im im) im)))
(-.f64 (*.f64 im (neg.f64 im)) (-.f64 (-.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (-.f64 0 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(-.f64 (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im))) (neg.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re))))
(-.f64 (*.f64 im (neg.f64 im)) (-.f64 (*.f64 re re) (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im)))))
(-.f64 (-.f64 (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 im im)) (*.f64 re re))
(-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (/.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) -1))
(-.f64 (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im))) (neg.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re))))
(-.f64 (*.f64 im (neg.f64 im)) (-.f64 (*.f64 re re) (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im)))))
(-.f64 (-.f64 (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 im im)) (*.f64 re re))
(-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (*.f64 -1 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(-.f64 (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im))) (neg.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re))))
(-.f64 (*.f64 im (neg.f64 im)) (-.f64 (*.f64 re re) (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im)))))
(-.f64 (-.f64 (*.f64 2 (+.f64 (*.f64 re re) (*.f64 im im))) (*.f64 im im)) (*.f64 re re))
(-.f64 (*.f64 re (neg.f64 re)) (-.f64 0 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (*.f64 re (neg.f64 re)) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (neg.f64 (*.f64 re (neg.f64 re))))
(/.f64 (-.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 2 (*.f64 re re)))) -1)
(-.f64 (*.f64 re (neg.f64 re)) (-.f64 (-.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 (-.f64 re re) (*.f64 re (neg.f64 re))))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 (-.f64 re re) (*.f64 re (neg.f64 re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 2 (*.f64 re re))) (-.f64 (-.f64 re re) (*.f64 re (neg.f64 re))))
(-.f64 (-.f64 im im) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 re re) (-.f64 (*.f64 im (neg.f64 im)) (-.f64 im im)))
(-.f64 (*.f64 re re) (-.f64 im (-.f64 im (*.f64 im (neg.f64 im)))))
(-.f64 (-.f64 im im) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (-.f64 re re) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 re re) (-.f64 re (-.f64 re (*.f64 im (neg.f64 im)))))
(-.f64 (-.f64 re re) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (*.f64 (*.f64 re re) 0) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 re re) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 (*.f64 re re) 0)))
(-.f64 (*.f64 re re) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re (*.f64 0 re))))
(-.f64 (*.f64 re (-.f64 re re)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 im (-.f64 im im)) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 re re) (*.f64 im (-.f64 (neg.f64 im) (-.f64 im im))))
(-.f64 (*.f64 re re) (*.f64 im (-.f64 (-.f64 im im) im)))
(-.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 re re) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (*.f64 im im))
(-.f64 (*.f64 im (neg.f64 im)) (neg.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 (neg.f64 im) (neg.f64 im))))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 (+.f64 im im) im)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (*.f64 re re)))
(+.f64 (*.f64 im im) (*.f64 re (-.f64 (+.f64 re re) re)))
(-.f64 (+.f64 (*.f64 re re) (-.f64 im im)) (*.f64 im (neg.f64 im)))
(+.f64 (*.f64 re re) (-.f64 (-.f64 im im) (*.f64 im (neg.f64 im))))
(+.f64 im (-.f64 (-.f64 (*.f64 re re) im) (*.f64 im (neg.f64 im))))
(+.f64 (-.f64 im im) (-.f64 (*.f64 im im) (*.f64 re (neg.f64 re))))
(-.f64 (+.f64 (*.f64 im im) (-.f64 re re)) (*.f64 re (neg.f64 re)))
(-.f64 (+.f64 re (-.f64 (*.f64 im im) re)) (*.f64 re (neg.f64 re)))
(+.f64 re (-.f64 (-.f64 (*.f64 im im) re) (*.f64 re (neg.f64 re))))
(-.f64 (*.f64 (*.f64 re re) 3) (-.f64 (*.f64 (*.f64 re (+.f64 re re)) 2) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 (*.f64 2 (*.f64 re (+.f64 re re))) (*.f64 (*.f64 re re) 3)))
(-.f64 (*.f64 re (*.f64 3 re)) (-.f64 (*.f64 2 (*.f64 re (+.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 2 (*.f64 re re))) (-.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (*.f64 re (*.f64 3 re))))
(-.f64 (*.f64 (*.f64 im im) 3) (-.f64 (*.f64 (*.f64 im (+.f64 im im)) 2) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 2 (*.f64 im (+.f64 im im))) (*.f64 (*.f64 im im) 3)))
(-.f64 (*.f64 im (*.f64 3 im)) (-.f64 (*.f64 im (*.f64 2 (+.f64 im im))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im (+.f64 im im)) (-.f64 (*.f64 (+.f64 im im) (+.f64 im im)) (*.f64 im (*.f64 3 im)))))
(-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im)) (*.f64 re re))
(-.f64 (+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (*.f64 re re))) (-.f64 im im))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (-.f64 (+.f64 re re) re)) (-.f64 im im)))
(-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (-.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 im im)))
(-.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 re re)) (*.f64 im im))
(-.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im (+.f64 im im)) (-.f64 re re))) (*.f64 im im))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im (-.f64 (+.f64 im im) im)) (-.f64 re re)))
(-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (-.f64 re re)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 re re)))
(+.f64 (*.f64 re re) (-.f64 re (-.f64 re (*.f64 im im))))
(-.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)) (*.f64 im im))
(-.f64 (+.f64 (*.f64 re re) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (-.f64 (+.f64 im im) im))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0))
(-.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)) (*.f64 re re))
(-.f64 (+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (*.f64 re re))) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (-.f64 (+.f64 re re) re)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)))
(-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 0)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 im (+.f64 im im)) 2)) (*.f64 (*.f64 im im) 3))
(+.f64 (*.f64 re re) (-.f64 (*.f64 2 (*.f64 im (+.f64 im im))) (*.f64 (*.f64 im im) 3)))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im (*.f64 2 (+.f64 im im))) (*.f64 im (*.f64 3 im))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 (+.f64 im im) (+.f64 im im)) (*.f64 im (*.f64 3 im))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 (*.f64 re (+.f64 re re)) 2)) (*.f64 (*.f64 re re) 3))
(+.f64 (*.f64 im im) (-.f64 (*.f64 2 (*.f64 re (+.f64 re re))) (*.f64 (*.f64 re re) 3)))
(+.f64 (*.f64 2 (*.f64 re (+.f64 re re))) (-.f64 (*.f64 im im) (*.f64 re (*.f64 3 re))))
(+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 3 re))))
(-.f64 (*.f64 1/2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 1/2))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))) (+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(-.f64 (*.f64 im (neg.f64 im)) (neg.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 (neg.f64 im) (neg.f64 im))))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 (+.f64 im im) im)))
(-.f64 (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (*.f64 re re)))
(+.f64 (*.f64 im im) (*.f64 re (-.f64 (+.f64 re re) re)))
(-.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2)) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 2) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.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 (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 -1 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 re re) (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(*.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) -1)
(-.f64 (*.f64 re re) (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(*.f64 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2) 1/2)
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 1/2 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 1/2 (+.f64 (*.f64 im (+.f64 im im)) (*.f64 re (+.f64 re re))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 2 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 (-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 im im))) -1/2)
(*.f64 1/2 (-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re))))
(*.f64 1/2 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))
(*.f64 (-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))) -1/2)
(*.f64 -1/2 (-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 im im))))
(*.f64 1/2 (-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re))))
(*.f64 1/2 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))
(*.f64 (-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))) -1/2)
(*.f64 -1/2 (-.f64 0 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 -1/2 (-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 (-.f64 0 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)) -1/2)
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 3)) -1/2)
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 (+.f64 (*.f64 im (+.f64 im im)) (*.f64 re (+.f64 re re))) 1/2)
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(*.f64 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im)))) 2)
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.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 (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(/.f64 1 (/.f64 1 (+.f64 (*.f64 re re) (*.f64 im im))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(/.f64 -1 (/.f64 1 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re))))
(-.f64 (*.f64 re re) (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(/.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) -1)
(-.f64 (*.f64 re re) (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(/.f64 1/2 (/.f64 1 (*.f64 (+.f64 (*.f64 re re) (*.f64 im im)) 2)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))) (-.f64 (*.f64 im (+.f64 im im)) (*.f64 im im)))
(+.f64 (*.f64 re re) (*.f64 im (-.f64 im (-.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 im im))
(/.f64 1/2 (/.f64 -1 (-.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 im im)))))
(*.f64 1/2 (-.f64 (+.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re))))
(*.f64 1/2 (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))))
(*.f64 (-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (+.f64 (*.f64 re re) (*.f64 im im))) -1/2)
(neg.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re re)))
(-.f64 (*.f64 re re) (*.f64 im (neg.f64 im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))

eval20.0ms (1.4%)

Compiler

Compiled 2366 to 543 computations (77% saved)

prune71.0ms (4.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1451146
Fresh000
Picked011
Done000
Total1452147
Error
0b
Counts
147 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
0.0b
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 24 to 13 computations (45.8% saved)

localize36.0ms (2.5%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
0.0b
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
Compiler

Compiled 40 to 8 computations (80% saved)

series2.0ms (0.1%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
0.0ms
im
@0
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
0.0ms
re
@inf
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
0.0ms
re
@0
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
0.0ms
im
@inf
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
0.0ms
re
@inf
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))

rewrite97.0ms (6.7%)

Algorithm
batch-egg-rewrite
Rules
826×rational.json-simplify-29
700×rational.json-simplify-30
594×rational.json-1
594×rational.json-2
594×rational.json-4
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01062
16344
222144
3130444
4750844
Stop Event
node limit
Counts
2 → 189
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im im) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im im) (+.f64 (*.f64 re re) (-.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im im) (-.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im im) (-.f64 (*.f64 re re) (-.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im im) (*.f64 1 (+.f64 (*.f64 re re) (-.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im im) (*.f64 1 (-.f64 (*.f64 re re) (-.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im im) (*.f64 1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re (neg.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 1/2 (-.f64 (-.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 im im) (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (+.f64 (*.f64 im im) (-.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (-.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (*.f64 1 (+.f64 (*.f64 im im) (-.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (*.f64 1 (-.f64 (*.f64 im im) (-.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re re) (*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 (*.f64 im im) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (*.f64 1/2 (-.f64 (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re (neg.f64 re)) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 im im) (*.f64 re re)) (*.f64 re (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 -1 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (/.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 re (*.f64 2 (neg.f64 re))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (neg.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 1 (neg.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im (+.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)) (*.f64 im (+.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 im im) (-.f64 re re)) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 im im) (*.f64 re (-.f64 re re))) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 re re) (-.f64 im im)) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (+.f64 (*.f64 im im) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (*.f64 re (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 im im) (-.f64 re re)) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (*.f64 (+.f64 re re) (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 re re) (-.f64 im im)) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 re re) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 im im) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 im im) 1/2) (*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1/2) (*.f64 1/2 (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1/2) (*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1/2) (*.f64 1/2 (-.f64 (*.f64 im im) (*.f64 re (-.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 1 (+.f64 (*.f64 im im) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im im)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (neg.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 re (*.f64 re 3)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (*.f64 re (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) 2) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (neg.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (+.f64 (*.f64 im im) (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (-.f64 im im) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (*.f64 im im) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im (+.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (*.f64 re re) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 -1 (+.f64 (*.f64 im im) (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 1 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 1 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 -1 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 -1 (*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) 1/2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im im)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (neg.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 re (*.f64 re 3)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 re (*.f64 2 (neg.f64 re))) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re (neg.f64 re)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re (neg.f64 re))) (*.f64 re (*.f64 2 (neg.f64 re)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) (+.f64 (*.f64 im im) (*.f64 re re))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 re (-.f64 re re)) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re (-.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 im im) (-.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 re re) (-.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (-.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (-.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 0 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 im im) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re re) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re re) (+.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (-.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re re) (+.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (-.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re re) (+.f64 (*.f64 re (-.f64 re re)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re re) (+.f64 (-.f64 re re) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 -1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (*.f64 re re))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re (neg.f64 re)) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 re (-.f64 re re)) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 -1 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re))) (*.f64 re (+.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))) (*.f64 im im))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 im im) (*.f64 re re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))) (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re))) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))) (+.f64 (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re))) (*.f64 re (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im)))) (+.f64 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))) (*.f64 im im)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))) (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 im im) (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))) (+.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 re (+.f64 re re)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 im im) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2) (*.f64 re (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 im (+.f64 im im)) (*.f64 (+.f64 re re) (+.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (*.f64 im (+.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 1 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 1 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 -1 (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 re (+.f64 re re)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 im im) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))))

simplify119.0ms (8.2%)

Algorithm
egg-herbie
Rules
1052×rational.json-simplify-1
922×rational.json-simplify-15
758×rational.json-simplify-51
660×rational.json-simplify-13
652×rational.json-simplify-11
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03789321
114118363
266948363
Stop Event
node limit
Counts
237 → 289
Calls
Call 1
Inputs
(-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(pow.f64 im 2)
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(pow.f64 im 2)
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 2 (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(*.f64 2 (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(*.f64 2 (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (-.f64 im im)))
(+.f64 (*.f64 im im) (-.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re re) (-.f64 im im)))
(+.f64 (*.f64 im im) (*.f64 1 (+.f64 (*.f64 re re) (-.f64 im im))))
(+.f64 (*.f64 im im) (*.f64 1 (-.f64 (*.f64 re re) (-.f64 im im))))
(+.f64 (*.f64 im im) (*.f64 1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im im))))
(+.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re re)))
(+.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re (neg.f64 re)))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 1/2 (-.f64 (-.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 im im) (*.f64 re re)))))
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (-.f64 re re)))
(+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (-.f64 re re))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 re re)))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))))
(+.f64 (*.f64 re re) (*.f64 1 (+.f64 (*.f64 im im) (-.f64 re re))))
(+.f64 (*.f64 re re) (*.f64 1 (-.f64 (*.f64 im im) (-.f64 re re))))
(+.f64 (*.f64 re re) (*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re re)))))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)
(+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0))
(+.f64 0 (+.f64 (*.f64 im im) (*.f64 re re)))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (*.f64 1/2 (-.f64 (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))
(+.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))
(+.f64 (*.f64 re (neg.f64 re)) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))
(+.f64 (-.f64 (*.f64 im im) (*.f64 re re)) (*.f64 re (+.f64 re re)))
(+.f64 (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))
(+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 -1 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))))
(+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (/.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) -1))
(+.f64 (*.f64 re (*.f64 2 (neg.f64 re))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (neg.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))
(+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 1 (neg.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))))
(+.f64 (*.f64 im (+.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im)))
(+.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 im (+.f64 im im)))
(+.f64 (+.f64 (*.f64 im im) (-.f64 re re)) (*.f64 re re))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re (-.f64 re re))) (*.f64 re re))
(+.f64 (+.f64 (*.f64 re re) (-.f64 im im)) (*.f64 im im))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (+.f64 (*.f64 im im) (*.f64 re re)))
(+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))
(+.f64 (-.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (*.f64 im im))
(+.f64 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (*.f64 re (+.f64 re re)))
(+.f64 (-.f64 (*.f64 im im) (-.f64 re re)) (*.f64 re re))
(+.f64 (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))) (*.f64 re re))
(+.f64 (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (*.f64 (+.f64 re re) (+.f64 re re)))
(+.f64 (-.f64 (*.f64 re re) (-.f64 im im)) (*.f64 im im))
(+.f64 (neg.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))
(+.f64 (*.f64 (*.f64 re re) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re)))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (*.f64 re re))))
(+.f64 (*.f64 (*.f64 im im) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(+.f64 (*.f64 (*.f64 im im) 1/2) (*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1/2) (*.f64 1/2 (*.f64 im im)))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1/2) (*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1/2) (*.f64 1/2 (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re)))))
(*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 1)
(*.f64 1 (+.f64 (*.f64 im im) (*.f64 re re)))
(*.f64 1 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2)))
(*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) -1)
(*.f64 -1 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(*.f64 -1 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))))
(*.f64 -1 (-.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im im)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(*.f64 -1 (-.f64 (neg.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(*.f64 -1 (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))
(*.f64 -1 (-.f64 (*.f64 re (*.f64 re 3)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))))
(*.f64 -1 (-.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(*.f64 -1 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) 2)))
(*.f64 -1 (-.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))))
(*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) 1/2)
(*.f64 1/2 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))
(*.f64 1/2 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))))
(*.f64 1/2 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (*.f64 re (+.f64 re re))))
(*.f64 2 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re re)))))
(*.f64 (*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) 2) -1/2)
(*.f64 -1/2 (neg.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))
(*.f64 -1/2 (*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) 2))
(*.f64 -1/2 (-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (+.f64 (*.f64 im im) (*.f64 re re))))
(*.f64 -1/2 (-.f64 (-.f64 im im) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))
(*.f64 -1/2 (-.f64 (*.f64 im im) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im (+.f64 im im)))))
(*.f64 -1/2 (-.f64 (*.f64 re re) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re re)))))
(*.f64 -1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))))
(*.f64 -1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3)))
(*.f64 -1/2 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))))
(/.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 1)
(/.f64 1 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re re))))
(/.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) -1)
(/.f64 -1 (/.f64 -1 (+.f64 (*.f64 im im) (*.f64 re re))))
(/.f64 -1 (/.f64 1 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(/.f64 1/2 (/.f64 1 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))
(/.f64 1/2 (/.f64 -1 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im)))))
(/.f64 1/2 (/.f64 -1 (*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) 2)))
(/.f64 (*.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) 1/2) -1)
(/.f64 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))) -1)
(/.f64 (-.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im im)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) -1)
(/.f64 (-.f64 (neg.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))) -1)
(/.f64 (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) -1)
(/.f64 (-.f64 (*.f64 re (*.f64 re 3)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))) -1)
(/.f64 (-.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))) -1)
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) 2)) -1)
(/.f64 (-.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))) -1)
(/.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2)) 1)
(/.f64 (-.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))) -1)
(/.f64 (+.f64 (*.f64 re (*.f64 2 (neg.f64 re))) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re (neg.f64 re)))) -1)
(/.f64 (+.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re (neg.f64 re))) (*.f64 re (*.f64 2 (neg.f64 re)))) -1)
(/.f64 (+.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) (+.f64 (*.f64 im im) (*.f64 re re))) -1)
(neg.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 re (-.f64 re re)) (*.f64 im im)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 0)
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re (-.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 re re))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 im im) (-.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 re re) (-.f64 im im)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (-.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (-.f64 im im)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 0 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 im im) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))
(-.f64 (*.f64 re re) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 re re) (+.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (-.f64 re re)))
(-.f64 (*.f64 re re) (+.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (-.f64 im im)))
(-.f64 (*.f64 re re) (+.f64 (*.f64 re (-.f64 re re)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(-.f64 (*.f64 re re) (+.f64 (-.f64 re re) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(-.f64 0 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 0 (*.f64 -1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 re re)))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (*.f64 re re))
(-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))
(-.f64 (*.f64 re (neg.f64 re)) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(-.f64 (*.f64 re (-.f64 re re)) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))
(-.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 -1 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)))
(-.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))
(-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re))) (*.f64 re (+.f64 re re)))
(-.f64 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))) (*.f64 im im))
(-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 im im) (*.f64 re re)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(-.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))
(-.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))) (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(-.f64 (+.f64 (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re))) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))) (+.f64 (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re))) (*.f64 re (+.f64 re re))))
(-.f64 (+.f64 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im)))) (+.f64 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))) (*.f64 im im)))
(-.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))) (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 im im) (*.f64 re re))))
(-.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))) (+.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))
(*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1)
(*.f64 1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))
(*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 1/2)
(*.f64 -1 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(*.f64 -1 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(*.f64 -1 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)))
(*.f64 -1 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))))
(*.f64 -1 (-.f64 (*.f64 re (+.f64 re re)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))))
(*.f64 -1 (-.f64 (*.f64 im im) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im)))))
(*.f64 -1 (-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))))
(*.f64 -1 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))))
(*.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) -1)
(*.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) 1/4)
(*.f64 1/2 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))
(*.f64 1/2 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2) (*.f64 re (+.f64 re re))))
(*.f64 1/2 (+.f64 (*.f64 im (+.f64 im im)) (*.f64 (+.f64 re re) (+.f64 re re))))
(*.f64 1/2 (+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (*.f64 im (+.f64 im im))))
(*.f64 (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) -1/2)
(*.f64 2 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))
(*.f64 -1/2 (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))
(*.f64 -1/2 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)))
(*.f64 -1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))
(/.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1)
(/.f64 1 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(/.f64 -1 (/.f64 1 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))
(/.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) -1)
(/.f64 1/2 (/.f64 1 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)))
(/.f64 1/2 (/.f64 -1 (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(/.f64 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) -1)
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) -1)
(/.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))) -1)
(/.f64 (-.f64 (*.f64 re (+.f64 re re)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))) -1)
(/.f64 (-.f64 (*.f64 im im) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im)))) -1)
(/.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))) -1)
(/.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))) -1)
(neg.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
Outputs
(-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(pow.f64 im 2)
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(pow.f64 im 2)
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(-.f64 (+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2))) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (-.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(*.f64 2 (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(*.f64 2 (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(*.f64 2 (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (pow.f64 im 2) (*.f64 2 (pow.f64 re 2)))
(+.f64 (*.f64 2 (pow.f64 re 2)) (pow.f64 im 2))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (-.f64 im im)))
(+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (-.f64 im im)))
(+.f64 (*.f64 re re) (+.f64 im (-.f64 (*.f64 im im) im)))
(+.f64 (*.f64 im im) (-.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re (*.f64 re 3)))) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re re) (-.f64 im im)))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 im im)))
(+.f64 (*.f64 re re) (-.f64 im (-.f64 im (*.f64 im im))))
(+.f64 (*.f64 im im) (*.f64 1 (+.f64 (*.f64 re re) (-.f64 im im))))
(+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (-.f64 im im)))
(+.f64 (*.f64 re re) (+.f64 im (-.f64 (*.f64 im im) im)))
(+.f64 (*.f64 im im) (*.f64 1 (-.f64 (*.f64 re re) (-.f64 im im))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 im im)))
(+.f64 (*.f64 re re) (-.f64 im (-.f64 im (*.f64 im im))))
(+.f64 (*.f64 im im) (*.f64 1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im im))))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re re)))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re (neg.f64 re)))
(+.f64 (*.f64 im im) (+.f64 (*.f64 re (neg.f64 re)) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 (neg.f64 re) (+.f64 re re))))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 1/2 (-.f64 (-.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 im im) (*.f64 re re)))))
(+.f64 (*.f64 im im) (+.f64 (*.f64 1/2 (-.f64 (-.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 im im) (*.f64 re re)))) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (-.f64 re re)))
(+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (-.f64 re re)))
(-.f64 (+.f64 (*.f64 re re) (+.f64 re (*.f64 im im))) re)
(+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (-.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 re re)))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re re) (-.f64 re re)))
(+.f64 (*.f64 re re) (-.f64 re (-.f64 re (*.f64 im im))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re (-.f64 re (-.f64 re re))))
(+.f64 (*.f64 re re) (*.f64 1 (+.f64 (*.f64 im im) (-.f64 re re))))
(+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (-.f64 re re)))
(-.f64 (+.f64 (*.f64 re re) (+.f64 re (*.f64 im im))) re)
(+.f64 (*.f64 re re) (*.f64 1 (-.f64 (*.f64 im im) (-.f64 re re))))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re re) (-.f64 re re)))
(+.f64 (*.f64 re re) (-.f64 re (-.f64 re (*.f64 im im))))
(+.f64 (*.f64 re re) (*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re re)))))
(+.f64 (*.f64 re re) (*.f64 -1/2 (-.f64 (*.f64 re re) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im))))))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 0 (+.f64 (*.f64 im im) (*.f64 re re)))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 0 (+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (*.f64 1/2 (-.f64 (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))
(+.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 1/2 (-.f64 (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(+.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (-.f64 (*.f64 1/2 (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re)))) (*.f64 3 (+.f64 (*.f64 re re) (*.f64 (*.f64 im im) 1/2)))))
(+.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))
(+.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(+.f64 (*.f64 re (neg.f64 re)) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (-.f64 (+.f64 im im) im))))
(+.f64 (*.f64 re (neg.f64 re)) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (+.f64 (*.f64 re (neg.f64 re)) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 (neg.f64 re) (+.f64 re re))))
(+.f64 (-.f64 (*.f64 im im) (*.f64 re re)) (*.f64 re (+.f64 re re)))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 -1 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))))
(+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 1 (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (*.f64 re (neg.f64 re)))))
(+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (*.f64 re (neg.f64 re))))
(+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (/.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) -1))
(+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 1 (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (*.f64 re (neg.f64 re)))))
(+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (*.f64 re (neg.f64 re))))
(+.f64 (*.f64 re (*.f64 2 (neg.f64 re))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(+.f64 (*.f64 im im) (+.f64 (*.f64 2 (*.f64 re (neg.f64 re))) (*.f64 re (*.f64 re 3))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 (*.f64 re -2) (*.f64 re 3))))
(+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(+.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(+.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(+.f64 (*.f64 re (neg.f64 re)) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (-.f64 (+.f64 im im) im))))
(+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (neg.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))
(+.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (neg.f64 (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (+.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) -3)))
(+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 1 (neg.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))))
(+.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (neg.f64 (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (+.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) -3)))
(+.f64 (*.f64 im (+.f64 im im)) (-.f64 (*.f64 re re) (*.f64 im im)))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (*.f64 im (+.f64 im im)))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (+.f64 (*.f64 im im) (-.f64 re re)) (*.f64 re re))
(+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (-.f64 re re)))
(-.f64 (+.f64 (*.f64 re re) (+.f64 re (*.f64 im im))) re)
(+.f64 (+.f64 (*.f64 im im) (*.f64 re (-.f64 re re))) (*.f64 re re))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (+.f64 (*.f64 re re) (-.f64 im im)) (*.f64 im im))
(+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (-.f64 im im)))
(+.f64 (*.f64 re re) (+.f64 im (-.f64 (*.f64 im im) im)))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (+.f64 (*.f64 im im) (*.f64 re re)))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))
(+.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 0 (+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (-.f64 (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (*.f64 im im))
(+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))))
(+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re (*.f64 re 3)))) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (*.f64 re (+.f64 re re)))
(+.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(+.f64 (-.f64 (*.f64 im im) (-.f64 re re)) (*.f64 re re))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re re) (-.f64 re re)))
(+.f64 (*.f64 re re) (-.f64 re (-.f64 re (*.f64 im im))))
(+.f64 (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))) (*.f64 re re))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re (-.f64 re (-.f64 re re))))
(+.f64 (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (*.f64 (+.f64 re re) (+.f64 re re)))
(+.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(+.f64 (-.f64 (*.f64 re re) (-.f64 im im)) (*.f64 im im))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 im im)))
(+.f64 (*.f64 re re) (-.f64 im (-.f64 im (*.f64 im im))))
(+.f64 (neg.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))
(+.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (neg.f64 (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (+.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) -3)))
(+.f64 (*.f64 (*.f64 re re) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (*.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 (*.f64 im im) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 (*.f64 im im) 1/2) (*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im))))
(*.f64 1/2 (+.f64 (*.f64 im im) (+.f64 im (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) im))))
(*.f64 1/2 (+.f64 (-.f64 im im) (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re)))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1/2) (*.f64 1/2 (*.f64 im im)))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1/2) (*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))))))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1/2) (*.f64 1/2 (-.f64 (*.f64 im im) (*.f64 re (-.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 1)
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 1 (+.f64 (*.f64 im im) (*.f64 re re)))
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 1 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2)))
(*.f64 -1 (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) -1)
(neg.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(*.f64 -1 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(neg.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(*.f64 -1 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 im im)))
(+.f64 (*.f64 re re) (-.f64 im (-.f64 im (*.f64 im im))))
(*.f64 -1 (-.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im im)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(*.f64 1 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (*.f64 im im)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (*.f64 im im))))
(*.f64 -1 (-.f64 (neg.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(*.f64 1 (-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (neg.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))))))
(-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (-.f64 (*.f64 im im) (*.f64 re (neg.f64 re))))
(*.f64 -1 (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))
(*.f64 1 (-.f64 (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (-.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))))))
(*.f64 -1 (-.f64 (*.f64 re (*.f64 re 3)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))))
(+.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(*.f64 -1 (-.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))))
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 -1 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) 2)))
(*.f64 1 (-.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re)))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3)))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 4) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3))
(*.f64 -1 (-.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))))
(*.f64 1 (-.f64 (+.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))) (+.f64 (*.f64 re re) (+.f64 (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))
(*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) 1/2)
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 1/2 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 1/2 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))))
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 1/2 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 2 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 (*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) 2) -1/2)
(neg.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(*.f64 -1/2 (neg.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 -1/2 (*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) 2))
(neg.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(*.f64 -1/2 (-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (+.f64 (*.f64 im im) (*.f64 re re))))
(*.f64 1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(*.f64 1/2 (+.f64 (*.f64 im im) (-.f64 (*.f64 im im) (*.f64 re (-.f64 (neg.f64 re) re)))))
(*.f64 -1/2 (-.f64 (-.f64 im im) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))
(*.f64 1/2 (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (-.f64 im im)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (-.f64 im im) 1/2))
(*.f64 -1/2 (-.f64 (*.f64 im im) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im (+.f64 im im)))))
(*.f64 1/2 (-.f64 (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im (+.f64 im im))) (*.f64 im im)))
(*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im (-.f64 (+.f64 im im) im))))
(*.f64 -1/2 (-.f64 (*.f64 re re) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 -1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))))
(*.f64 1/2 (-.f64 (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(*.f64 1/2 (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))))
(*.f64 -1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3)))
(+.f64 (*.f64 im im) (*.f64 re re))
(*.f64 -1/2 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))))
(*.f64 1/2 (-.f64 (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(*.f64 1/2 (-.f64 (+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4))) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(/.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 1)
(+.f64 (*.f64 im im) (*.f64 re re))
(/.f64 1 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re re))
(/.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) -1)
(neg.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(/.f64 -1 (/.f64 -1 (+.f64 (*.f64 im im) (*.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re re))
(/.f64 -1 (/.f64 1 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(neg.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(/.f64 1/2 (/.f64 1 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))
(+.f64 (*.f64 im im) (*.f64 re re))
(/.f64 1/2 (/.f64 -1 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im)))))
(/.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) -2)
(+.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 im im) 1/2)) (/.f64 (*.f64 im (neg.f64 im)) -2))
(/.f64 1/2 (/.f64 -1 (*.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) 2)))
(neg.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(/.f64 (*.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) 1/2) -1)
(/.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) -2)
(+.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 im im) 1/2)) (/.f64 (*.f64 im (neg.f64 im)) -2))
(/.f64 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re))) -1)
(+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (-.f64 im im)))
(+.f64 (*.f64 re re) (-.f64 im (-.f64 im (*.f64 im im))))
(/.f64 (-.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 im im)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) -1)
(*.f64 1 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (*.f64 im im)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (*.f64 im im))))
(/.f64 (-.f64 (neg.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))) -1)
(*.f64 1 (-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (neg.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))))))
(-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (-.f64 (*.f64 im im) (*.f64 re (neg.f64 re))))
(/.f64 (-.f64 (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) -1)
(*.f64 1 (-.f64 (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (-.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))))))
(/.f64 (-.f64 (*.f64 re (*.f64 re 3)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))) -1)
(+.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(/.f64 (-.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 im (+.f64 im im)))) -1)
(+.f64 (*.f64 im im) (*.f64 re re))
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2) 2)) -1)
(*.f64 1 (-.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re)))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3)))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 4) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 3))
(/.f64 (-.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))) -1)
(*.f64 1 (-.f64 (+.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))) (+.f64 (*.f64 re re) (+.f64 (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))
(/.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2)) 1)
(*.f64 -1 (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(-.f64 (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(/.f64 (-.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))) -1)
(neg.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (-.f64 (*.f64 im (neg.f64 im)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))))
(-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))))
(/.f64 (+.f64 (*.f64 re (*.f64 2 (neg.f64 re))) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re (neg.f64 re)))) -1)
(neg.f64 (+.f64 (*.f64 2 (*.f64 re (neg.f64 re))) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re (neg.f64 re)))))
(neg.f64 (+.f64 (*.f64 im (neg.f64 im)) (*.f64 re (-.f64 (*.f64 re -2) (neg.f64 re)))))
(/.f64 (+.f64 (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re (neg.f64 re))) (*.f64 re (*.f64 2 (neg.f64 re)))) -1)
(neg.f64 (+.f64 (*.f64 2 (*.f64 re (neg.f64 re))) (-.f64 (*.f64 im (neg.f64 im)) (*.f64 re (neg.f64 re)))))
(neg.f64 (+.f64 (*.f64 im (neg.f64 im)) (*.f64 re (-.f64 (*.f64 re -2) (neg.f64 re)))))
(/.f64 (+.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) (+.f64 (*.f64 im im) (*.f64 re re))) -1)
(neg.f64 (+.f64 (*.f64 im im) (+.f64 (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im))) (*.f64 re re))))
(neg.f64 (+.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 im (neg.f64 im)))))
(neg.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 im im) (*.f64 re (neg.f64 re)))
(-.f64 (*.f64 re (+.f64 re re)) (-.f64 (*.f64 re (-.f64 re re)) (*.f64 im im)))
(-.f64 (*.f64 im im) (-.f64 (*.f64 re (-.f64 re re)) (*.f64 re (+.f64 re re))))
(-.f64 (*.f64 im im) (*.f64 re (-.f64 (-.f64 re re) (+.f64 re re))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 0)
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re (-.f64 re re)))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 re re))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 im im)))
(+.f64 (*.f64 im im) (-.f64 im (-.f64 im (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 re re) (-.f64 (*.f64 im im) (+.f64 (*.f64 im im) (*.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 im im) (-.f64 re re)))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (+.f64 re (-.f64 (-.f64 im im) re))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 re re) (-.f64 im im)))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (+.f64 re (-.f64 (-.f64 im im) re))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (-.f64 re re)))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (-.f64 im im)))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 im im)))
(+.f64 (*.f64 im im) (-.f64 im (-.f64 im (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 0 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 re re)))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (-.f64 im im) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 im im)))
(+.f64 (*.f64 im im) (-.f64 im (-.f64 im (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 0)))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (*.f64 re re) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)))
(-.f64 (*.f64 im im) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 re re)))
(-.f64 (*.f64 im im) (*.f64 re (-.f64 (neg.f64 re) re)))
(-.f64 (*.f64 re re) (+.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (-.f64 re re)))
(-.f64 (*.f64 re re) (+.f64 (*.f64 re (neg.f64 re)) (-.f64 (-.f64 re re) (*.f64 im im))))
(-.f64 (*.f64 im im) (-.f64 (+.f64 (*.f64 re (neg.f64 re)) (-.f64 re re)) (*.f64 re re)))
(-.f64 (*.f64 re re) (+.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (-.f64 im im)))
(-.f64 (*.f64 re re) (+.f64 im (-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) im)))
(-.f64 im (-.f64 (+.f64 im (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))) (*.f64 re re)))
(-.f64 (*.f64 re re) (+.f64 (*.f64 re (-.f64 re re)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(-.f64 (*.f64 re re) (+.f64 (*.f64 re (neg.f64 re)) (-.f64 (*.f64 re (-.f64 re re)) (*.f64 im im))))
(-.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 (-.f64 re re) (neg.f64 re))) (*.f64 re re)))
(-.f64 (*.f64 re re) (+.f64 (-.f64 re re) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(-.f64 (*.f64 re re) (+.f64 (*.f64 re (neg.f64 re)) (-.f64 (-.f64 re re) (*.f64 im im))))
(-.f64 (*.f64 im im) (-.f64 (+.f64 (*.f64 re (neg.f64 re)) (-.f64 re re)) (*.f64 re re)))
(-.f64 0 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 0 (*.f64 -1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 re re)))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 re re)))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (+.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (-.f64 im im)))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 im im)))
(+.f64 (*.f64 im im) (-.f64 im (-.f64 im (*.f64 re (+.f64 re re)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (*.f64 re re))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (*.f64 re 3)) (*.f64 re re)))
(+.f64 (*.f64 im im) (*.f64 re (-.f64 (*.f64 re 3) re)))
(-.f64 (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)))
(-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (-.f64 (*.f64 re (neg.f64 re)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (-.f64 (+.f64 im im) im)))
(-.f64 (*.f64 re (neg.f64 re)) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(-.f64 (*.f64 re (-.f64 re re)) (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(-.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (*.f64 -1 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 re re) (+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(-.f64 (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re))) (*.f64 re (+.f64 re re)))
(+.f64 (*.f64 im im) (-.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (-.f64 (+.f64 re re) re)))
(-.f64 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))) (*.f64 im im))
(-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (-.f64 (*.f64 re (neg.f64 re)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (-.f64 (+.f64 im im) im)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 im im) (*.f64 re re)))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))
(+.f64 (*.f64 re re) (-.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (-.f64 (*.f64 re re) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2) (+.f64 (*.f64 re re) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (+.f64 (*.f64 im im) (+.f64 (*.f64 re re) (*.f64 re (*.f64 re 3)))))
(-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re (*.f64 re 3)))))
(-.f64 (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3) 1/2) (*.f64 1/2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))) (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 re re) (+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(-.f64 (+.f64 (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re))) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))) (+.f64 (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re))) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (-.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (-.f64 (+.f64 re re) re)))
(-.f64 (+.f64 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im)))) (+.f64 (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im))) (*.f64 im im)))
(-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (-.f64 (*.f64 re (neg.f64 re)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (-.f64 (+.f64 im im) im)))
(-.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))) (+.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2)) (+.f64 (*.f64 im im) (*.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(-.f64 (+.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))) (+.f64 (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (-.f64 (*.f64 re re) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1)
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 1/2)
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 -1 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 -1 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 im im)))
(+.f64 (*.f64 im im) (-.f64 im (-.f64 im (*.f64 re (+.f64 re re)))))
(*.f64 -1 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 -1 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 re re) (+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(*.f64 -1 (-.f64 (*.f64 re (+.f64 re re)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))))
(+.f64 (*.f64 im im) (-.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (-.f64 (+.f64 re re) re)))
(*.f64 -1 (-.f64 (*.f64 im im) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im)))))
(-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (-.f64 (*.f64 re (neg.f64 re)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (-.f64 (+.f64 im im) im)))
(*.f64 -1 (-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 -1 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))))
(+.f64 (*.f64 re re) (-.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (-.f64 (*.f64 re re) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(*.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) -1)
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2) 1/4)
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 1/2 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 1/2 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) 2) (*.f64 re (+.f64 re re))))
(*.f64 1/2 (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))) (*.f64 re (+.f64 re re))))
(-.f64 (*.f64 1/2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))))) (*.f64 re re))
(*.f64 1/2 (+.f64 (*.f64 im (+.f64 im im)) (*.f64 (+.f64 re re) (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 1/2 (+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (*.f64 im (+.f64 im im))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) -1/2)
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 2 (/.f64 1/2 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 -1/2 (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 -1/2 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(*.f64 -1/2 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(/.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 1)
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(/.f64 1 (/.f64 1 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(/.f64 -1 (/.f64 1 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(/.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) -1)
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(/.f64 1/2 (/.f64 1 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2)))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(/.f64 1/2 (/.f64 -1 (*.f64 2 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(/.f64 (-.f64 (-.f64 im im) (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) -1)
(+.f64 (*.f64 im im) (-.f64 (*.f64 re (+.f64 re re)) (-.f64 im im)))
(+.f64 (*.f64 im im) (-.f64 im (-.f64 im (*.f64 re (+.f64 re re)))))
(/.f64 (-.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2)) -1)
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(/.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3))) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2))) -1)
(+.f64 (*.f64 re re) (-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))) (+.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(+.f64 (*.f64 re re) (+.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (-.f64 (*.f64 im im) (*.f64 re (*.f64 re 3)))))
(/.f64 (-.f64 (*.f64 re (+.f64 re re)) (+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (+.f64 re re)))) -1)
(+.f64 (*.f64 im im) (-.f64 (*.f64 (+.f64 re re) (+.f64 re re)) (*.f64 re (+.f64 re re))))
(+.f64 (*.f64 im im) (*.f64 (+.f64 re re) (-.f64 (+.f64 re re) re)))
(/.f64 (-.f64 (*.f64 im im) (+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (+.f64 im im)))) -1)
(-.f64 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re re))) (-.f64 (*.f64 re (neg.f64 re)) (-.f64 (*.f64 re (neg.f64 re)) (*.f64 im im))))
(+.f64 (*.f64 re (+.f64 re re)) (*.f64 im (-.f64 (+.f64 im im) im)))
(/.f64 (-.f64 (+.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re re)) 2))) -1)
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))
(/.f64 (-.f64 (+.f64 (*.f64 re re) (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 3)) (+.f64 (*.f64 re re) (*.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 2) 2))) -1)
(+.f64 (*.f64 re re) (-.f64 (*.f64 2 (*.f64 2 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))))) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(+.f64 (*.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) 4) (-.f64 (*.f64 re re) (+.f64 (*.f64 re re) (*.f64 3 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))))
(neg.f64 (neg.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))))
(+.f64 (*.f64 im im) (*.f64 re (+.f64 re re)))

eval66.0ms (4.5%)

Compiler

Compiled 6095 to 1596 computations (73.8% saved)

prune39.0ms (2.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2890289
Fresh000
Picked011
Done011
Total2892291
Error
0b
Counts
291 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
0.0b
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
0.0b
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 24 to 13 computations (45.8% saved)

regimes15.0ms (1%)

Accuracy

Total -0.0b remaining (-200%)

Threshold costs -0.0b (-200%)

Counts
2 → 1
Calls
Call 1
Inputs
(+.f64 (*.f64 re re) (*.f64 im im))
(-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re))
Outputs
(+.f64 (*.f64 re re) (*.f64 im im))
Calls

5 calls:

4.0ms
re
3.0ms
(+.f64 (*.f64 re re) (*.f64 im im))
3.0ms
im
2.0ms
(*.f64 re re)
2.0ms
(*.f64 im im)
Results
ErrorSegmentsBranch
0.0b1re
0.0b1im
0.0b1(+.f64 (*.f64 re re) (*.f64 im im))
0.0b1(*.f64 re re)
0.0b1(*.f64 im im)
Compiler

Compiled 47 to 24 computations (48.9% saved)

simplify1.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
Stop Event
done
saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 re re) (*.f64 im im))
Outputs
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 9 to 5 computations (44.4% saved)

soundness0.0ms (0%)

end11.0ms (0.8%)

Remove

(sort re im)

Compiler

Compiled 27 to 15 computations (44.4% saved)

Profiling

Loading profile data...