Herbie run

Date:Monday, March 11th, 2024
Commit:d14d36a1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024071
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.4min)

sample3.1min (47.6%)

Results
33.8s142803×256precondition
15.7s90380×256valid
28.3s57987×1024valid
43.4s34123×2048valid
9.7s33935×512valid
35.5s7253×8192exit
992.0ms4330×256infinite
677.0ms4032×256unsamplable
704.0ms3964×256invalid
1.2s1861×4096valid
212.0ms153×512infinite
195.0ms143×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 33.3s, 26.0% of total-time
Operation ival-tan, time spent: 14.4s, 11.0% of total-time
Operation ival-exp, time spent: 12.2s, 10.0% of total-time
Operation ival-mult, time spent: 10.1s, 8.0% of total-time
Operation ival-sub, time spent: 8.9s, 7.0% of total-time
Operation ival-div, time spent: 7.2s, 6.0% of total-time
Operation ival-log, time spent: 5.8s, 5.0% of total-time
Operation ival-add, time spent: 5.0s, 4.0% of total-time
Operation ival-cos, time spent: 4.8s, 4.0% of total-time
Operation ival-<=, time spent: 4.6s, 4.0% of total-time
Operation ival-fabs, time spent: 4.4s, 3.0% of total-time
Operation ival-sin, time spent: 3.8s, 3.0% of total-time
Operation ival-<, time spent: 2.5s, 2.0% of total-time
Operation const, time spent: 1.9s, 1.0% of total-time
Operation ival-sqrt, time spent: 1.8s, 1.0% of total-time
Operation ival-fmin, time spent: 1.2s, 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-neg, time spent: 611.0ms, 0.0% of total-time
Operation ival-atan, time spent: 574.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 400.0ms, 0.0% of total-time
Bogosity

localize57.8s (14.9%)

Compiler

Compiled 15677 to 9318 computations (40.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 38.2s
Operation ival-pow, time spent: 9.8s, 26.0% of total-time
Operation ival-mult, time spent: 7.0s, 18.0% of total-time
Operation ival-div, time spent: 4.3s, 11.0% of total-time
Operation ival-add, time spent: 3.2s, 8.0% of total-time
Operation composed, time spent: 3.1s, 8.0% of total-time
Operation ival-sub, time spent: 2.0s, 5.0% of total-time
Operation ival-log, time spent: 1.9s, 5.0% of total-time
Operation ival-sin, time spent: 1.4s, 4.0% of total-time
Operation ival-exp, time spent: 1.3s, 4.0% of total-time
Operation const, time spent: 1.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 845.0ms, 2.0% of total-time
Operation ival-tan, time spent: 741.0ms, 2.0% of total-time
Operation ival-cos, time spent: 696.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 587.0ms, 2.0% of total-time
Operation ival-neg, time spent: 136.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 91.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 31.0ms, 0.0% of total-time
Operation ival-atan, time spent: 16.0ms, 0.0% of total-time

eval34.1s (8.8%)

Compiler

Compiled 1540142 to 1004647 computations (34.8% saved)

simplify24.6s (6.4%)

Algorithm
121×egg-herbie
Rules
29106×fma-define
27805×fma-neg
26101×times-frac
25169×*-commutative
24833×distribute-lft-in
Stop Event
27×saturated
91×node limit
19×fuel
3×unsound
8×done
Counts
39744 → 42986
Compiler

Compiled 2537 to 1785 computations (29.6% saved)

soundness20.5s (5.3%)

Rules
28288×log1p-expm1-u
27354×fma-define
23987×expm1-log1p-u
22973×fma-neg
15379×associate-*r*
Stop Event
7×saturated
91×node limit
3×unsound
Compiler

Compiled 13320 to 8355 computations (37.3% saved)

rewrite19.6s (5.1%)

Algorithm
94×batch-egg-rewrite
Rules
61505×log1p-expm1-u
45268×expm1-log1p-u
18941×pow1
18500×add-exp-log
18072×add-log-exp
Stop Event
94×node limit
Counts
763 → 26261

preprocess14.1s (3.6%)

Algorithm
27×egg-herbie
Rules
8225×fma-neg
6464×fma-define
4232×div-sub
2644×sub-neg
2574×times-frac
Stop Event
22×saturated
5×node limit
Compiler

Compiled 9939 to 6150 computations (38.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.1s
Operation ival-exp, time spent: 775.0ms, 15.0% of total-time
Operation ival-tan, time spent: 756.0ms, 15.0% of total-time
Operation ival-sub, time spent: 711.0ms, 14.0% of total-time
Operation ival-log, time spent: 620.0ms, 12.0% of total-time
Operation ival-add, time spent: 430.0ms, 8.0% of total-time
Operation ival-mult, time spent: 391.0ms, 8.0% of total-time
Operation ival-pow, time spent: 341.0ms, 7.0% of total-time
Operation ival-div, time spent: 333.0ms, 7.0% of total-time
Operation ival-cos, time spent: 205.0ms, 4.0% of total-time
Operation ival-sin, time spent: 194.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 147.0ms, 3.0% of total-time
Operation const, time spent: 124.0ms, 2.0% of total-time
Operation ival-atan, time spent: 34.0ms, 1.0% of total-time
Operation ival-neg, time spent: 32.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 27.0ms, 1.0% of total-time

prune12.6s (3.3%)

Counts
59811 → 1731
Compiler

Compiled 58696 to 41752 computations (28.9% saved)

regimes6.6s (1.7%)

Counts
2781 → 239
Calls

42 calls:

1.3s
x
988.0ms
b_2
787.0ms
a
710.0ms
b
698.0ms
c
Compiler

Compiled 1329 to 928 computations (30.2% saved)

series4.7s (1.2%)

Counts
763 → 13483
Calls

3408 calls:

TimeVariablePointExpression
204.0ms
n
@0
(/ (- (* -2/3 (/ (log (/ 1 x)) n)) (/ 1 n)) (pow x 2))
148.0ms
b
@-inf
(/ (/ c (pow (cbrt b) 2)) (cbrt (pow b 4)))
134.0ms
x
@-inf
(cbrt (+ 1 x))
93.0ms
n
@0
(/ (- (pow (log (+ 1 x)) 2) (pow (log x) 2)) n)
79.0ms
a
@inf
(/ (* eps (pow (exp a) eps)) (- (exp (* a eps)) 1))

analyze4.0s (1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
19.3%11.1%46.5%38.9%0%3.6%0%1
27%15.5%42%38.9%0%3.6%0%2
41.8%22.9%31.9%41.6%0%3.6%0%3
50.2%27.5%27.3%41.7%0%3.6%0%4
57.3%30.9%23.1%42.4%0%3.6%0%5
59.5%31.7%21.6%43.1%0%3.6%0%6
63.4%32.7%18.9%44%0%4.3%0.1%7
66.6%34%17.1%44.5%0%4.4%0.1%8
69.1%34.6%15.5%44.9%0%4.8%0.3%9
71.2%35.1%14.1%45.2%0%5.3%0.3%10
74%36%12.7%45.4%0%5.5%0.4%11
75.2%36.3%11.9%45.6%0%5.8%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
Operation ival-pow, time spent: 335.0ms, 14.0% of total-time
Operation ival-exp, time spent: 296.0ms, 12.0% of total-time
Operation ival-add, time spent: 268.0ms, 11.0% of total-time
Operation ival-tan, time spent: 237.0ms, 10.0% of total-time
Operation ival-cos, time spent: 221.0ms, 9.0% of total-time
Operation ival-mult, time spent: 221.0ms, 9.0% of total-time
Operation ival-sub, time spent: 192.0ms, 8.0% of total-time
Operation ival-log, time spent: 148.0ms, 6.0% of total-time
Operation ival-div, time spent: 132.0ms, 5.0% of total-time
Operation ival-<=, time spent: 102.0ms, 4.0% of total-time
Operation ival-sin, time spent: 61.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 59.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 57.0ms, 2.0% of total-time
Operation const, time spent: 45.0ms, 2.0% of total-time
Operation ival-neg, time spent: 37.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: 9.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 6.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
Operation ...c/syntax/syntax.rkt:188:8, time spent: 0.0ms, 0.0% of total-time

bsearch3.8s (1%)

Algorithm
74×binary-search
11×left-value
Stop Event
1×predicate-same
73×narrow-enough
Results
1.1s6295×256valid
1.2s1761×1024valid
245.0ms1664×256invalid
234.0ms849×256infinite
301.0ms764×512valid
281.0ms344×2048valid
87.0ms67×1024infinite
2.0ms10×256unsamplable
Compiler

Compiled 14515 to 10846 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-pow, time spent: 1.2s, 54.0% of total-time
Operation ival-mult, time spent: 252.0ms, 12.0% of total-time
Operation ival-div, time spent: 208.0ms, 10.0% of total-time
Operation ival-sub, time spent: 142.0ms, 7.0% of total-time
Operation ival-add, time spent: 85.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 83.0ms, 4.0% of total-time
Operation ival-exp, time spent: 76.0ms, 4.0% of total-time
Operation ival-neg, time spent: 62.0ms, 3.0% of total-time
Operation const, time spent: 38.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 15.0ms, 1.0% of total-time
Operation ival-cos, time spent: 11.0ms, 1.0% of total-time

end8.0ms (0%)

Profiling

Loading profile data...