Herbie run

Date:Sunday, January 21st, 2024
Commit:4a418bc7 on main
Hostname:nightly with Racket 8.6
Seed:2024021
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.9min)

sample1.5min (21.6%)

Results
47.9s270662×body256valid
17.1s13680×body2048valid
10.1s19306×body1024valid
6.7s30934×body256infinite
3.2s11028×body512valid
2.0s202×body8192exit
546.0ms795×body4096valid
480.0ms2684×body256invalid
161.0ms999×body256unsamplable
101.0ms203×body512infinite
77.0ms126×body1024infinite
19.0ms18×body2048infinite
Bogosity

localize1.1min (16.3%)

Compiler

Compiled 30698 to 18566 computations (39.5% saved)

soundness1.0min (15.1%)

Rules
145038×fma-def
88186×associate-*r*
85532×times-frac
64192×distribute-lft-in
62758×associate-*l*
Stop Event
4×saturated
234×node limit
Compiler

Compiled 23720 to 14147 computations (40.4% saved)

eval58.8s (14.2%)

Compiler

Compiled 2377207 to 1612372 computations (32.2% saved)

simplify33.1s (8%)

Algorithm
161×egg-herbie
Rules
97398×fma-def
52428×log-prod
52398×associate-*r*
50422×distribute-lft-in
46722×times-frac
Stop Event
16×done
42×saturated
26×fuel
119×node limit
Counts
51718 → 46218
Compiler

Compiled 8427 to 5278 computations (37.4% saved)

rewrite24.5s (5.9%)

Algorithm
119×batch-egg-rewrite
Rules
61483×log1p-expm1-u
53758×expm1-log1p-u
42210×log-prod
35232×expm1-udef
32978×prod-diff
Stop Event
119×node limit
Counts
915 → 34058

prune19.7s (4.8%)

Counts
71423 → 1870
Compiler

Compiled 126775 to 88320 computations (30.3% saved)

preprocess18.8s (4.6%)

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 28496 to 16974 computations (40.4% saved)

regimes17.2s (4.2%)

Counts
3820 → 529
Calls

94 calls:

2.9s
c
1.4s
b
1.2s
a
1.2s
x
1.1s
d
Compiler

Compiled 72443 to 43894 computations (39.4% saved)

bsearch9.8s (2.4%)

Algorithm
264×binary-search
19×left-value
Stop Event
248×narrow-enough
16×predicate-same
Results
5.5s25611×body256valid
1.8s4470×body256infinite
1.0s1978×body1024valid
372.0ms1085×body512valid
229.0ms2359×body256invalid
190.0ms291×body2048valid
62.0ms110×body1024infinite
30.0ms86×body512infinite
6.0ms35×body256unsamplable
1.0ms1×body4096valid
Compiler

Compiled 76053 to 52019 computations (31.6% saved)

analyze8.4s (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)

series3.6s (0.9%)

Counts
915 → 17660
Calls

4794 calls:

TimeVariablePointExpression
166.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)
110.0ms
x
@inf
(*.f64 x (*.f64 -6450306886639899/50000000000000000 (pow.f64 x 2)))
85.0ms
t
@-inf
(log.f64 (*.f64 t 1/5000000000000000))
78.0ms
c
@-inf
(pow.f64 (*.f64 -4 (*.f64 c a)) 1/4)
65.0ms
c
@0
(pow.f64 (*.f64 -4 (*.f64 c a)) 1/4)

end15.0ms (0%)

Profiling

Loading profile data...