Herbie run

Date:Sunday, October 1st, 2023
Commit:89d2ba58 on better-profiles
Hostname:nightly with Racket 8.6
Seed:2023274
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.2min)

localize17.1s (23.6%)

Compiler

Compiled 6477 to 3355 computations (48.2% saved)

sample16.1s (22.1%)

Results
12.6s62934×body256valid
1.6s4131×body2048valid
1.3s7239×body256infinite
368.0ms1953×body256invalid
Bogosity

eval12.1s (16.6%)

Compiler

Compiled 435882 to 257251 computations (41% saved)

soundness8.6s (11.8%)

Rules
24732×fma-def
17792×fma-neg
17666×associate-*r*
16574×log-prod
14068×associate-*l*
Stop Event
2×saturated
37×node limit
Compiler

Compiled 3902 to 2450 computations (37.2% saved)

simplify5.0s (6.9%)

Algorithm
31×egg-herbie
Rules
14280×fma-neg
13448×fma-def
12856×associate-*r*
11948×log-prod
11046×associate-*l*
Stop Event
9×saturated
3×done
6×fuel
22×node limit
Counts
7716 → 6616
Compiler

Compiled 1255 to 826 computations (34.2% saved)

prune4.6s (6.4%)

Counts
11716 → 289
Compiler

Compiled 23269 to 15312 computations (34.2% saved)

rewrite3.0s (4.1%)

Algorithm
22×batch-egg-rewrite
Rules
14402×pow1
13576×add-exp-log
13560×expm1-log1p-u
13560×log1p-expm1-u
13474×add-log-exp
Stop Event
22×node limit
Counts
146 → 4866

regimes2.5s (3.4%)

Counts
380 → 88
Calls

23 calls:

381.0ms
x
341.0ms
c
341.0ms
b
190.0ms
a
166.0ms
z
Compiler

Compiled 7436 to 4333 computations (41.7% saved)

preprocess1.6s (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 2928 to 1761 computations (39.9% saved)

bsearch1.0s (1.4%)

Algorithm
46×binary-search
Stop Event
41×narrow-enough
5×predicate-same
Results
787.0ms5168×body256valid
75.0ms608×body256infinite
61.0ms437×body256invalid
Compiler

Compiled 12929 to 9219 computations (28.7% saved)

analyze542.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)

series526.0ms (0.7%)

Counts
146 → 2850
Calls

861 calls:

TimeVariablePointExpression
12.0ms
c
@-inf
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))
9.0ms
b
@inf
(*.f64 (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))) b) (/.f64 1 (*.f64 a 2)))
7.0ms
a
@-inf
(-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))
6.0ms
c
@-inf
(-.f64 (neg.f64 b) (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 a 4))))) 2))
6.0ms
c
@inf
(-.f64 (neg.f64 b) (hypot.f64 b (sqrt.f64 (*.f64 c (*.f64 a -4)))))

end1.0ms (0%)

Profiling

Loading profile data...