Herbie run

Date:Monday, October 2nd, 2023
Commit:2a64fc33 on main
Hostname:nightly with Racket 8.6
Seed:2023275
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: 1.3min)

localize17.8s (23%)

Compiler

Compiled 6448 to 3430 computations (46.8% saved)

eval15.2s (19.6%)

Compiler

Compiled 533391 to 327284 computations (38.6% saved)

sample15.1s (19.5%)

Results
11.0s63074×body256valid
2.3s4098×body2048valid
1.4s7132×body256infinite
331.0ms1839×body256invalid
Bogosity

soundness7.3s (9.4%)

Rules
27822×fma-def
18306×times-frac
15632×fma-neg
13034×associate-*r*
10880×associate-/r*
Stop Event
2×saturated
36×node limit
Compiler

Compiled 3828 to 2231 computations (41.7% saved)

simplify5.7s (7.4%)

Algorithm
31×egg-herbie
Rules
16752×fma-def
12416×associate-*r*
10212×times-frac
10182×associate-*l*
10094×log-prod
Stop Event
8×saturated
4×done
5×fuel
23×node limit
Counts
7614 → 6549
Compiler

Compiled 1574 to 1009 computations (35.9% saved)

prune4.1s (5.3%)

Counts
13365 → 349
Compiler

Compiled 30951 to 20653 computations (33.3% saved)

rewrite3.4s (4.4%)

Algorithm
22×batch-egg-rewrite
Rules
15040×pow1
14194×add-exp-log
14178×log1p-expm1-u
14174×expm1-log1p-u
14052×add-log-exp
Stop Event
22×node limit
Counts
138 → 4765

regimes3.4s (4.4%)

Counts
456 → 93
Calls

23 calls:

932.0ms
b
691.0ms
c
353.0ms
a
193.0ms
x
191.0ms
f
Compiler

Compiled 9851 to 5659 computations (42.6% saved)

bsearch1.7s (2.2%)

Algorithm
53×binary-search
Stop Event
44×narrow-enough
9×predicate-same
Results
1.3s5449×body256valid
144.0ms583×body256infinite
125.0ms690×body256invalid
Compiler

Compiled 13522 to 9597 computations (29% saved)

preprocess1.7s (2.2%)

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

Compiled 3558 to 2043 computations (42.6% saved)

series1.1s (1.4%)

Counts
138 → 2849
Calls

870 calls:

TimeVariablePointExpression
112.0ms
c
@-inf
(-.f64 (neg.f64 b) (pow.f64 (pow.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))) 1/4) 2))
38.0ms
x
@-inf
(log1p.f64 (exp.f64 (fma.f64 x x -1)))
32.0ms
b
@0
(log.f64 (*.f64 -1/2 (/.f64 (+.f64 b b) a)))
32.0ms
x
@inf
(log1p.f64 (exp.f64 (fma.f64 x x -1)))
32.0ms
b
@-inf
(log.f64 (*.f64 (/.f64 (+.f64 b b) a) -1/2))

analyze818.0ms (1.1%)

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)

end3.0ms (0%)

Profiling

Loading profile data...