Herbie run

Date:Wednesday, April 17th, 2024
Commit:1e954662 on artem-sharing-exponents
Hostname:nightly with Racket 8.11.1
Seed:2024108
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.0min)

localize14.0s (22.9%)

Results
4.3s4506×0valid
1.5s732×0invalid
4.2s567×1valid
1.0s79×2valid
107.0ms4×3valid
Compiler

Compiled 5964 to 3265 computations (45.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
ival-pow: 3.0s (32.5% of total)
ival-mult: 1.6s (17.5% of total)
ival-fma: 932.0ms (10.1% of total)
ival-div: 785.0ms (8.5% of total)
backward-pass: 730.0ms (7.9% of total)
ival-sub: 659.0ms (7.2% of total)
ival-sqrt: 559.0ms (6.1% of total)
ival-add: 231.0ms (2.5% of total)
const: 169.0ms (1.8% of total)
ival-cbrt: 158.0ms (1.7% of total)
ival-log: 101.0ms (1.1% of total)
ival->=: 91.0ms (1% of total)
ival-if: 60.0ms (0.7% of total)
ival-neg: 33.0ms (0.4% of total)
ival-fabs: 33.0ms (0.4% of total)
ival-log1p: 20.0ms (0.2% of total)
ival-exp: 18.0ms (0.2% of total)
ival-expm1: 13.0ms (0.1% of total)

sample12.4s (20.3%)

Results
8.1s74289×0valid
476.0ms1935×0invalid
2.0ms13×1valid
0.0ms2×2valid
Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-mult: 1.7s (29.4% of total)
ival-div: 1.1s (17.9% of total)
ival-sub: 772.0ms (13.2% of total)
ival-sqrt: 652.0ms (11.1% of total)
ival-add: 539.0ms (9.2% of total)
ival-neg: 315.0ms (5.4% of total)
ival->=: 181.0ms (3.1% of total)
ival-if: 172.0ms (2.9% of total)
const: 132.0ms (2.3% of total)
ival-log: 118.0ms (2% of total)
ival-fabs: 108.0ms (1.8% of total)
ival-exp: 63.0ms (1.1% of total)
backward-pass: 28.0ms (0.5% of total)
Bogosity

eval10.4s (17%)

Compiler

Compiled 789623 to 522578 computations (33.8% saved)

simplify5.2s (8.5%)

Algorithm
28×egg-herbie
Rules
6563×*-commutative
6391×distribute-lft-in
6312×distribute-rgt-in
5433×fma-define
4838×times-frac
Stop Event
9×saturated
19×node limit
Counts
7739 → 7938

prune4.9s (8%)

Counts
17768 → 305
Compiler

Compiled 18719 to 12568 computations (32.9% saved)

soundness3.9s (6.3%)

Rules
4353×distribute-lft-in
4336×fma-define
4260×distribute-rgt-in
3747×fma-neg
3290×*-commutative
Stop Event
2×saturated
14×node limit
2×fuel
7×done
Compiler

Compiled 3749 to 2022 computations (46.1% saved)

rewrite3.6s (5.9%)

Algorithm
19×batch-egg-rewrite
Rules
12174×log1p-expm1-u
9013×expm1-log1p-u
4176×add-exp-log
4047×pow1
3748×prod-diff
Stop Event
19×node limit
Counts
123 → 4119

explain2.0s (3.2%)

Results
712.0ms4156×0valid
623.0ms410×1valid
63.0ms42×2valid
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-mult: 319.0ms (29.7% of total)
ival->=: 135.0ms (12.6% of total)
ival-sub: 125.0ms (11.6% of total)
backward-pass: 117.0ms (10.9% of total)
ival-div: 116.0ms (10.8% of total)
ival-sqrt: 107.0ms (10% of total)
ival-add: 79.0ms (7.4% of total)
const: 25.0ms (2.3% of total)
ival-neg: 19.0ms (1.8% of total)
ival-log: 12.0ms (1.1% of total)
ival-if: 10.0ms (0.9% of total)
ival-fabs: 6.0ms (0.6% of total)
ival-exp: 4.0ms (0.4% of total)

preprocess1.5s (2.4%)

Algorithm
9×egg-herbie
Rules
3285×fma-neg
2821×fma-define
1502×times-frac
1470×div-sub
1170×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 2208 to 1200 computations (45.7% saved)

regimes1.1s (1.8%)

Counts
473 → 60
Calls

26 calls:

234.0ms
a
223.0ms
c
195.0ms
b
67.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) (/.f64 (*.f64 #s(literal 2 binary64) c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))))
62.0ms
y
Compiler

Compiled 498 to 349 computations (29.9% saved)

series956.0ms (1.6%)

Counts
123 → 3620
Calls

804 calls:

TimeVariablePointExpression
53.0ms
n
@0
(log (sqrt (exp (/ (+ f n) (- n f)))))
44.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
32.0ms
a
@-inf
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
25.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
21.0ms
z
@-inf
(* z (- (/ (+ 4 x) z) x))

analyze938.0ms (1.5%)

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)

Precisions
Click to see histograms. Total time spent on operations: 403.0ms
ival-mult: 155.0ms (38.5% of total)
ival-sub: 49.0ms (12.2% of total)
ival-sqrt: 43.0ms (10.7% of total)
ival->=: 37.0ms (9.2% of total)
ival-div: 36.0ms (8.9% of total)
ival-add: 32.0ms (7.9% of total)
ival-neg: 21.0ms (5.2% of total)
ival-if: 17.0ms (4.2% of total)
const: 9.0ms (2.2% of total)
ival-fabs: 4.0ms (1% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

bsearch358.0ms (0.6%)

Algorithm
23×binary-search
Stop Event
6×predicate-same
17×narrow-enough
Results
219.0ms2240×0valid
14.0ms104×0invalid
Compiler

Compiled 5084 to 3556 computations (30.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 157.0ms
ival-mult: 48.0ms (30.6% of total)
ival-div: 33.0ms (21.1% of total)
ival-sub: 20.0ms (12.8% of total)
ival-sqrt: 14.0ms (8.9% of total)
ival-add: 13.0ms (8.3% of total)
ival-fabs: 7.0ms (4.5% of total)
ival-neg: 6.0ms (3.8% of total)
ival-if: 5.0ms (3.2% of total)
ival->=: 5.0ms (3.2% of total)
const: 4.0ms (2.6% of total)
backward-pass: 1.0ms (0.6% of total)

end0.0ms (0%)

Profiling

Loading profile data...