Herbie run

Date:Saturday, November 11th, 2023
Commit:6874b725 on cleanup
Hostname:nightly with Racket 8.6
Seed:2023315
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: 5.8min)

sample1.3min (22%)

Results
39.7s269268×body256valid
17.1s14225×body2048valid
8.4s19730×body1024valid
5.0s31104×body256infinite
2.9s11189×body512valid
1.9s202×body8192exit
590.0ms814×body4096valid
387.0ms2656×body256invalid
180.0ms963×body256unsamplable
138.0ms174×body1024infinite
90.0ms234×body512infinite
13.0ms14×body2048infinite
Bogosity

soundness53.4s (15.3%)

Rules
179158×fma-def
91094×associate-*r*
84898×times-frac
80844×distribute-lft-in
79198×fma-neg
Stop Event
5×saturated
260×node limit
Compiler

Compiled 26870 to 15433 computations (42.6% saved)

localize52.5s (15%)

Compiler

Compiled 28802 to 16820 computations (41.6% saved)

eval51.0s (14.6%)

Compiler

Compiled 2204437 to 1456122 computations (33.9% saved)

simplify29.8s (8.5%)

Algorithm
166×egg-herbie
Rules
94582×fma-def
58236×associate-*r*
55626×distribute-lft-in
52584×times-frac
51470×distribute-rgt-in
Stop Event
22×done
42×saturated
20×fuel
124×node limit
Counts
51500 → 47223
Compiler

Compiled 9276 to 5965 computations (35.7% saved)

rewrite18.1s (5.2%)

Algorithm
124×batch-egg-rewrite
Rules
62679×log1p-expm1-u
54653×expm1-log1p-u
45268×prod-diff
41502×log-prod
39522×expm1-udef
Stop Event
124×node limit
Counts
924 → 33648

regimes17.5s (5%)

Counts
4011 → 531
Calls

95 calls:

2.4s
b
1.9s
c
1.6s
d
1.5s
x1
1.4s
a
Compiler

Compiled 4421 to 3116 computations (29.5% saved)

prune16.8s (4.8%)

Counts
69692 → 1978
Compiler

Compiled 76025 to 51499 computations (32.3% saved)

preprocess15.3s (4.4%)

Algorithm
42×egg-herbie
Rules
53066×fma-def
20932×sub-neg
19756×fma-neg
19090×div-sub
18074×unsub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 25828 to 15508 computations (40% saved)

bsearch9.2s (2.6%)

Algorithm
238×binary-search
25×left-value
Stop Event
224×narrow-enough
14×predicate-same
Results
4.8s21536×body256valid
1.6s5187×body256infinite
1.1s2088×body1024valid
349.0ms417×body2048valid
269.0ms2349×body256invalid
237.0ms829×body512valid
27.0ms56×body1024infinite
26.0ms148×body256unsamplable
10.0ms25×body512infinite
2.0ms6×body4096valid
Compiler

Compiled 80484 to 55803 computations (30.7% saved)

analyze6.1s (1.7%)

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)

series2.8s (0.8%)

Counts
924 → 17852
Calls

4956 calls:

TimeVariablePointExpression
120.0ms
t
@0
(pow.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2))) 3) 3)
86.0ms
t
@inf
(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)) 9/2)
81.0ms
t
@0
(pow.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)
71.0ms
t
@-inf
(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)) 9/2)
51.0ms
eps
@inf
(*.f64 eps (+.f64 (*.f64 5 (pow.f64 x 4)) (*.f64 eps (*.f64 (pow.f64 x 3) 10))))

end9.0ms (0%)

Profiling

Loading profile data...