Herbie run

Date:Monday, February 12th, 2024
Commit:4465bdb2 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024043
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: 5.9min)

sample2.3min (39.1%)

Results
26.7s142350×256precondition
13.6s95352×256valid
26.9s58108×1024valid
42.9s36141×2048valid
9.1s34895×512valid
16.5s7172×8192exit
985.0ms4372×256infinite
563.0ms4018×256invalid
722.0ms3831×256unsamplable
1.1s1964×4096valid
94.0ms178×512infinite
153.0ms158×1024infinite
Bogosity

localize57.9s (16.2%)

Compiler

Compiled 14131 to 8065 computations (42.9% saved)

soundness36.9s (10.3%)

Rules
94472×fma-define
88696×fma-neg
51977×log1p-expm1-u
49116×log-prod
45864×expm1-log1p-u
Stop Event
3×saturated
160×node limit
Compiler

Compiled 13643 to 9038 computations (33.8% saved)

eval34.2s (9.6%)

Compiler

Compiled 1534543 to 956293 computations (37.7% saved)

simplify22.1s (6.2%)

Algorithm
121×egg-herbie
Rules
66912×fma-define
44790×times-frac
44648×fma-neg
39032×associate-*r*
37766×log-prod
Stop Event
28×saturated
92×node limit
18×fuel
1×unsound
10×done
Counts
37403 → 35133
Compiler

Compiled 2902 to 2090 computations (28% saved)

rewrite18.4s (5.2%)

Algorithm
93×batch-egg-rewrite
Rules
61142×log1p-expm1-u
50091×expm1-log1p-u
34370×prod-diff
29028×log-prod
28086×unpow-prod-down
Stop Event
93×node limit
Counts
707 → 27382

preprocess15.3s (4.3%)

Algorithm
28×egg-herbie
Rules
23796×fma-neg
15718×fma-define
9020×distribute-lft-in
8670×sub-neg
8024×div-sub
Stop Event
15×saturated
13×node limit
Compiler

Compiled 11215 to 7198 computations (35.8% saved)

prune13.0s (3.6%)

Counts
57534 → 1767
Compiler

Compiled 59447 to 43186 computations (27.4% saved)

regimes8.5s (2.4%)

Counts
2508 → 286
Calls

43 calls:

1.7s
c
1.7s
x
1.2s
a
809.0ms
b
775.0ms
(/.f64 1 n)
Compiler

Compiled 1377 to 966 computations (29.8% saved)

series5.9s (1.6%)

Counts
707 → 10021
Calls

3186 calls:

TimeVariablePointExpression
245.0ms
a
@0
(pow.f64 (*.f64 a (neg.f64 c)) 1/4)
192.0ms
N
@-inf
(cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1))) 4) 2))
125.0ms
x
@inf
(log.f64 (cbrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)))))
82.0ms
a
@0
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (expm1.f64 (*.f64 a x)) (cbrt.f64 (expm1.f64 (*.f64 a x)))) 2)) (cbrt.f64 (cbrt.f64 (expm1.f64 (*.f64 a x)))))
78.0ms
x
@inf
(pow.f64 (cbrt.f64 (-.f64 1 (cos.f64 x))) 3)

analyze2.7s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.4%32.5%25.1%42.4%0%0%0%5
58.7%33.4%23.5%43.1%0%0%0%6
62.4%34.4%20.7%44%0%0.8%0.1%7
65.4%35.7%18.9%44.5%0%0.8%0.1%8
67.8%36.4%17.3%44.9%0%1.2%0.3%9
69.8%36.8%15.9%45.2%0%1.7%0.3%10
72.3%37.8%14.5%45.4%0%1.9%0.4%11
73.5%38.1%13.7%45.6%0%2.2%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

bsearch2.3s (0.7%)

Algorithm
79×binary-search
41×left-value
Stop Event
3×predicate-same
76×narrow-enough
Results
1.1s7180×256valid
196.0ms1637×256invalid
415.0ms1172×1024valid
157.0ms694×256infinite
123.0ms414×512valid
177.0ms239×2048valid
4.0ms25×256unsamplable
6.0ms10×512infinite
5.0ms3×4096valid
Compiler

Compiled 13983 to 10471 computations (25.1% saved)

end4.0ms (0%)

Profiling

Loading profile data...