Herbie run

Date:Monday, March 18th, 2024
Commit:487b55ff on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024078
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.5min)

sample3.1min (47.2%)

Results
33.0s140438×256precondition
17.4s95242×256valid
28.1s58327×1024valid
43.9s36219×2048valid
9.1s34952×512valid
33.2s7002×8192exit
612.0ms4192×256unsamplable
835.0ms4145×256infinite
533.0ms4110×256invalid
1.4s1930×4096valid
116.0ms199×512infinite
218.0ms154×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: 13.8s, 11.0% of total-time
Operation ival-exp, time spent: 12.3s, 10.0% of total-time
Operation ival-mult, time spent: 10.1s, 8.0% of total-time
Operation ival-sub, time spent: 7.7s, 6.0% of total-time
Operation ival-div, time spent: 6.6s, 5.0% of total-time
Operation ival-log, time spent: 6.0s, 5.0% of total-time
Operation ival-cos, time spent: 5.6s, 5.0% of total-time
Operation ival-sin, time spent: 5.5s, 4.0% of total-time
Operation ival-<=, time spent: 5.2s, 4.0% of total-time
Operation ival-fabs, time spent: 4.9s, 4.0% of total-time
Operation ival-add, time spent: 4.4s, 4.0% of total-time
Operation ival-<, time spent: 2.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.8s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival->, time spent: 1.3s, 1.0% of total-time
Operation ival-and, time spent: 980.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 906.0ms, 1.0% of total-time
Operation ival-neg, time spent: 755.0ms, 1.0% of total-time
Operation ival-atan, time spent: 486.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 363.0ms, 0.0% of total-time
Bogosity

localize1.1min (17.6%)

Compiler

Compiled 13982 to 8319 computations (40.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.3s
Operation ival-pow, time spent: 13.4s, 25.0% of total-time
Operation composed, time spent: 6.4s, 12.0% of total-time
Operation ival-mult, time spent: 6.3s, 12.0% of total-time
Operation ival-log, time spent: 4.3s, 8.0% of total-time
Operation ival-div, time spent: 4.3s, 8.0% of total-time
Operation ival-exp, time spent: 3.7s, 7.0% of total-time
Operation ival-add, time spent: 3.5s, 7.0% of total-time
Operation ival-tan, time spent: 2.6s, 5.0% of total-time
Operation ival-sin, time spent: 2.3s, 4.0% of total-time
Operation ival-sub, time spent: 1.6s, 3.0% of total-time
Operation ival-cbrt, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 1.1s, 2.0% of total-time
Operation const, time spent: 1.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 896.0ms, 2.0% of total-time
Operation ival-neg, time spent: 365.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 76.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 74.0ms, 0.0% of total-time
Operation ival-atan, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time

eval30.0s (7.7%)

Compiler

Compiled 1364119 to 899867 computations (34% saved)

simplify25.0s (6.4%)

Algorithm
123×egg-herbie
Rules
34289×fma-define
28843×fma-neg
25880×distribute-lft-in
25640×times-frac
25127×*-commutative
Stop Event
28×saturated
95×node limit
18×fuel
10×done
Counts
37283 → 39776
Compiler

Compiled 2986 to 2105 computations (29.5% saved)

soundness20.2s (5.2%)

Rules
28918×fma-define
28228×log1p-expm1-u
23739×fma-neg
22417×expm1-log1p-u
16270×times-frac
Stop Event
9×saturated
93×node limit
Compiler

Compiled 16696 to 11092 computations (33.6% saved)

rewrite17.8s (4.6%)

Algorithm
95×batch-egg-rewrite
Rules
60662×log1p-expm1-u
48331×expm1-log1p-u
19298×pow1
18929×add-exp-log
18735×prod-diff
Stop Event
95×node limit
Counts
709 → 24296

preprocess15.1s (3.9%)

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 10721 to 6616 computations (38.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6s
Operation ival-tan, time spent: 1.2s, 22.0% of total-time
Operation ival-exp, time spent: 727.0ms, 13.0% of total-time
Operation ival-log, time spent: 668.0ms, 12.0% of total-time
Operation ival-sub, time spent: 476.0ms, 9.0% of total-time
Operation ival-add, time spent: 416.0ms, 7.0% of total-time
Operation ival-div, time spent: 413.0ms, 7.0% of total-time
Operation ival-mult, time spent: 352.0ms, 6.0% of total-time
Operation ival-pow, time spent: 328.0ms, 6.0% of total-time
Operation ival-sin, time spent: 322.0ms, 6.0% of total-time
Operation ival-cos, time spent: 274.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 170.0ms, 3.0% of total-time
Operation const, time spent: 123.0ms, 2.0% of total-time
Operation ival-neg, time spent: 37.0ms, 1.0% of total-time
Operation ival-atan, time spent: 37.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 31.0ms, 1.0% of total-time

prune11.8s (3%)

Counts
53432 → 1707
Compiler

Compiled 54839 to 39586 computations (27.8% saved)

series6.0s (1.5%)

Counts
709 → 12987
Calls

3345 calls:

TimeVariablePointExpression
221.0ms
eps
@0
(exp (+ (log (+ 1 (pow (tan x) 2))) (log eps)))
155.0ms
b
@inf
(- (sqrt (+ (* b b) (* c (* -4 a)))) b)
106.0ms
x
@0
(pow (- (tan (+ x eps)) (tan x)) 3)
84.0ms
a
@0
(log (+ 1 (* -1/2 (/ (* a (* (/ c b) 2)) a))))
78.0ms
n
@0
(/ (log (/ (+ 1 x) x)) n)

regimes4.5s (1.2%)

Counts
2854 → 257
Calls

43 calls:

1.1s
x
505.0ms
b
450.0ms
a
385.0ms
c
370.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1477 to 1031 computations (30.2% saved)

bsearch3.6s (0.9%)

Algorithm
70×binary-search
24×left-value
Stop Event
4×predicate-same
66×narrow-enough
Results
837.0ms4800×256valid
828.0ms1801×1024valid
97.0ms800×256invalid
189.0ms724×256infinite
658.0ms569×2048valid
376.0ms477×512valid
29.0ms149×256unsamplable
272.0ms64×512infinite
11.0ms13×1024infinite
Compiler

Compiled 14693 to 10761 computations (26.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-pow, time spent: 1.2s, 55.0% of total-time
Operation ival-sub, time spent: 196.0ms, 9.0% of total-time
Operation ival-div, time spent: 180.0ms, 8.0% of total-time
Operation ival-mult, time spent: 157.0ms, 7.0% of total-time
Operation ival-add, time spent: 149.0ms, 7.0% of total-time
Operation ival-exp, time spent: 116.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 53.0ms, 2.0% of total-time
Operation const, time spent: 35.0ms, 2.0% of total-time
Operation ival-neg, time spent: 32.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 31.0ms, 1.0% of total-time
Operation ival-cos, time spent: 17.0ms, 1.0% of total-time

analyze3.2s (0.8%)

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-pow, time spent: 260.0ms, 16.0% of total-time
Operation ival-sub, time spent: 229.0ms, 14.0% of total-time
Operation ival-mult, time spent: 198.0ms, 12.0% of total-time
Operation ival-log, time spent: 140.0ms, 9.0% of total-time
Operation ival-div, time spent: 125.0ms, 8.0% of total-time
Operation ival-<=, time spent: 89.0ms, 5.0% of total-time
Operation ival-sin, time spent: 82.0ms, 5.0% of total-time
Operation ival-exp, time spent: 79.0ms, 5.0% of total-time
Operation ival-add, time spent: 72.0ms, 4.0% of total-time
Operation ival-tan, time spent: 59.0ms, 4.0% of total-time
Operation ival-cos, time spent: 58.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 58.0ms, 4.0% of total-time
Operation const, time spent: 49.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 49.0ms, 3.0% of total-time
Operation ival-neg, time spent: 34.0ms, 2.0% of total-time
Operation ival->, time spent: 15.0ms, 1.0% of total-time
Operation ival-and, time spent: 14.0ms, 1.0% of total-time
Operation ival-<, time spent: 9.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 7.0ms, 0.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

end5.0ms (0%)

Profiling

Loading profile data...