math.cube on complex, real part

Time bar (total: 1.1s)

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)

sample958.0ms (84.9%)

Results
513.0ms4615×body256valid
435.0ms3641×body256infinite
Bogosity

preprocess170.0ms (15%)

Algorithm
1×egg-herbie
Rules
678×fma-def
563×distribute-lft-in
523×+-commutative
467×associate-+l-
430×*-commutative
Problems
209×No Errors
19×(*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re)
15×(-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))
13×(-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
042591
1147519
2429483
31426301
45002301
57244301
67940301
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im))
(-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im))
(-.f64 (*.f64 (-.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)) (neg.f64 x.re)) (*.f64 (+.f64 (*.f64 (neg.f64 x.re) x.im) (*.f64 x.im (neg.f64 x.re))) x.im))
(-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re (neg.f64 x.im)) (*.f64 (neg.f64 x.im) x.re)) (neg.f64 x.im)))
(neg.f64 (-.f64 (*.f64 (-.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)) (neg.f64 x.re)) (*.f64 (+.f64 (*.f64 (neg.f64 x.re) x.im) (*.f64 x.im (neg.f64 x.re))) x.im)))
(neg.f64 (-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re (neg.f64 x.im)) (*.f64 (neg.f64 x.im) x.re)) (neg.f64 x.im))))
(-.f64 (*.f64 (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) x.im) (*.f64 (+.f64 (*.f64 x.im x.re) (*.f64 x.re x.im)) x.re))
Outputs
(-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im))
(-.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) (*.f64 x.im (fma.f64 x.re x.im (*.f64 x.re x.im))))
(-.f64 (*.f64 (*.f64 x.re (-.f64 x.re x.im)) (+.f64 x.re x.im)) (*.f64 x.im (*.f64 2 (*.f64 x.re x.im))))
(fma.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) (*.f64 x.im (*.f64 x.re (*.f64 x.im -2))))
(+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (*.f64 x.im x.im)) -3))
(+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))
(-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im))
(-.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) (*.f64 x.im (fma.f64 x.re x.im (*.f64 x.re x.im))))
(-.f64 (*.f64 (*.f64 x.re (-.f64 x.re x.im)) (+.f64 x.re x.im)) (*.f64 x.im (*.f64 2 (*.f64 x.re x.im))))
(fma.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) (*.f64 x.im (*.f64 x.re (*.f64 x.im -2))))
(+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (*.f64 x.im x.im)) -3))
(+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))
(-.f64 (*.f64 (-.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)) (neg.f64 x.re)) (*.f64 (+.f64 (*.f64 (neg.f64 x.re) x.im) (*.f64 x.im (neg.f64 x.re))) x.im))
(-.f64 (*.f64 (neg.f64 x.re) (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) (*.f64 x.im (fma.f64 x.re (neg.f64 x.im) (*.f64 x.re (neg.f64 x.im)))))
(-.f64 (*.f64 x.re (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re))) (*.f64 x.im (neg.f64 (*.f64 2 (*.f64 x.re x.im)))))
(fma.f64 x.re (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 2 (*.f64 x.re (*.f64 x.im x.im))))
(-.f64 (*.f64 (*.f64 x.re (*.f64 x.im x.im)) 3) (pow.f64 x.re 3))
(-.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im 3))) (pow.f64 x.re 3))
(-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re (neg.f64 x.im)) (*.f64 (neg.f64 x.im) x.re)) (neg.f64 x.im)))
(-.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) (*.f64 x.im (fma.f64 x.re x.im (*.f64 x.re x.im))))
(-.f64 (*.f64 (*.f64 x.re (-.f64 x.re x.im)) (+.f64 x.re x.im)) (*.f64 x.im (*.f64 2 (*.f64 x.re x.im))))
(fma.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) (*.f64 x.im (*.f64 x.re (*.f64 x.im -2))))
(+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (*.f64 x.im x.im)) -3))
(+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))
(neg.f64 (-.f64 (*.f64 (-.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)) (neg.f64 x.re)) (*.f64 (+.f64 (*.f64 (neg.f64 x.re) x.im) (*.f64 x.im (neg.f64 x.re))) x.im)))
(-.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) (*.f64 x.im (fma.f64 x.re x.im (*.f64 x.re x.im))))
(-.f64 (*.f64 (*.f64 x.re (-.f64 x.re x.im)) (+.f64 x.re x.im)) (*.f64 x.im (*.f64 2 (*.f64 x.re x.im))))
(fma.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) (*.f64 x.im (*.f64 x.re (*.f64 x.im -2))))
(+.f64 (pow.f64 x.re 3) (*.f64 (*.f64 x.re (*.f64 x.im x.im)) -3))
(+.f64 (pow.f64 x.re 3) (*.f64 x.re (*.f64 x.im (*.f64 x.im -3))))
(neg.f64 (-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re (neg.f64 x.im)) (*.f64 (neg.f64 x.im) x.re)) (neg.f64 x.im))))
(-.f64 (*.f64 (neg.f64 x.re) (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) (*.f64 x.im (fma.f64 x.re (neg.f64 x.im) (*.f64 x.re (neg.f64 x.im)))))
(-.f64 (*.f64 x.re (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re))) (*.f64 x.im (neg.f64 (*.f64 2 (*.f64 x.re x.im)))))
(fma.f64 x.re (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 2 (*.f64 x.re (*.f64 x.im x.im))))
(-.f64 (*.f64 (*.f64 x.re (*.f64 x.im x.im)) 3) (pow.f64 x.re 3))
(-.f64 (*.f64 x.re (*.f64 x.im (*.f64 x.im 3))) (pow.f64 x.re 3))
(-.f64 (*.f64 (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) x.im) (*.f64 (+.f64 (*.f64 x.im x.re) (*.f64 x.re x.im)) x.re))
(-.f64 (*.f64 x.im (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re))) (*.f64 x.re (fma.f64 x.re x.im (*.f64 x.re x.im))))
(fma.f64 x.im (-.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)) (*.f64 x.re (neg.f64 (*.f64 2 (*.f64 x.re x.im)))))
(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 x.im)) -3))
(+.f64 (pow.f64 x.im 3) (*.f64 x.re (*.f64 x.im (*.f64 x.re -3))))
Symmetry

(abs x.im)

(negabs x.re)

Compiler

Compiled 68 to 12 computations (82.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...