math.abs on complex

Time bar (total: 926.0ms)

analyze1.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
100%99.9%0%0.1%0%0%0%3
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample817.0ms (88.2%)

Results
807.0ms8256×body256valid
Bogosity

preprocess109.0ms (11.7%)

Algorithm
1×egg-herbie
Rules
82×fma-def
38×associate-*r*
29×*-commutative
26×+-commutative
22×associate--r+
Problems
134×No Errors
122×(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02499
15299
29199
321299
437899
545699
646699
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))
(sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im))))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 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 re re) (*.f64 im im)))
(hypot.f64 re im)
(sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im)))
(hypot.f64 re im)
(sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im))))
(hypot.f64 re im)
(neg.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 re) (neg.f64 re)) (*.f64 im im))))
(neg.f64 (hypot.f64 re im))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 (neg.f64 im) (neg.f64 im)))))
(neg.f64 (hypot.f64 re im))
(sqrt.f64 (+.f64 (*.f64 im im) (*.f64 re re)))
(hypot.f64 re im)
Symmetry

(abs re)

(abs im)

(sort re im)

Compiler

Compiled 26 to 7 computations (73.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...