Herbie run

Date:Saturday, June 10th, 2023
Commit:6556c1d6 on main
Hostname:nightly with Racket 8.6
Seed:2023161
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

Details

Time bar (total: 1.3min)

eval17.2s (22.1%)

Compiler

Compiled 904503 to 518918 computations (42.6% saved)

localize13.3s (17%)

Compiler

Compiled 6728 to 3500 computations (48% saved)

sample12.4s (16%)

Results
9.3s62967×body256valid
1.5s4161×body2048valid
1.2s7176×body256infinite
340.0ms2006×body256invalid
Bogosity

simplify9.3s (11.9%)

Algorithm
86×egg-herbie
Rules
62064×fma-def
37078×times-frac
34998×log-prod
31968×associate-*r*
31942×fma-neg
Stop Event
1×unsound
15×saturated
4×done
5×fuel
70×node limit
Counts
12050 → 14749
Compiler

Compiled 1309 to 808 computations (38.3% saved)

prune7.9s (10.2%)

Counts
21978 → 358
Compiler

Compiled 17238 to 11283 computations (34.5% saved)

rewrite6.4s (8.3%)

Algorithm
68×batch-egg-rewrite
Rules
58534×log-prod
44708×fma-def
41744×pow1
39130×add-exp-log
39110×log1p-expm1-u
Stop Event
68×node limit
Counts
144 → 8863

soundness5.4s (6.9%)

Rules
40676×fma-def
19984×fma-neg
19042×log-prod
13608×times-frac
12522×div-sub
Stop Event
5×saturated
31×node limit
Compiler

Compiled 3508 to 1984 computations (43.4% saved)

regimes2.0s (2.6%)

Counts
453 → 84
Calls

23 calls:

461.0ms
b
293.0ms
c
286.0ms
a
237.0ms
x
168.0ms
z
Compiler

Compiled 9296 to 5282 computations (43.2% saved)

series950.0ms (1.2%)

Counts
144 → 3178
Calls

963 calls:

TimeVariablePointExpression
77.0ms
x
@-inf
(log.f64 (expm1.f64 (neg.f64 (log.f64 x))))
61.0ms
x
@-inf
(cbrt.f64 (+.f64 -1 (/.f64 1 x)))
46.0ms
x
@-inf
(expm1.f64 (neg.f64 (log.f64 x)))
41.0ms
z
@0
(*.f64 (/.f64 x y) z)
30.0ms
y
@-inf
(cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 x 4) (*.f64 x z)) y) 3))

bsearch909.0ms (1.2%)

Algorithm
44×binary-search
Stop Event
40×narrow-enough
4×predicate-same
Results
696.0ms5197×body256valid
74.0ms538×body256invalid
46.0ms403×body256infinite
Compiler

Compiled 13919 to 9703 computations (30.3% saved)

preprocess744.0ms (1%)

Algorithm
18×egg-herbie
Rules
8158×fma-def
4716×div-sub
3918×associate-/r*
3722×times-frac
3438×associate-/l*
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

analyze720.0ms (0.9%)

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)

end638.0ms (0.8%)

Compiler

Compiled 2796 to 1516 computations (45.8% saved)

Profiling

Loading profile data...