math.exp on complex, imaginary 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 8 to 6 computations (25% saved)

sample938.0ms (88.5%)

Results
715.0ms6206×body256valid
212.0ms2050×body256infinite
Bogosity

preprocess122.0ms (11.5%)

Algorithm
1×egg-herbie
Rules
475×associate-*r*
455×associate-/r/
390×associate-+r+
385×associate--r-
344×times-frac
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
022163
147161
289155
3148155
4382155
51029155
62598155
74915155
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (exp.f64 re) (sin.f64 im))
(*.f64 (exp.f64 re) (sin.f64 im))
(*.f64 (exp.f64 (neg.f64 re)) (sin.f64 im))
(*.f64 (exp.f64 re) (sin.f64 (neg.f64 im)))
(neg.f64 (*.f64 (exp.f64 (neg.f64 re)) (sin.f64 im)))
(neg.f64 (*.f64 (exp.f64 re) (sin.f64 (neg.f64 im))))
(*.f64 (exp.f64 im) (sin.f64 re))
Outputs
(*.f64 (exp.f64 re) (sin.f64 im))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (sin.f64 im))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (exp.f64 (neg.f64 re)) (sin.f64 im))
(*.f64 (sin.f64 im) (exp.f64 (neg.f64 re)))
(/.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (exp.f64 re) (sin.f64 (neg.f64 im)))
(*.f64 (exp.f64 re) (neg.f64 (sin.f64 im)))
(*.f64 (sin.f64 im) (neg.f64 (exp.f64 re)))
(neg.f64 (*.f64 (exp.f64 (neg.f64 re)) (sin.f64 im)))
(*.f64 (exp.f64 (neg.f64 re)) (neg.f64 (sin.f64 im)))
(*.f64 (sin.f64 im) (/.f64 -1 (exp.f64 re)))
(neg.f64 (/.f64 (sin.f64 im) (exp.f64 re)))
(/.f64 (neg.f64 (sin.f64 im)) (exp.f64 re))
(/.f64 (sin.f64 im) (neg.f64 (exp.f64 re)))
(neg.f64 (*.f64 (exp.f64 re) (sin.f64 (neg.f64 im))))
(*.f64 (exp.f64 re) (sin.f64 im))
(*.f64 (sin.f64 im) (exp.f64 re))
(*.f64 (exp.f64 im) (sin.f64 re))
Symmetry

(negabs im)

Compiler

Compiled 14 to 6 computations (57.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...