Herbie run

Date:Tuesday, November 14th, 2023
Commit:fed13c1a on cleanup-reprs
Hostname:nightly with Racket 8.6
Seed:2023318
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.0min)

series5.7min (57.2%)

Counts
704 → 10567
Calls

3107 calls:

TimeVariablePointExpression
3.2min
x
@inf
(-.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 3/2) (pow.f64 (cbrt.f64 x) 3/2))
2.5min
x
@inf
(pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3)
390.0ms
x
@0
(pow.f64 x 1/6)
290.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
73.0ms
b
@0
(log.f64 (/.f64 (neg.f64 b) a))
Results

sample1.4min (14.3%)

Results
34.0s39342×body2048valid
26.4s71313×body1024valid
11.8s94780×body256valid
8.0s36899×body512valid
1.3s2183×body4096valid
1.2s11142×body256infinite
894.0ms1185×body1024invalid
637.0ms5255×body256invalid
476.0ms3127×body256precondition
403.0ms3859×body256unsamplable
237.0ms565×body512invalid
88.0ms108×body1024infinite
76.0ms162×body512infinite
5.0ms7×body2048infinite
4.0ms4×body2048invalid
Bogosity

soundness37.2s (6.2%)

Rules
130908×fma-def
64266×times-frac
63478×fma-neg
62050×log-prod
59634×associate-*r*
Stop Event
3×saturated
202×node limit
Compiler

Compiled 18395 to 11347 computations (38.3% saved)

localize36.2s (6%)

Compiler

Compiled 13489 to 7492 computations (44.5% saved)

eval27.6s (4.6%)

Compiler

Compiled 1343939 to 841988 computations (37.3% saved)

simplify19.7s (3.3%)

Algorithm
127×egg-herbie
Rules
76420×fma-def
45158×times-frac
41812×distribute-lft-in
40842×log-prod
39780×associate-*r*
Stop Event
5×done
30×saturated
25×fuel
97×node limit
Counts
38955 → 37376
Compiler

Compiled 3637 to 2496 computations (31.4% saved)

rewrite13.0s (2.2%)

Algorithm
97×batch-egg-rewrite
Rules
58087×log1p-expm1-u
47250×expm1-log1p-u
46530×prod-diff
33522×log-prod
27122×fma-def
Stop Event
97×node limit
Counts
704 → 28388

prune12.6s (2.1%)

Counts
53625 → 2123
Compiler

Compiled 114960 to 80058 computations (30.4% saved)

regimes10.8s (1.8%)

Counts
3876 → 325
Calls

42 calls:

2.3s
eps
2.1s
x
1.0s
(/.f64 1 n)
923.0ms
c
861.0ms
a
Compiler

Compiled 46070 to 24535 computations (46.7% saved)

preprocess9.0s (1.5%)

Algorithm
31×egg-herbie
Rules
35660×fma-def
12306×div-sub
12068×fma-neg
9698×sub-neg
8284×distribute-lft-neg-in
Stop Event
16×saturated
15×node limit
Compiler

Compiled 10375 to 6162 computations (40.6% saved)

bsearch3.0s (0.5%)

Algorithm
106×binary-search
48×left-value
Stop Event
103×narrow-enough
3×predicate-same
Results
1.3s9794×body256valid
668.0ms1961×body1024valid
383.0ms615×body2048valid
236.0ms1005×body512valid
102.0ms1054×body256invalid
93.0ms318×body256infinite
10.0ms13×body1024infinite
6.0ms6×body4096valid
2.0ms13×body256unsamplable
Compiler

Compiled 24067 to 17270 computations (28.2% saved)

analyze2.6s (0.4%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.2%9.8%0%0%0%0
25%22.5%67.7%9.8%0%0%0%1
37.2%33%55.6%9.8%0%1.6%0%2
50.2%42.9%42.5%9.8%0%4.8%0%3
58.1%48.7%35.1%9.8%0%6.4%0%4
65.3%53.9%28.7%9.8%0%7.7%0%5
67.8%55.4%26.3%10%0%8.3%0%6
70.8%56.8%23.4%10.5%0%9.2%0.1%7
72.9%58.2%21.6%10.6%0%9.4%0.1%8
74.3%58.9%20.4%10.7%0%9.8%0.2%9
75.6%59.3%19.2%10.9%0%10.4%0.3%10
77%60.2%18%10.9%0%10.5%0.3%11
77.7%60.5%17.3%11%0%10.9%0.3%12
Compiler

Compiled 421 to 309 computations (26.6% saved)

end3.0ms (0%)

Profiling

Loading profile data...