Time bar (total: 1.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 2 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 3 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 4 |
| 25% | 25% | 74.9% | 0.1% | 0% | 0% | 0% | 5 |
| 33.3% | 25% | 50% | 0.1% | 25% | 0% | 0% | 6 |
| 44.4% | 25% | 31.2% | 0.1% | 43.7% | 0% | 0% | 7 |
| 55.6% | 31.2% | 25% | 0.1% | 43.7% | 0% | 0% | 8 |
| 69.4% | 39% | 17.2% | 0.1% | 43.7% | 0% | 0% | 9 |
| 76.4% | 42.9% | 13.3% | 0.1% | 43.7% | 0% | 0% | 10 |
| 84% | 47.2% | 9% | 0.1% | 43.7% | 0% | 0% | 11 |
| 87.8% | 49.4% | 6.8% | 0.1% | 43.7% | 0% | 0% | 12 |
Compiled 10 to 6 computations (40% saved)
| 778.0ms | 8256× | body | 256 | valid |
| 0.0ms | 3× | body | 256 | infinite |
| 2× | egg-herbie |
| 8× | rational.json-simplify-48 |
| 8× | rational.json-simplify-47 |
| 4× | rational.json-simplify-59 |
| 4× | rational.json-simplify-39 |
| 4× | rational.json-simplify-62 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 38 |
| 1 | 11 | 38 |
| 2 | 15 | 38 |
| 3 | 19 | 38 |
| 4 | 27 | 38 |
| 5 | 27 | 38 |
| 0 | 2 | 2 |
| 1 | 2 | 2 |
| 1× | unsound |
| 1× | saturated |
| Inputs |
|---|
0 |
1 |
| Outputs |
|---|
0 |
1 |
0 |
| 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)) |
(sort re im)
Compiled 11 to 7 computations (36.4% saved)
| 1× | egg-herbie |
| 8× | rational.json-simplify-48 |
| 8× | rational.json-simplify-47 |
| 4× | rational.json-simplify-59 |
| 4× | rational.json-simplify-39 |
| 4× | rational.json-simplify-62 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 19 |
| 1 | 11 | 19 |
| 2 | 15 | 19 |
| 3 | 19 | 19 |
| 4 | 27 | 19 |
| 5 | 27 | 19 |
| 1× | saturated |
| Inputs |
|---|
(+.f64 (*.f64 re re) (*.f64 im im)) |
| Outputs |
|---|
(+.f64 (*.f64 re re) (*.f64 im im)) |
Compiled 9 to 5 computations (44.4% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
|---|---|---|
| ▶ | 0.0b | (+.f64 (*.f64 re re) (*.f64 im im)) |
Compiled 9 to 5 computations (44.4% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (+.f64 (*.f64 re re) (*.f64 im im)) |
Compiled 17 to 5 computations (70.6% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | re | @ | 0 | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 0.0ms | im | @ | 0 | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 0.0ms | re | @ | inf | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 0.0ms | im | @ | inf | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 0.0ms | re | @ | -inf | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 1× | batch-egg-rewrite |
| 1422× | rational.json-1 |
| 1418× | rational.json-2 |
| 1418× | rational.json-4 |
| 1418× | rational.json-3 |
| 752× | rational.json-simplify-41 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 19 |
| 1 | 41 | 19 |
| 2 | 128 | 19 |
| 3 | 617 | 19 |
| 4 | 4411 | 19 |
| 1× | node limit |
| 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))))))) |
| 1× | egg-herbie |
| 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 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 159 | 3900 |
| 1 | 597 | 3180 |
| 2 | 2904 | 2790 |
| 1× | node limit |
| 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))) |
Compiled 2366 to 543 computations (77% saved)
2 alts after pruning (1 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 145 | 1 | 146 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 145 | 2 | 147 |
| Status | Error | Program |
|---|---|---|
| ▶ | 0.0b | (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re)) |
| ✓ | 0.0b | (+.f64 (*.f64 re re) (*.f64 im im)) |
Compiled 24 to 13 computations (45.8% saved)
Found 2 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 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)) |
Compiled 40 to 8 computations (80% saved)
12 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 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))) |
| 1× | batch-egg-rewrite |
| 826× | rational.json-simplify-29 |
| 700× | rational.json-simplify-30 |
| 594× | rational.json-1 |
| 594× | rational.json-2 |
| 594× | rational.json-4 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 62 |
| 1 | 63 | 44 |
| 2 | 221 | 44 |
| 3 | 1304 | 44 |
| 4 | 7508 | 44 |
| 1× | node limit |
| 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))))))))) |
| 1× | egg-herbie |
| 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 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 378 | 9321 |
| 1 | 1411 | 8363 |
| 2 | 6694 | 8363 |
| 1× | node limit |
| 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))) |
Compiled 6095 to 1596 computations (73.8% saved)
2 alts after pruning (0 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 289 | 0 | 289 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 289 | 2 | 291 |
| Status | Error | Program |
|---|---|---|
| ✓ | 0.0b | (-.f64 (+.f64 (*.f64 im im) (*.f64 re (+.f64 re re))) (*.f64 re re)) |
| ✓ | 0.0b | (+.f64 (*.f64 re re) (*.f64 im im)) |
Compiled 24 to 13 computations (45.8% saved)
Total -0.0b remaining (-200%)
Threshold costs -0.0b (-200%)
| 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)) |
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) |
| Error | Segments | Branch |
|---|---|---|
| 0.0b | 1 | re |
| 0.0b | 1 | im |
| 0.0b | 1 | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 0.0b | 1 | (*.f64 re re) |
| 0.0b | 1 | (*.f64 im im) |
Compiled 47 to 24 computations (48.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 19 |
| 1× | done |
| 1× | saturated |
| Inputs |
|---|
(+.f64 (*.f64 re re) (*.f64 im im)) |
| Outputs |
|---|
(+.f64 (*.f64 re re) (*.f64 im im)) |
Compiled 9 to 5 computations (44.4% saved)
(sort re im)
Compiled 27 to 15 computations (44.4% saved)
Loading profile data...