Herbie run

Date:Thursday, February 8th, 2024
Commit:b35bd1f1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024039
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.1min)

localize14.8s (23%)

Compiler

Compiled 5893 to 3171 computations (46.2% saved)

sample12.0s (18.6%)

Results
8.8s62949×256valid
1.0s7311×256infinite
1.7s4044×2048valid
387.0ms1946×256invalid
Bogosity

eval9.1s (14.3%)

Compiler

Compiled 460414 to 304068 computations (34% saved)

soundness8.6s (13.4%)

Rules
19772×fma-neg
19328×fma-define
16044×associate-*r*
13238×associate-*l*
12718×times-frac
Stop Event
2×saturated
33×node limit
Compiler

Compiled 3679 to 2000 computations (45.6% saved)

preprocess4.7s (7.4%)

Algorithm
9×egg-herbie
Rules
6504×fma-neg
5438×fma-define
3560×times-frac
3478×div-sub
2544×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3336 to 1873 computations (43.9% saved)

simplify4.5s (7%)

Algorithm
25×egg-herbie
Rules
9468×fma-neg
9356×associate-*r*
8544×fma-define
8126×times-frac
8004×associate-*l*
Stop Event
10×saturated
3×fuel
15×node limit
6×done
Counts
6338 → 5208
Compiler

Compiled 884 to 567 computations (35.9% saved)

rewrite3.2s (5%)

Algorithm
15×batch-egg-rewrite
Rules
7948×log1p-expm1-u
4857×expm1-log1p-u
4438×unpow-prod-down
3792×log-prod
3689×pow1
Stop Event
15×node limit
Counts
116 → 3714

prune2.8s (4.4%)

Counts
10365 → 261
Compiler

Compiled 15609 to 10355 computations (33.7% saved)

regimes1.7s (2.6%)

Counts
390 → 61
Calls

22 calls:

380.0ms
b
296.0ms
a
188.0ms
c
170.0ms
y
152.0ms
z
Compiler

Compiled 466 to 323 computations (30.7% saved)

series1.6s (2.5%)

Counts
116 → 2624
Calls

696 calls:

TimeVariablePointExpression
132.0ms
a
@-inf
(-.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b))))
81.0ms
c
@0
(pow.f64 (exp.f64 1/4) (*.f64 2 (+.f64 (log.f64 (*.f64 c -4)) (log.f64 a))))
66.0ms
a
@0
(exp.f64 (*.f64 1/4 (+.f64 (log.f64 (*.f64 -4 a)) (*.f64 -1 (log.f64 (/.f64 1 c))))))
63.0ms
a
@inf
(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
53.0ms
c
@0
(-.f64 b (cbrt.f64 (pow.f64 (fma.f64 c (*.f64 a -4) (pow.f64 b 2)) 3/2)))

bsearch609.0ms (0.9%)

Algorithm
28×binary-search
Stop Event
5×predicate-same
23×narrow-enough
Results
446.0ms3010×256valid
100.0ms462×256infinite
12.0ms74×256invalid
Compiler

Compiled 7249 to 5054 computations (30.3% saved)

analyze544.0ms (0.8%)

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)

end1.0ms (0%)

Profiling

Loading profile data...