Herbie run

Date:Saturday, January 20th, 2024
Commit:d8d592a2 on error-explanations-2
Hostname:nightly with Racket 8.6
Seed:2024020
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.4min)

series2.5min (34.4%)

Counts
696 → 10079
Calls

3176 calls:

TimeVariablePointExpression
2.5min
x
@inf
(pow.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3) 1/3)
405.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
302.0ms
x
@0
(fma.f64 (neg.f64 (cbrt.f64 (/.f64 1 (+.f64 1 x)))) (cbrt.f64 (pow.f64 (+.f64 1 x) -1/2)) (pow.f64 (+.f64 1 x) -1/2))
155.0ms
eps
@inf
(pow.f64 (cbrt.f64 (+.f64 (tan.f64 x) (tan.f64 eps))) 3)
138.0ms
a
@0
(/.f64 (fma.f64 b b (*.f64 a (*.f64 -4 c))) (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 -4 c)))))
Results

sample1.7min (22.7%)

Results
33.6s33214×body2048valid
22.3s54075×body1024valid
15.3s96845×body256valid
12.8s64005×body256precondition
10.8s40691×body512valid
1.3s1864×body4096valid
1.0s1095×body1024invalid
779.0ms4144×body256infinite
590.0ms5100×body256invalid
514.0ms3922×body256unsamplable
352.0ms589×body512invalid
140.0ms155×body1024infinite
93.0ms180×body512infinite
Bogosity

localize42.8s (9.7%)

Compiler

Compiled 13732 to 7429 computations (45.9% saved)

soundness34.5s (7.8%)

Rules
110054×fma-def
64630×fma-neg
58584×times-frac
56332×associate-*r*
43832×associate-*l*
Stop Event
3×saturated
1×unsound
162×node limit
Compiler

Compiled 14471 to 9305 computations (35.7% saved)

eval27.5s (6.2%)

Compiler

Compiled 1280797 to 775609 computations (39.4% saved)

simplify21.3s (4.8%)

Algorithm
118×egg-herbie
Rules
69436×fma-def
44546×times-frac
42098×associate-*r*
37992×fma-neg
34226×log-prod
Stop Event
2×unsound
6×done
27×saturated
21×fuel
89×node limit
Counts
37228 → 35324
Compiler

Compiled 3108 to 2121 computations (31.8% saved)

rewrite18.5s (4.2%)

Algorithm
91×batch-egg-rewrite
Rules
49621×log1p-expm1-u
44918×prod-diff
38475×expm1-log1p-u
30870×expm1-udef
26098×log1p-udef
Stop Event
91×node limit
Counts
696 → 27149

preprocess15.2s (3.4%)

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 10709 to 6338 computations (40.8% saved)

prune12.9s (2.9%)

Counts
50934 → 1906
Compiler

Compiled 99492 to 69248 computations (30.4% saved)

regimes10.8s (2.4%)

Counts
3360 → 289
Calls

42 calls:

2.7s
eps
2.3s
x
1.2s
c
924.0ms
a
683.0ms
b
Compiler

Compiled 38744 to 20496 computations (47.1% saved)

bsearch3.6s (0.8%)

Algorithm
111×binary-search
27×left-value
Stop Event
106×narrow-enough
5×predicate-same
Results
1.4s9650×body256valid
802.0ms2268×body512valid
444.0ms1100×body1024valid
327.0ms424×body2048valid
213.0ms1643×body256invalid
112.0ms495×body256infinite
21.0ms121×body256unsamplable
6.0ms12×body512infinite
2.0ms1×body4096valid
2.0ms2×body1024infinite
Compiler

Compiled 24371 to 17644 computations (27.6% saved)

analyze2.4s (0.5%)

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)

end4.0ms (0%)

Profiling

Loading profile data...