Herbie run

Date:Monday, March 25th, 2024
Commit:f03d6b38 on main
Hostname:nightly with Racket 8.11.1
Seed:2024085
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.8min)

sample3.0min (44.4%)

Results
27.5s141835×256precondition
13.7s95314×256valid
25.5s58532×1024valid
45.3s36302×2048valid
9.1s34505×512valid
32.8s7003×8192exit
735.0ms4259×256infinite
433.0ms4130×256invalid
563.0ms4072×256unsamplable
1.2s1950×4096valid
87.0ms161×512infinite
140.0ms145×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 31.8s, 26.0% of total-time
Operation ival-tan, time spent: 14.8s, 12.0% of total-time
Operation ival-exp, time spent: 12.9s, 10.0% of total-time
Operation ival-mult, time spent: 9.6s, 8.0% of total-time
Operation ival-sub, time spent: 7.6s, 6.0% of total-time
Operation ival-log, time spent: 6.8s, 5.0% of total-time
Operation ival-cos, time spent: 5.7s, 5.0% of total-time
Operation ival-div, time spent: 5.4s, 4.0% of total-time
Operation ival-sin, time spent: 5.4s, 4.0% of total-time
Operation ival-add, time spent: 5.2s, 4.0% of total-time
Operation ival-<=, time spent: 4.7s, 4.0% of total-time
Operation ival-fabs, time spent: 4.5s, 4.0% of total-time
Operation ival-<, time spent: 2.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 1.0% of total-time
Operation const, time spent: 1.5s, 1.0% of total-time
Operation ival->, time spent: 1.0s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival-fmin, time spent: 1.0s, 1.0% of total-time
Operation ival-neg, time spent: 612.0ms, 0.0% of total-time
Operation ival-atan, time spent: 468.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 323.0ms, 0.0% of total-time
Bogosity

localize1.5min (21.4%)

Results
9.6s11894×256valid
10.0s3768×1024valid
12.1s3385×2048valid
3.0s2079×512valid
2.2s1951×256invalid
35.4s1286×8192exit
194.0ms181×256infinite
649.0ms132×4096valid
201.0ms47×2048infinite
273.0ms33×4096infinite
73.0ms24×1024infinite
292.0ms23×2048invalid
26.0ms18×512infinite
120.0ms9×1024invalid
15.0ms2×512invalid
Compiler

Compiled 15346 to 8916 computations (41.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-pow, time spent: 30.8s, 46.0% of total-time
Operation ival-mult, time spent: 6.0s, 9.0% of total-time
Operation ival-div, time spent: 5.1s, 8.0% of total-time
Operation ival-exp, time spent: 5.1s, 7.0% of total-time
Operation composed, time spent: 4.9s, 7.0% of total-time
Operation ival-add, time spent: 3.6s, 5.0% of total-time
Operation ival-log, time spent: 2.3s, 3.0% of total-time
Operation ival-sub, time spent: 2.0s, 3.0% of total-time
Operation ival-cbrt, time spent: 1.8s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 2.0% of total-time
Operation const, time spent: 1.1s, 2.0% of total-time
Operation ival-tan, time spent: 1.1s, 2.0% of total-time
Operation ival-cos, time spent: 1.0s, 2.0% of total-time
Operation ival-sin, time spent: 993.0ms, 1.0% of total-time
Operation ival-neg, time spent: 302.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 85.0ms, 0.0% of total-time
Operation ival-atan, time spent: 56.0ms, 0.0% of total-time
Operation ival-e, time spent: 53.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 43.0ms, 0.0% of total-time

eval33.6s (8.2%)

Compiler

Compiled 1554047 to 991697 computations (36.2% saved)

simplify23.6s (5.8%)

Algorithm
122×egg-herbie
Rules
31255×fma-define
28738×fma-neg
25790×*-commutative
25595×distribute-lft-in
24699×associate-*r*
Stop Event
28×saturated
94×node limit
Counts
38253 → 41137

soundness20.1s (4.9%)

Rules
27051×fma-define
26236×log1p-expm1-u
23617×fma-neg
18382×expm1-log1p-u
17654×associate-*r*
Stop Event
8×saturated
93×node limit
18×fuel
10×done
Compiler

Compiled 18354 to 11618 computations (36.7% saved)

rewrite18.0s (4.4%)

Algorithm
94×batch-egg-rewrite
Rules
60822×log1p-expm1-u
47610×expm1-log1p-u
18877×pow1
17948×add-exp-log
17814×add-log-exp
Stop Event
94×node limit
Counts
727 → 25442

preprocess14.8s (3.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
Results
1.1s5954×256valid
2.4s3620×1024valid
2.6s2288×2048valid
733.0ms2100×512valid
54.0ms206×256infinite
95.0ms100×4096valid
71.0ms36×1024infinite
31.0ms32×512infinite
Compiler

Compiled 10889 to 6812 computations (37.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.9s
Operation ival-tan, time spent: 639.0ms, 13.0% of total-time
Operation ival-exp, time spent: 634.0ms, 13.0% of total-time
Operation ival-log, time spent: 615.0ms, 13.0% of total-time
Operation ival-div, time spent: 509.0ms, 10.0% of total-time
Operation ival-sub, time spent: 458.0ms, 9.0% of total-time
Operation ival-add, time spent: 410.0ms, 8.0% of total-time
Operation ival-pow, time spent: 394.0ms, 8.0% of total-time
Operation ival-mult, time spent: 357.0ms, 7.0% of total-time
Operation ival-cos, time spent: 274.0ms, 6.0% of total-time
Operation ival-sin, time spent: 224.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 151.0ms, 3.0% of total-time
Operation const, time spent: 144.0ms, 3.0% of total-time
Operation ival-atan, time spent: 38.0ms, 1.0% of total-time
Operation ival-neg, time spent: 29.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 29.0ms, 1.0% of total-time

prune13.3s (3.3%)

Counts
56970 → 1825
Compiler

Compiled 60972 to 43691 computations (28.3% saved)

series5.4s (1.3%)

Counts
727 → 12811
Calls

3339 calls:

TimeVariablePointExpression
291.0ms
n
@0
(/ (- (log (+ 1 x)) (log x)) n)
265.0ms
N
@inf
(cbrt (atan2 1 (+ (* N N) N)))
261.0ms
N
@inf
(+ (/ 1/3 N) -1/2)
97.0ms
x
@-inf
(pow (pow (* (- (exp (* a x)) 1) (cbrt (- (exp (* a x)) 1))) 2) 1/3)
82.0ms
a
@inf
(pow (E) (log (- (exp (* a x)) 1)))

bsearch4.0s (1%)

Algorithm
90×binary-search
20×left-value
Stop Event
2×predicate-same
88×narrow-enough
Results
893.0ms5798×256valid
1.1s2296×1024valid
114.0ms1284×256invalid
160.0ms675×256infinite
577.0ms586×2048valid
262.0ms513×512valid
54.0ms243×256unsamplable
47.0ms82×512infinite
57.0ms49×1024infinite
1.0ms1×4096valid
Compiler

Compiled 15577 to 11704 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
Operation ival-pow, time spent: 1.4s, 61.0% of total-time
Operation ival-div, time spent: 230.0ms, 10.0% of total-time
Operation ival-mult, time spent: 165.0ms, 7.0% of total-time
Operation ival-sub, time spent: 143.0ms, 6.0% of total-time
Operation ival-add, time spent: 99.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 63.0ms, 3.0% of total-time
Operation ival-exp, time spent: 48.0ms, 2.0% of total-time
Operation ival-neg, time spent: 42.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 39.0ms, 2.0% of total-time
Operation const, time spent: 38.0ms, 2.0% of total-time
Operation ival-cos, time spent: 14.0ms, 1.0% of total-time

regimes3.9s (1%)

Counts
3077 → 279
Calls

43 calls:

926.0ms
x
440.0ms
(/.f64 #s(literal 1 binary64) n)
379.0ms
b_2
359.0ms
n
342.0ms
c
Compiler

Compiled 1437 to 1000 computations (30.4% saved)

analyze3.0s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.4%32.5%25.1%42.4%0%0%0%5
58.7%33.4%23.5%43.1%0%0%0%6
62.4%34.4%20.7%44%0%0.8%0.1%7
65.4%35.7%18.9%44.5%0%0.8%0.1%8
67.8%36.4%17.3%44.9%0%1.2%0.3%9
69.8%36.8%15.9%45.2%0%1.7%0.3%10
72.3%37.8%14.5%45.4%0%1.9%0.4%11
73.5%38.1%13.7%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
Operation ival-mult, time spent: 257.0ms, 16.0% of total-time
Operation ival-sub, time spent: 215.0ms, 13.0% of total-time
Operation ival-pow, time spent: 192.0ms, 12.0% of total-time
Operation ival-log, time spent: 178.0ms, 11.0% of total-time
Operation ival-div, time spent: 121.0ms, 7.0% of total-time
Operation ival-<=, time spent: 95.0ms, 6.0% of total-time
Operation ival-sin, time spent: 81.0ms, 5.0% of total-time
Operation ival-exp, time spent: 68.0ms, 4.0% of total-time
Operation ival-tan, time spent: 68.0ms, 4.0% of total-time
Operation ival-add, time spent: 65.0ms, 4.0% of total-time
Operation ival-fabs, time spent: 64.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 55.0ms, 3.0% of total-time
Operation const, time spent: 44.0ms, 3.0% of total-time
Operation ival-neg, time spent: 33.0ms, 2.0% of total-time
Operation ival-cos, time spent: 30.0ms, 2.0% of total-time
Operation ival-and, time spent: 14.0ms, 1.0% of total-time
Operation ival->, time spent: 13.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 12.0ms, 1.0% of total-time
Operation ival-<, time spent: 10.0ms, 1.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...