Herbie run

Date:Thursday, September 28th, 2023
Commit:4fc72252 on main
Hostname:nightly with Racket 8.6
Seed:2023271
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: 4.3min)

sample1.5min (34.2%)

Results
32.9s33474×body2048valid
27.2s62345×body1024valid
12.0s86753×body256valid
8.6s32958×body512valid
1.7s13219×body256infinite
1.2s1162×body1024invalid
1.2s2062×body4096valid
830.0ms7447×body256unsamplable
622.0ms5080×body256invalid
366.0ms143×body1024infinite
284.0ms565×body512invalid
234.0ms478×body1024unsamplable
143.0ms255×body2048unsamplable
112.0ms208×body512infinite
80.0ms219×body512unsamplable
5.0ms5×body2048infinite
5.0ms4×body2048invalid
2.0ms1×body8192valid
Bogosity

localize36.2s (14.1%)

Compiler

Compiled 13497 to 7158 computations (47% saved)

soundness35.8s (13.9%)

Rules
158344×fma-def
105954×fma-neg
94002×log-prod
82612×associate-*r*
67676×associate-*l*
Stop Event
2×saturated
211×node limit
Compiler

Compiled 19881 to 11902 computations (40.1% saved)

eval25.3s (9.8%)

Compiler

Compiled 1258460 to 761410 computations (39.5% saved)

simplify16.9s (6.6%)

Algorithm
123×egg-herbie
Rules
68058×fma-def
55670×associate-*r*
53694×fma-neg
49016×associate-*l*
41088×times-frac
Stop Event
4×done
28×saturated
24×fuel
95×node limit
Counts
34142 → 35057
Compiler

Compiled 3671 to 2555 computations (30.4% saved)

prune13.5s (5.2%)

Counts
51471 → 2269
Compiler

Compiled 118553 to 83134 computations (29.9% saved)

regimes13.2s (5.1%)

Counts
3913 → 347
Calls

43 calls:

2.7s
x
2.4s
eps
1.3s
c
1.2s
a
767.0ms
(/.f64 1 n)
Compiler

Compiled 44741 to 25972 computations (42% saved)

rewrite10.9s (4.3%)

Algorithm
95×batch-egg-rewrite
Rules
56634×pow1
54764×log-prod
53888×add-exp-log
53848×log1p-expm1-u
53820×expm1-log1p-u
Stop Event
95×node limit
Counts
743 → 23641

preprocess6.1s (2.4%)

Algorithm
28×egg-herbie
Rules
42740×fma-def
13078×fma-neg
9294×associate-/r*
9220×div-sub
9054×distribute-rgt-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 8735 to 5442 computations (37.7% saved)

series4.4s (1.7%)

Counts
743 → 10501
Calls

3393 calls:

TimeVariablePointExpression
342.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
237.0ms
x
@inf
(pow.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) 3)
127.0ms
b_2
@0
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)
109.0ms
a
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c)))))
80.0ms
x
@0
(pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)

bsearch4.4s (1.7%)

Algorithm
131×binary-search
31×left-value
Stop Event
128×narrow-enough
3×predicate-same
Results
2.0s12529×body256valid
928.0ms2233×body1024valid
381.0ms1243×body512valid
361.0ms537×body2048valid
122.0ms1194×body256invalid
94.0ms463×body256infinite
60.0ms55×body1024infinite
13.0ms86×body256unsamplable
11.0ms25×body512infinite
2.0ms3×body4096valid
1.0ms1×body2048unsamplable
Compiler

Compiled 25369 to 18643 computations (26.5% saved)

analyze2.7s (1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
27.4%24.9%66%9.1%0%0%0%1
39%34.7%54.4%9.1%0%1.8%0%2
51%44.1%42.4%9.1%0%4.5%0%3
58.9%50.1%35%9.1%0%5.8%0%4
65.5%55%29%9.1%0%6.9%0%5
67.8%56.6%26.9%9.1%0%7.5%0%6
70.2%57.8%24.6%9.1%0%8.4%0.1%7
72.2%59.3%22.8%9.1%0%8.7%0.1%8
73.5%60%21.6%9.1%0%9.1%0.3%9
74.7%60.5%20.4%9.1%0%9.7%0.3%10
76.2%61.5%19.2%9.1%0%9.9%0.4%11
76.9%61.8%18.5%9.1%0%10.2%0.4%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

end2.0ms (0%)

Profiling

Loading profile data...