Herbie run

Date:Tuesday, June 20th, 2023
Commit:2052806f on main
Hostname:nightly with Racket 8.6
Seed:2023171
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: 5.3min)

sample1.2min (23.4%)

Results
37.8s269297×body256valid
16.3s14445×body2048valid
8.6s19592×body1024valid
4.9s31131×body256infinite
2.8s11136×body512valid
1.8s202×body8192exit
590.0ms772×body4096valid
291.0ms2676×body256invalid
140.0ms178×body1024infinite
139.0ms987×body256unsamplable
90.0ms188×body512infinite
12.0ms13×body2048infinite
Bogosity

localize52.6s (16.7%)

Compiler

Compiled 32587 to 17654 computations (45.8% saved)

soundness47.8s (15.1%)

Rules
202466×fma-def
124000×associate-*r*
98936×associate-*l*
95360×log-prod
94170×times-frac
Stop Event
8×saturated
290×node limit
Compiler

Compiled 25708 to 15314 computations (40.4% saved)

eval38.7s (12.2%)

Compiler

Compiled 2045295 to 1214328 computations (40.6% saved)

simplify27.6s (8.7%)

Algorithm
216×egg-herbie
Rules
149590×fma-def
84356×associate-*r*
77918×fma-neg
71352×associate-*l*
71226×times-frac
Stop Event
12×done
58×saturated
30×fuel
158×node limit
Counts
49826 → 44977
Compiler

Compiled 8319 to 5387 computations (35.2% saved)

regimes17.1s (5.4%)

Counts
4369 → 609
Calls

95 calls:

1.9s
b
1.5s
x
1.5s
c
1.4s
a
1.0s
x1
Compiler

Compiled 65047 to 37791 computations (41.9% saved)

prune15.7s (5%)

Counts
64271 → 2189
Compiler

Compiled 122116 to 81899 computations (32.9% saved)

rewrite14.7s (4.6%)

Algorithm
132×batch-egg-rewrite
Rules
87004×pow1
82562×add-exp-log
82518×log1p-expm1-u
82506×expm1-log1p-u
80618×add-log-exp
Stop Event
132×node limit
Counts
980 → 30054

bsearch10.9s (3.4%)

Algorithm
306×binary-search
23×left-value
Stop Event
276×narrow-enough
30×predicate-same
Results
4.9s25046×body256valid
3.1s9161×body256infinite
835.0ms1300×body1024valid
486.0ms497×body2048valid
481.0ms1346×body512valid
150.0ms1451×body256invalid
85.0ms631×body256unsamplable
53.0ms104×body1024infinite
26.0ms83×body512infinite
18.0ms15×body4096valid
Compiler

Compiled 78133 to 54766 computations (29.9% saved)

analyze6.1s (1.9%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.3%26.8%26.5%45.5%0%1.2%0%3
58.5%31%22%45.5%0%1.5%0%4
71.6%37.8%15%45.6%0%1.7%0%5
73.1%38.5%14.1%45.6%0%1.7%0%6
78.3%40.9%11.3%45.6%0%2.2%0%7
81.8%42.6%9.5%45.7%0%2.2%0%8
84.7%43.9%8%45.7%0%2.5%0%9
86.7%44.7%6.9%45.7%0%2.7%0%10
88.8%45.6%5.7%45.7%0%2.8%0.1%11
89.7%46%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

end5.2s (1.6%)

Compiler

Compiled 18396 to 10664 computations (42% saved)

preprocess3.0s (0.9%)

Algorithm
84×egg-herbie
Rules
36052×fma-def
15902×distribute-lft-in
14450×distribute-rgt-in
13270×distribute-lft-neg-in
12830×sub-neg
Stop Event
6×unsound
53×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

series2.7s (0.8%)

Counts
980 → 19730
Calls

5292 calls:

TimeVariablePointExpression
161.0ms
x
@-inf
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))
137.0ms
c
@inf
(*.f64 (/.f64 d (hypot.f64 c d)) (/.f64 b (hypot.f64 c d)))
59.0ms
t
@inf
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
46.0ms
a
@-inf
(/.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 -2 (/.f64 (/.f64 b a) c))) (cbrt.f64 (/.f64 -2 (/.f64 (/.f64 b a) c)))) (cbrt.f64 (/.f64 -2 (/.f64 (/.f64 b a) c)))) (*.f64 2 a))
37.0ms
x
@inf
(log.f64 (cbrt.f64 (exp.f64 (cos.f64 x))))

Profiling

Loading profile data...