Details

Time bar (total: 1.1s)

analyze132.0ms (12%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
37.5%62.4%0.1%6
56.2%43.7%0.1%7
65.6%34.3%0.1%8
76.5%23.4%0.1%9
82%18%0.1%10
87.8%12.1%0.1%11
90.7%9.2%0.1%12
93.8%6.1%0.1%13
95.3%4.6%0.1%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample794.0ms (72.2%)

Results
780.0ms8256×body128valid
Compiler

Compiled 22 to 14 computations (36.4% saved)

preprocess19.0ms (1.7%)

Algorithm
2×egg-herbie
Rules
2×hypot-def_binary64
2×fma-def_binary64
1×swap-re-im
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
098
1138
022
122
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))
Outputs
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(hypot.f64 re im)
(sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))
(hypot.f64 re im)
Symmetry

(sort re im)

Compiler

Compiled 10 to 6 computations (40% saved)

simplify6.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
2×hypot-def_binary64
2×fma-def_binary64
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074
1104
2124
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Outputs
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(hypot.f64 re im)

prune3.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(hypot.f64 re im)
Compiler

Compiled 23 to 13 computations (43.5% saved)

localize2.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(hypot.f64 re im)

series10.0ms (0.9%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
4.0ms
im
@-inf
(hypot.f64 re im)
1.0ms
re
@0
(hypot.f64 re im)
1.0ms
re
@-inf
(hypot.f64 re im)
1.0ms
im
@inf
(hypot.f64 re im)
1.0ms
re
@inf
(hypot.f64 re im)

rewrite25.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
360×pow1_binary64
329×add-log-exp_binary64
329×log1p-expm1-u_binary64
329×expm1-log1p-u_binary64
321×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
1794
29104
Stop Event
1×node limit
Counts
1 → 17
Calls
Call 1
Inputs
(hypot.f64 re im)
Outputs
((#(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 (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 pow.f64 (hypot.f64 re im) 1)))) (#(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 (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 sqrt.f64 (pow.f64 (hypot.f64 re im) 2))))) (#(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 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 expm1.f64 (log1p.f64 (hypot.f64 re im)))))))

simplify29.0ms (2.6%)

Algorithm
1×egg-herbie
Rules
748×associate-*l/_binary64
298×associate-/l/_binary64
291×associate-/r/_binary64
238×fma-def_binary64
232×times-frac_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
067457
1201454
2572454
32327454
Stop Event
1×node limit
Counts
41 → 47
Calls
Call 1
Inputs
im
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) im))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) 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))) im)))
re
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re)
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re))
(+.f64 (*.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))) re)))
(*.f64 -1 re)
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) (*.f64 -1 re))
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (*.f64 -1 re)))
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 -1 re) (*.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))))))
re
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re)
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re))
(+.f64 (*.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))) re)))
im
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) im)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) im))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) 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))) im)))
(*.f64 -1 im)
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (*.f64 -1 im))
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 -1 im) (*.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 im) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (*.f64 -1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))))))
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)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) im))
(fma.f64 1/2 (/.f64 (*.f64 re re) im) (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) im))
(fma.f64 1/2 (/.f64 re (/.f64 im re)) (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 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 (/.f64 re im) re) im))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) 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))) im)))
(fma.f64 1/2 (/.f64 (*.f64 re re) 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)) im)))
(fma.f64 1/2 (/.f64 re (/.f64 im re)) (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)) im)))
(fma.f64 1/2 (*.f64 (/.f64 re im) re) (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)) 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 im) re) 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/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re))
(fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 1/2 (/.f64 (*.f64 im im) re) re))
(fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 1/2 (/.f64 im (/.f64 re im)) re))
(fma.f64 1/2 (/.f64 (*.f64 im im) re) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) re))
(+.f64 (*.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))) re)))
(fma.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)) re)))
(fma.f64 -1/8 (/.f64 (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)) re)))
(fma.f64 1/2 (/.f64 (*.f64 im im) 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)) re)))
(*.f64 -1 re)
(neg.f64 re)
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) (*.f64 -1 re))
(fma.f64 -1/2 (/.f64 (*.f64 im im) re) (neg.f64 re))
(-.f64 (*.f64 (/.f64 im (/.f64 re im)) -1/2) re)
(fma.f64 (/.f64 (*.f64 im im) re) -1/2 (neg.f64 re))
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 im 2) re)) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (*.f64 -1 re)))
(fma.f64 -1/2 (/.f64 (*.f64 im im) re) (fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (neg.f64 re)))
(-.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 (fma.f64 (/.f64 (*.f64 im im) re) -1/2 (neg.f64 re)))
(-.f64 (*.f64 (/.f64 (*.f64 im im) re) -1/2) (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/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 -1 re) (*.f64 -1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))))))
(fma.f64 -1/2 (/.f64 (*.f64 im im) re) (fma.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 -1 re (*.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16))))
(fma.f64 (/.f64 im (/.f64 re im)) -1/2 (fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8 (-.f64 (*.f64 (/.f64 (pow.f64 im 6) (pow.f64 re 5)) -1/16) re)))
(fma.f64 (/.f64 (*.f64 im im) re) -1/2 (-.f64 (fma.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8 (/.f64 -1/16 (/.f64 (pow.f64 re 5) (pow.f64 im 6)))) re))
(-.f64 (fma.f64 (/.f64 (*.f64 im im) re) -1/2 (*.f64 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) 1/8)) (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/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (*.f64 1/2 (/.f64 (pow.f64 im 2) re)) re))
(fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 1/2 (/.f64 (*.f64 im im) re) re))
(fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) (fma.f64 1/2 (/.f64 im (/.f64 re im)) re))
(fma.f64 1/2 (/.f64 (*.f64 im im) re) (fma.f64 -1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)) re))
(+.f64 (*.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))) re)))
(fma.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)) re)))
(fma.f64 -1/8 (/.f64 (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)) re)))
(fma.f64 1/2 (/.f64 (*.f64 im im) 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)) 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)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) im))
(fma.f64 1/2 (/.f64 (*.f64 re re) im) (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) im))
(fma.f64 1/2 (/.f64 re (/.f64 im re)) (fma.f64 -1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 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 (/.f64 re im) re) im))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 re 2) 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))) im)))
(fma.f64 1/2 (/.f64 (*.f64 re re) 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)) im)))
(fma.f64 1/2 (/.f64 re (/.f64 im re)) (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)) im)))
(fma.f64 1/2 (*.f64 (/.f64 re im) re) (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)) 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 im) re) 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))
(fma.f64 (/.f64 re (/.f64 im re)) -1/2 (neg.f64 im))
(fma.f64 (*.f64 (/.f64 re im) re) -1/2 (neg.f64 im))
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 -1 im) (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)))))
(fma.f64 -1/2 (/.f64 (*.f64 re re) im) (fma.f64 -1 im (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8)))
(fma.f64 (/.f64 re (/.f64 im re)) -1/2 (-.f64 (*.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8) im))
(-.f64 (fma.f64 (*.f64 (/.f64 re im) re) -1/2 (*.f64 (/.f64 1/8 (pow.f64 im 3)) (pow.f64 re 4))) im)
(fma.f64 (*.f64 (/.f64 re im) re) -1/2 (fma.f64 (/.f64 1/8 (pow.f64 im 3)) (pow.f64 re 4) (neg.f64 im)))
(+.f64 (*.f64 -1/2 (/.f64 (pow.f64 re 2) im)) (+.f64 (*.f64 -1 im) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3))) (*.f64 -1/16 (/.f64 (pow.f64 re 6) (pow.f64 im 5))))))
(fma.f64 -1/2 (/.f64 (*.f64 re re) im) (fma.f64 -1 im (fma.f64 1/8 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) (*.f64 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) -1/16))))
(fma.f64 (/.f64 re (/.f64 im re)) -1/2 (-.f64 (fma.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8 (/.f64 (*.f64 (pow.f64 re 6) -1/16) (pow.f64 im 5))) im))
(fma.f64 (*.f64 (/.f64 re im) re) -1/2 (fma.f64 (/.f64 (pow.f64 re 6) (pow.f64 im 5)) -1/16 (-.f64 (*.f64 (/.f64 1/8 (pow.f64 im 3)) (pow.f64 re 4)) im)))
(-.f64 (fma.f64 (/.f64 (pow.f64 re 4) (pow.f64 im 3)) 1/8 (*.f64 (/.f64 -1/16 (pow.f64 im 5)) (pow.f64 re 6))) (fma.f64 1/2 (*.f64 (/.f64 re im) re) im))

prune18.0ms (1.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New47047
Fresh000
Picked011
Done000
Total47148
Error
0.0b
Counts
48 → 1
Alt Table
StatusErrorProgram
✓0.0b
(hypot.f64 re im)
Compiler

Compiled 580 to 353 computations (39.1% saved)

regimes31.0ms (2.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
4 → 1
Compiler

Compiled 61 to 35 computations (42.6% saved)

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
Stop Event
1×saturated
Calls
Call 1
Inputs
(hypot.f64 re im)
Outputs
(hypot.f64 re im)

end31.0ms (2.8%)

Stop Event
1×done
Remove

(sort re im)

Compiler

Compiled 25 to 15 computations (40% saved)

Profiling

Loading profile data...