Herbie run

Date:Friday, October 6th, 2023
Commit:c7e70dc6 on main
Hostname:nightly with Racket 8.6
Seed:2023279
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: 6.1min)

sample2.0min (33.1%)

Results
41.2s33286×body2048valid
38.8s62178×body1024valid
18.3s87095×body256valid
13.0s33334×body512valid
2.2s12874×body256infinite
1.9s2074×body4096valid
1.4s1201×body1024invalid
1.1s7405×body256unsamplable
793.0ms5311×body256invalid
350.0ms594×body512invalid
289.0ms506×body1024unsamplable
246.0ms291×body2048unsamplable
175.0ms147×body1024infinite
126.0ms178×body512infinite
94.0ms241×body512unsamplable
7.0ms6×body2048invalid
1.0ms2×body2048infinite
Bogosity

localize52.4s (14.4%)

Compiler

Compiled 12795 to 6755 computations (47.2% saved)

soundness44.6s (12.2%)

Rules
138976×fma-def
95382×fma-neg
84882×log-prod
73422×associate-*r*
57908×associate-*l*
Stop Event
2×saturated
203×node limit
Compiler

Compiled 19046 to 12186 computations (36% saved)

eval42.3s (11.6%)

Compiler

Compiled 1196283 to 716871 computations (40.1% saved)

simplify25.0s (6.9%)

Algorithm
128×egg-herbie
Rules
73736×fma-def
57572×fma-neg
53316×associate-*r*
51312×log-prod
49528×associate-*l*
Stop Event
4×done
28×saturated
24×fuel
100×node limit
Counts
37049 → 36179
Compiler

Compiled 3986 to 2733 computations (31.4% saved)

prune18.9s (5.2%)

Counts
54090 → 2285
Compiler

Compiled 107680 to 75872 computations (29.5% saved)

regimes18.8s (5.2%)

Counts
4517 → 359
Calls

43 calls:

5.2s
x
3.9s
eps
1.3s
a
1.0s
b
994.0ms
c
Compiler

Compiled 48551 to 27989 computations (42.4% saved)

rewrite18.1s (5%)

Algorithm
100×batch-egg-rewrite
Rules
57518×pow1
54670×add-exp-log
54650×log1p-expm1-u
54612×expm1-log1p-u
53980×log-prod
Stop Event
100×node limit
Counts
762 → 26436

preprocess8.2s (2.2%)

Algorithm
28×egg-herbie
Rules
42740×fma-def
13078×fma-neg
9294×associate-/r*
9220×div-sub
9054×distribute-rgt-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 9273 to 5734 computations (38.2% saved)

bsearch6.1s (1.7%)

Algorithm
130×binary-search
39×left-value
Stop Event
129×narrow-enough
1×predicate-same
Results
2.8s11811×body256valid
1.3s2875×body1024valid
476.0ms1706×body256invalid
451.0ms1094×body512valid
427.0ms543×body2048valid
92.0ms444×body256infinite
33.0ms199×body256unsamplable
21.0ms23×body1024infinite
18.0ms39×body512infinite
8.0ms3×body4096valid
Compiler

Compiled 27136 to 19741 computations (27.3% saved)

series5.7s (1.6%)

Counts
762 → 10613
Calls

3423 calls:

TimeVariablePointExpression
383.0ms
x
@-inf
(/.f64 (sin.f64 x) x)
321.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
314.0ms
a
@inf
(/.f64 (-.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (*.f64 c (*.f64 a -4)) 3/2))) (*.f64 a 2))
149.0ms
eps
@-inf
(*.f64 (*.f64 3 (log.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))) 1/3)
133.0ms
x
@inf
(log1p.f64 (neg.f64 (cos.f64 x)))

analyze4.0s (1.1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
27.4%24.9%66%9.1%0%0%0%1
39%34.7%54.4%9.1%0%1.8%0%2
51%44.1%42.4%9.1%0%4.5%0%3
58.9%50.1%35%9.1%0%5.8%0%4
65.5%55%29%9.1%0%6.9%0%5
67.8%56.6%26.9%9.1%0%7.5%0%6
70.2%57.8%24.6%9.1%0%8.4%0.1%7
72.2%59.3%22.8%9.1%0%8.7%0.1%8
73.5%60%21.6%9.1%0%9.1%0.3%9
74.7%60.5%20.4%9.1%0%9.7%0.3%10
76.2%61.5%19.2%9.1%0%9.9%0.4%11
76.9%61.8%18.5%9.1%0%10.2%0.4%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

end5.0ms (0%)

Profiling

Loading profile data...