math.abs on complex (squared)

Time bar (total: 1.6s)

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)

sample901.0ms (58%)

Results
553.0ms4709×body256valid
337.0ms3547×body256infinite
Bogosity

preprocess109.0ms (7%)

Algorithm
1×egg-herbie
Rules
190×fma-def
38×distribute-lft-neg-in
26×unsub-neg
26×neg-sub0
26×neg-mul-1
FPErrors
Click to see full error table
truthopredexupredexsubexpr
2560-0-#f
00-0-im
00-0-(*.f64 im im)
00-0-(*.f64 re re)
00-0-re
00-0-(+.f64 (*.f64 re re) (*.f64 im im))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
020197
147197
2100197
3226197
4312197
5339197
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 re re) (*.f64 im im))
(+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im))
(+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im)))
(neg.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))
(neg.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 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 re re) (*.f64 im im))
(fma.f64 re re (*.f64 im im))
(+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im))
(fma.f64 re re (*.f64 im im))
(+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im)))
(fma.f64 re re (*.f64 im im))
(neg.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))
(neg.f64 (fma.f64 re re (*.f64 im im)))
(neg.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))
(neg.f64 (fma.f64 re re (*.f64 im im)))
(+.f64 (*.f64 im im) (*.f64 re re))
(fma.f64 re re (*.f64 im im))
Symmetry

(abs re)

(abs im)

(sort re im)

Compiler

Compiled 45 to 17 computations (62.2% saved)

eval0.0ms (0%)

Compiler

Compiled 8 to 4 computations (50% saved)

prune1.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (*.f64 re re) (*.f64 im im))
▶100.0%
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 18 to 10 computations (44.4% saved)

localize26.0ms (1.6%)

Localize:

Found 1 expressions with local error:

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

Compiled 18 to 6 computations (66.7% saved)

series2.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
im
@-inf
(+.f64 (*.f64 re re) (*.f64 im im))

rewrite184.0ms (11.8%)

Algorithm
1×batch-egg-rewrite
Rules
1146×prod-diff
712×unpow-prod-down
534×prod-exp
502×log1p-expm1-u
502×expm1-log1p-u
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01024
111719
2146519
Stop Event
1×node limit
Counts
1 → 58
Calls
Call 1
Inputs
(+.f64 (*.f64 re re) (*.f64 im im))
Outputs
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2))) 1)
(-.f64 (/.f64 (pow.f64 re 4) (-.f64 (pow.f64 re 2) (pow.f64 im 2))) (/.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 2) (pow.f64 im 2))))
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(*.f64 (pow.f64 (hypot.f64 re im) 2) (log.f64 (exp.f64 1)))
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 4)))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 4)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(*.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2))))
(*.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (-.f64 (pow.f64 re 2) (pow.f64 im 2))))
(*.f64 (pow.f64 1 1/3) (pow.f64 (hypot.f64 re im) 2))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 2) 3) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (hypot.f64 re im) 6)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (hypot.f64 re im) 6)) 1/3))
(*.f64 (pow.f64 (*.f64 (pow.f64 (hypot.f64 re im) 4) (cbrt.f64 (pow.f64 (hypot.f64 re im) 4))) 1/3) (cbrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))))
(*.f64 (pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 5/2) 1/3) (cbrt.f64 (hypot.f64 re im)))
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2)) (+.f64 (pow.f64 im 6) (pow.f64 re 6))))
(/.f64 1 (/.f64 (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2)))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 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 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 (neg.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6))) (neg.f64 (-.f64 (+.f64 (pow.f64 re 4) (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 (pow.f64 re 2) (pow.f64 im 2))))
(/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(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 (hypot.f64 re im) 4) 1/2)
(pow.f64 (pow.f64 (hypot.f64 re im) 6) 1/3)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (/.f64 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2)) (+.f64 (pow.f64 im 6) (pow.f64 re 6))) -1)
(pow.f64 (/.f64 (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))) -1)
(sqrt.f64 (pow.f64 (hypot.f64 re im) 4))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(cbrt.f64 (pow.f64 (hypot.f64 re im) 6))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (*.f64 2 (log.f64 (hypot.f64 re im))))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (hypot.f64 re im))) 1))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (hypot.f64 re im))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (hypot.f64 re im) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (hypot.f64 re im)) 2))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(fma.f64 re re (pow.f64 im 2))
(fma.f64 (pow.f64 re 2) 1 (pow.f64 im 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 im 2) 1 (pow.f64 re 2))
(fma.f64 1 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 1 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 im) 2) (pow.f64 (cbrt.f64 im) 4) (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 im) 4) (pow.f64 (cbrt.f64 im) 2) (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 re) 2) (pow.f64 (cbrt.f64 re) 4) (pow.f64 im 2))
(fma.f64 (pow.f64 (cbrt.f64 re) 4) (pow.f64 (cbrt.f64 re) 2) (pow.f64 im 2))
(fma.f64 (sqrt.f64 im) (pow.f64 im 3/2) (pow.f64 re 2))
(fma.f64 (sqrt.f64 re) (pow.f64 re 3/2) (pow.f64 im 2))
(fma.f64 (pow.f64 im 3/2) (sqrt.f64 im) (pow.f64 re 2))
(fma.f64 (pow.f64 re 3/2) (sqrt.f64 re) (pow.f64 im 2))
(fma.f64 (pow.f64 (cbrt.f64 im) 5) (cbrt.f64 im) (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 re) 5) (cbrt.f64 re) (pow.f64 im 2))

simplify74.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
1002×fma-neg
850×associate-*r*
822×div-sub
750×associate-*l*
620×distribute-lft-neg-in
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01512418
13612382
29202382
343162207
Stop Event
1×node limit
Counts
82 → 66
Calls
Call 1
Inputs
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2))) 1)
(-.f64 (/.f64 (pow.f64 re 4) (-.f64 (pow.f64 re 2) (pow.f64 im 2))) (/.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 2) (pow.f64 im 2))))
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(*.f64 (pow.f64 (hypot.f64 re im) 2) (log.f64 (exp.f64 1)))
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 4)))
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 4)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(*.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2))))
(*.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (-.f64 (pow.f64 re 2) (pow.f64 im 2))))
(*.f64 (pow.f64 1 1/3) (pow.f64 (hypot.f64 re im) 2))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 2) 3) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (hypot.f64 re im) 6)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (hypot.f64 re im) 6)) 1/3))
(*.f64 (pow.f64 (*.f64 (pow.f64 (hypot.f64 re im) 4) (cbrt.f64 (pow.f64 (hypot.f64 re im) 4))) 1/3) (cbrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))))
(*.f64 (pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 5/2) 1/3) (cbrt.f64 (hypot.f64 re im)))
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2)) (+.f64 (pow.f64 im 6) (pow.f64 re 6))))
(/.f64 1 (/.f64 (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2)))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 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 (pow.f64 re 2) (pow.f64 im 2)))
(/.f64 (neg.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6))) (neg.f64 (-.f64 (+.f64 (pow.f64 re 4) (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 (pow.f64 re 2) (pow.f64 im 2))))
(/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(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 (hypot.f64 re im) 4) 1/2)
(pow.f64 (pow.f64 (hypot.f64 re im) 6) 1/3)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (/.f64 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2)) (+.f64 (pow.f64 im 6) (pow.f64 re 6))) -1)
(pow.f64 (/.f64 (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))) -1)
(sqrt.f64 (pow.f64 (hypot.f64 re im) 4))
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(cbrt.f64 (pow.f64 (hypot.f64 re im) 6))
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(exp.f64 (*.f64 2 (log.f64 (hypot.f64 re im))))
(exp.f64 (*.f64 (*.f64 2 (log.f64 (hypot.f64 re im))) 1))
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (hypot.f64 re im))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (hypot.f64 re im) 6)) 1/3))
(exp.f64 (*.f64 (log.f64 (hypot.f64 re im)) 2))
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(fma.f64 re re (pow.f64 im 2))
(fma.f64 (pow.f64 re 2) 1 (pow.f64 im 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 im 2) 1 (pow.f64 re 2))
(fma.f64 1 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 1 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 im) 2) (pow.f64 (cbrt.f64 im) 4) (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 im) 4) (pow.f64 (cbrt.f64 im) 2) (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 re) 2) (pow.f64 (cbrt.f64 re) 4) (pow.f64 im 2))
(fma.f64 (pow.f64 (cbrt.f64 re) 4) (pow.f64 (cbrt.f64 re) 2) (pow.f64 im 2))
(fma.f64 (sqrt.f64 im) (pow.f64 im 3/2) (pow.f64 re 2))
(fma.f64 (sqrt.f64 re) (pow.f64 re 3/2) (pow.f64 im 2))
(fma.f64 (pow.f64 im 3/2) (sqrt.f64 im) (pow.f64 re 2))
(fma.f64 (pow.f64 re 3/2) (sqrt.f64 re) (pow.f64 im 2))
(fma.f64 (pow.f64 (cbrt.f64 im) 5) (cbrt.f64 im) (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 re) 5) (cbrt.f64 re) (pow.f64 im 2))
Outputs
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(pow.f64 re 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(pow.f64 im 2)
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(+.f64 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(-.f64 (exp.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2))) 1)
(pow.f64 (hypot.f64 re im) 2)
(-.f64 (/.f64 (pow.f64 re 4) (-.f64 (pow.f64 re 2) (pow.f64 im 2))) (/.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 2) (pow.f64 im 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)))
(*.f64 (fma.f64 im im (pow.f64 re 2)) 1)
(*.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (pow.f64 (hypot.f64 re im) 2) (log.f64 (exp.f64 1)))
(pow.f64 (hypot.f64 re im) 2)
(*.f64 1 (pow.f64 (hypot.f64 re im) 2))
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 4)))
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 4)) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (hypot.f64 re im) (hypot.f64 re im))
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (/.f64 1 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2))))
(/.f64 (*.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) 1) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(*.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (/.f64 1 (-.f64 (pow.f64 re 2) (pow.f64 im 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)))
(*.f64 (fma.f64 im im (pow.f64 re 2)) 1)
(*.f64 (pow.f64 1 1/3) (pow.f64 (hypot.f64 re im) 2))
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 2) 3) (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)))
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 3))
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (hypot.f64 re im) 6)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (hypot.f64 re im) 6)) 1/3))
(pow.f64 (hypot.f64 re im) 2)
(*.f64 (pow.f64 (*.f64 (pow.f64 (hypot.f64 re im) 4) (cbrt.f64 (pow.f64 (hypot.f64 re im) 4))) 1/3) (cbrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))))
(*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) (cbrt.f64 (*.f64 (pow.f64 (hypot.f64 re im) 4) (cbrt.f64 (pow.f64 (hypot.f64 re im) 4)))))
(*.f64 (pow.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 5/2) 1/3) (cbrt.f64 (hypot.f64 re im)))
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (hypot.f64 re im) 2) 5/2)) (cbrt.f64 (hypot.f64 re im)))
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2)) (+.f64 (pow.f64 im 6) (pow.f64 re 6))))
(/.f64 (*.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) 1) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 1 (/.f64 (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)))
(*.f64 (fma.f64 im im (pow.f64 re 2)) 1)
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2)))
(/.f64 (*.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) 1) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 re im) 2))))
(/.f64 (*.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) 1) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)))
(*.f64 (fma.f64 im im (pow.f64 re 2)) 1)
(/.f64 (neg.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6))) (neg.f64 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2))))
(/.f64 (*.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) 1) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4))) (neg.f64 (-.f64 (pow.f64 re 2) (pow.f64 im 2))))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)))
(*.f64 (fma.f64 im im (pow.f64 re 2)) 1)
(/.f64 (-.f64 (pow.f64 im 4) (pow.f64 re 4)) (-.f64 (pow.f64 im 2) (pow.f64 re 2)))
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)))
(*.f64 (fma.f64 im im (pow.f64 re 2)) 1)
(pow.f64 (pow.f64 (hypot.f64 re im) 2) 1)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2)) 3)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (pow.f64 (hypot.f64 re im) 4) 1/2)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (pow.f64 (hypot.f64 re im) 6) 1/3)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (hypot.f64 re im) 2)
(pow.f64 (/.f64 (-.f64 (+.f64 (pow.f64 re 4) (pow.f64 im 4)) (pow.f64 (*.f64 re im) 2)) (+.f64 (pow.f64 im 6) (pow.f64 re 6))) -1)
(/.f64 (*.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) 1) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(/.f64 (+.f64 (pow.f64 im 6) (pow.f64 re 6)) (+.f64 (pow.f64 im 4) (-.f64 (pow.f64 re 4) (pow.f64 (*.f64 im re) 2))))
(pow.f64 (/.f64 (-.f64 (pow.f64 re 2) (pow.f64 im 2)) (-.f64 (pow.f64 re 4) (pow.f64 im 4))) -1)
(/.f64 (-.f64 (pow.f64 re 4) (pow.f64 im 4)) (-.f64 (pow.f64 re 2) (pow.f64 im 2)))
(*.f64 (fma.f64 im im (pow.f64 re 2)) 1)
(sqrt.f64 (pow.f64 (hypot.f64 re im) 4))
(pow.f64 (hypot.f64 re im) 2)
(log.f64 (exp.f64 (pow.f64 (hypot.f64 re im) 2)))
(pow.f64 (hypot.f64 re im) 2)
(cbrt.f64 (pow.f64 (hypot.f64 re im) 6))
(pow.f64 (hypot.f64 re im) 2)
(expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 re im) 2)))
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (*.f64 2 (log.f64 (hypot.f64 re im))))
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (*.f64 (*.f64 2 (log.f64 (hypot.f64 re im))) 1))
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (*.f64 (*.f64 (*.f64 2 (log.f64 (hypot.f64 re im))) 1) 1))
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 (hypot.f64 re im) 2))) 3))
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (*.f64 (log.f64 (pow.f64 (hypot.f64 re im) 6)) 1/3))
(pow.f64 (hypot.f64 re im) 2)
(exp.f64 (*.f64 (log.f64 (hypot.f64 re im)) 2))
(pow.f64 (hypot.f64 re im) 2)
(log1p.f64 (expm1.f64 (pow.f64 (hypot.f64 re im) 2)))
(pow.f64 (hypot.f64 re im) 2)
(fma.f64 re re (pow.f64 im 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 re 2) 1 (pow.f64 im 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 im 2) 1 (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 1 (pow.f64 re 2) (pow.f64 im 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 1 (pow.f64 im 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 im) 2) (pow.f64 (cbrt.f64 im) 4) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 im) 4) (pow.f64 (cbrt.f64 im) 2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 re) 2) (pow.f64 (cbrt.f64 re) 4) (pow.f64 im 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 re) 4) (pow.f64 (cbrt.f64 re) 2) (pow.f64 im 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (sqrt.f64 im) (pow.f64 im 3/2) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (sqrt.f64 re) (pow.f64 re 3/2) (pow.f64 im 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 im 3/2) (sqrt.f64 im) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 re 3/2) (sqrt.f64 re) (pow.f64 im 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 im) 5) (cbrt.f64 im) (pow.f64 re 2))
(fma.f64 im im (pow.f64 re 2))
(fma.f64 (pow.f64 (cbrt.f64 re) 5) (cbrt.f64 re) (pow.f64 im 2))
(fma.f64 im im (pow.f64 re 2))

eval28.0ms (1.8%)

Compiler

Compiled 788 to 509 computations (35.4% saved)

prune9.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New65166
Fresh000
Picked011
Done000
Total65267
Accuracy
100.0%
Counts
67 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 im im (pow.f64 re 2))
✓100.0%
(+.f64 (*.f64 re re) (*.f64 im im))
▶100.0%
(fma.f64 im im (pow.f64 re 2))
✓100.0%
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 34 to 20 computations (41.2% saved)

localize28.0ms (1.8%)

Compiler

Compiled 15 to 9 computations (40% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Accuracy
100.0%
Counts
2 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 im im (pow.f64 re 2))
✓100.0%
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 32 to 18 computations (43.8% saved)

regimes15.0ms (1%)

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

5 calls:

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

Compiled 40 to 23 computations (42.5% saved)

regimes13.0ms (0.9%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

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

5 calls:

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

Compiled 34 to 20 computations (41.2% saved)

simplify3.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01455
11555
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(fma.f64 im im (pow.f64 re 2))
(+.f64 (*.f64 re re) (*.f64 im im))
Outputs
(fma.f64 im im (pow.f64 re 2))
(+.f64 (*.f64 re re) (*.f64 im im))
Compiler

Compiled 17 to 10 computations (41.2% saved)

soundness111.0ms (7.2%)

Rules
1002×fma-neg
850×associate-*r*
822×div-sub
750×associate-*l*
620×distribute-lft-neg-in
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01512418
13612382
29202382
343162207
Stop Event
1×node limit
Compiler

Compiled 22 to 14 computations (36.4% saved)

end0.0ms (0%)

preprocess48.0ms (3.1%)

Compiler

Compiled 192 to 116 computations (39.6% saved)

Profiling

Loading profile data...