Herbie run

Date:Saturday, December 16th, 2023
Commit:665878db on main
Hostname:nightly with Racket 8.6
Seed:2023350
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.6min)

series2.5min (38.2%)

Counts
738 → 10806
Calls

3413 calls:

TimeVariablePointExpression
2.5min
x
@inf
(pow.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3) 1/3)
332.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
112.0ms
n
@0
(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
100.0ms
x
@0
(pow.f64 (pow.f64 x 1/4) -2)
88.0ms
N
@-inf
(cbrt.f64 (pow.f64 (*.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1)) (cbrt.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1)))) 2))
Results

sample1.5min (22.1%)

Results
31.2s37809×body2048valid
21.6s58816×body1024valid
12.5s94274×body256valid
10.2s62883×body256precondition
7.1s33467×body512valid
1.3s2281×body4096valid
952.0ms1197×body1024invalid
689.0ms4207×body256infinite
576.0ms5062×body256invalid
538.0ms4024×body256unsamplable
301.0ms613×body512invalid
227.0ms178×body512infinite
124.0ms134×body1024infinite
7.0ms6×body2048invalid
2.0ms1×body8192valid
0.0ms1×body2048infinite
Bogosity

localize30.4s (7.7%)

Compiler

Compiled 13332 to 7447 computations (44.1% saved)

soundness29.1s (7.3%)

Rules
110124×fma-def
60166×fma-neg
57752×associate-*r*
56702×times-frac
41144×log-prod
Stop Event
1×saturated
161×node limit
Compiler

Compiled 15249 to 9821 computations (35.6% saved)

eval28.3s (7.1%)

Compiler

Compiled 1317455 to 833165 computations (36.8% saved)

simplify17.5s (4.4%)

Algorithm
122×egg-herbie
Rules
78444×fma-def
46138×associate-*r*
41732×times-frac
38192×associate-*l*
36832×log-prod
Stop Event
6×done
27×saturated
21×fuel
95×node limit
Counts
38255 → 37061
Compiler

Compiled 3363 to 2291 computations (31.9% saved)

rewrite13.1s (3.3%)

Algorithm
95×batch-egg-rewrite
Rules
53696×log1p-expm1-u
42075×expm1-log1p-u
39882×prod-diff
31858×expm1-udef
31214×log1p-udef
Stop Event
95×node limit
Counts
738 → 27449

prune12.7s (3.2%)

Counts
54028 → 2157
Compiler

Compiled 112136 to 79092 computations (29.5% saved)

regimes11.8s (3%)

Counts
4173 → 304
Calls

42 calls:

2.8s
x
2.3s
eps
1.1s
c
744.0ms
b
677.0ms
a
Compiler

Compiled 47744 to 25575 computations (46.4% saved)

preprocess8.8s (2.2%)

Algorithm
28×egg-herbie
Rules
34252×fma-def
11926×fma-neg
11896×div-sub
9418×sub-neg
8164×distribute-lft-neg-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 10658 to 6442 computations (39.6% saved)

bsearch4.2s (1.1%)

Algorithm
122×binary-search
17×left-value
Stop Event
118×narrow-enough
4×predicate-same
Results
1.2s2802×body1024valid
1.2s8745×body256valid
942.0ms1226×body2048valid
327.0ms1509×body512valid
115.0ms1108×body256invalid
94.0ms487×body256infinite
58.0ms346×body256unsamplable
50.0ms99×body512infinite
13.0ms11×body4096valid
1.0ms1×body1024infinite
Compiler

Compiled 26469 to 18977 computations (28.3% saved)

analyze1.9s (0.5%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%83%17%0%0%0%0
25.8%21.4%61.5%17%0%0%0%1
37.6%29.9%49.5%17%0%3.6%0%2
50%39.2%39.3%17%0%4.5%0%3
57.1%44.5%33.5%17.2%0%4.9%0%4
63.5%49%28.2%17.2%0%5.6%0%5
65.6%50.2%26.3%17.5%0%5.9%0%6
68.5%51.5%23.7%17.9%0%6.7%0.1%7
70.8%53%21.9%18.1%0%6.9%0.1%8
72.4%53.7%20.5%18.2%0%7.3%0.3%9
73.8%54.1%19.2%18.4%0%7.9%0.3%10
75.5%55.1%17.9%18.5%0%8.1%0.4%11
76.4%55.4%17.2%18.6%0%8.5%0.4%12
Compiler

Compiled 408 to 294 computations (27.9% saved)

end3.0ms (0%)

Profiling

Loading profile data...