Herbie run

Date:Thursday, January 18th, 2024
Commit:24741fd0 on main
Hostname:nightly with Racket 8.6
Seed:2024018
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.2min)

sample1.4min (19.9%)

Results
46.5s270255×body256valid
16.6s13433×body2048valid
8.8s19357×body1024valid
6.4s31470×body256infinite
3.3s11114×body512valid
1.9s202×body8192exit
751.0ms758×body4096valid
377.0ms2626×body256invalid
181.0ms983×body256unsamplable
154.0ms151×body1024infinite
82.0ms195×body512infinite
25.0ms19×body2048infinite
Bogosity

eval1.4min (19.5%)

Compiler

Compiled 2848688 to 1898189 computations (33.4% saved)

localize1.1min (15.1%)

Compiler

Compiled 30174 to 17625 computations (41.6% saved)

soundness55.3s (12.9%)

Rules
152524×fma-def
85434×associate-*r*
82470×times-frac
66198×distribute-lft-in
64216×log-prod
Stop Event
4×saturated
227×node limit
Compiler

Compiled 20908 to 12175 computations (41.8% saved)

simplify33.2s (7.7%)

Algorithm
160×egg-herbie
Rules
99284×fma-def
55032×times-frac
53640×distribute-lft-in
52994×associate-*r*
47956×distribute-rgt-in
Stop Event
16×done
1×unsound
42×saturated
26×fuel
117×node limit
Counts
50952 → 45487
Compiler

Compiled 10422 to 6539 computations (37.3% saved)

rewrite25.3s (5.9%)

Algorithm
118×batch-egg-rewrite
Rules
62252×log1p-expm1-u
51922×expm1-log1p-u
45766×prod-diff
40606×log-prod
36984×expm1-udef
Stop Event
118×node limit
Counts
878 → 33813

prune21.3s (5%)

Counts
76051 → 1853
Compiler

Compiled 119717 to 83079 computations (30.6% saved)

preprocess19.0s (4.4%)

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 32226 to 19218 computations (40.4% saved)

regimes17.9s (4.2%)

Counts
4112 → 571
Calls

94 calls:

2.7s
d
1.6s
b
1.6s
x
1.6s
c
1.6s
a
Compiler

Compiled 76796 to 46222 computations (39.8% saved)

bsearch10.9s (2.5%)

Algorithm
290×binary-search
18×left-value
Stop Event
284×narrow-enough
6×predicate-same
Results
6.6s27396×body256valid
1.3s4356×body256infinite
1.0s1749×body1024valid
523.0ms1117×body512valid
491.0ms409×body2048valid
201.0ms1862×body256invalid
21.0ms46×body512infinite
19.0ms30×body1024infinite
6.0ms22×body256unsamplable
1.0ms1×body4096valid
Compiler

Compiled 92664 to 63289 computations (31.7% saved)

analyze8.6s (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.1%40.8%11.4%45.6%0%2.2%0%7
81.7%42.6%9.5%45.7%0%2.2%0%8
84.5%43.8%8%45.7%0%2.5%0%9
86.6%44.6%6.9%45.7%0%2.7%0%10
88.8%45.6%5.8%45.7%0%2.8%0.1%11
89.7%45.9%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series4.0s (0.9%)

Counts
878 → 17139
Calls

4746 calls:

TimeVariablePointExpression
336.0ms
x2
@0
(+.f64 (*.f64 (*.f64 4 (*.f64 x1 (*.f64 x2 (-.f64 (*.f64 2 x2) 3)))) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (*.f64 (*.f64 3 x1) x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))))
157.0ms
t
@-inf
(pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 5)
128.0ms
t
@0
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)))
112.0ms
r
@0
(*.f64 (*.f64 (/.f64 (+.f64 3/8 (*.f64 -1/4 v)) (-.f64 1 v)) (*.f64 w r)) (*.f64 w r))
74.0ms
t
@0
(pow.f64 (*.f64 (sqrt.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4)) (sqrt.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4))) 2)

end77.0ms (0%)

Profiling

Loading profile data...