Herbie run

Date:Saturday, August 26th, 2023
Commit:5f639494 on main
Hostname:nightly with Racket 8.6
Seed:2023238
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: 50.4s)

localize13.4s (26.6%)

Compiler

Compiled 6423 to 3258 computations (49.3% saved)

sample11.1s (22.1%)

Results
8.4s62939×body256valid
1.2s4178×body2048valid
1.0s7187×body256infinite
289.0ms1892×body256invalid
Bogosity

eval6.8s (13.6%)

Compiler

Compiled 454434 to 267133 computations (41.2% saved)

soundness5.2s (10.4%)

Rules
36642×fma-def
20970×fma-neg
17818×associate-*r*
13652×associate-*l*
11976×times-frac
Stop Event
4×saturated
32×node limit
Compiler

Compiled 3203 to 1900 computations (40.7% saved)

simplify3.9s (7.7%)

Algorithm
38×egg-herbie
Rules
31850×fma-def
14506×associate-*r*
13024×fma-neg
12384×associate-*l*
12146×times-frac
Stop Event
15×saturated
4×done
5×fuel
23×node limit
Counts
6857 → 6557
Compiler

Compiled 871 to 562 computations (35.5% saved)

prune2.9s (5.9%)

Counts
11607 → 318
Compiler

Compiled 27506 to 18154 computations (34% saved)

rewrite2.3s (4.6%)

Algorithm
20×batch-egg-rewrite
Rules
14584×pow1
13802×add-exp-log
13780×log1p-expm1-u
13778×expm1-log1p-u
13684×add-log-exp
Stop Event
20×node limit
Counts
140 → 3888

regimes1.5s (2.9%)

Counts
343 → 72
Calls

23 calls:

251.0ms
c
192.0ms
b
171.0ms
x
164.0ms
a
138.0ms
z
Compiler

Compiled 6845 to 3910 computations (42.9% saved)

preprocess1.1s (2.1%)

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 2191 to 1282 computations (41.5% saved)

series888.0ms (1.8%)

Counts
140 → 2960
Calls

888 calls:

TimeVariablePointExpression
44.0ms
f
@-inf
(/.f64 2 (/.f64 n f))
41.0ms
a
@0
(-.f64 (neg.f64 b) (hypot.f64 b (pow.f64 (pow.f64 (*.f64 a (*.f64 -4 c)) 1/4) 2)))
41.0ms
a
@-inf
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))
40.0ms
c
@0
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))
31.0ms
c
@-inf
(exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 c 4)) (log.f64 (/.f64 -1 a))) 1/2))

bsearch629.0ms (1.2%)

Algorithm
35×binary-search
Stop Event
32×narrow-enough
3×predicate-same
Results
466.0ms3824×body256valid
86.0ms592×body256infinite
18.0ms141×body256invalid
Compiler

Compiled 8036 to 5833 computations (27.4% saved)

analyze622.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...