Herbie run

Date:Friday, February 9th, 2024
Commit:0d0ea017 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024040
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.8min)

sample1.5min (21.8%)

Results
47.7s270370×body256valid
17.6s13656×body2048valid
9.4s19442×body1024valid
6.6s31244×body256infinite
3.4s10959×body512valid
3.1s2218×body8192exit
467.0ms740×body4096valid
267.0ms2167×body256invalid
146.0ms952×body256unsamplable
107.0ms159×body1024infinite
71.0ms171×body512infinite
12.0ms11×body2048infinite
Bogosity

localize1.2min (17%)

Compiler

Compiled 31587 to 19216 computations (39.2% saved)

eval1.1min (15.5%)

Compiler

Compiled 2688529 to 1817651 computations (32.4% saved)

soundness53.1s (12.9%)

Rules
150748×fma-def
79958×associate-*r*
76908×times-frac
67168×distribute-lft-in
66258×distribute-rgt-in
Stop Event
4×saturated
224×node limit
Compiler

Compiled 21078 to 12656 computations (40% saved)

simplify31.0s (7.6%)

Algorithm
162×egg-herbie
Rules
91308×fma-def
54442×associate-*r*
54356×times-frac
52376×log-prod
49102×fma-neg
Stop Event
42×saturated
120×node limit
28×fuel
14×done
Counts
49558 → 43911
Compiler

Compiled 8322 to 5363 computations (35.6% saved)

rewrite24.5s (6%)

Algorithm
120×batch-egg-rewrite
Rules
64673×log1p-expm1-u
53070×expm1-log1p-u
45886×prod-diff
41160×log-prod
38626×expm1-udef
Stop Event
120×node limit
Counts
880 → 32342

prune20.8s (5.1%)

Counts
73255 → 2037
Compiler

Compiled 142317 to 98775 computations (30.6% saved)

regimes19.4s (4.7%)

Counts
3474 → 504
Calls

94 calls:

2.6s
c
2.3s
b
2.0s
x
1.6s
a
1.6s
d
Compiler

Compiled 70205 to 43332 computations (38.3% saved)

preprocess18.3s (4.5%)

Algorithm
42×egg-herbie
Rules
48610×fma-def
20956×sub-neg
19818×fma-neg
19082×div-sub
18016×unsub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 27626 to 17002 computations (38.5% saved)

bsearch8.4s (2%)

Algorithm
240×binary-search
23×left-value
Stop Event
14×predicate-same
226×narrow-enough
Results
4.2s19727×body256valid
1.7s4592×body256infinite
604.0ms1213×body1024valid
461.0ms494×body2048valid
318.0ms769×body8192exit
297.0ms1238×body512valid
171.0ms937×body256invalid
31.0ms53×body1024infinite
13.0ms37×body512infinite
12.0ms6×body4096valid
0.0ms2×body256unsamplable
Compiler

Compiled 66375 to 46441 computations (30% saved)

analyze8.1s (2%)

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.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78%40.8%11.5%45.6%0%2.1%0%7
81.6%42.6%9.6%45.7%0%2.1%0%8
84.2%43.8%8.2%45.7%0%2.2%0%9
86.2%44.6%7.1%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series4.2s (1%)

Counts
880 → 17216
Calls

4749 calls:

TimeVariablePointExpression
227.0ms
t
@0
(pow.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 5))) 3)
113.0ms
r
@0
(*.f64 (pow.f64 (*.f64 r w) 2) -1/4)
103.0ms
v
@-inf
(/.f64 (-.f64 1 v) (*.f64 w w))
76.0ms
c
@-inf
(log.f64 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (pow.f64 b 2)))) (*.f64 a -2)))
75.0ms
x
@inf
(log.f64 (sqrt.f64 (exp.f64 (cos.f64 x))))

end13.0ms (0%)

Profiling

Loading profile data...