powComplex, real part

Time bar (total: 5.6s)

analyze751.0ms (13.3%)

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 26 computations (38.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 532.0ms
Operation ival-mult, time spent: 172.0ms, 32.0% of total-time
Operation ival-atan2, time spent: 98.0ms, 18.0% of total-time
Operation ival-log, time spent: 88.0ms, 17.0% of total-time
Operation ival-cos, time spent: 66.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 37.0ms, 7.0% of total-time
Operation ival-add, time spent: 37.0ms, 7.0% of total-time
Operation ival-exp, time spent: 20.0ms, 4.0% of total-time
Operation ival-sub, time spent: 12.0ms, 2.0% of total-time
Operation const, time spent: 2.0ms, 0.0% of total-time

sample4.5s (79.3%)

Results
1.8s5133×256valid
1.7s2235×512infinite
208.0ms669×256infinite
367.0ms218×512valid
0.0ms256valid
Precisions
Click to see histograms. Total time spent on operations: 3.1s
Operation ival-mult, time spent: 1.1s, 35.0% of total-time
Operation ival-log, time spent: 461.0ms, 15.0% of total-time
Operation ival-sqrt, time spent: 365.0ms, 12.0% of total-time
Operation ival-cos, time spent: 320.0ms, 10.0% of total-time
Operation ival-atan2, time spent: 291.0ms, 9.0% of total-time
Operation ival-sub, time spent: 284.0ms, 9.0% of total-time
Operation ival-add, time spent: 203.0ms, 7.0% of total-time
Operation ival-exp, time spent: 76.0ms, 2.0% of total-time
Operation const, time spent: 13.0ms, 0.0% of total-time
Bogosity

preprocess414.0ms (7.4%)

Algorithm
egg-herbie
Rules
1394×fma-neg
968×exp-prod
762×unsub-neg
670×exp-sum
634×fma-define
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01491920
14031848
28521846
315951840
432021840
552961840
674431840
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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.re (*.f64 (atan2.f64 x.im x.re) (neg.f64 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 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.re (*.f64 (atan2.f64 x.im x.re) (neg.f64 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 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.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 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im (neg.f64 x.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 (hypot.f64 x.re x.im)) y.re) (*.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 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 (neg.f64 x.im) x.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 (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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.re)))))
(/.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (neg.f64 (atan2.f64 x.im x.re))))) (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.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))))
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (*.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 (log.f64 (hypot.f64 x.re x.im)) (neg.f64 y.im) (*.f64 y.re (atan2.f64 x.im x.re)))))
(*.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (neg.f64 (atan2.f64 x.im x.re))))) (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (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 (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)))))) (neg.f64 (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 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im (neg.f64 x.re))))) (/.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 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im (neg.f64 x.re)))))))
(*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (/.f64 (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))))) (neg.f64 (pow.f64 (exp.f64 y.im) (atan2.f64 x.im (neg.f64 x.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)))))
(*.f64 (neg.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (*.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 (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 (pow.f64 (hypot.f64 x.re x.im) y.re) (neg.f64 (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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.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))) (neg.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.re))))))
(*.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.re)))) (/.f64 (/.f64 #s(literal -1 binary64) (pow.f64 (hypot.f64 x.re x.im) y.re)) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))))
(/.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (neg.f64 (atan2.f64 x.im x.re))))) (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (neg.f64 (pow.f64 (exp.f64 y.im) (atan2.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)))) 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 (hypot.f64 x.re x.im)) y.re) (*.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))))))
(*.f64 (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re))) (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))))))
(*.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (neg.f64 (atan2.f64 x.im x.re))))) (*.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (neg.f64 (pow.f64 (exp.f64 y.im) (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 (log.f64 (hypot.f64 x.re x.im)) y.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 (fma.f64 (log.f64 (hypot.f64 y.re x.im)) x.re (neg.f64 (*.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 (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) (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re y.re)) (*.f64 x.im (atan2.f64 y.re x.re))))) (pow.f64 (exp.f64 y.im) (atan2.f64 y.re x.re)))
(*.f64 (pow.f64 (hypot.f64 x.re y.re) x.im) (/.f64 (cos.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re y.re)) (*.f64 x.im (atan2.f64 y.re x.re)))) (pow.f64 (exp.f64 y.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 (fma.f64 (log.f64 (hypot.f64 x.re y.im)) y.re (neg.f64 (*.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 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) (neg.f64 y.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 (log.f64 (hypot.f64 x.re x.im)) y.re (*.f64 (atan2.f64 x.im x.re) y.im))))
Compiler

Compiled 226 to 29 computations (87.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 106.0ms
Operation ival-mult, time spent: 35.0ms, 33.0% of total-time
Operation ival-log, time spent: 21.0ms, 20.0% of total-time
Operation ival-cos, time spent: 19.0ms, 18.0% of total-time
Operation ival-atan2, time spent: 10.0ms, 9.0% of total-time
Operation ival-add, time spent: 9.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 7.0ms, 7.0% of total-time
Operation ival-exp, time spent: 3.0ms, 3.0% of total-time
Operation ival-sub, time spent: 2.0ms, 2.0% of total-time
Operation const, time spent: 1.0ms, 1.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...