Herbie run

Date:Saturday, July 1st, 2023
Commit:1e3c827b on main
Hostname:nightly with Racket 8.6
Seed:2023182
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 50.6s)

sample11.6s (22.9%)

Results
8.8s62955×body256valid
1.3s4167×body2048valid
953.0ms7182×body256infinite
294.0ms1825×body256invalid
Bogosity

localize10.9s (21.6%)

Compiler

Compiled 5779 to 2923 computations (49.4% saved)

eval7.3s (14.4%)

Compiler

Compiled 455452 to 274332 computations (39.8% saved)

soundness6.3s (12.4%)

Rules
39922×fma-def
21688×associate-*r*
17896×times-frac
13952×distribute-lft-in
11858×distribute-rgt-in
Stop Event
3×saturated
36×node limit
Compiler

Compiled 3576 to 2008 computations (43.8% saved)

simplify4.2s (8.4%)

Algorithm
38×egg-herbie
Rules
30812×fma-def
14444×times-frac
14248×fma-neg
12496×associate-*r*
11216×distribute-lft-in
Stop Event
15×saturated
4×done
5×fuel
23×node limit
Counts
6377 → 6220
Compiler

Compiled 1527 to 991 computations (35.1% saved)

prune2.9s (5.8%)

Counts
11403 → 311
Compiler

Compiled 26316 to 17215 computations (34.6% saved)

rewrite2.2s (4.4%)

Algorithm
20×batch-egg-rewrite
Rules
13418×pow1
12658×add-exp-log
12650×expm1-log1p-u
12650×log1p-expm1-u
12544×add-log-exp
Stop Event
20×node limit
Counts
127 → 3552

regimes1.9s (3.8%)

Counts
465 → 98
Calls

23 calls:

403.0ms
b
313.0ms
x
263.0ms
a
197.0ms
c
101.0ms
(if (>=.f64 b 0) (/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)))
Compiler

Compiled 9503 to 5527 computations (41.8% saved)

bsearch956.0ms (1.9%)

Algorithm
54×binary-search
1×left-value
Stop Event
49×narrow-enough
5×predicate-same
Results
707.0ms5351×body256valid
95.0ms793×body256infinite
64.0ms526×body256invalid
Compiler

Compiled 14875 to 10461 computations (29.7% saved)

end767.0ms (1.5%)

Compiler

Compiled 3220 to 1890 computations (41.3% saved)

preprocess595.0ms (1.2%)

Algorithm
18×egg-herbie
Rules
8158×fma-def
4716×div-sub
3918×associate-/r*
3722×times-frac
3438×associate-/l*
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

series523.0ms (1%)

Counts
127 → 2816
Calls

861 calls:

TimeVariablePointExpression
30.0ms
n
@inf
(/.f64 (+.f64 f n) (-.f64 n f))
23.0ms
n
@0
(*.f64 2 (/.f64 f n))
10.0ms
b
@inf
(/.f64 (exp.f64 (log.f64 (fma.f64 (*.f64 (/.f64 c (/.f64 b a)) -4) -1/2 (*.f64 b -2)))) (*.f64 2 a))
9.0ms
b
@inf
(/.f64 (-.f64 (neg.f64 b) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 b b (*.f64 -4 (*.f64 a c))))) 3)) (*.f64 a 2))
9.0ms
c
@0
(log.f64 (*.f64 c (/.f64 -2 (-.f64 b (fma.f64 2 (*.f64 (/.f64 c b) a) (neg.f64 b))))))

analyze418.0ms (0.8%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

Profiling

Loading profile data...