math.cube on complex, imaginary part

Time bar (total: 1.2s)

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 22 to 12 computations (45.5% saved)

sample1.0s (85.7%)

Results
505.0ms4583×body256valid
496.0ms3673×body256infinite
Bogosity

preprocess169.0ms (14.3%)

Algorithm
1×egg-herbie
Rules
658×fma-def
542×distribute-lft-in
477×+-commutative
473×associate-+l-
409×distribute-lft-out
Problems
211×No Errors
20×(*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im)
15×(-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))
10×(+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.re))
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
042563
1135491
2394483
31387309
44914301
57024301
67798301
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.re))
(+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.re))
(+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 (neg.f64 x.re) x.im) (*.f64 x.im (neg.f64 x.re))) (neg.f64 x.re)))
(+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))) (neg.f64 x.im)) (*.f64 (+.f64 (*.f64 x.re (neg.f64 x.im)) (*.f64 (neg.f64 x.im) x.re)) x.re))
(neg.f64 (+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 (neg.f64 x.re) x.im) (*.f64 x.im (neg.f64 x.re))) (neg.f64 x.re))))
(neg.f64 (+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))) (neg.f64 x.im)) (*.f64 (+.f64 (*.f64 x.re (neg.f64 x.im)) (*.f64 (neg.f64 x.im) x.re)) x.re)))
(+.f64 (*.f64 (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) x.re) (*.f64 (+.f64 (*.f64 x.im x.re) (*.f64 x.re x.im)) x.im))
Outputs
(+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.re))
(fma.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im (*.f64 x.re (fma.f64 x.re x.im (*.f64 x.re x.im))))
(fma.f64 x.re (*.f64 2 (*.f64 x.re x.im)) (*.f64 x.im (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))))
(fma.f64 x.re (*.f64 x.im (*.f64 2 x.re)) (*.f64 x.im (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))))
(-.f64 (*.f64 (*.f64 x.re (*.f64 x.re x.im)) 3) (pow.f64 x.im 3))
(-.f64 (*.f64 x.re (*.f64 x.re (*.f64 x.im 3))) (pow.f64 x.im 3))
(+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.re))
(fma.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im (*.f64 x.re (fma.f64 x.re x.im (*.f64 x.re x.im))))
(fma.f64 x.re (*.f64 2 (*.f64 x.re x.im)) (*.f64 x.im (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))))
(fma.f64 x.re (*.f64 x.im (*.f64 2 x.re)) (*.f64 x.im (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))))
(-.f64 (*.f64 (*.f64 x.re (*.f64 x.re x.im)) 3) (pow.f64 x.im 3))
(-.f64 (*.f64 x.re (*.f64 x.re (*.f64 x.im 3))) (pow.f64 x.im 3))
(+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 (neg.f64 x.re) x.im) (*.f64 x.im (neg.f64 x.re))) (neg.f64 x.re)))
(fma.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im (*.f64 x.re (fma.f64 x.re x.im (*.f64 x.re x.im))))
(fma.f64 x.re (*.f64 2 (*.f64 x.re x.im)) (*.f64 x.im (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))))
(fma.f64 x.re (*.f64 x.im (*.f64 2 x.re)) (*.f64 x.im (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))))
(-.f64 (*.f64 (*.f64 x.re (*.f64 x.re x.im)) 3) (pow.f64 x.im 3))
(-.f64 (*.f64 x.re (*.f64 x.re (*.f64 x.im 3))) (pow.f64 x.im 3))
(+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))) (neg.f64 x.im)) (*.f64 (+.f64 (*.f64 x.re (neg.f64 x.im)) (*.f64 (neg.f64 x.im) x.re)) x.re))
(fma.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) (neg.f64 x.im) (*.f64 x.re (fma.f64 x.re (neg.f64 x.im) (*.f64 x.re (neg.f64 x.im)))))
(fma.f64 x.re (*.f64 2 (*.f64 x.re (neg.f64 x.im))) (*.f64 x.im (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re))))
(fma.f64 x.re (*.f64 x.re (*.f64 x.im -2)) (*.f64 x.im (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re))))
(+.f64 (pow.f64 x.im 3) (*.f64 (*.f64 x.re (*.f64 x.re (neg.f64 x.im))) 3))
(+.f64 (pow.f64 x.im 3) (*.f64 x.re (*.f64 (*.f64 x.re x.im) -3)))
(+.f64 (pow.f64 x.im 3) (*.f64 x.im (*.f64 -3 (*.f64 x.re x.re))))
(neg.f64 (+.f64 (*.f64 (-.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)) x.im) (*.f64 (+.f64 (*.f64 (neg.f64 x.re) x.im) (*.f64 x.im (neg.f64 x.re))) (neg.f64 x.re))))
(fma.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) (neg.f64 x.im) (*.f64 x.re (fma.f64 x.re (neg.f64 x.im) (*.f64 x.re (neg.f64 x.im)))))
(fma.f64 x.re (*.f64 2 (*.f64 x.re (neg.f64 x.im))) (*.f64 x.im (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re))))
(fma.f64 x.re (*.f64 x.re (*.f64 x.im -2)) (*.f64 x.im (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re))))
(+.f64 (pow.f64 x.im 3) (*.f64 (*.f64 x.re (*.f64 x.re (neg.f64 x.im))) 3))
(+.f64 (pow.f64 x.im 3) (*.f64 x.re (*.f64 (*.f64 x.re x.im) -3)))
(+.f64 (pow.f64 x.im 3) (*.f64 x.im (*.f64 -3 (*.f64 x.re x.re))))
(neg.f64 (+.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))) (neg.f64 x.im)) (*.f64 (+.f64 (*.f64 x.re (neg.f64 x.im)) (*.f64 (neg.f64 x.im) x.re)) x.re)))
(fma.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.im (*.f64 x.re (fma.f64 x.re x.im (*.f64 x.re x.im))))
(fma.f64 x.re (*.f64 2 (*.f64 x.re x.im)) (*.f64 x.im (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))))
(fma.f64 x.re (*.f64 x.im (*.f64 2 x.re)) (*.f64 x.im (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))))
(-.f64 (*.f64 (*.f64 x.re (*.f64 x.re x.im)) 3) (pow.f64 x.im 3))
(-.f64 (*.f64 x.re (*.f64 x.re (*.f64 x.im 3))) (pow.f64 x.im 3))
(+.f64 (*.f64 (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) x.re) (*.f64 (+.f64 (*.f64 x.im x.re) (*.f64 x.re x.im)) x.im))
(fma.f64 (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) x.re (*.f64 x.im (fma.f64 x.re x.im (*.f64 x.re x.im))))
(fma.f64 x.re (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 x.im (*.f64 2 (*.f64 x.re x.im))))
(fma.f64 (*.f64 x.re (+.f64 x.re x.im)) (-.f64 x.im x.re) (*.f64 2 (*.f64 x.im (*.f64 x.re x.im))))
(-.f64 (*.f64 (*.f64 x.im (*.f64 x.re x.im)) 3) (pow.f64 x.re 3))
Symmetry

(abs x.re)

(negabs x.im)

Compiler

Compiled 68 to 12 computations (82.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...