Numeric.Integration.TanhSinh:everywhere from integration-0.2.1

Time bar (total: 1.0s)

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 10 to 7 computations (30% saved)

sample919.0ms (90.7%)

Results
745.0ms6204×body256valid
164.0ms2052×body256infinite
Bogosity

preprocess94.0ms (9.3%)

Algorithm
1×egg-herbie
Rules
270×fma-def
150×associate-*r*
90×distribute-lft-in
84×*-commutative
84×associate-*l*
Problems
237×No Errors
19×(*.f64 x (+.f64 1 (*.f64 y y)))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
023204
179176
2210176
3508176
41018176
51277176
61378176
71384176
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 x (+.f64 1 (*.f64 y y)))
(*.f64 x (+.f64 1 (*.f64 y y)))
(*.f64 (neg.f64 x) (+.f64 1 (*.f64 y y)))
(*.f64 x (+.f64 1 (*.f64 (neg.f64 y) (neg.f64 y))))
(neg.f64 (*.f64 (neg.f64 x) (+.f64 1 (*.f64 y y))))
(neg.f64 (*.f64 x (+.f64 1 (*.f64 (neg.f64 y) (neg.f64 y)))))
(*.f64 y (+.f64 1 (*.f64 x x)))
Outputs
(*.f64 x (+.f64 1 (*.f64 y y)))
(*.f64 x (fma.f64 y y 1))
(*.f64 x (+.f64 1 (*.f64 y y)))
(*.f64 x (fma.f64 y y 1))
(*.f64 (neg.f64 x) (+.f64 1 (*.f64 y y)))
(*.f64 x (neg.f64 (+.f64 1 (*.f64 y y))))
(*.f64 x (neg.f64 (fma.f64 y y 1)))
(*.f64 x (-.f64 -1 (*.f64 y y)))
(*.f64 x (+.f64 1 (*.f64 (neg.f64 y) (neg.f64 y))))
(*.f64 x (+.f64 1 (*.f64 y y)))
(*.f64 x (fma.f64 y y 1))
(neg.f64 (*.f64 (neg.f64 x) (+.f64 1 (*.f64 y y))))
(*.f64 x (+.f64 1 (*.f64 y y)))
(*.f64 x (fma.f64 y y 1))
(neg.f64 (*.f64 x (+.f64 1 (*.f64 (neg.f64 y) (neg.f64 y)))))
(*.f64 x (neg.f64 (+.f64 1 (*.f64 y y))))
(*.f64 x (neg.f64 (fma.f64 y y 1)))
(*.f64 x (-.f64 -1 (*.f64 y y)))
(*.f64 y (+.f64 1 (*.f64 x x)))
(*.f64 y (fma.f64 x x 1))
Symmetry

(abs y)

(negabs x)

Compiler

Compiled 21 to 10 computations (52.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...