Herbie run

Date:Thursday, April 4th, 2024
Commit:9887997d on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024095
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.9min)

sample3.1min (45%)

Results
33.0s141328×256precondition
16.5s94984×256valid
29.1s58730×1024valid
46.0s36224×2048valid
9.7s34743×512valid
34.9s7274×8192exit
789.0ms4311×256unsamplable
1.4s4187×256infinite
543.0ms4044×256invalid
1.3s2001×4096valid
108.0ms176×512infinite
122.0ms123×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 33.1s, 26.0% of total-time
Operation ival-tan, time spent: 14.8s, 11.0% of total-time
Operation ival-exp, time spent: 12.4s, 10.0% of total-time
Operation ival-mult, time spent: 11.1s, 9.0% of total-time
Operation ival-sub, time spent: 8.1s, 6.0% of total-time
Operation ival-log, time spent: 7.0s, 5.0% of total-time
Operation ival-cos, time spent: 6.4s, 5.0% of total-time
Operation ival-sin, time spent: 5.7s, 4.0% of total-time
Operation ival-div, time spent: 5.6s, 4.0% of total-time
Operation ival-<=, time spent: 5.1s, 4.0% of total-time
Operation ival-add, time spent: 5.0s, 4.0% of total-time
Operation ival-fabs, time spent: 4.2s, 3.0% of total-time
Operation ival-<, time spent: 2.4s, 2.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 1.0% of total-time
Operation ival->, time spent: 1.2s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival-fmin, time spent: 957.0ms, 1.0% of total-time
Operation ival-neg, time spent: 605.0ms, 0.0% of total-time
Operation ival-atan, time spent: 509.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 319.0ms, 0.0% of total-time
Bogosity

localize1.4min (20.9%)

Compiler

Compiled 17244 to 10436 computations (39.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-pow, time spent: 22.0s, 34.0% of total-time
Operation ival-mult, time spent: 8.6s, 13.0% of total-time
Operation ival-div, time spent: 6.7s, 10.0% of total-time
Operation composed, time spent: 4.9s, 8.0% of total-time
Operation ival-add, time spent: 4.4s, 7.0% of total-time
Operation ival-log, time spent: 4.0s, 6.0% of total-time
Operation ival-exp, time spent: 3.8s, 6.0% of total-time
Operation ival-sub, time spent: 2.6s, 4.0% of total-time
Operation ival-tan, time spent: 2.2s, 3.0% of total-time
Operation ival-sin, time spent: 1.5s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 847.0ms, 1.0% of total-time
Operation ival-cos, time spent: 717.0ms, 1.0% of total-time
Operation ival-neg, time spent: 291.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 106.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 38.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 19.0ms, 0.0% of total-time
Operation ival-atan, time spent: 17.0ms, 0.0% of total-time

eval32.2s (7.7%)

Compiler

Compiled 1480975 to 965915 computations (34.8% saved)

simplify23.8s (5.7%)

Algorithm
123×egg-herbie
Rules
33099×fma-define
27465×fmm-def
25811×associate-*r*
24331×*-commutative
23672×distribute-lft-in
Stop Event
28×saturated
94×node limit
19×fuel
1×unsound
9×done
Counts
37998 → 41633
Compiler

Compiled 3787 to 2659 computations (29.8% saved)

soundness22.9s (5.5%)

Rules
33682×log1p-expm1-u
31917×fma-define
26192×expm1-log1p-u
25511×fmm-def
19127×associate-*r*
Stop Event
9×saturated
109×node limit
Compiler

Compiled 17249 to 11439 computations (33.7% saved)

rewrite18.8s (4.5%)

Algorithm
95×batch-egg-rewrite
Rules
58476×log1p-expm1-u
44654×expm1-log1p-u
20520×pow1
19730×add-exp-log
19551×add-log-exp
Stop Event
95×node limit
Counts
754 → 25475

preprocess15.8s (3.8%)

Algorithm
28×egg-herbie
Rules
8308×fmm-def
6663×fma-define
4254×div-sub
2652×sub-neg
2620×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 12411 to 7678 computations (38.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
Operation ival-sub, time spent: 1.0s, 18.0% of total-time
Operation ival-exp, time spent: 812.0ms, 14.0% of total-time
Operation ival-tan, time spent: 778.0ms, 13.0% of total-time
Operation ival-log, time spent: 649.0ms, 11.0% of total-time
Operation ival-div, time spent: 496.0ms, 8.0% of total-time
Operation ival-mult, time spent: 487.0ms, 8.0% of total-time
Operation ival-add, time spent: 402.0ms, 7.0% of total-time
Operation ival-pow, time spent: 347.0ms, 6.0% of total-time
Operation ival-cos, time spent: 251.0ms, 4.0% of total-time
Operation ival-sin, time spent: 236.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 227.0ms, 4.0% of total-time
Operation const, time spent: 120.0ms, 2.0% of total-time
Operation ival-atan, time spent: 35.0ms, 1.0% of total-time
Operation ival-neg, time spent: 33.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 31.0ms, 1.0% of total-time

prune12.4s (3%)

Counts
57457 → 1786
Compiler

Compiled 57298 to 40684 computations (29% saved)

bsearch5.2s (1.3%)

Algorithm
109×binary-search
25×left-value
Stop Event
3×predicate-same
106×narrow-enough
Results
1.2s7412×256valid
1.4s1890×1024valid
219.0ms1569×256invalid
777.0ms1150×512valid
310.0ms1043×256infinite
543.0ms746×2048valid
31.0ms158×256unsamplable
72.0ms75×512infinite
22.0ms36×4096valid
33.0ms32×1024infinite
Compiler

Compiled 20130 to 14823 computations (26.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0s
Operation ival-pow, time spent: 1.5s, 51.0% of total-time
Operation ival-div, time spent: 500.0ms, 17.0% of total-time
Operation ival-mult, time spent: 313.0ms, 10.0% of total-time
Operation ival-sub, time spent: 162.0ms, 5.0% of total-time
Operation ival-exp, time spent: 138.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 111.0ms, 4.0% of total-time
Operation ival-add, time spent: 105.0ms, 4.0% of total-time
Operation ival-neg, time spent: 65.0ms, 2.0% of total-time
Operation const, time spent: 44.0ms, 1.0% of total-time
Operation ival-cos, time spent: 19.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 6.0ms, 0.0% of total-time
Operation ival-log, time spent: 2.0ms, 0.0% of total-time

regimes4.1s (1%)

Counts
3078 → 314
Calls

43 calls:

834.0ms
x
532.0ms
c
443.0ms
a
442.0ms
b
358.0ms
b_2
Compiler

Compiled 1497 to 1038 computations (30.7% saved)

series3.6s (0.9%)

Counts
754 → 12523
Calls

3462 calls:

TimeVariablePointExpression
256.0ms
n
@0
(* (+ n 1) (log (+ n 1)))
135.0ms
eps
@-inf
(* (* (sin (* (+ x (- eps x)) 1/2)) (sin (* (+ eps (+ x x)) 1/2))) -2)
78.0ms
N
@-inf
(pow (log (+ 1 N)) 2)
44.0ms
n
@0
(* n (log n))
40.0ms
x
@0
(* (* -1/2 (log x)) 3)

analyze3.1s (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-sub, time spent: 260.0ms, 16.0% of total-time
Operation ival-mult, time spent: 205.0ms, 13.0% of total-time
Operation ival-pow, time spent: 174.0ms, 11.0% of total-time
Operation ival-log, time spent: 150.0ms, 9.0% of total-time
Operation ival-div, time spent: 140.0ms, 9.0% of total-time
Operation ival-exp, time spent: 86.0ms, 5.0% of total-time
Operation ival-<=, time spent: 85.0ms, 5.0% of total-time
Operation ival-sin, time spent: 77.0ms, 5.0% of total-time
Operation ival-fabs, time spent: 73.0ms, 5.0% of total-time
Operation ival-add, time spent: 70.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 62.0ms, 4.0% of total-time
Operation ival-tan, time spent: 60.0ms, 4.0% of total-time
Operation const, time spent: 44.0ms, 3.0% of total-time
Operation ival-neg, time spent: 42.0ms, 3.0% of total-time
Operation ival-cos, time spent: 32.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-<, time spent: 12.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 8.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

end6.0ms (0%)

Profiling

Loading profile data...