Data.Number.Erf:$dmerfcx from erf-2.0.0.0

Time bar (total: 866.0ms)

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 9 to 6 computations (33.3% saved)

sample743.0ms (85.9%)

Results
411.0ms4193×body256valid
321.0ms4063×body256infinite
Bogosity

preprocess122.0ms (14.1%)

Algorithm
1×egg-herbie
Rules
663×distribute-lft-in
616×associate-/r*
579×associate-*r/
387×associate-/l*
331×associate-/r/
Problems
254×No Errors
2×(exp.f64 (*.f64 y y))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
022190
155190
2111190
3303190
4965190
52265190
66693190
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 x (exp.f64 (*.f64 y y)))
(*.f64 x (exp.f64 (*.f64 y y)))
(*.f64 (neg.f64 x) (exp.f64 (*.f64 y y)))
(*.f64 x (exp.f64 (*.f64 (neg.f64 y) (neg.f64 y))))
(neg.f64 (*.f64 (neg.f64 x) (exp.f64 (*.f64 y y))))
(neg.f64 (*.f64 x (exp.f64 (*.f64 (neg.f64 y) (neg.f64 y)))))
(*.f64 y (exp.f64 (*.f64 x x)))
Outputs
(*.f64 x (exp.f64 (*.f64 y y)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(*.f64 x (exp.f64 (*.f64 y y)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(*.f64 (neg.f64 x) (exp.f64 (*.f64 y y)))
(*.f64 x (neg.f64 (exp.f64 (*.f64 y y))))
(*.f64 (exp.f64 (*.f64 y y)) (neg.f64 x))
(*.f64 x (neg.f64 (pow.f64 (exp.f64 y) y)))
(*.f64 x (exp.f64 (*.f64 (neg.f64 y) (neg.f64 y))))
(*.f64 x (exp.f64 (*.f64 y y)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(neg.f64 (*.f64 (neg.f64 x) (exp.f64 (*.f64 y y))))
(*.f64 x (exp.f64 (*.f64 y y)))
(*.f64 x (pow.f64 (exp.f64 y) y))
(neg.f64 (*.f64 x (exp.f64 (*.f64 (neg.f64 y) (neg.f64 y)))))
(*.f64 x (neg.f64 (exp.f64 (*.f64 y y))))
(*.f64 (exp.f64 (*.f64 y y)) (neg.f64 x))
(*.f64 x (neg.f64 (pow.f64 (exp.f64 y) y)))
(*.f64 y (exp.f64 (*.f64 x x)))
(*.f64 y (pow.f64 (exp.f64 x) x))
Symmetry

(abs y)

(negabs x)

Compiler

Compiled 18 to 6 computations (66.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...