Herbie run

Date:Wednesday, October 4th, 2023
Commit:39449eb5 on arb-support
Hostname:nightly with Racket 8.6
Seed:2023277
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

Details

Time bar (total: 11.4min)

sample5.2min (46.2%)

Results
2.2min97966×body8192exit
41.7s138017×body256valid
39.3s50446×body2048valid
34.9s126291×body256precondition
26.6s45957×body1024valid
10.2s22279×body512valid
9.0s36009×body256invalid
8.3s10102×body4096valid
5.1s18232×body256infinite
2.4s2472×body1024infinite
1.1s1238×body512infinite
434.0ms217×body2048infinite
Bogosity

localize2.0min (17.5%)

Compiler

Compiled 18585 to 9694 computations (47.8% saved)

analyze1.0min (9%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%59.8%40.2%0%0%0%0
2%2.3%114.8%-17.2%0%0%0%1
1%2.3%229.3%-131.6%0%0%0%2
5.3%23.1%416.3%-339.4%0%0%0%3
5.3%43.9%789.8%-733.7%0%0%0%4
3.1%50.5%1564.1%-1514.6%0%0%0%5
1.8%57.1%3110.6%-3067.7%0%0%0%6
1.2%72.3%6182.4%-6154.7%0%0%0%7
0.7%87.5%12318.2%-12305.7%0%0%0%8
0.5%119.8%24540.6%-24560.4%0%0%0%9
0.3%152%48955.1%-49007.1%0%0%0%10
0.2%217.9%97657.7%-97775.6%0%0%0%11
0.1%283.6%194944.3%-195127.9%0%0%0%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

soundness43.3s (6.3%)

Rules
148666×fma-def
77908×log-prod
76960×associate-*r*
69814×fma-neg
67634×times-frac
Stop Event
5×saturated
193×node limit
Compiler

Compiled 16224 to 9731 computations (40% saved)

eval39.0s (5.7%)

Compiler

Compiled 1241162 to 716070 computations (42.3% saved)

simplify29.5s (4.3%)

Algorithm
176×egg-herbie
Rules
126692×fma-def
62808×associate-*r*
58642×times-frac
56994×log-prod
56438×fma-neg
Stop Event
10×done
49×saturated
25×fuel
127×node limit
Counts
40997 → 35980
Compiler

Compiled 4154 to 2612 computations (37.1% saved)

prune19.4s (2.8%)

Counts
50361 → 1771
Compiler

Compiled 76403 to 52065 computations (31.9% saved)

rewrite18.4s (2.7%)

Algorithm
106×batch-egg-rewrite
Rules
68330×pow1
64756×add-exp-log
64728×log1p-expm1-u
64718×expm1-log1p-u
61272×add-log-exp
Stop Event
106×node limit
Counts
751 → 25672

regimes16.9s (2.5%)

Counts
2717 → 364
Calls

83 calls:

1.8s
b
1.7s
c
1.7s
x
1.3s
u
1.2s
a
Compiler

Compiled 31327 to 17589 computations (43.9% saved)

bsearch8.4s (1.2%)

Algorithm
157×binary-search
12×left-value
Stop Event
154×narrow-enough
3×predicate-same
Results
2.6s9986×body256valid
1.7s2797×body1024valid
1.3s2052×body2048valid
780.0ms945×body8192exit
719.0ms1658×body512valid
427.0ms596×body4096valid
236.0ms1325×body256infinite
153.0ms1155×body256invalid
9.0ms31×body1024infinite
4.0ms19×body512infinite
Compiler

Compiled 27401 to 18877 computations (31.1% saved)

end4.6s (0.7%)

Compiler

Compiled 9812 to 5228 computations (46.7% saved)

preprocess3.6s (0.5%)

Algorithm
70×egg-herbie
Rules
32240×fma-def
13382×distribute-lft-in
12218×distribute-rgt-in
10852×distribute-lft-neg-in
10760×sub-neg
Stop Event
5×unsound
44×saturated
21×node limit
Compiler

Compiled 705 to 505 computations (28.4% saved)

series3.4s (0.5%)

Counts
751 → 15290
Calls

4134 calls:

TimeVariablePointExpression
155.0ms
c
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 -1/2 a) (*.f64 (/.f64 c (/.f64 b a)) 2)))) 1)
140.0ms
v
@0
(/.f64 (neg.f64 t1) (/.f64 (*.f64 u u) v))
84.0ms
b
@0
(*.f64 (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 a (*.f64 c 4))))) (/.f64 -1/2 a))
68.0ms
t
@-inf
(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
62.0ms
x
@inf
(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))

Profiling

Loading profile data...