powComplex, real part

Time bar (total: 3.7s)

analyze372.0ms (10.1%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
0%0%99.8%0.2%0%0%0%6
18.8%18.7%81.1%0.2%0%0%0%7
18.8%18.7%81.1%0.2%0%0%0%8
18.8%18.7%81.1%0.2%0%0%0%9
34.4%34.3%65.5%0.2%0%0%0%10
54.7%54.6%45.2%0.2%0%0%0%11
54.7%54.6%45.2%0.2%0%0%0%12
Compiler

Compiled 42 to 20 computations (52.4% saved)

sample3.0s (81.4%)

Results
1.3s5134×body256valid
1.0s1580×body1024infinite
306.0ms648×body512infinite
148.0ms643×body256infinite
73.0ms120×body1024valid
40.0ms97×body512valid
25.0ms25×body2048infinite
9.0msbody2048valid
Bogosity

preprocess317.0ms (8.6%)

Algorithm
egg-herbie
Rules
506×associate-+r+
444×distribute-lft-in
439×associate-/l/
438×associate-/r/
330×associate-*r*
Problems
126×(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
88×(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
36×No Errors
(*.f64 (atan2.f64 x.im x.re) y.re)
(exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im)))
(*.f64 (atan2.f64 x.im x.re) y.im)
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01491920
14191848
28101846
315861840
449041840
Stop Event
node limit
Calls
Call 1
Inputs
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im (neg.f64 x.re)) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im (neg.f64 x.re)) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))))) y.re) (*.f64 (atan2.f64 (neg.f64 x.im) x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))))) y.im) (*.f64 (atan2.f64 (neg.f64 x.im) x.re) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) (neg.f64 y.re)) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.re)))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.im)))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) (neg.f64 y.im)) (*.f64 (atan2.f64 x.im x.re) y.re))))
(neg.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im (neg.f64 x.re)) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im (neg.f64 x.re)) y.re)))))
(neg.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))))) y.re) (*.f64 (atan2.f64 (neg.f64 x.im) x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))))) y.im) (*.f64 (atan2.f64 (neg.f64 x.im) x.re) y.re)))))
(neg.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) (neg.f64 y.re)) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.re))))))
(neg.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.im)))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) (neg.f64 y.im)) (*.f64 (atan2.f64 x.im x.re) y.re)))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)))) y.re) (*.f64 (atan2.f64 x.re x.im) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)))) y.im) (*.f64 (atan2.f64 x.re x.im) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 x.im x.im)))) x.re) (*.f64 (atan2.f64 x.im y.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im y.re) x.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y.im y.im) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im y.im) x.re))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y.im y.im) (*.f64 x.im x.im)))) x.re) (*.f64 (atan2.f64 x.im y.im) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 y.re y.re)))) x.im) (*.f64 (atan2.f64 y.re x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 y.re y.re)))) y.im) (*.f64 (atan2.f64 y.re x.re) x.im))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 y.im y.im)))) y.re) (*.f64 (atan2.f64 y.im x.re) x.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 y.im y.im)))) x.im) (*.f64 (atan2.f64 y.im x.re) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))))
Outputs
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 y.re (log.f64 (hypot.f64 x.re x.im))) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))) (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))))))
(*.f64 (/.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re x.im)) (*.f64 y.re (atan2.f64 x.im x.re)))) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.f64 (hypot.f64 x.re x.im) y.re))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 y.re (log.f64 (hypot.f64 x.re x.im))) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))) (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))))))
(*.f64 (/.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re x.im)) (*.f64 y.re (atan2.f64 x.im x.re)))) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (pow.f64 (hypot.f64 x.re x.im) y.re))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im (neg.f64 x.re)) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im (neg.f64 x.re)) y.re))))
(*.f64 (exp.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.re (neg.f64 (*.f64 y.im (atan2.f64 x.im (neg.f64 x.re)))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im (neg.f64 x.re))))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im (neg.f64 x.re)))) (cos.f64 (fma.f64 y.re (atan2.f64 x.im (neg.f64 x.re)) (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))))) y.re) (*.f64 (atan2.f64 (neg.f64 x.im) x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))))) y.im) (*.f64 (atan2.f64 (neg.f64 x.im) x.re) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 y.re (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.im (atan2.f64 (neg.f64 x.im) x.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 (neg.f64 x.im) x.re)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 (neg.f64 x.im) x.re))) (cos.f64 (fma.f64 y.re (atan2.f64 (neg.f64 x.im) x.re) (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) (neg.f64 y.re)) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.re)))))
(*.f64 (exp.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) (neg.f64 y.re) (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.im)))) (cos.f64 (-.f64 (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.re (atan2.f64 x.im x.re)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) (neg.f64 y.re)) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))) (cos.f64 (-.f64 (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.re (atan2.f64 x.im x.re)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) (neg.f64 y.re)) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (-.f64 (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.re (atan2.f64 x.im x.re)))))
(/.f64 (cos.f64 (-.f64 (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.re (atan2.f64 x.im x.re)))) (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.im)))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) (neg.f64 y.im)) (*.f64 (atan2.f64 x.im x.re) y.re))))
(*.f64 (exp.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.re (neg.f64 (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.im))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) (neg.f64 y.im) (*.f64 y.re (atan2.f64 x.im x.re)))))
(*.f64 (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))) (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (neg.f64 y.im) (log.f64 (hypot.f64 x.re x.im))))))
(*.f64 (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (fma.f64 (neg.f64 y.im) (log.f64 (hypot.f64 x.re x.im)) (*.f64 y.re (atan2.f64 x.im x.re)))))
(neg.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im (neg.f64 x.re)) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x.re) (neg.f64 x.re)) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im (neg.f64 x.re)) y.re)))))
(*.f64 (neg.f64 (exp.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.re (neg.f64 (*.f64 y.im (atan2.f64 x.im (neg.f64 x.re))))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im (neg.f64 x.re))))))
(*.f64 (cos.f64 (fma.f64 y.re (atan2.f64 x.im (neg.f64 x.re)) (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))))) (/.f64 (neg.f64 (pow.f64 (hypot.f64 x.re x.im) y.re)) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im (neg.f64 x.re)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im (neg.f64 x.re)))) (neg.f64 (cos.f64 (fma.f64 y.re (atan2.f64 x.im (neg.f64 x.re)) (*.f64 y.im (log.f64 (hypot.f64 x.re x.im)))))))
(neg.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))))) y.re) (*.f64 (atan2.f64 (neg.f64 x.im) x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 (neg.f64 x.im) (neg.f64 x.im))))) y.im) (*.f64 (atan2.f64 (neg.f64 x.im) x.re) y.re)))))
(*.f64 (neg.f64 (exp.f64 (-.f64 (*.f64 y.re (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.im (atan2.f64 (neg.f64 x.im) x.re))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 (neg.f64 x.im) x.re)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 (neg.f64 x.im) x.re))) (neg.f64 (cos.f64 (fma.f64 y.re (atan2.f64 (neg.f64 x.im) x.re) (*.f64 y.im (log.f64 (hypot.f64 x.re x.im)))))))
(*.f64 (cos.f64 (fma.f64 y.re (atan2.f64 (neg.f64 x.im) x.re) (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))))) (/.f64 (neg.f64 (pow.f64 (hypot.f64 x.re x.im) y.re)) (pow.f64 (exp.f64 y.im) (atan2.f64 (neg.f64 x.im) x.re))))
(neg.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) (neg.f64 y.re)) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.re))))))
(*.f64 (exp.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) (neg.f64 y.re) (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.im)))) (neg.f64 (cos.f64 (-.f64 (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.re (atan2.f64 x.im x.re))))))
(*.f64 (cos.f64 (-.f64 (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.re (atan2.f64 x.im x.re)))) (/.f64 (neg.f64 (pow.f64 (hypot.f64 x.re x.im) (neg.f64 y.re))) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))))
(*.f64 (cos.f64 (-.f64 (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.re (atan2.f64 x.im x.re)))) (/.f64 (/.f64 -1 (pow.f64 (hypot.f64 x.re x.im) y.re)) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))
(/.f64 (neg.f64 (cos.f64 (-.f64 (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.re (atan2.f64 x.im x.re))))) (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))
(neg.f64 (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.im)))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) (neg.f64 y.im)) (*.f64 (atan2.f64 x.im x.re) y.re)))))
(*.f64 (exp.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.re (neg.f64 (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.im))))) (neg.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) (neg.f64 y.im) (*.f64 y.re (atan2.f64 x.im x.re))))))
(neg.f64 (*.f64 (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))) (cos.f64 (fma.f64 y.re (atan2.f64 x.im x.re) (*.f64 (neg.f64 y.im) (log.f64 (hypot.f64 x.re x.im)))))))
(*.f64 (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (neg.f64 (cos.f64 (fma.f64 (neg.f64 y.im) (log.f64 (hypot.f64 x.re x.im)) (*.f64 y.re (atan2.f64 x.im x.re))))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)))) y.re) (*.f64 (atan2.f64 x.re x.im) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.im x.im) (*.f64 x.re x.re)))) y.im) (*.f64 (atan2.f64 x.re x.im) y.re))))
(*.f64 (exp.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.re (neg.f64 (*.f64 y.im (atan2.f64 x.re x.im))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.re x.im)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.re x.im))) (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re x.im)) (*.f64 y.re (atan2.f64 x.re x.im)))))
(*.f64 (/.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re x.im)) (*.f64 y.re (atan2.f64 x.re x.im)))) (pow.f64 (exp.f64 y.im) (atan2.f64 x.re x.im))) (pow.f64 (hypot.f64 x.re x.im) y.re))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.re x.im)) y.im)) (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re x.im)) (*.f64 y.re (atan2.f64 x.re x.im)))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 x.im x.im)))) x.re) (*.f64 (atan2.f64 x.im y.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y.re y.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im y.re) x.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 x.re (log.f64 (hypot.f64 y.re x.im))) (*.f64 y.im (atan2.f64 x.im y.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 y.re x.im)) y.im (*.f64 x.re (atan2.f64 x.im y.re)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.im y.re) x.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im y.re))) (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.im y.re)) (*.f64 x.re (atan2.f64 x.im y.re)))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y.im y.im) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im y.im) x.re))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 y.im y.im) (*.f64 x.im x.im)))) x.re) (*.f64 (atan2.f64 x.im y.im) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 y.re (log.f64 (hypot.f64 y.im x.im))) (*.f64 x.re (atan2.f64 x.im y.im)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 y.im x.im)) x.re (*.f64 y.re (atan2.f64 x.im y.im)))))
(/.f64 (*.f64 (cos.f64 (fma.f64 x.re (log.f64 (hypot.f64 x.im y.im)) (*.f64 y.re (atan2.f64 x.im y.im)))) (pow.f64 (hypot.f64 x.im y.im) y.re)) (pow.f64 (exp.f64 x.re) (atan2.f64 x.im y.im)))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.im y.im) y.re) (pow.f64 (exp.f64 x.re) (atan2.f64 x.im y.im))) (cos.f64 (fma.f64 x.re (log.f64 (hypot.f64 x.im y.im)) (*.f64 y.re (atan2.f64 x.im y.im)))))
(*.f64 (/.f64 (cos.f64 (fma.f64 x.re (log.f64 (hypot.f64 x.im y.im)) (*.f64 y.re (atan2.f64 x.im y.im)))) (pow.f64 (exp.f64 x.re) (atan2.f64 x.im y.im))) (pow.f64 (hypot.f64 x.im y.im) y.re))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 y.re y.re)))) x.im) (*.f64 (atan2.f64 y.re x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 y.re y.re)))) y.im) (*.f64 (atan2.f64 y.re x.re) x.im))))
(*.f64 (exp.f64 (-.f64 (*.f64 x.im (log.f64 (hypot.f64 x.re y.re))) (*.f64 y.im (atan2.f64 y.re x.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re y.re)) y.im (*.f64 x.im (atan2.f64 y.re x.re)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re y.re) x.im) (pow.f64 (exp.f64 y.im) (atan2.f64 y.re x.re))) (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re y.re)) (*.f64 x.im (atan2.f64 y.re x.re)))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 y.im y.im)))) y.re) (*.f64 (atan2.f64 y.im x.re) x.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 y.im y.im)))) x.im) (*.f64 (atan2.f64 y.im x.re) y.re))))
(*.f64 (exp.f64 (-.f64 (*.f64 y.re (log.f64 (hypot.f64 x.re y.im))) (*.f64 x.im (atan2.f64 y.im x.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re y.im)) x.im (*.f64 y.re (atan2.f64 y.im x.re)))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re y.im) y.re) (pow.f64 (exp.f64 x.im) (atan2.f64 y.im x.re))) (cos.f64 (fma.f64 x.im (log.f64 (hypot.f64 x.re y.im)) (*.f64 y.re (atan2.f64 y.im x.re)))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))))
(*.f64 (exp.f64 (-.f64 (*.f64 y.im (log.f64 (hypot.f64 x.re x.im))) (*.f64 y.re (atan2.f64 x.im x.re)))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.re (*.f64 (atan2.f64 x.im x.re) y.im))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.im) (pow.f64 (exp.f64 y.re) (atan2.f64 x.im x.re))) (cos.f64 (fma.f64 (atan2.f64 x.im x.re) y.im (*.f64 y.re (log.f64 (hypot.f64 x.re x.im))))))
(*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.im) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.re)) (cos.f64 (fma.f64 y.re (log.f64 (hypot.f64 x.re x.im)) (*.f64 (atan2.f64 x.im x.re) y.im))))
(/.f64 (cos.f64 (fma.f64 (atan2.f64 x.im x.re) y.im (*.f64 y.re (log.f64 (hypot.f64 x.re x.im))))) (/.f64 (pow.f64 (exp.f64 y.re) (atan2.f64 x.im x.re)) (pow.f64 (hypot.f64 x.re x.im) y.im)))
Compiler

Compiled 181 to 20 computations (89% saved)

end0.0ms (0%)

Profiling

Loading profile data...