Herbie run

Date:Wednesday, November 15th, 2023
Commit:2a8b6e90 on cleanup-reprs
Hostname:nightly with Racket 8.6
Seed:2023319
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: 6.9min)

series2.5min (36.6%)

Counts
693 → 9807
Calls

2924 calls:

TimeVariablePointExpression
2.4min
x
@inf
(pow.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3) 1/3)
314.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
284.0ms
x
@-inf
(cbrt.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))))
72.0ms
x
@0
(pow.f64 (pow.f64 (cbrt.f64 (expm1.f64 (*.f64 a x))) 8) 1/3)
65.0ms
x
@-inf
(pow.f64 (pow.f64 (expm1.f64 (*.f64 a x)) 8) 1/18)
Results

sample1.5min (21.6%)

Results
35.3s39529×body2048valid
27.4s71076×body1024valid
11.2s95202×body256valid
8.8s36443×body512valid
1.4s11071×body256infinite
1.3s2243×body4096valid
1.2s1216×body1024invalid
518.0ms3867×body256unsamplable
501.0ms3112×body256precondition
495.0ms5133×body256invalid
266.0ms605×body512invalid
145.0ms169×body1024infinite
90.0ms198×body512infinite
7.0ms6×body2048invalid
4.0ms2×body8192valid
1.0ms3×body2048infinite
Bogosity

localize41.8s (10.1%)

Compiler

Compiled 13926 to 7630 computations (45.2% saved)

soundness29.9s (7.2%)

Rules
114006×fma-def
63294×fma-neg
58652×times-frac
53436×associate-*r*
48556×log-prod
Stop Event
4×saturated
170×node limit
Compiler

Compiled 16844 to 10601 computations (37.1% saved)

eval26.8s (6.5%)

Compiler

Compiled 1284155 to 779606 computations (39.3% saved)

simplify18.8s (4.6%)

Algorithm
126×egg-herbie
Rules
78122×fma-def
46546×fma-neg
45250×times-frac
41466×associate-*r*
37214×distribute-lft-in
Stop Event
9×done
1×unsound
30×saturated
21×fuel
95×node limit
Counts
35820 → 34498
Compiler

Compiled 4025 to 2689 computations (33.2% saved)

prune13.9s (3.4%)

Counts
52873 → 2449
Compiler

Compiled 131901 to 91959 computations (30.3% saved)

rewrite12.8s (3.1%)

Algorithm
96×batch-egg-rewrite
Rules
53334×log1p-expm1-u
43764×expm1-log1p-u
42218×prod-diff
32484×log-prod
30294×expm1-udef
Stop Event
96×node limit
Counts
693 → 26013

regimes12.5s (3%)

Counts
4387 → 358
Calls

42 calls:

3.3s
eps
2.6s
x
859.0ms
(/.f64 1 n)
778.0ms
c
733.0ms
a
Compiler

Compiled 51426 to 29088 computations (43.4% saved)

preprocess9.5s (2.3%)

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 11149 to 6390 computations (42.7% saved)

bsearch4.2s (1%)

Algorithm
135×binary-search
37×left-value
Stop Event
133×narrow-enough
2×predicate-same
Results
1.6s11072×body256valid
1.2s3062×body1024valid
451.0ms1810×body512valid
244.0ms452×body2048valid
121.0ms1235×body256invalid
116.0ms600×body256infinite
28.0ms29×body1024infinite
12.0ms25×body512infinite
4.0ms6×body4096valid
Compiler

Compiled 31396 to 22477 computations (28.4% saved)

analyze2.4s (0.6%)

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...