Numeric.SpecFunctions:invErfc from math-functions-0.1.5.2, A

Time bar (total: 1.1s)

analyze68.0ms (6.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
25%25%74.9%0.1%0%0%0%4
31.3%31.2%68.6%0.1%0%0%0%5
43.8%43.7%56.2%0.1%0%0%0%6
53.1%53%46.8%0.1%0%0%0%7
59.4%59.3%40.6%0.1%0%0%0%8
68%67.9%32%0.1%0%0%0%9
73.6%73.5%26.3%0.1%0%0%0%10
78.2%78.1%21.7%0.1%0%0%0%11
83.3%83.1%16.7%0.1%0%0%0%12
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample884.0ms (79.7%)

Results
873.0ms8255×body256valid
0.0ms1×body256infinite
Bogosity

preprocess157.0ms (14.1%)

Algorithm
1×egg-herbie
Rules
586×fma-def
541×associate-+l-
474×associate--l-
377×*-commutative
345×div-sub
Problems
222×No Errors
31×(/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y)))
3×(-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
052578
1118538
2240538
3514538
41432510
53608495
66743495
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f64 x (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(+.f64 x (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(+.f64 (neg.f64 x) (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 (neg.f64 x) y))))
(+.f64 x (/.f64 (neg.f64 y) (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x (neg.f64 y)))))
(+.f64 x (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 (neg.f64 z))) (*.f64 x y))))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 (neg.f64 x) y)))))
(neg.f64 (+.f64 x (/.f64 (neg.f64 y) (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x (neg.f64 y))))))
(neg.f64 (+.f64 x (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 (neg.f64 z))) (*.f64 x y)))))
(+.f64 y (/.f64 x (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 y x))))
(+.f64 z (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 x)) (*.f64 z y))))
(+.f64 x (/.f64 z (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 y)) (*.f64 x z))))
Outputs
(+.f64 x (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(+.f64 x (/.f64 1 (-.f64 (*.f64 (exp.f64 z) (/.f64 5641895835477563/5000000000000000 y)) x)))
(+.f64 x (/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5641895835477563/5000000000000000 y) x)))
(+.f64 x (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(+.f64 x (/.f64 1 (-.f64 (*.f64 (exp.f64 z) (/.f64 5641895835477563/5000000000000000 y)) x)))
(+.f64 x (/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 -5641895835477563/5000000000000000 y) x)))
(+.f64 (neg.f64 x) (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 (neg.f64 x) y))))
(+.f64 (neg.f64 x) (/.f64 y (+.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(-.f64 (/.f64 y (fma.f64 5641895835477563/5000000000000000 (exp.f64 z) (*.f64 x y))) x)
(-.f64 (/.f64 y (fma.f64 x y (*.f64 5641895835477563/5000000000000000 (exp.f64 z)))) x)
(-.f64 (/.f64 1 (fma.f64 (exp.f64 z) (/.f64 5641895835477563/5000000000000000 y) x)) x)
(+.f64 x (/.f64 (neg.f64 y) (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x (neg.f64 y)))))
(+.f64 x (/.f64 (neg.f64 y) (+.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(-.f64 x (/.f64 y (fma.f64 5641895835477563/5000000000000000 (exp.f64 z) (*.f64 x y))))
(-.f64 x (/.f64 y (fma.f64 x y (*.f64 5641895835477563/5000000000000000 (exp.f64 z)))))
(+.f64 x (/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 5641895835477563/5000000000000000 y) x)))
(+.f64 x (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 (neg.f64 z))) (*.f64 x y))))
(+.f64 x (/.f64 y (-.f64 (/.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(+.f64 x (/.f64 y (fma.f64 x (neg.f64 y) (/.f64 5641895835477563/5000000000000000 (exp.f64 z)))))
(+.f64 x (/.f64 1 (-.f64 (/.f64 5641895835477563/5000000000000000 (*.f64 y (exp.f64 z))) x)))
(neg.f64 (+.f64 (neg.f64 x) (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 (neg.f64 x) y)))))
(+.f64 x (/.f64 (neg.f64 y) (+.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(-.f64 x (/.f64 y (fma.f64 5641895835477563/5000000000000000 (exp.f64 z) (*.f64 x y))))
(-.f64 x (/.f64 y (fma.f64 x y (*.f64 5641895835477563/5000000000000000 (exp.f64 z)))))
(+.f64 x (/.f64 -1 (fma.f64 (exp.f64 z) (/.f64 5641895835477563/5000000000000000 y) x)))
(neg.f64 (+.f64 x (/.f64 (neg.f64 y) (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x (neg.f64 y))))))
(+.f64 (neg.f64 x) (/.f64 y (+.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(-.f64 (/.f64 y (fma.f64 5641895835477563/5000000000000000 (exp.f64 z) (*.f64 x y))) x)
(-.f64 (/.f64 y (fma.f64 x y (*.f64 5641895835477563/5000000000000000 (exp.f64 z)))) x)
(-.f64 (/.f64 1 (fma.f64 (exp.f64 z) (/.f64 5641895835477563/5000000000000000 y) x)) x)
(neg.f64 (+.f64 x (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 (neg.f64 z))) (*.f64 x y)))))
(-.f64 (neg.f64 x) (/.f64 y (-.f64 (/.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(-.f64 (neg.f64 x) (/.f64 y (fma.f64 x (neg.f64 y) (/.f64 5641895835477563/5000000000000000 (exp.f64 z)))))
(-.f64 (/.f64 -1 (-.f64 (/.f64 5641895835477563/5000000000000000 (*.f64 y (exp.f64 z))) x)) x)
(+.f64 y (/.f64 x (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 y x))))
(+.f64 y (/.f64 x (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 z)) (*.f64 x y))))
(+.f64 y (/.f64 -1 (fma.f64 -5641895835477563/5000000000000000 (/.f64 (exp.f64 z) x) y)))
(+.f64 z (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 x)) (*.f64 z y))))
(+.f64 z (/.f64 y (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 x)) (*.f64 y z))))
(+.f64 x (/.f64 z (-.f64 (*.f64 5641895835477563/5000000000000000 (exp.f64 y)) (*.f64 x z))))
Compiler

Compiled 47 to 21 computations (55.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...