Herbie run

Date:Sunday, October 1st, 2023
Commit:89d2ba58 on better-profiles
Hostname:nightly with Racket 8.6
Seed:2023274
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: 7.7min)

sample1.8min (23.8%)

Results
58.6s269576×body256valid
23.7s14437×body2048valid
12.9s19743×body1024valid
6.8s30911×body256infinite
3.9s10912×body512valid
1.6s202×body8192exit
614.0ms781×body4096valid
417.0ms2715×body256invalid
151.0ms170×body1024infinite
133.0ms881×body256unsamplable
101.0ms209×body512infinite
17.0ms13×body2048infinite
Bogosity

localize1.2min (15.5%)

Compiler

Compiled 29392 to 15786 computations (46.3% saved)

soundness1.2min (15%)

Rules
201122×fma-def
142624×associate-*r*
129726×associate-*l*
119574×fma-neg
111348×log-prod
Stop Event
4×saturated
296×node limit
Compiler

Compiled 27349 to 16828 computations (38.5% saved)

eval56.9s (12.3%)

Compiler

Compiled 1885694 to 1106404 computations (41.3% saved)

simplify33.2s (7.2%)

Algorithm
165×egg-herbie
Rules
95362×fma-def
67320×associate-*r*
63610×times-frac
62806×associate-*l*
60472×log-prod
Stop Event
14×done
42×saturated
28×fuel
123×node limit
Counts
50684 → 42835
Compiler

Compiled 11584 to 7362 computations (36.4% saved)

regimes25.4s (5.5%)

Counts
4460 → 654
Calls

94 calls:

3.8s
x1
2.9s
x
2.1s
c
1.8s
b
1.7s
a
Compiler

Compiled 81944 to 47932 computations (41.5% saved)

prune23.0s (5%)

Counts
62050 → 2048
Compiler

Compiled 127586 to 84643 computations (33.7% saved)

bsearch21.7s (4.7%)

Algorithm
350×binary-search
21×left-value
Stop Event
312×narrow-enough
38×predicate-same
Results
10.5s25433×body256valid
6.3s10953×body256infinite
1.5s2113×body1024valid
693.0ms1150×body512valid
605.0ms535×body2048valid
161.0ms1379×body256invalid
42.0ms51×body1024infinite
27.0ms61×body512infinite
15.0ms7×body4096valid
1.0ms1×body2048infinite
Compiler

Compiled 119993 to 82037 computations (31.6% saved)

rewrite21.5s (4.6%)

Algorithm
123×batch-egg-rewrite
Rules
82582×pow1
78368×add-exp-log
78328×log1p-expm1-u
78304×expm1-log1p-u
76394×add-log-exp
Stop Event
123×node limit
Counts
970 → 30360

preprocess16.3s (3.5%)

Algorithm
42×egg-herbie
Rules
55292×fma-def
23810×fma-neg
17914×distribute-lft-in
17852×unsub-neg
17806×sub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 26925 to 15971 computations (40.7% saved)

analyze9.8s (2.1%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series3.9s (0.8%)

Counts
970 → 20324
Calls

5250 calls:

TimeVariablePointExpression
57.0ms
eps
@-inf
(/.f64 (+.f64 x (hypot.f64 x (sqrt.f64 (neg.f64 eps)))) (+.f64 (-.f64 (*.f64 x x) (*.f64 x x)) eps))
46.0ms
v
@0
(/.f64 (-.f64 1 v) (*.f64 (fma.f64 v -1/4 3/8) (*.f64 r (*.f64 w w))))
44.0ms
c
@0
(*.f64 (+.f64 c d) (-.f64 d c))
42.0ms
b
@inf
(/.f64 (-.f64 a (+.f64 b (+.f64 c d))) (-.f64 (*.f64 a a) (pow.f64 (+.f64 b (+.f64 c d)) 2)))
38.0ms
eps
@inf
(pow.f64 (exp.f64 (+.f64 eps -1)) x)

end16.0ms (0%)

Profiling

Loading profile data...