Herbie run

Date:Thursday, February 15th, 2024
Commit:aa763581 on add-id-expand-rule
Hostname:nightly with Racket 8.11.1
Seed:2024046
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.7min)

sample2.4min (41.5%)

Results
25.4s141598×256precondition
15.4s95087×256valid
27.6s58504×1024valid
42.1s36109×2048valid
8.9s34942×512valid
17.6s7472×8192exit
1.1s4245×256infinite
537.0ms4064×256invalid
1.1s4049×256unsamplable
1.2s1967×4096valid
95.0ms177×512infinite
124.0ms137×1024infinite
Bogosity

localize41.9s (12.3%)

Compiler

Compiled 12939 to 7581 computations (41.4% saved)

eval36.7s (10.8%)

Compiler

Compiled 1524782 to 978741 computations (35.8% saved)

soundness32.7s (9.6%)

Rules
82052×fma-define
70761×add0
62166×fma-neg
46716×distribute-lft-in
45850×distribute-rgt-in
Stop Event
3×saturated
138×node limit
Compiler

Compiled 14635 to 9529 computations (34.9% saved)

simplify22.3s (6.5%)

Algorithm
123×egg-herbie
Rules
82946×add0
65710×fma-define
50496×distribute-rgt-in
48090×distribute-lft-in
41908×+-commutative
Stop Event
28×saturated
93×node limit
20×fuel
2×unsound
8×done
Counts
40156 → 37824
Compiler

Compiled 2370 to 1695 computations (28.5% saved)

rewrite19.3s (5.7%)

Algorithm
95×batch-egg-rewrite
Rules
63308×log1p-expm1-u
47076×expm1-log1p-u
39742×prod-diff
35076×fma-define
23756×log-prod
Stop Event
95×node limit
Counts
659 → 31413

preprocess15.9s (4.7%)

Algorithm
28×egg-herbie
Rules
30214×fma-neg
18360×fma-define
8850×div-sub
8714×distribute-rgt-in
8215×add0
Stop Event
15×saturated
13×node limit
Compiler

Compiled 9627 to 5996 computations (37.7% saved)

prune12.8s (3.8%)

Counts
65580 → 1724
Compiler

Compiled 52655 to 38363 computations (27.1% saved)

regimes7.5s (2.2%)

Counts
2514 → 223
Calls

43 calls:

2.0s
x
1.4s
a
874.0ms
c
671.0ms
b_2
519.0ms
(/.f64 1 n)
Compiler

Compiled 1348 to 949 computations (29.6% saved)

series5.6s (1.6%)

Counts
659 → 8743
Calls

2865 calls:

TimeVariablePointExpression
191.0ms
x
@inf
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (+.f64 x 1)))) (exp.f64 (cbrt.f64 x))))
156.0ms
n
@inf
(/.f64 (neg.f64 (log.f64 (/.f64 x (+.f64 1 x)))) n)
152.0ms
eps
@0
(*.f64 2 (sin.f64 (*.f64 eps 1/2)))
114.0ms
eps
@inf
(*.f64 eps (+.f64 (/.f64 (pow.f64 (exp.f64 eps) a) (expm1.f64 (*.f64 a eps))) -1/2))
112.0ms
x
@-inf
(*.f64 1/360 (pow.f64 x 6))

analyze2.6s (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.2s (0.7%)

Algorithm
57×binary-search
25×left-value
Stop Event
2×predicate-same
55×narrow-enough
Results
670.0ms4902×256valid
141.0ms1293×256invalid
825.0ms1027×1024valid
123.0ms387×512valid
240.0ms354×2048valid
67.0ms297×256infinite
10.0ms53×256unsamplable
6.0ms6×1024infinite
2.0ms3×4096valid
Compiler

Compiled 11196 to 8254 computations (26.3% saved)

end3.0ms (0%)

Profiling

Loading profile data...