Herbie run

Date:Thursday, November 16th, 2023
Commit:0b682ffb on trig-hamming-cleanup
Hostname:nightly with Racket 8.6
Seed:2023320
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: 52.9s)

localize12.6s (23.9%)

Compiler

Compiled 7018 to 3710 computations (47.1% saved)

sample10.8s (20.4%)

Results
8.1s62955×body256valid
1.5s4170×body2048valid
760.0ms7179×body256infinite
302.0ms1942×body256invalid
Bogosity

eval7.8s (14.7%)

Compiler

Compiled 426709 to 266919 computations (37.4% saved)

soundness5.1s (9.7%)

Rules
22768×fma-def
18774×times-frac
11934×associate-*r*
9382×fma-neg
8562×div-sub
Stop Event
2×saturated
27×node limit
Compiler

Compiled 2019 to 1104 computations (45.3% saved)

simplify4.5s (8.5%)

Algorithm
28×egg-herbie
Rules
22064×fma-def
12696×times-frac
8304×associate-*r*
7680×distribute-lft-in
7236×*-commutative
Stop Event
10×saturated
5×done
4×fuel
18×node limit
Counts
7218 → 7089
Compiler

Compiled 990 to 648 computations (34.5% saved)

prune3.1s (5.8%)

Counts
10694 → 277
Compiler

Compiled 24862 to 16622 computations (33.1% saved)

rewrite2.9s (5.4%)

Algorithm
18×batch-egg-rewrite
Rules
10219×log1p-expm1-u
7331×expm1-log1p-u
6286×log-prod
5050×expm1-udef
5046×log1p-udef
Stop Event
18×node limit
Counts
143 → 4433

preprocess2.1s (4%)

Algorithm
9×egg-herbie
Rules
5836×div-sub
5698×fma-neg
5666×fma-def
4802×times-frac
3040×associate-/r*
Stop Event
5×saturated
4×node limit
Compiler

Compiled 2884 to 1640 computations (43.1% saved)

regimes2.0s (3.7%)

Counts
356 → 76
Calls

19 calls:

372.0ms
a
285.0ms
c
237.0ms
b
213.0ms
z
186.0ms
y
Compiler

Compiled 6594 to 3754 computations (43.1% saved)

bsearch759.0ms (1.4%)

Algorithm
39×binary-search
Stop Event
31×narrow-enough
8×predicate-same
Results
503.0ms4136×body256valid
71.0ms360×body256infinite
4.0ms27×body256invalid
Compiler

Compiled 7962 to 5744 computations (27.9% saved)

series695.0ms (1.3%)

Counts
143 → 2785
Calls

909 calls:

TimeVariablePointExpression
72.0ms
b
@inf
(pow.f64 (fma.f64 b b (*.f64 -4 (*.f64 a c))) 1/4)
26.0ms
c
@0
(pow.f64 (*.f64 a (*.f64 c -4)) 1/4)
25.0ms
a
@0
(pow.f64 (*.f64 a (*.f64 c -4)) 1/4)
16.0ms
a
@inf
(pow.f64 (*.f64 a (*.f64 c -4)) 1/4)
13.0ms
n
@0
(-.f64 (*.f64 -2 (/.f64 n f)) 1)

analyze611.0ms (1.2%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...