Herbie run

Date:Friday, March 29th, 2024
Commit:b0dcf92e on main
Hostname:nightly with Racket 8.11.1
Seed:2024089
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: 6.6min)

sample2.8min (42.1%)

Results
25.8s142639×0precondition
35.8s118024×1valid
8.6s61276×0valid
39.0s45228×2valid
25.5s7142×5exit
508.0ms4288×0invalid
508.0ms4135×0unsamplable
699.0ms4020×0infinite
2.7s2146×3valid
251.0ms469×1infinite
4.0ms5×2infinite
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 22.7s (20.3% of total)
ival-tan: 11.6s (10.4% of total)
ival-exp: 11.2s (10% of total)
backward-pass: 9.1s (8.1% of total)
ival-mult: 9.0s (8.1% of total)
ival-sub: 7.2s (6.4% of total)
ival-log: 5.1s (4.6% of total)
ival-div: 4.9s (4.4% of total)
ival-fabs: 4.6s (4.2% of total)
ival-add: 4.6s (4.1% of total)
ival-<=: 4.4s (4% of total)
ival-cos: 4.3s (3.8% of total)
ival-sin: 3.5s (3.2% of total)
ival-<: 2.7s (2.4% of total)
ival-sqrt: 1.5s (1.3% of total)
const: 1.4s (1.2% of total)
ival->: 1.0s (0.9% of total)
ival-and: 901.0ms (0.8% of total)
ival-fmin: 804.0ms (0.7% of total)
ival-atan: 496.0ms (0.4% of total)
ival-neg: 464.0ms (0.4% of total)
ival-cbrt: 317.0ms (0.3% of total)
Bogosity

localize1.3min (19.3%)

Results
13.6s13037×256valid
13.5s3999×1024valid
11.3s2901×2048valid
3.9s2175×512valid
2.0s2164×256invalid
14.4s543×8192exit
2.6s373×4096valid
152.0ms222×256infinite
516.0ms91×1024infinite
344.0ms83×2048infinite
166.0ms80×1024invalid
81.0ms74×256unsamplable
432.0ms44×512infinite
119.0ms26×4096infinite
37.0ms25×512invalid
77.0ms11×2048invalid
126.0ms8×4096invalid
Compiler

Compiled 20765 to 12344 computations (40.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 58.3s
ival-pow: 21.8s (37.4% of total)
ival-mult: 7.4s (12.7% of total)
ival-div: 5.9s (10.1% of total)
ival-add: 4.2s (7.3% of total)
ival-exp: 4.0s (6.8% of total)
composed: 3.9s (6.8% of total)
ival-log: 3.1s (5.4% of total)
ival-sub: 1.9s (3.3% of total)
ival-cbrt: 1.6s (2.8% of total)
const: 1.1s (1.9% of total)
ival-tan: 854.0ms (1.5% of total)
ival-sin: 809.0ms (1.4% of total)
ival-sqrt: 785.0ms (1.3% of total)
ival-cos: 429.0ms (0.7% of total)
ival-neg: 257.0ms (0.4% of total)
ival-cosh: 134.0ms (0.2% of total)
ival-atan2: 64.0ms (0.1% of total)
ival-e: 21.0ms (0% of total)
ival-atan: 17.0ms (0% of total)

eval36.5s (9.3%)

Compiler

Compiled 1678980 to 1087433 computations (35.2% saved)

simplify25.8s (6.6%)

Algorithm
126×egg-herbie
Rules
33429×fma-define
29220×distribute-lft-in
28651×fma-neg
27262×associate-*r*
26344×*-commutative
Stop Event
28×saturated
98×node limit
Counts
39156 → 43386

soundness23.2s (5.9%)

Rules
31586×fma-define
26602×log1p-expm1-u
25883×fma-neg
22220×expm1-log1p-u
18552×distribute-lft-in
Stop Event
9×saturated
102×node limit
19×fuel
9×done
Compiler

Compiled 25574 to 16982 computations (33.6% saved)

rewrite19.4s (4.9%)

Algorithm
98×batch-egg-rewrite
Rules
62911×log1p-expm1-u
50089×expm1-log1p-u
20872×pow1
20222×add-exp-log
19747×add-log-exp
Stop Event
98×node limit
Counts
763 → 25971

prune13.5s (3.4%)

Counts
60352 → 1931
Compiler

Compiled 65864 to 47165 computations (28.4% saved)

explain9.2s (2.3%)

Results
908.0ms5862×256valid
2.5s3638×1024valid
2.8s2306×2048valid
757.0ms2074×512valid
51.0ms210×256infinite
252.0ms176×4096valid
74.0ms40×1024infinite
29.0ms30×512infinite
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2s
ival-exp: 738.0ms (14.2% of total)
ival-pow: 690.0ms (13.3% of total)
ival-log: 621.0ms (12% of total)
ival-tan: 575.0ms (11.1% of total)
ival-div: 473.0ms (9.1% of total)
ival-sub: 458.0ms (8.8% of total)
ival-mult: 393.0ms (7.6% of total)
ival-add: 339.0ms (6.5% of total)
ival-sin: 274.0ms (5.3% of total)
ival-cos: 244.0ms (4.7% of total)
ival-sqrt: 138.0ms (2.7% of total)
const: 102.0ms (2% of total)
ival-cbrt: 81.0ms (1.6% of total)
ival-atan: 38.0ms (0.7% of total)
ival-neg: 28.0ms (0.5% of total)

preprocess6.3s (1.6%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 9886 to 6302 computations (36.3% saved)

regimes5.6s (1.4%)

Counts
3648 → 292
Calls

43 calls:

1.5s
x
637.0ms
n
578.0ms
a
531.0ms
(/.f64 #s(literal 1 binary64) n)
395.0ms
c
Compiler

Compiled 1569 to 1101 computations (29.8% saved)

series5.5s (1.4%)

Counts
763 → 13185
Calls

3558 calls:

TimeVariablePointExpression
292.0ms
x
@0
(pow (pow (pow (E) (log (- (exp (* a x)) 1))) 5/2) 1/3)
136.0ms
a
@0
(exp (* (- (log (* a -4)) (neg (log c))) 1/2))
122.0ms
x
@inf
(pow (pow (pow (E) (log (- (exp (* a x)) 1))) 5/2) 1/3)
122.0ms
x
@0
(/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps))))
69.0ms
x
@0
(- (* (cbrt (exp (* 2/3 (log (+ 1 x))))) (cbrt (cbrt (+ x 1)))) (cbrt x))

bsearch4.2s (1.1%)

Algorithm
99×binary-search
16×left-value
Stop Event
1×predicate-same
98×narrow-enough
Results
887.0ms6311×0valid
1.6s3876×1valid
218.0ms1575×0invalid
197.0ms1048×0infinite
324.0ms617×2valid
91.0ms164×1infinite
10.0ms69×0unsamplable
Compiler

Compiled 19067 to 14060 computations (26.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-pow: 739.0ms (31.6% of total)
ival-div: 466.0ms (19.9% of total)
ival-mult: 395.0ms (16.9% of total)
backward-pass: 150.0ms (6.4% of total)
ival-sub: 141.0ms (6% of total)
ival-add: 132.0ms (5.6% of total)
ival-exp: 112.0ms (4.8% of total)
ival-sqrt: 80.0ms (3.4% of total)
ival-neg: 64.0ms (2.7% of total)
const: 35.0ms (1.5% of total)
ival-cbrt: 17.0ms (0.7% of total)
ival-cos: 6.0ms (0.3% of total)
ival-log: 2.0ms (0.1% of total)

analyze3.1s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
16.7%10.2%50.9%38.9%0%0%0%1
24.7%15.1%46%38.9%0%0%0%2
40.4%23.6%34.8%41.6%0%0%0%3
48.7%28.4%29.9%41.7%0%0%0%4
56.1%32.3%25.3%42.4%0%0%0%5
58.2%33.1%23.8%43.1%0%0%0%6
62.1%34.2%20.9%44%0%0.8%0.1%7
65.2%35.6%19%44.5%0%0.8%0.1%8
67.6%36.3%17.4%44.9%0%1.2%0.3%9
69.6%36.7%16%45.2%0%1.7%0.3%10
72.1%37.7%14.6%45.4%0%1.9%0.4%11
73.3%38%13.8%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-add: 220.0ms (13.8% of total)
ival-pow: 214.0ms (13.4% of total)
ival-sub: 204.0ms (12.8% of total)
ival-mult: 192.0ms (12% of total)
ival-log: 152.0ms (9.5% of total)
ival-div: 123.0ms (7.7% of total)
ival-<=: 83.0ms (5.2% of total)
ival-exp: 71.0ms (4.4% of total)
ival-sin: 57.0ms (3.6% of total)
ival-sqrt: 53.0ms (3.3% of total)
ival-fabs: 49.0ms (3.1% of total)
ival-tan: 40.0ms (2.5% of total)
const: 36.0ms (2.3% of total)
ival-neg: 33.0ms (2.1% of total)
ival-cos: 28.0ms (1.8% of total)
ival->: 13.0ms (0.8% of total)
ival-and: 11.0ms (0.7% of total)
ival-fmin: 10.0ms (0.6% of total)
ival-<: 8.0ms (0.5% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...