Herbie run

Date:Sunday, January 21st, 2024
Commit:4a418bc7 on main
Hostname:nightly with Racket 8.6
Seed:2024021
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.5min)

sample1.8min (33.3%)

Results
36.0s32633×body2048valid
25.5s54205×body1024valid
16.9s96716×body256valid
14.3s62308×body256precondition
11.1s41073×body512valid
1.9s1916×body4096valid
1.1s5186×body256invalid
1.1s1104×body1024invalid
829.0ms4275×body256infinite
465.0ms3897×body256unsamplable
285.0ms595×body512invalid
148.0ms160×body1024infinite
94.0ms190×body512infinite
Bogosity

soundness53.1s (16%)

Rules
140456×fma-def
66820×associate-*r*
64456×fma-neg
61184×log-prod
60114×times-frac
Stop Event
1×unsound
2×saturated
205×node limit
Compiler

Compiled 20941 to 12832 computations (38.7% saved)

localize44.8s (13.5%)

Compiler

Compiled 11999 to 6146 computations (48.8% saved)

eval29.4s (8.9%)

Compiler

Compiled 1327895 to 773966 computations (41.7% saved)

simplify21.9s (6.6%)

Algorithm
120×egg-herbie
Rules
75886×fma-def
40246×associate-*r*
39014×fma-neg
38232×times-frac
36446×log-prod
Stop Event
6×done
1×unsound
28×saturated
22×fuel
91×node limit
Counts
36339 → 34739
Compiler

Compiled 3646 to 2611 computations (28.4% saved)

rewrite19.2s (5.8%)

Algorithm
92×batch-egg-rewrite
Rules
48657×log1p-expm1-u
39500×expm1-log1p-u
36570×prod-diff
33256×expm1-udef
28048×log1p-udef
Stop Event
1×unsound
91×node limit
Counts
684 → 26375

regimes14.4s (4.3%)

Counts
4223 → 330
Calls

43 calls:

3.1s
x
2.6s
eps
1.3s
c
1.1s
(/.f64 1 n)
1.0s
n
Compiler

Compiled 47358 to 27667 computations (41.6% saved)

prune14.2s (4.3%)

Counts
53678 → 2094
Compiler

Compiled 107978 to 75680 computations (29.9% saved)

preprocess11.8s (3.6%)

Algorithm
28×egg-herbie
Rules
34252×fma-def
12020×fma-neg
11952×div-sub
9422×sub-neg
8120×distribute-lft-neg-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 11394 to 7253 computations (36.3% saved)

series5.2s (1.6%)

Counts
684 → 9964
Calls

3174 calls:

TimeVariablePointExpression
506.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
169.0ms
a
@0
(sqrt.f64 (*.f64 (+.f64 (sqrt.f64 (*.f64 a c)) b_2) (-.f64 b_2 (sqrt.f64 (*.f64 a c)))))
143.0ms
n
@0
(*.f64 n (log.f64 n))
141.0ms
x
@inf
(log.f64 (sqrt.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)))))
96.0ms
c
@-inf
(exp.f64 (*.f64 (-.f64 (log.f64 c) (log.f64 (/.f64 -1 a))) 1/2))

bsearch4.8s (1.5%)

Algorithm
117×binary-search
35×left-value
Stop Event
114×narrow-enough
3×predicate-same
Results
1.9s10822×body256valid
886.0ms2339×body512valid
673.0ms1439×body1024valid
610.0ms529×body2048valid
187.0ms1160×body256invalid
89.0ms355×body256infinite
66.0ms37×body512infinite
40.0ms62×body1024infinite
18.0ms98×body256unsamplable
1.0ms1×body4096valid
Compiler

Compiled 24845 to 18898 computations (23.9% saved)

analyze2.7s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%83%17%0%0%0%0
26.9%22.3%60.7%17%0%0%0%1
40.4%32.1%47.3%17%0%3.6%0%2
51.4%40.3%38.2%17%0%4.5%0%3
58.2%45.4%32.6%17.2%0%4.9%0%4
64.1%49.5%27.7%17.2%0%5.6%0%5
66.1%50.6%25.9%17.5%0%5.9%0%6
68.8%51.8%23.5%17.9%0%6.7%0.1%7
71%53.1%21.7%18.1%0%6.9%0.1%8
72.6%53.8%20.3%18.2%0%7.3%0.3%9
74%54.3%19.1%18.4%0%7.9%0.3%10
75.7%55.2%17.8%18.5%0%8.1%0.4%11
76.5%55.5%17.1%18.6%0%8.5%0.4%12
Compiler

Compiled 408 to 294 computations (27.9% saved)

end5.0ms (0%)

Profiling

Loading profile data...