Time bar (total: 3.4s)
| 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 |
| 18.8% | 18.7% | 81.2% | 0.1% | 0% | 0% | 0% | 5 |
| 34.4% | 34.3% | 65.6% | 0.1% | 0% | 0% | 0% | 6 |
| 54.7% | 54.6% | 45.3% | 0.1% | 0% | 0% | 0% | 7 |
| 64.8% | 64.8% | 35.1% | 0.1% | 0% | 0% | 0% | 8 |
| 76.2% | 76.1% | 23.8% | 0.1% | 0% | 0% | 0% | 9 |
| 81.8% | 81.8% | 18.1% | 0.1% | 0% | 0% | 0% | 10 |
| 87.8% | 87.7% | 12.2% | 0.1% | 0% | 0% | 0% | 11 |
| 90.8% | 90.7% | 9.2% | 0.1% | 0% | 0% | 0% | 12 |
Compiled 12 to 8 computations (33.3% saved)
| 1.9s | 8256× | body | 256 | valid |
| 2× | egg-herbie |
| 2× | hypot-def_binary64 |
| 2× | fma-def_binary64 |
| 1× | swap-re-im |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 12 |
| 1 | 15 | 12 |
| 0 | 2 | 2 |
| 1 | 2 | 2 |
| 1× | unsound |
| 1× | saturated |
| Inputs |
|---|
0 |
1 |
| Outputs |
|---|
0 |
1 |
0 |
| Inputs |
|---|
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))) |
| Outputs |
|---|
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
(log.f64 (hypot.f64 re im)) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))) |
(log.f64 (hypot.f64 re im)) |
(sort re im)
Compiled 13 to 9 computations (30.8% saved)
| 1× | egg-herbie |
| 2× | hypot-def_binary64 |
| 2× | fma-def_binary64 |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 6 |
| 1 | 11 | 6 |
| 2 | 13 | 6 |
| 1× | saturated |
| Inputs |
|---|
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
| Outputs |
|---|
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
(log.f64 (hypot.f64 re im)) |
Compiled 15 to 9 computations (40% saved)
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
|---|---|---|
| ▶ | 0b | (log.f64 (hypot.f64 re im)) |
Compiled 6 to 4 computations (33.3% saved)
Found 1 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (hypot.f64 re im) |
Compiled 11 to 4 computations (63.6% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | re | @ | 0 | (hypot.f64 re im) |
| 1.0ms | re | @ | inf | (hypot.f64 re im) |
| 1.0ms | im | @ | 0 | (hypot.f64 re im) |
| 1.0ms | im | @ | inf | (hypot.f64 re im) |
| 1.0ms | re | @ | -inf | (hypot.f64 re im) |
| 1× | batch-egg-rewrite |
| 360× | pow1_binary64 |
| 343× | add-sqr-sqrt_binary64 |
| 339× | *-un-lft-identity_binary64 |
| 329× | add-log-exp_binary64 |
| 329× | log1p-expm1-u_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4 | 4 |
| 1 | 79 | 4 |
| 2 | 911 | 4 |
| 1× | node limit |
| Inputs |
|---|
(hypot.f64 re im) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (hypot.f64 re im))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (hypot.f64 re im)))) (log.f64 (sqrt.f64 (exp.f64 (hypot.f64 re im)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (hypot.f64 re im))) 2)) (log.f64 (cbrt.f64 (exp.f64 (hypot.f64 re im)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (hypot.f64 re im)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (hypot.f64 re im) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (hypot.f64 re im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (hypot.f64 re im)) (pow.f64 (cbrt.f64 (hypot.f64 re im)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (hypot.f64 re im)) (pow.f64 (pow.f64 (cbrt.f64 (hypot.f64 re im)) 4) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (hypot.f64 re im)) 2) (cbrt.f64 (hypot.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (hypot.f64 re im)) (sqrt.f64 (hypot.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (hypot.f64 re im) 1/4) (sqrt.f64 (pow.f64 (hypot.f64 re im) 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (hypot.f64 re im) 1/4) (pow.f64 (pow.f64 (hypot.f64 re im) 3/2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 5/2)) (pow.f64 (hypot.f64 re im) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (hypot.f64 re im) (cbrt.f64 (hypot.f64 re im))) 2)) (cbrt.f64 (cbrt.f64 (hypot.f64 re im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (hypot.f64 re im)) 5)) (pow.f64 (hypot.f64 re im) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (hypot.f64 re im) 3/2)) (pow.f64 (hypot.f64 re im) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (hypot.f64 re im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 (hypot.f64 re im) (cbrt.f64 (hypot.f64 re im))) 2) 1/3) (cbrt.f64 (cbrt.f64 (hypot.f64 re im))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 5/2) 1/3) (pow.f64 (hypot.f64 re im) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (hypot.f64 re im))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 3/2) 1/2) (pow.f64 (hypot.f64 re im) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (hypot.f64 re im)) 4) 1/2) (cbrt.f64 (hypot.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (hypot.f64 re im)) 5) 1/2) (pow.f64 (hypot.f64 re im) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6))) (sqrt.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (sqrt.f64 (-.f64 (*.f64 re re) (*.f64 im im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 re im) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (hypot.f64 re im) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (hypot.f64 re im)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (hypot.f64 re im)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (hypot.f64 re im) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (log.f64 (hypot.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (hypot.f64 re im) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (hypot.f64 re im)))) (sqrt.f64 (log.f64 (hypot.f64 re im))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) 2)) (cbrt.f64 (log.f64 (hypot.f64 re im))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (hypot.f64 re im) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (hypot.f64 re im))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (hypot.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (hypot.f64 re im) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (hypot.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (hypot.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (hypot.f64 re im)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (hypot.f64 re im))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (hypot.f64 re im))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 2 (log.f64 (hypot.f64 re im))) 1/2)))))) |
| 1× | egg-herbie |
| 774× | unswap-sqr_binary64 |
| 754× | associate-*l/_binary64 |
| 606× | associate-*r/_binary64 |
| 320× | *-commutative_binary64 |
| 314× | associate-/l/_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 64 | 465 |
| 1 | 192 | 454 |
| 2 | 561 | 454 |
| 3 | 2284 | 454 |
| 4 | 6188 | 454 |
| 1× | node limit |
| Inputs |
|---|
im |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im))) |
re |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))) |
(*.f64 -1 re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))) |
(+.f64 (*.f64 -1 re) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))))) |
re |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))) |
im |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im))) |
(*.f64 -1 im) |
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im)) |
(+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))) |
(+.f64 (*.f64 -1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im)))) |
| Outputs |
|---|
im |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) |
(fma.f64 1/2 (/.f64 (*.f64 re re) im) im) |
(fma.f64 1/2 (/.f64 re (/.f64 im re)) im) |
(fma.f64 1/2 (*.f64 (/.f64 re im) re) im) |
(fma.f64 1/2 (*.f64 re (/.f64 re im)) im) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)) |
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 (*.f64 re re) im) im)) |
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 re (/.f64 im re)) im)) |
(fma.f64 1/2 (*.f64 (/.f64 re im) re) (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) im)) |
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (*.f64 re (/.f64 re im)) im)) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im))) |
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 (*.f64 re re) im) (fma.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) im))) |
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 re (/.f64 im re)) (fma.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) im))) |
(fma.f64 1/2 (*.f64 (/.f64 re im) re) (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) im))) |
(fma.f64 1/2 (*.f64 re (/.f64 re im)) (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) im))) |
re |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re) |
(fma.f64 1/2 (/.f64 (*.f64 im im) re) re) |
(fma.f64 1/2 (/.f64 im (/.f64 re im)) re) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))) |
(+.f64 (fma.f64 1/2 (/.f64 (*.f64 im im) re) re) (/.f64 (*.f64 -1/8 (pow.f64 im 4)) (pow.f64 re 3))) |
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) re)) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) re) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (+.f64 re (/.f64 (*.f64 -1/8 (pow.f64 im 4)) (pow.f64 re 3))))) |
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) re))) |
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) re))) |
(*.f64 -1 re) |
(neg.f64 re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (*.f64 (/.f64 (*.f64 im im) re) -1/2)) |
(-.f64 (*.f64 (/.f64 im (/.f64 re im)) -1/2) re) |
(-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re) |
(+.f64 (*.f64 -1 re) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)))) |
(fma.f64 -1 re (fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (*.f64 (/.f64 (*.f64 im im) re) -1/2))) |
(-.f64 (fma.f64 (/.f64 im (/.f64 re im)) -1/2 (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8)) re) |
(fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8 (-.f64 (*.f64 (/.f64 im (/.f64 re im)) -1/2) re)) |
(-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) re)) |
(+.f64 (*.f64 -1 re) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))))) |
(fma.f64 -1 re (fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (*.f64 (/.f64 (*.f64 im im) re) -1/2)))) |
(-.f64 (fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8 (fma.f64 (/.f64 im (/.f64 re im)) -1/2 (*.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16))) re) |
(-.f64 (fma.f64 (/.f64 im (/.f64 re im)) -1/2 (fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8 (*.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16))) re) |
(-.f64 (fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8 (*.f64 (*.f64 im im) (/.f64 -1/2 re))) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) re)) |
re |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re) |
(fma.f64 1/2 (/.f64 (*.f64 im im) re) re) |
(fma.f64 1/2 (/.f64 im (/.f64 re im)) re) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))) |
(+.f64 (fma.f64 1/2 (/.f64 (*.f64 im im) re) re) (/.f64 (*.f64 -1/8 (pow.f64 im 4)) (pow.f64 re 3))) |
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) re)) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 re (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) re) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (+.f64 re (/.f64 (*.f64 -1/8 (pow.f64 im 4)) (pow.f64 re 3))))) |
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) re))) |
(fma.f64 1/2 (/.f64 im (/.f64 re im)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) re))) |
im |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im) |
(fma.f64 1/2 (/.f64 (*.f64 re re) im) im) |
(fma.f64 1/2 (/.f64 re (/.f64 im re)) im) |
(fma.f64 1/2 (*.f64 (/.f64 re im) re) im) |
(fma.f64 1/2 (*.f64 re (/.f64 re im)) im) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)) |
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 (*.f64 re re) im) im)) |
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 re (/.f64 im re)) im)) |
(fma.f64 1/2 (*.f64 (/.f64 re im) re) (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) im)) |
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (*.f64 re (/.f64 re im)) im)) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) im))) |
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 (*.f64 re re) im) (fma.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) im))) |
(fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/2 (/.f64 re (/.f64 im re)) (fma.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) im))) |
(fma.f64 1/2 (*.f64 (/.f64 re im) re) (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) im))) |
(fma.f64 1/2 (*.f64 re (/.f64 re im)) (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) im))) |
(*.f64 -1 im) |
(neg.f64 im) |
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im)) |
(fma.f64 -1/2 (/.f64 (*.f64 re re) im) (neg.f64 im)) |
(-.f64 (*.f64 (/.f64 re (/.f64 im re)) -1/2) im) |
(-.f64 (*.f64 (/.f64 -1/2 im) (*.f64 re re)) im) |
(-.f64 (*.f64 (*.f64 re re) (/.f64 -1/2 im)) im) |
(+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))) |
(fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 -1/2 (/.f64 (*.f64 re re) im) (neg.f64 im))) |
(-.f64 (fma.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8 (*.f64 (/.f64 re (/.f64 im re)) -1/2)) im) |
(fma.f64 (*.f64 (/.f64 re im) re) -1/2 (-.f64 (/.f64 (*.f64 (pow.f64 re 4) 1/8) (pow.f64 im 3)) im)) |
(-.f64 (/.f64 (*.f64 (pow.f64 re 4) 1/8) (pow.f64 im 3)) (fma.f64 1/2 (*.f64 re (/.f64 re im)) im)) |
(+.f64 (*.f64 -1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im)))) |
(fma.f64 -1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) (fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (fma.f64 -1/2 (/.f64 (*.f64 re re) im) (neg.f64 im)))) |
(fma.f64 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) -1/16 (-.f64 (fma.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8 (*.f64 (/.f64 re (/.f64 im re)) -1/2)) im)) |
(fma.f64 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) -1/16 (fma.f64 (*.f64 (/.f64 re im) re) -1/2 (-.f64 (/.f64 (*.f64 (pow.f64 re 4) 1/8) (pow.f64 im 3)) im))) |
(fma.f64 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) -1/16 (-.f64 (/.f64 (*.f64 (pow.f64 re 4) 1/8) (pow.f64 im 3)) (fma.f64 1/2 (*.f64 re (/.f64 re im)) im))) |
Compiled 977 to 583 computations (40.3% saved)
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 72 | 3 | 75 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 72 | 4 | 76 |
| Status | Error | Program |
|---|---|---|
| ▶ | 33.6b | (log.f64 (-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re)) |
| ▶ | 30.2b | (log.f64 im) |
| ▶ | 31.3b | (log.f64 (neg.f64 re)) |
| ✓ | 0b | (log.f64 (hypot.f64 re im)) |
Compiled 27 to 19 computations (29.6% saved)
Compiled 5 to 3 computations (40% saved)
Compiled 8 to 4 computations (50% saved)
Found 3 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re) |
| ✓ | 7.0b | (log.f64 (-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re)) |
| ✓ | 7.6b | (*.f64 (*.f64 im im) (/.f64 -1/2 re)) |
Compiled 37 to 18 computations (51.4% saved)
18 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 26.0ms | re | @ | inf | (*.f64 (*.f64 im im) (/.f64 -1/2 re)) |
| 2.0ms | im | @ | -inf | (log.f64 (-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re)) |
| 2.0ms | im | @ | inf | (log.f64 (-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re)) |
| 2.0ms | im | @ | 0 | (log.f64 (-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re)) |
| 2.0ms | re | @ | 0 | (*.f64 (*.f64 im im) (/.f64 -1/2 re)) |
| 1× | batch-egg-rewrite |
| 790× | prod-diff_binary64 |
| 475× | log-prod_binary64 |
| 314× | pow-prod-down_binary64 |
| 290× | fma-def_binary64 |
| 255× | pow2_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 38 |
| 1 | 199 | 38 |
| 2 | 2654 | 38 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (*.f64 im im) (/.f64 -1/2 re)) |
(log.f64 (-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re)) |
(-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 im (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 im) (/.f64 im (*.f64 re -2)))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 im) (/.f64 im (*.f64 re -2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 im) (/.f64 im (*.f64 re -2))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 im) (/.f64 im (*.f64 re -2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 im (/.f64 im (*.f64 re -2))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im im) (*.f64 re -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 re (*.f64 im (*.f64 im -1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 im (*.f64 im -1/2)) re)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 im (*.f64 im -1/2))) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 im (*.f64 im -1/2)) 1) re)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 im (*.f64 im -1/2)) (pow.f64 (cbrt.f64 re) 2)) (cbrt.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 im (*.f64 im -1/2)) (sqrt.f64 re)) (sqrt.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1/2 (*.f64 im im)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 im im) 1/2) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (/.f64 im (*.f64 re -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 im (/.f64 im (*.f64 re -2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 re (*.f64 im (*.f64 im -1/2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 im) (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 im (/.f64 im (*.f64 re -2))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 im (/.f64 im (*.f64 re -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 im (/.f64 im (*.f64 re -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 im (/.f64 im (*.f64 re -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 im (/.f64 im (*.f64 re -2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 im (/.f64 im (*.f64 re -2))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6)) 1/3)))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 2 (log.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (log.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) (*.f64 2 (log.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) (log.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re))) (log.f64 (/.f64 1 (fma.f64 im (/.f64 im (*.f64 re -2)) re))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3))) (log.f64 (/.f64 1 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (fma.f64 im (sqrt.f64 (/.f64 -1/2 re)) (sqrt.f64 re))) (log.f64 (-.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) (sqrt.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (log.f64 (/.f64 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)) (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (log.f64 (/.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) re) (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re))) (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3))) (log.f64 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3)))) (log.f64 (neg.f64 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re)))) (log.f64 (neg.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) re))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (fma.f64 (pow.f64 (/.f64 -1/2 re) 3) (pow.f64 im 6) (pow.f64 (neg.f64 re) 3))) (log.f64 (fma.f64 (*.f64 1/4 (pow.f64 re -2)) (pow.f64 im 4) (-.f64 (pow.f64 (neg.f64 re) 2) (*.f64 (*.f64 im (/.f64 im (*.f64 re -2))) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (log.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (pow.f64 (neg.f64 re) 2))) (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2) (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (log.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 3 (log.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/3 (*.f64 3 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (log.f64 (/.f64 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)) (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (log.f64 (/.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) re) (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (-.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) 2)))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im (/.f64 im (*.f64 re -2))) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 im (/.f64 im (*.f64 re -2))) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) (fma.f64 (neg.f64 re) 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) (fma.f64 (neg.f64 (cbrt.f64 re)) (pow.f64 (cbrt.f64 re) 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) (+.f64 (neg.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) (fma.f64 -1 re re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 re) 2)) (cbrt.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 re) (*.f64 im (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (pow.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2) (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3)) (/.f64 1 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re)) (/.f64 1 (fma.f64 im (/.f64 im (*.f64 re -2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 im (sqrt.f64 (/.f64 -1/2 re)) (sqrt.f64 re)) (-.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) (sqrt.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (exp.f64 1) (*.f64 2 (log.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))) (pow.f64 (exp.f64 1) (log.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (exp.f64 1) (log.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (pow.f64 (exp.f64 1) (log.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)) (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) re) (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3)) (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re)) (fma.f64 im (/.f64 im (*.f64 re -2)) re))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3))) (neg.f64 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re))) (neg.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) re)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 (/.f64 -1/2 re) 3) (pow.f64 im 6) (pow.f64 (neg.f64 re) 3)) (fma.f64 (*.f64 1/4 (pow.f64 re -2)) (pow.f64 im 4) (-.f64 (pow.f64 (neg.f64 re) 2) (*.f64 (*.f64 im (/.f64 im (*.f64 re -2))) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (pow.f64 (neg.f64 re) 2)) (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (exp.f64 1) (exp.f64 (log1p.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))) (pow.f64 (exp.f64 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (exp.f64 1) (log.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re)))) (pow.f64 (exp.f64 1) (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) re))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (exp.f64 1) (log.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3)))) (pow.f64 (exp.f64 1) (log.f64 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (*.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2)) (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2)) (*.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)) (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) re) (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 1) 1) (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) 1) (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (cbrt.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (sqrt.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))) (sqrt.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (sqrt.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2))) (sqrt.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 1) (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 1) (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2)) (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 1) (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2)) 1) (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2)) (cbrt.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))) (cbrt.f64 (sqrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2))) (cbrt.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) 2)) (cbrt.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2)) (sqrt.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))) (sqrt.f64 (cbrt.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 im (/.f64 im (*.f64 re -2))))) (exp.f64 re)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (pow.f64 (exp.f64 im) (/.f64 im (*.f64 re -2))) (+.f64 1 (expm1.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 im (/.f64 im (*.f64 re -2))))) (+.f64 1 (expm1.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 im (/.f64 im (*.f64 re -2))))) (exp.f64 (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 im (/.f64 im (*.f64 re -2))))) (/.f64 1 (exp.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (neg.f64 re)) (pow.f64 (exp.f64 im) (/.f64 im (*.f64 re -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (neg.f64 re)) (+.f64 1 (expm1.f64 (*.f64 im (/.f64 im (*.f64 re -2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (/.f64 1 (exp.f64 re)) (+.f64 1 (expm1.f64 (*.f64 im (/.f64 im (*.f64 re -2)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 im (/.f64 im (*.f64 re -2)) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im im) (/.f64 -1/2 re) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im im) (/.f64 -1/2 re) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1/2 (*.f64 (/.f64 1 re) (*.f64 im im)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1/2 (*.f64 (/.f64 1 re) (*.f64 im im)) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 -1/2 re) (*.f64 im im) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 -1/2 re) (*.f64 im im) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im (/.f64 im (*.f64 re -2))) 1 (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im (/.f64 im (*.f64 re -2))) 1 (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) 1 (fma.f64 (neg.f64 re) 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) 1 (fma.f64 (neg.f64 (cbrt.f64 re)) (pow.f64 (cbrt.f64 re) 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) 1 (+.f64 (neg.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 im (/.f64 im (*.f64 re -2))) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 im (/.f64 im (*.f64 re -2))) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) (fma.f64 (neg.f64 re) 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) (fma.f64 (neg.f64 (cbrt.f64 re)) (pow.f64 (cbrt.f64 re) 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re)) (+.f64 (neg.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (neg.f64 re) (*.f64 im (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (pow.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2) (fma.f64 (neg.f64 re) 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (pow.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2) (fma.f64 (neg.f64 (cbrt.f64 re)) (pow.f64 (cbrt.f64 re) 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (pow.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2) (+.f64 (neg.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2) (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (fma.f64 (neg.f64 re) 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2) (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (fma.f64 (neg.f64 (cbrt.f64 re)) (pow.f64 (cbrt.f64 re) 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) 2) (cbrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (+.f64 (neg.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 re) 2) (neg.f64 (cbrt.f64 re)) (*.f64 im (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 im) 2) (*.f64 (cbrt.f64 im) (/.f64 im (*.f64 re -2))) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 im) 2) (*.f64 (cbrt.f64 im) (/.f64 im (*.f64 re -2))) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/4 (pow.f64 re -2))) (*.f64 (cbrt.f64 (/.f64 -1/2 re)) (*.f64 im im)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/4 (pow.f64 re -2))) (*.f64 (cbrt.f64 (/.f64 -1/2 re)) (*.f64 im im)) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 im) im) (*.f64 (pow.f64 (cbrt.f64 im) 2) (/.f64 -1/2 re)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 im) im) (*.f64 (pow.f64 (cbrt.f64 im) 2) (/.f64 -1/2 re)) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 im (/.f64 im (*.f64 re -2)))) (cbrt.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 im (/.f64 im (*.f64 re -2)))) (cbrt.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)) (cbrt.f64 (*.f64 im (/.f64 im (*.f64 re -2)))) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4)) (cbrt.f64 (*.f64 im (/.f64 im (*.f64 re -2)))) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (fma.f64 (neg.f64 re) 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (fma.f64 (neg.f64 (cbrt.f64 re)) (pow.f64 (cbrt.f64 re) 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (sqrt.f64 (fma.f64 im (/.f64 im (*.f64 re -2)) (neg.f64 re))) (+.f64 (neg.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 re) (neg.f64 (sqrt.f64 re)) (*.f64 im (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 im) (/.f64 im (*.f64 re -2))) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 im) (/.f64 im (*.f64 re -2))) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 -1/2 re)) (*.f64 (sqrt.f64 (/.f64 -1/2 re)) (*.f64 im im)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 -1/2 re)) (*.f64 (sqrt.f64 (/.f64 -1/2 re)) (*.f64 im im)) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3)) (/.f64 1 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4))) (fma.f64 (neg.f64 re) 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3)) (/.f64 1 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4))) (fma.f64 (neg.f64 (cbrt.f64 re)) (pow.f64 (cbrt.f64 re) 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 6) (pow.f64 re 3)) (/.f64 1 (fma.f64 re (fma.f64 im (/.f64 im (*.f64 re -2)) re) (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4))) (+.f64 (neg.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re)) (/.f64 1 (fma.f64 im (/.f64 im (*.f64 re -2)) re)) (fma.f64 (neg.f64 re) 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re)) (/.f64 1 (fma.f64 im (/.f64 im (*.f64 re -2)) re)) (fma.f64 (neg.f64 (cbrt.f64 re)) (pow.f64 (cbrt.f64 re) 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (pow.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) 4) (*.f64 re re)) (/.f64 1 (fma.f64 im (/.f64 im (*.f64 re -2)) re)) (+.f64 (neg.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im (*.f64 im -1/2)) (/.f64 1 re) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 im (*.f64 im -1/2)) (/.f64 1 re) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 im (*.f64 re -2)) im (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 im (*.f64 re -2)) im (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (neg.f64 re)) 2) (cbrt.f64 (neg.f64 re)) (*.f64 im (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (neg.f64 re)) (sqrt.f64 (neg.f64 re)) (*.f64 im (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (sqrt.f64 re)) (sqrt.f64 re) (*.f64 im (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 re (*.f64 im (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (*.f64 im im) 1) (/.f64 -1/2 re) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (*.f64 im im) 1) (/.f64 -1/2 re) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (*.f64 im im) (pow.f64 (cbrt.f64 re) 2)) (/.f64 -1/2 (cbrt.f64 re)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (*.f64 im im) (pow.f64 (cbrt.f64 re) 2)) (/.f64 -1/2 (cbrt.f64 re)) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (*.f64 im im) (sqrt.f64 re)) (/.f64 -1/2 (sqrt.f64 re)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (*.f64 im im) (sqrt.f64 re)) (/.f64 -1/2 (sqrt.f64 re)) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 im (sqrt.f64 (/.f64 -1/2 re)) (sqrt.f64 re)) (-.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) (sqrt.f64 re)) (fma.f64 (neg.f64 re) 1 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 im (sqrt.f64 (/.f64 -1/2 re)) (sqrt.f64 re)) (-.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) (sqrt.f64 re)) (fma.f64 (neg.f64 (cbrt.f64 re)) (pow.f64 (cbrt.f64 re) 2) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 im (sqrt.f64 (/.f64 -1/2 re)) (sqrt.f64 re)) (-.f64 (*.f64 im (sqrt.f64 (/.f64 -1/2 re))) (sqrt.f64 re)) (+.f64 (neg.f64 re) re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (pow.f64 (cbrt.f64 re) 2)) (cbrt.f64 re) (*.f64 im (/.f64 im (*.f64 re -2))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 im (cbrt.f64 (/.f64 -1/2 re))) 2) (cbrt.f64 (/.f64 -1/2 re)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (*.f64 im (cbrt.f64 (/.f64 -1/2 re))) 2) (cbrt.f64 (/.f64 -1/2 re)) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 im im) (sqrt.f64 (/.f64 -1/2 re))) (sqrt.f64 (/.f64 -1/2 re)) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 im im) (sqrt.f64 (/.f64 -1/2 re))) (sqrt.f64 (/.f64 -1/2 re)) (*.f64 (neg.f64 re) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (/.f64 -1/2 re) (*.f64 (cbrt.f64 im) im)) (pow.f64 (cbrt.f64 im) 2) (neg.f64 re))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (/.f64 -1/2 re) (*.f64 (cbrt.f64 im) im)) (pow.f64 (cbrt.f64 im) 2) (*.f64 (neg.f64 re) 1)))))) |
| 1× | egg-herbie |
| 753× | associate-/r*_binary64 |
| 518× | associate-*l*_binary64 |
| 450× | associate-*l/_binary64 |
| 414× | associate-+l+_binary64 |
| 369× | fma-neg_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 103 | 1295 |
| 1 | 293 | 1243 |
| 2 | 825 | 1221 |
| 3 | 3053 | 1221 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(log.f64 (neg.f64 re)) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (log.f64 (neg.f64 re))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (log.f64 (neg.f64 re)))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (+.f64 (log.f64 (neg.f64 re)) (*.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6)))))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (*.f64 -2 (log.f64 (/.f64 1 im)))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -2 (log.f64 (/.f64 1 im))))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -2 (log.f64 (/.f64 1 im)))))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (+.f64 (*.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6))) (*.f64 -2 (log.f64 (/.f64 1 im))))))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (*.f64 -2 (log.f64 (/.f64 -1 im)))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -2 (log.f64 (/.f64 -1 im))))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -2 (log.f64 (/.f64 -1 im)))))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (+.f64 (*.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6))) (*.f64 -2 (log.f64 (/.f64 -1 im))))))) |
(+.f64 (log.f64 (*.f64 -1/2 (pow.f64 im 2))) (*.f64 -1 (log.f64 re))) |
(+.f64 (log.f64 (*.f64 -1/2 (pow.f64 im 2))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -1 (log.f64 re)))) |
(+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (log.f64 (*.f64 -1/2 (pow.f64 im 2))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -1 (log.f64 re))))) |
(+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (log.f64 (*.f64 -1/2 (pow.f64 im 2))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (+.f64 (*.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6))) (*.f64 -1 (log.f64 re)))))) |
(+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re))))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6))) (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re))))))) |
(*.f64 -1 (log.f64 (/.f64 -1 re))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (*.f64 -1 (log.f64 (/.f64 -1 re)))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (*.f64 -1 (log.f64 (/.f64 -1 re))))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6))) (*.f64 -1 (log.f64 (/.f64 -1 re)))))) |
(*.f64 -1 re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(*.f64 -1 re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(*.f64 -1 re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
| Outputs |
|---|
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(log.f64 (neg.f64 re)) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (log.f64 (neg.f64 re))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) (*.f64 re re)) (log.f64 (neg.f64 re))) |
(fma.f64 1/2 (*.f64 (/.f64 im re) (/.f64 im re)) (log.f64 (neg.f64 re))) |
(fma.f64 1/2 (/.f64 im (*.f64 re (/.f64 re im))) (log.f64 (neg.f64 re))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (log.f64 (neg.f64 re)))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) (*.f64 re re)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (log.f64 (neg.f64 re)))) |
(fma.f64 1/2 (*.f64 (/.f64 im re) (/.f64 im re)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (log.f64 (neg.f64 re)))) |
(fma.f64 1/2 (/.f64 im (*.f64 re (/.f64 re im))) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (log.f64 (neg.f64 re)))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (+.f64 (log.f64 (neg.f64 re)) (*.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6)))))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (log.f64 (neg.f64 re))) (*.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6))))) |
(fma.f64 1/2 (*.f64 (/.f64 im re) (/.f64 im re)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (fma.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6)) (log.f64 (neg.f64 re))))) |
(fma.f64 1/2 (/.f64 im (*.f64 re (/.f64 re im))) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (fma.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6)) (log.f64 (neg.f64 re))))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (*.f64 -2 (log.f64 (/.f64 1 im)))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (*.f64 -2 (neg.f64 (log.f64 im)))) |
(fma.f64 -2 (neg.f64 (log.f64 im)) (log.f64 (/.f64 -1/2 re))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (log.f64 (*.f64 im im))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (*.f64 2 (log.f64 im))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -2 (log.f64 (/.f64 1 im))))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (neg.f64 (log.f64 im))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (neg.f64 (log.f64 im))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (*.f64 2 (+.f64 (log.f64 im) (*.f64 (/.f64 re im) (/.f64 re im))))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -2 (log.f64 (/.f64 1 im)))))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (neg.f64 (log.f64 im)))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (neg.f64 (log.f64 im)))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (*.f64 2 (+.f64 (log.f64 im) (*.f64 (/.f64 re im) (/.f64 re im)))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 2 (*.f64 (/.f64 re im) (/.f64 re im)) (*.f64 -2 (-.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (log.f64 im))))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (+.f64 (*.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6))) (*.f64 -2 (log.f64 (/.f64 1 im))))))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (fma.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6)) (*.f64 -2 (neg.f64 (log.f64 im))))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (fma.f64 -2 (neg.f64 (log.f64 im)) (*.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6))))))) |
(fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6)) (*.f64 2 (+.f64 (log.f64 im) (*.f64 (/.f64 re im) (/.f64 re im))))))) |
(+.f64 (fma.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6)) (*.f64 2 (+.f64 (log.f64 im) (*.f64 (/.f64 re im) (/.f64 re im))))) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (log.f64 (/.f64 -1/2 re)))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (*.f64 -2 (log.f64 (/.f64 -1 im)))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (*.f64 -2 (log.f64 (/.f64 -1 im)))) |
(fma.f64 -2 (log.f64 (/.f64 -1 im)) (log.f64 (/.f64 -1/2 re))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -2 (log.f64 (/.f64 -1 im))))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (log.f64 (/.f64 -1 im))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (log.f64 (/.f64 -1 im))))) |
(fma.f64 2 (*.f64 (/.f64 re im) (/.f64 re im)) (fma.f64 -2 (log.f64 (/.f64 -1 im)) (log.f64 (/.f64 -1/2 re)))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -2 (log.f64 (/.f64 -1 im)))))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (log.f64 (/.f64 -1 im)))))) |
(+.f64 (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (*.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)))) (fma.f64 -2 (log.f64 (/.f64 -1 im)) (log.f64 (/.f64 -1/2 re)))) |
(fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (*.f64 (/.f64 re im) (/.f64 re im)) (fma.f64 -2 (log.f64 (/.f64 -1 im)) (log.f64 (/.f64 -1/2 re))))) |
(+.f64 (log.f64 (neg.f64 (*.f64 1/2 (/.f64 1 re)))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (+.f64 (*.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6))) (*.f64 -2 (log.f64 (/.f64 -1 im))))))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (fma.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6)) (*.f64 -2 (log.f64 (/.f64 -1 im))))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (fma.f64 -2 (log.f64 (/.f64 -1 im)) (*.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6))))))) |
(+.f64 (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (*.f64 (/.f64 re im) (/.f64 re im)) (*.f64 (/.f64 8/3 (pow.f64 im 6)) (pow.f64 re 6)))) (fma.f64 -2 (log.f64 (/.f64 -1 im)) (log.f64 (/.f64 -1/2 re)))) |
(+.f64 (fma.f64 -2 (log.f64 (/.f64 -1 im)) (fma.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6)) (*.f64 2 (*.f64 (/.f64 re im) (/.f64 re im))))) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (log.f64 (/.f64 -1/2 re)))) |
(+.f64 (log.f64 (*.f64 -1/2 (pow.f64 im 2))) (*.f64 -1 (log.f64 re))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (*.f64 -2 (neg.f64 (log.f64 im)))) |
(fma.f64 -2 (neg.f64 (log.f64 im)) (log.f64 (/.f64 -1/2 re))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (log.f64 (*.f64 im im))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (*.f64 2 (log.f64 im))) |
(+.f64 (log.f64 (*.f64 -1/2 (pow.f64 im 2))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -1 (log.f64 re)))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (neg.f64 (log.f64 im))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (neg.f64 (log.f64 im))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (*.f64 2 (+.f64 (log.f64 im) (*.f64 (/.f64 re im) (/.f64 re im))))) |
(+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (log.f64 (*.f64 -1/2 (pow.f64 im 2))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (*.f64 -1 (log.f64 re))))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (neg.f64 (log.f64 im)))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (*.f64 -2 (neg.f64 (log.f64 im)))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (*.f64 2 (+.f64 (log.f64 im) (*.f64 (/.f64 re im) (/.f64 re im)))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 2 (*.f64 (/.f64 re im) (/.f64 re im)) (*.f64 -2 (-.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (log.f64 im))))) |
(+.f64 (*.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4))) (+.f64 (log.f64 (*.f64 -1/2 (pow.f64 im 2))) (+.f64 (*.f64 2 (/.f64 (pow.f64 re 2) (pow.f64 im 2))) (+.f64 (*.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6))) (*.f64 -1 (log.f64 re)))))) |
(+.f64 (log.f64 (neg.f64 (/.f64 1/2 re))) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (fma.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6)) (*.f64 -2 (neg.f64 (log.f64 im))))))) |
(+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (fma.f64 2 (/.f64 (*.f64 re re) (*.f64 im im)) (fma.f64 -2 (neg.f64 (log.f64 im)) (*.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6))))))) |
(fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (+.f64 (log.f64 (/.f64 -1/2 re)) (fma.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6)) (*.f64 2 (+.f64 (log.f64 im) (*.f64 (/.f64 re im) (/.f64 re im))))))) |
(+.f64 (fma.f64 8/3 (/.f64 (pow.f64 re 6) (pow.f64 im 6)) (*.f64 2 (+.f64 (log.f64 im) (*.f64 (/.f64 re im) (/.f64 re im))))) (fma.f64 -2 (/.f64 (pow.f64 re 4) (pow.f64 im 4)) (log.f64 (/.f64 -1/2 re)))) |
(+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))) |
(log.f64 (neg.f64 re)) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re))))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) (*.f64 re re)) (log.f64 (neg.f64 re))) |
(fma.f64 1/2 (*.f64 (/.f64 im re) (/.f64 im re)) (log.f64 (neg.f64 re))) |
(fma.f64 1/2 (/.f64 im (*.f64 re (/.f64 re im))) (log.f64 (neg.f64 re))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re)))))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) (*.f64 re re)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (log.f64 (neg.f64 re)))) |
(fma.f64 1/2 (*.f64 (/.f64 im re) (/.f64 im re)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (log.f64 (neg.f64 re)))) |
(fma.f64 1/2 (/.f64 im (*.f64 re (/.f64 re im))) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (log.f64 (neg.f64 re)))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6))) (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 re))))))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) (*.f64 re re)) (+.f64 (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (log.f64 (neg.f64 re))) (*.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6))))) |
(fma.f64 1/2 (*.f64 (/.f64 im re) (/.f64 im re)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (fma.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6)) (log.f64 (neg.f64 re))))) |
(fma.f64 1/2 (/.f64 im (*.f64 re (/.f64 re im))) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (fma.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6)) (log.f64 (neg.f64 re))))) |
(*.f64 -1 (log.f64 (/.f64 -1 re))) |
(neg.f64 (log.f64 (/.f64 -1 re))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (*.f64 -1 (log.f64 (/.f64 -1 re)))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) (*.f64 re re)) (neg.f64 (log.f64 (/.f64 -1 re)))) |
(fma.f64 1/2 (*.f64 (/.f64 im re) (/.f64 im re)) (neg.f64 (log.f64 (/.f64 -1 re)))) |
(-.f64 (*.f64 (/.f64 im (/.f64 re im)) (/.f64 1/2 re)) (log.f64 (/.f64 -1 re))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (*.f64 -1 (log.f64 (/.f64 -1 re))))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) (*.f64 re re)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (neg.f64 (log.f64 (/.f64 -1 re))))) |
(-.f64 (fma.f64 1/2 (*.f64 (/.f64 im re) (/.f64 im re)) (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)))) (log.f64 (/.f64 -1 re))) |
(-.f64 (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (*.f64 (/.f64 im (/.f64 re im)) (/.f64 1/2 re))) (log.f64 (/.f64 -1 re))) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) (pow.f64 re 2))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4))) (+.f64 (*.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6))) (*.f64 -1 (log.f64 (/.f64 -1 re)))))) |
(fma.f64 1/2 (/.f64 (*.f64 im im) (*.f64 re re)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (fma.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6)) (neg.f64 (log.f64 (/.f64 -1 re)))))) |
(fma.f64 1/2 (*.f64 (/.f64 im re) (/.f64 im re)) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (*.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6))) (log.f64 (/.f64 -1 re))))) |
(fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (fma.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6)) (*.f64 (/.f64 im (/.f64 re im)) (/.f64 1/2 re))) (log.f64 (/.f64 -1 re)))) |
(-.f64 (fma.f64 1/2 (/.f64 im (*.f64 re (/.f64 re im))) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 4)) (*.f64 1/24 (/.f64 (pow.f64 im 6) (pow.f64 re 6))))) (log.f64 (/.f64 -1 re))) |
(*.f64 -1 re) |
(neg.f64 re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) |
(/.f64 (*.f64 -1/2 (*.f64 im im)) re) |
(*.f64 -1/2 (/.f64 im (/.f64 re im))) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(*.f64 -1 re) |
(neg.f64 re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(*.f64 -1 re) |
(neg.f64 re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
(+.f64 (*.f64 -1 re) (*.f64 -1/2 (/.f64 (pow.f64 im 2) re))) |
(fma.f64 -1 re (/.f64 (*.f64 -1/2 (*.f64 im im)) re)) |
(-.f64 (*.f64 -1/2 (/.f64 im (/.f64 re im))) re) |
Compiled 5314 to 3348 computations (37% saved)
4 alts after pruning (0 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 267 | 0 | 267 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 267 | 4 | 271 |
| Status | Error | Program |
|---|---|---|
| ✓ | 33.6b | (log.f64 (-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re)) |
| ✓ | 30.2b | (log.f64 im) |
| ✓ | 31.3b | (log.f64 (neg.f64 re)) |
| ✓ | 0b | (log.f64 (hypot.f64 re im)) |
Compiled 27 to 19 computations (29.6% saved)
| Inputs |
|---|
(log.f64 im) |
(log.f64 (neg.f64 re)) |
(log.f64 (-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re)) |
(log.f64 (hypot.f64 re im)) |
(log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
| Outputs |
|---|
(log.f64 (hypot.f64 re im)) |
9 calls:
| 43.0ms | re |
| 19.0ms | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
| 8.0ms | (*.f64 re re) |
| 7.0ms | im |
| 6.0ms | (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
| Error | Segments | Branch |
|---|---|---|
| 0b | 1 | re |
| 0b | 1 | im |
| 0b | 1 | (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) |
| 0b | 1 | (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im))) |
| 0b | 1 | (+.f64 (*.f64 re re) (*.f64 im im)) |
| 0b | 1 | (*.f64 re re) |
| 0b | 1 | (*.f64 re re) |
| 0b | 1 | (*.f64 im im) |
| 0b | 1 | (*.f64 im im) |
Compiled 86 to 51 computations (40.7% saved)
Total -54.3b remaining (-690.2%)
Threshold costs -54.3b (-690.2%)
| Inputs |
|---|
(log.f64 im) |
(log.f64 (neg.f64 re)) |
(log.f64 (-.f64 (*.f64 (*.f64 im im) (/.f64 -1/2 re)) re)) |
| Outputs |
|---|
(log.f64 (neg.f64 re)) |
(log.f64 im) |
4 calls:
| 47.0ms | im |
| 15.0ms | re |
| 10.0ms | (*.f64 im im) |
| 9.0ms | (*.f64 im im) |
| Error | Segments | Branch |
|---|---|---|
| 7.9b | 2 | re |
| 8.1b | 2 | im |
| 11.6b | 2 | (*.f64 im im) |
| 11.6b | 2 | (*.f64 im im) |
Compiled 33 to 21 computations (36.4% saved)
| 1× | binary-search |
| Time | Left | Right |
|---|---|---|
| 72.0ms | -3.868277774451937e-171 | -4.487179037360678e-172 |
Compiled 16 to 11 computations (31.3% saved)
| 1× | egg-herbie |
| 1× | +-commutative_binary64 |
| 1× | *-commutative_binary64 |
| 1× | sub-neg_binary64 |
| 1× | neg-sub0_binary64 |
| 1× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 23 |
| 1 | 16 | 23 |
| 2 | 18 | 23 |
| 3 | 19 | 23 |
| 1× | done |
| 1× | saturated |
| Inputs |
|---|
(log.f64 (hypot.f64 re im)) |
(if (<=.f64 re -4207798871613671/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144) (log.f64 (neg.f64 re)) (log.f64 im)) |
(log.f64 im) |
| Outputs |
|---|
(log.f64 (hypot.f64 re im)) |
(if (<=.f64 re -4207798871613671/1087770609288739018116276647019455748771006705104961378712461595034426490595025393129804804639189577049885346787832834079429794483512744426310696916513970896780966442670885312576979206144) (log.f64 (neg.f64 re)) (log.f64 im)) |
(log.f64 im) |
Compiled 21 to 15 computations (28.6% saved)
| 1× | egg-herbie |
| 2× | hypot-def_binary64 |
| 2× | fma-def_binary64 |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 6 |
| 1 | 11 | 6 |
| 2 | 13 | 6 |
| 1× | saturated |
Compiled 17 to 11 computations (35.3% saved)
(sort re im)
Compiled 29 to 18 computations (37.9% saved)
Loading profile data...