Herbie run

Date:Saturday, July 8th, 2023
Commit:cd78d676 on preprocess-initial-simplify
Hostname:nightly with Racket 8.6
Seed:2023189
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: 55.2s)

localize12.2s (22%)

Compiler

Compiled 6776 to 3427 computations (49.4% saved)

sample11.6s (21%)

Results
8.4s63026×body256valid
1.7s4092×body2048valid
900.0ms7186×body256infinite
362.0ms1933×body256invalid
Bogosity

eval8.6s (15.6%)

Compiler

Compiled 505505 to 299303 computations (40.8% saved)

soundness6.2s (11.2%)

Rules
40918×fma-def
22500×associate-*r*
15594×fma-neg
14130×times-frac
12928×associate-*l*
Stop Event
1×unsound
4×saturated
35×node limit
Compiler

Compiled 3556 to 2039 computations (42.7% saved)

simplify4.0s (7.2%)

Algorithm
38×egg-herbie
Rules
30690×fma-def
12742×times-frac
12294×associate-*r*
11596×fma-neg
10990×associate-*l*
Stop Event
1×unsound
15×saturated
4×done
5×fuel
22×node limit
Counts
7766 → 7634
Compiler

Compiled 1580 to 1052 computations (33.4% saved)

prune3.9s (7.1%)

Counts
13802 → 386
Compiler

Compiled 22153 to 14365 computations (35.2% saved)

regimes3.0s (5.5%)

Counts
666 → 111
Calls

23 calls:

512.0ms
a
452.0ms
b
446.0ms
c
373.0ms
x
177.0ms
z
Compiler

Compiled 14500 to 8339 computations (42.5% saved)

rewrite2.3s (4.2%)

Algorithm
20×batch-egg-rewrite
Rules
14694×pow1
13890×add-exp-log
13888×log1p-expm1-u
13886×expm1-log1p-u
13782×add-log-exp
Stop Event
20×node limit
Counts
148 → 4596

bsearch1.1s (2%)

Algorithm
64×binary-search
Stop Event
57×narrow-enough
7×predicate-same
Results
874.0ms6933×body256valid
124.0ms1083×body256infinite
11.0ms86×body256invalid
Compiler

Compiled 15443 to 11232 computations (27.3% saved)

end730.0ms (1.3%)

Compiler

Compiled 3376 to 1990 computations (41.1% saved)

series689.0ms (1.2%)

Counts
148 → 3161
Calls

1008 calls:

TimeVariablePointExpression
85.0ms
a
@-inf
(-.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))) b)
18.0ms
n
@0
(cbrt.f64 (-.f64 n f))
15.0ms
a
@0
(/.f64 (*.f64 (*.f64 c a) 4) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 (*.f64 a -4) c)))))
14.0ms
c
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/2 (/.f64 (fma.f64 2 (*.f64 (/.f64 c b) a) (*.f64 b -2)) a)))) 1)
10.0ms
b
@inf
(cbrt.f64 (-.f64 b (fma.f64 2 (*.f64 (/.f64 c b) a) (neg.f64 b))))

preprocess504.0ms (0.9%)

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 169 to 118 computations (30.2% saved)

analyze406.0ms (0.7%)

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)

Profiling

Loading profile data...