Details

Time bar (total: 2.0s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 10 to 6 computations (40% saved)

sample799.0ms (40.3%)

Results
428.0ms4691×body256valid
359.0ms3565×body256infinite
Bogosity

preprocess13.0ms (0.7%)

Algorithm
2×egg-herbie
Rules
4×fma-def
2×swap-re-im
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0830
11130
022
122
Stop Event
1×unsound
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
0
Call 2
Inputs
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 im im) (*.f64 re re))
Outputs
(+.f64 (*.f64 re re) (*.f64 im im))
(fma.f64 re re (*.f64 im im))
(+.f64 (*.f64 im im) (*.f64 re re))
(fma.f64 re re (*.f64 im im))
Symmetry

(sort re im)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify62.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
4×fma-def
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0715
11015
21115
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (*.f64 re re) (*.f64 im im))
Outputs
(+.f64 (*.f64 re re) (*.f64 im im))
(fma.f64 re re (*.f64 im im))

eval0.0ms (0%)

Compiler

Compiled 15 to 6 computations (60% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Accurracy
58.2%
Counts
3 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶58.2%
(fma.f64 re re (*.f64 im im))
▶58.2%
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 17 to 9 computations (47.1% saved)

localize6.0ms (0.3%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 17 to 5 computations (70.6% saved)

series1.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

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

rewrite63.0ms (3.2%)

Algorithm
1×batch-egg-rewrite
Rules
1514×pow1
1404×add-exp-log
1404×log1p-expm1-u
1404×expm1-log1p-u
1374×add-log-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0715
115013
2201613
Stop Event
1×node limit
Counts
1 → 33
Calls
Call 1
Inputs
(+.f64 (*.f64 re re) (*.f64 im im))
Outputs
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(-.f64 (/.f64 (pow.f64 re 4) (-.f64 (*.f64 re re) (*.f64 im im))) (/.f64 (pow.f64 im 4) (-.f64 (*.f64 re re) (*.f64 im im))))
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(*.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(*.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (-.f64 (*.f64 re re) (*.f64 im im))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))) (+.f64 (pow.f64 re 6) (pow.f64 im 6))))
(/.f64 1 (/.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 (neg.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6))) (neg.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (-.f64 (*.f64 re re) (*.f64 im im))))
(/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (*.f64 im im) (*.f64 re re)))
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(pow.f64 (hypot.f64 re im) 2)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(fma.f64 re re (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(fma.f64 1 (*.f64 re re) (*.f64 im im))
(fma.f64 1 (*.f64 im im) (*.f64 re re))
(fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (*.f64 re re))
(fma.f64 (cbrt.f64 (pow.f64 re 4)) (pow.f64 (cbrt.f64 re) 2) (*.f64 im im))

simplify62.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
1170×log-prod
1128×cancel-sign-sub-inv
1040×div-sub
986×fma-neg
850×associate-*r*
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0911435
12191309
27431213
345481081
Stop Event
1×node limit
Counts
57 → 46
Calls
Call 1
Inputs
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(-.f64 (/.f64 (pow.f64 re 4) (-.f64 (*.f64 re re) (*.f64 im im))) (/.f64 (pow.f64 im 4) (-.f64 (*.f64 re re) (*.f64 im im))))
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(*.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(*.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (-.f64 (*.f64 re re) (*.f64 im im))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))) (+.f64 (pow.f64 re 6) (pow.f64 im 6))))
(/.f64 1 (/.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 (neg.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6))) (neg.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (-.f64 (*.f64 re re) (*.f64 im im))))
(/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (*.f64 im im) (*.f64 re re)))
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(pow.f64 (hypot.f64 re im) 2)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(fma.f64 re re (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(fma.f64 1 (*.f64 re re) (*.f64 im im))
(fma.f64 1 (*.f64 im im) (*.f64 re re))
(fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (*.f64 re re))
(fma.f64 (cbrt.f64 (pow.f64 re 4)) (pow.f64 (cbrt.f64 re) 2) (*.f64 im im))
Outputs
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(-.f64 (/.f64 (pow.f64 re 4) (-.f64 (*.f64 re re) (*.f64 im im))) (/.f64 (pow.f64 im 4) (-.f64 (*.f64 re re) (*.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (fma.f64 im im (*.f64 re re)) 1)
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(*.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 im re) 2)))
(*.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (-.f64 (*.f64 re re) (*.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (fma.f64 im im (*.f64 re re)) 1)
(/.f64 1 (/.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))) (+.f64 (pow.f64 re 6) (pow.f64 im 6))))
(*.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 im re) 2)))
(/.f64 1 (/.f64 (-.f64 (*.f64 re re) (*.f64 im im)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (fma.f64 im im (*.f64 re re)) 1)
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2))))
(*.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 im re) 2)))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 re im) 2))))
(*.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 im re) 2)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (fma.f64 im im (*.f64 re re)) 1)
(/.f64 (neg.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6))) (neg.f64 (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 re im) 2)))))
(*.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (+.f64 (pow.f64 re 4) (-.f64 (pow.f64 im 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 im re) 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (-.f64 (*.f64 re re) (*.f64 im im))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (fma.f64 im im (*.f64 re re)) 1)
(/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (*.f64 im im) (*.f64 re re)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(*.f64 (fma.f64 im im (*.f64 re re)) 1)
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (hypot.f64 re im) 2)
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 1 (-.f64 (pow.f64 (hypot.f64 re im) 2) 1))
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(fma.f64 re re (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(fma.f64 1 (*.f64 re re) (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(fma.f64 1 (*.f64 im im) (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(fma.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2) (*.f64 re re))
(fma.f64 re re (*.f64 (cbrt.f64 (pow.f64 im 4)) (pow.f64 (cbrt.f64 im) 2)))
(fma.f64 (cbrt.f64 (pow.f64 re 4)) (pow.f64 (cbrt.f64 re) 2) (*.f64 im im))
(fma.f64 im im (*.f64 (cbrt.f64 (pow.f64 re 4)) (pow.f64 (cbrt.f64 re) 2)))

localize5.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(fma.f64 re re (*.f64 im im))
Compiler

Compiled 13 to 4 computations (69.2% saved)

series1.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

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

rewrite83.0ms (4.2%)

Algorithm
1×batch-egg-rewrite
Rules
1242×pow1
1132×add-exp-log
1132×log1p-expm1-u
1132×expm1-log1p-u
1104×add-log-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0715
113713
2159213
Stop Event
1×node limit
Counts
1 → 21
Calls
Call 1
Inputs
(fma.f64 re re (*.f64 im im))
Outputs
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 (*.f64 re re) 1) (*.f64 im im))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(/.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)) (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
(/.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(pow.f64 (hypot.f64 re im) 2)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))

simplify50.0ms (2.5%)

Algorithm
1×egg-herbie
Rules
1684×fma-def
1232×log-prod
838×associate-*r*
720×associate-*l*
712×unswap-sqr
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
057899
1154771
2584671
33363649
Stop Event
1×node limit
Counts
45 → 36
Calls
Call 1
Inputs
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 (*.f64 re re) 1) (*.f64 im im))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(/.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)) (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
(/.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(pow.f64 (hypot.f64 re im) 2)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
Outputs
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (*.f64 re re))
(+.f64 (*.f64 im im) (*.f64 re re))
(fma.f64 im im (*.f64 re re))
(+.f64 (*.f64 re re) (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(+.f64 (*.f64 (*.f64 re re) 1) (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) 1)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 2) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(/.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)) (+.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
(/.f64 (+.f64 (pow.f64 (*.f64 re re) 3) (pow.f64 (*.f64 im im) 3)) (fma.f64 (*.f64 re re) (*.f64 re re) (-.f64 (pow.f64 im 4) (*.f64 (*.f64 im im) (*.f64 re re)))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (*.f64 re (*.f64 re (*.f64 im im)))))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (fma.f64 (*.f64 im im) (-.f64 (*.f64 im im) (*.f64 re re)) (pow.f64 re 4)))
(/.f64 (+.f64 (pow.f64 re 6) (pow.f64 im 6)) (fma.f64 im (-.f64 (pow.f64 im 3) (*.f64 im (*.f64 re re))) (pow.f64 re 4)))
(/.f64 (-.f64 (*.f64 (*.f64 re re) (*.f64 re re)) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 (-.f64 (*.f64 re (*.f64 re (*.f64 re re))) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (*.f64 re re) (*.f64 im im)))
(/.f64 (fma.f64 im im (*.f64 re re)) 1)
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3) 1/3)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (hypot.f64 re im) 2)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 2))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 3))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (log.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 re im) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 re im) 2) 0)
(pow.f64 (hypot.f64 re im) 2)

eval14.0ms (0.7%)

Compiler

Compiled 920 to 479 computations (47.9% saved)

prune46.0ms (2.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New79382
Fresh000
Picked011
Done011
Total79584
Accurracy
59.3%
Counts
84 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓58.2%
(fma.f64 re re (*.f64 im im))
▶58.2%
(fma.f64 im im (*.f64 re re))
✓58.2%
(+.f64 (*.f64 re re) (*.f64 im im))
▶31.6%
(*.f64 re re)
▶35.3%
(*.f64 im im)
Compiler

Compiled 35 to 19 computations (45.7% saved)

localize3.0ms (0.1%)

Compiler

Compiled 6 to 3 computations (50% saved)

localize3.0ms (0.1%)

Compiler

Compiled 6 to 3 computations (50% saved)

localize5.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(fma.f64 im im (*.f64 re re))
Compiler

Compiled 13 to 4 computations (69.2% saved)

series1.0ms (0%)

Counts
1 → 24
Calls

6 calls:

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

rewrite54.0ms (2.7%)

Algorithm
1×batch-egg-rewrite
Rules
1242×pow1
1132×add-exp-log
1132×log1p-expm1-u
1132×expm1-log1p-u
1104×add-log-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0715
113713
2159213
Stop Event
1×node limit
Counts
1 → 21
Calls
Call 1
Inputs
(fma.f64 im im (*.f64 re re))
Outputs
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 (*.f64 im im) 1) (*.f64 re re))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) 1)
(*.f64 (pow.f64 (hypot.f64 im re) 2) 1)
(*.f64 1 (pow.f64 (hypot.f64 im re) 2))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) 2))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) 2) (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)))
(*.f64 (hypot.f64 im re) (hypot.f64 im re))
(/.f64 (+.f64 (pow.f64 (*.f64 im im) 3) (pow.f64 (*.f64 re re) 3)) (+.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (-.f64 (pow.f64 re 4) (*.f64 (*.f64 im im) (*.f64 re re)))))
(/.f64 (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (pow.f64 re 4)) (-.f64 (*.f64 im im) (*.f64 re re)))
(pow.f64 (pow.f64 (hypot.f64 im re) 2) 1)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) 3)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 im re) 2) 3) 1/3)
(pow.f64 (hypot.f64 im re) 2)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 im re) 2) 2))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 im re) 2)))
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 im re) 2) 3))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 im re) 2)))
(exp.f64 (log.f64 (pow.f64 (hypot.f64 im re) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 im re) 2)))

simplify53.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
1684×fma-def
1232×log-prod
838×associate-*r*
720×associate-*l*
712×unswap-sqr
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
057899
1154771
2584671
33363649
Stop Event
1×node limit
Counts
45 → 36
Calls
Call 1
Inputs
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 im 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(pow.f64 re 2)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 im im) (*.f64 re re))
(+.f64 (*.f64 (*.f64 im im) 1) (*.f64 re re))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) 1)
(*.f64 (pow.f64 (hypot.f64 im re) 2) 1)
(*.f64 1 (pow.f64 (hypot.f64 im re) 2))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) 2))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) 2) (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)))
(*.f64 (hypot.f64 im re) (hypot.f64 im re))
(/.f64 (+.f64 (pow.f64 (*.f64 im im) 3) (pow.f64 (*.f64 re re) 3)) (+.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (-.f64 (pow.f64 re 4) (*.f64 (*.f64 im im) (*.f64 re re)))))
(/.f64 (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (pow.f64 re 4)) (-.f64 (*.f64 im im) (*.f64 re re)))
(pow.f64 (pow.f64 (hypot.f64 im re) 2) 1)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) 3)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 im re) 2) 3) 1/3)
(pow.f64 (hypot.f64 im re) 2)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 im re) 2) 2))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 im re) 2)))
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 im re) 2) 3))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 im re) 2)))
(exp.f64 (log.f64 (pow.f64 (hypot.f64 im re) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 im re) 2)))
Outputs
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(pow.f64 im 2)
(*.f64 im im)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(pow.f64 re 2)
(*.f64 re re)
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 re re (*.f64 im im))
(+.f64 (*.f64 re re) (*.f64 im im))
(fma.f64 re re (*.f64 im im))
(+.f64 (*.f64 im im) (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(+.f64 (*.f64 (*.f64 im im) 1) (*.f64 re re))
(fma.f64 re re (*.f64 im im))
(-.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) 1)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(*.f64 (pow.f64 (hypot.f64 im re) 2) 1)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(*.f64 1 (pow.f64 (hypot.f64 im re) 2))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) 2))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) 2) (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(*.f64 (hypot.f64 im re) (hypot.f64 im re))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(/.f64 (+.f64 (pow.f64 (*.f64 im im) 3) (pow.f64 (*.f64 re re) 3)) (+.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (-.f64 (pow.f64 re 4) (*.f64 (*.f64 im im) (*.f64 re re)))))
(/.f64 (+.f64 (pow.f64 (*.f64 im im) 3) (pow.f64 (*.f64 re re) 3)) (fma.f64 (*.f64 im im) (*.f64 im im) (-.f64 (pow.f64 re 4) (*.f64 (*.f64 re re) (*.f64 im im)))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (-.f64 (+.f64 (pow.f64 im 4) (pow.f64 re 4)) (*.f64 im (*.f64 im (*.f64 re re)))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (fma.f64 (*.f64 re re) (-.f64 (*.f64 re re) (*.f64 im im)) (pow.f64 im 4)))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (fma.f64 re (-.f64 (pow.f64 re 3) (*.f64 re (*.f64 im im))) (pow.f64 im 4)))
(/.f64 (-.f64 (*.f64 (*.f64 im im) (*.f64 im im)) (pow.f64 re 4)) (-.f64 (*.f64 im im) (*.f64 re re)))
(/.f64 (-.f64 (*.f64 im (*.f64 im (*.f64 im im))) (pow.f64 re 4)) (-.f64 (*.f64 im im) (*.f64 re re)))
(/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (*.f64 im im) (*.f64 re re)))
(/.f64 (fma.f64 re re (*.f64 im im)) 1)
(pow.f64 (pow.f64 (hypot.f64 im re) 2) 1)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 im re) 2)) 3)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(pow.f64 (pow.f64 (pow.f64 (hypot.f64 im re) 2) 3) 1/3)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(pow.f64 (hypot.f64 im re) 2)
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(sqrt.f64 (pow.f64 (pow.f64 (hypot.f64 im re) 2) 2))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(log.f64 (exp.f64 (pow.f64 (hypot.f64 im re) 2)))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 im re) 2) 3))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 im re) 2)))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(exp.f64 (log.f64 (pow.f64 (hypot.f64 im re) 2)))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 im re) 2)))
(+.f64 (+.f64 1 (pow.f64 (hypot.f64 im re) 2)) -1)
(+.f64 (pow.f64 (hypot.f64 im re) 2) 0)
(pow.f64 (hypot.f64 im re) 2)

eval6.0ms (0.3%)

Compiler

Compiled 388 to 185 computations (52.3% saved)

prune5.0ms (0.3%)

Pruning

5 alts after pruning (0 fresh and 5 done)

PrunedKeptTotal
New36036
Fresh000
Picked011
Done044
Total36541
Accurracy
59.3%
Counts
41 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓58.2%
(fma.f64 re re (*.f64 im im))
✓58.2%
(fma.f64 im im (*.f64 re re))
✓58.2%
(+.f64 (*.f64 re re) (*.f64 im im))
✓31.6%
(*.f64 re re)
✓35.3%
(*.f64 im im)
Compiler

Compiled 35 to 19 computations (45.7% saved)

regimes58.0ms (2.9%)

Counts
5 → 1
Calls
Call 1
Inputs
(*.f64 im im)
(*.f64 re re)
(+.f64 (*.f64 re re) (*.f64 im im))
(fma.f64 im im (*.f64 re re))
(fma.f64 re re (*.f64 im im))
Outputs
(fma.f64 im im (*.f64 re re))
Calls

5 calls:

42.0ms
(*.f64 im im)
4.0ms
re
4.0ms
im
3.0ms
(+.f64 (*.f64 re re) (*.f64 im im))
3.0ms
(*.f64 re re)
Results
AccuracySegmentsBranch
58.2%1re
58.2%1im
58.2%1(+.f64 (*.f64 re re) (*.f64 im im))
58.2%1(*.f64 re re)
58.2%1(*.f64 im im)
Compiler

Compiled 52 to 22 computations (57.7% saved)

regimes16.0ms (0.8%)

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

5 calls:

3.0ms
re
3.0ms
im
3.0ms
(+.f64 (*.f64 re re) (*.f64 im im))
2.0ms
(*.f64 im im)
2.0ms
(*.f64 re re)
Results
AccuracySegmentsBranch
58.2%1re
58.2%1im
58.2%1(+.f64 (*.f64 re re) (*.f64 im im))
58.2%1(*.f64 re re)
58.2%1(*.f64 im im)
Compiler

Compiled 40 to 20 computations (50% saved)

regimes52.0ms (2.6%)

Accuracy

Total -28.9b remaining (-97.8%)

Threshold costs -28.9b (-97.8%)

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

4 calls:

9.0ms
(*.f64 re re)
6.0ms
(*.f64 im im)
5.0ms
im
5.0ms
re
Results
AccuracySegmentsBranch
52.4%2re
53.7%2im
48.7%2(*.f64 re re)
50.2%2(*.f64 im im)
Compiler

Compiled 24 to 14 computations (41.7% saved)

bsearch0.0ms (0%)

Algorithm
1×binary-search
Stop Event
1×narrow-enough
Steps
TimeLeftRight
0.0ms
7.800490623529681e-163
7.802512347159935e-163
Compiler

Compiled 14 to 9 computations (35.7% saved)

simplify6.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01564
11664
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(fma.f64 im im (*.f64 re re))
(+.f64 (*.f64 re re) (*.f64 im im))
(if (<=.f64 im 790393566123279/1013065324433836171511818326096474890383898005918563696288002277756507034036354527929615978746851512277392062160962106733983191180520452956027069051297354415786421338721071661056) (*.f64 re re) (*.f64 im im))
(*.f64 im im)
Outputs
(fma.f64 im im (*.f64 re re))
(+.f64 (*.f64 re re) (*.f64 im im))
(if (<=.f64 im 790393566123279/1013065324433836171511818326096474890383898005918563696288002277756507034036354527929615978746851512277392062160962106733983191180520452956027069051297354415786421338721071661056) (*.f64 re re) (*.f64 im im))
(*.f64 im im)
Compiler

Compiled 34 to 19 computations (44.1% saved)

soundness486.0ms (24.5%)

Rules
1170×log-prod
1170×log-prod
1170×log-prod
1128×cancel-sign-sub-inv
1128×cancel-sign-sub-inv
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0911435
12191309
27431213
345481081
0911435
12191309
27431213
345481081
0911435
12191309
27431213
345481081
Stop Event
1×node limit
1×node limit
1×node limit
Compiler

Compiled 52 to 25 computations (51.9% saved)

end27.0ms (1.4%)

Remove

(sort re im)

Compiler

Compiled 44 to 17 computations (61.4% saved)

Profiling

Loading profile data...