Herbie run

Date:Thursday, October 5th, 2023
Commit:d0ce0259 on arb-support
Hostname:nightly with Racket 8.6
Seed:2023278
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: 10.9min)

sample5.2min (47.6%)

Results
2.3min99808×body8192exit
39.8s137788×body256valid
39.7s50272×body2048valid
30.2s102669×body256precondition
25.7s46126×body1024valid
10.3s22193×body512valid
8.4s10324×body4096valid
8.4s36351×body256invalid
4.9s18193×body256infinite
2.6s2538×body1024infinite
1.0s1288×body512infinite
531.0ms238×body2048infinite
Bogosity

localize1.7min (15.9%)

Compiler

Compiled 17850 to 9234 computations (48.3% saved)

analyze1.1min (9.8%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%58.7%41.3%0%0%0%0
2%2.3%112.4%-14.8%0%0%0%1
1%2.3%224.5%-126.8%0%0%0%2
5.4%23.1%406.6%-329.7%0%0%0%3
5.4%43.9%770.4%-714.3%0%0%0%4
3.2%50.5%1524.8%-1475.3%0%0%0%5
1.8%57.1%3032%-2989.1%0%0%0%6
1.2%72.3%6023.1%-5995.4%0%0%0%7
0.7%87.5%11999.6%-11987.2%0%0%0%8
0.5%119.8%23895.1%-23914.9%0%0%0%9
0.3%152%47664.1%-47716.2%0%0%0%10
0.2%217.9%95042.1%-95160%0%0%0%11
0.1%283.6%189713.1%-189896.7%0%0%0%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

soundness41.4s (6.3%)

Rules
123916×fma-def
75818×times-frac
75340×associate-*r*
69456×log-prod
59884×associate-*l*
Stop Event
5×saturated
174×node limit
Compiler

Compiled 14139 to 8172 computations (42.2% saved)

eval38.1s (5.8%)

Compiler

Compiled 1113249 to 691069 computations (37.9% saved)

simplify28.8s (4.4%)

Algorithm
165×egg-herbie
Rules
116352×fma-def
58580×associate-*r*
55628×times-frac
50834×fma-neg
49968×log-prod
Stop Event
13×done
49×saturated
22×fuel
116×node limit
Counts
36903 → 32400
Compiler

Compiled 3916 to 2473 computations (36.8% saved)

prune18.2s (2.8%)

Counts
44748 → 1623
Compiler

Compiled 70272 to 48370 computations (31.2% saved)

rewrite16.3s (2.5%)

Algorithm
95×batch-egg-rewrite
Rules
59254×pow1
56294×add-exp-log
56258×log1p-expm1-u
56250×expm1-log1p-u
54416×add-log-exp
Stop Event
95×node limit
Counts
680 → 23376

regimes14.9s (2.3%)

Counts
2623 → 326
Calls

83 calls:

1.8s
c
1.5s
b
1.2s
a
1.1s
t1
1.1s
x
Compiler

Compiled 31294 to 17666 computations (43.5% saved)

preprocess8.9s (1.4%)

Algorithm
35×egg-herbie
Rules
50888×fma-def
19570×fma-neg
15944×distribute-lft-in
15830×unsub-neg
15238×distribute-rgt-in
Stop Event
9×saturated
26×node limit
Compiler

Compiled 10635 to 5933 computations (44.2% saved)

bsearch5.4s (0.8%)

Algorithm
128×binary-search
14×left-value
Stop Event
123×narrow-enough
5×predicate-same
Results
2.0s8681×body256valid
743.0ms2074×body1024valid
685.0ms1437×body2048valid
481.0ms648×body8192exit
412.0ms1545×body512valid
310.0ms1791×body256invalid
214.0ms284×body4096valid
117.0ms659×body256infinite
4.0ms7×body1024infinite
0.0ms1×body512infinite
Compiler

Compiled 24661 to 16926 computations (31.4% saved)

series2.9s (0.4%)

Counts
680 → 13492
Calls

3645 calls:

TimeVariablePointExpression
68.0ms
t
@0
(-.f64 (pow.f64 t 3/2) 1)
58.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3/2)
50.0ms
d
@0
(+.f64 c (/.f64 (-.f64 (*.f64 (+.f64 a d) (+.f64 a d)) (*.f64 b b)) (-.f64 (+.f64 a d) b)))
50.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
44.0ms
t
@-inf
(-.f64 (pow.f64 t 3/2) 1)

end3.0ms (0%)

Profiling

Loading profile data...