Herbie run

Date:Saturday, February 24th, 2024
Commit:0406aea6 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024055
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)

sample2.6min (40.7%)

Results
32.5s140554×256precondition
17.9s95395×256valid
30.5s58556×1024valid
46.2s35947×2048valid
10.1s34712×512valid
795.0ms5256×256invalid
1.1s4333×256infinite
882.0ms4025×256unsamplable
1.5s1940×4096valid
1.4s1111×1024invalid
293.0ms603×512invalid
150.0ms151×512infinite
158.0ms134×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-tan, time spent: 14.5s, 14.0% of total-time
Operation ival-exp, time spent: 12.7s, 13.0% of total-time
Operation ival-mult, time spent: 10.7s, 11.0% of total-time
Operation ival-sub, time spent: 8.4s, 8.0% of total-time
Operation ival-log, time spent: 8.0s, 8.0% of total-time
Operation ival-sin, time spent: 6.5s, 6.0% of total-time
Operation ival-cos, time spent: 5.5s, 5.0% of total-time
Operation ival-<=, time spent: 5.5s, 5.0% of total-time
Operation ival-add, time spent: 5.3s, 5.0% of total-time
Operation ival-div, time spent: 5.2s, 5.0% of total-time
Operation ival-pow, time spent: 4.6s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.2s, 3.0% of total-time
Operation ival-fabs, time spent: 2.6s, 3.0% of total-time
Operation ival-<, time spent: 2.3s, 2.0% of total-time
Operation const, time spent: 1.5s, 1.0% of total-time
Operation ival->, time spent: 1.1s, 1.0% of total-time
Operation ival-and, time spent: 1.1s, 1.0% of total-time
Operation ival-neg, time spent: 596.0ms, 1.0% of total-time
Operation ival-atan, time spent: 470.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 350.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 280.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 116.0ms, 0.0% of total-time
Bogosity

localize1.2min (19.3%)

Compiler

Compiled 20403 to 12044 computations (41% saved)

Precisions
Click to see histograms. Total time spent on operations: 54.2s
Operation ival-pow, time spent: 12.9s, 24.0% of total-time
Operation ival-mult, time spent: 10.1s, 19.0% of total-time
Operation ival-div, time spent: 6.2s, 11.0% of total-time
Operation ival-add, time spent: 5.0s, 9.0% of total-time
Operation composed, time spent: 4.9s, 9.0% of total-time
Operation ival-log, time spent: 3.0s, 5.0% of total-time
Operation ival-sub, time spent: 2.2s, 4.0% of total-time
Operation ival-exp, time spent: 2.2s, 4.0% of total-time
Operation ival-sin, time spent: 2.0s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 2.0% of total-time
Operation const, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 1.1s, 2.0% of total-time
Operation ival-tan, time spent: 956.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 757.0ms, 1.0% of total-time
Operation ival-neg, time spent: 155.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 86.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 50.0ms, 0.0% of total-time
Operation ival-atan, time spent: 17.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval39.0s (10%)

Compiler

Compiled 1634497 to 1067806 computations (34.7% saved)

simplify25.0s (6.4%)

Algorithm
127×egg-herbie
Rules
65418×fma-define
63344×fma-neg
55424×distribute-lft-in
53526×distribute-rgt-in
52656×associate-*r*
Stop Event
28×saturated
98×node limit
18×fuel
1×unsound
10×done
Counts
38163 → 41070
Compiler

Compiled 3393 to 2384 computations (29.7% saved)

soundness20.9s (5.4%)

Rules
52778×fma-define
47736×fma-neg
32024×associate-*r*
29714×distribute-lft-in
29224×log1p-expm1-u
Stop Event
8×saturated
94×node limit
Compiler

Compiled 17285 to 11355 computations (34.3% saved)

rewrite19.7s (5.1%)

Algorithm
99×batch-egg-rewrite
Rules
64057×log1p-expm1-u
48170×expm1-log1p-u
39752×prod-diff
31494×fma-define
30934×log-prod
Stop Event
99×node limit
Counts
737 → 25802

preprocess16.5s (4.2%)

Algorithm
28×egg-herbie
Rules
16616×fma-neg
13326×fma-define
8558×div-sub
5338×sub-neg
5242×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 11473 to 6980 computations (39.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0s
Operation ival-log, time spent: 932.0ms, 15.0% of total-time
Operation ival-tan, time spent: 755.0ms, 13.0% of total-time
Operation ival-exp, time spent: 653.0ms, 11.0% of total-time
Operation ival-sub, time spent: 563.0ms, 9.0% of total-time
Operation ival-mult, time spent: 557.0ms, 9.0% of total-time
Operation ival-add, time spent: 503.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 459.0ms, 8.0% of total-time
Operation ival-div, time spent: 414.0ms, 7.0% of total-time
Operation ival-cos, time spent: 349.0ms, 6.0% of total-time
Operation ival-pow, time spent: 319.0ms, 5.0% of total-time
Operation ival-sin, time spent: 279.0ms, 5.0% of total-time
Operation const, time spent: 126.0ms, 2.0% of total-time
Operation ival-atan, time spent: 53.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 30.0ms, 0.0% of total-time
Operation ival-neg, time spent: 29.0ms, 0.0% of total-time

prune12.6s (3.2%)

Counts
55705 → 1732
Compiler

Compiled 56547 to 40239 computations (28.8% saved)

regimes10.2s (2.6%)

Counts
3091 → 290
Calls

43 calls:

2.6s
x
2.0s
(/.f64 1 n)
1.4s
n
1.1s
a
859.0ms
c
Compiler

Compiled 1393 to 972 computations (30.2% saved)

series4.2s (1.1%)

Counts
737 → 12361
Calls

3360 calls:

TimeVariablePointExpression
81.0ms
b_2
@0
(exp (- (log 2) (log (/ -1 b_2))))
79.0ms
x
@inf
(log (+ 1 (neg (cos x))))
70.0ms
a
@0
(exp (* (+ (log (* -4 a)) (log c)) 1/2))
58.0ms
a
@inf
(* (/ -1/2 a) (+ b (exp (* (+ (log (* -4 a)) (log c)) 1/2))))
53.0ms
N
@0
(pow (E) (log (atan2 1 (+ (* N (+ 1 N)) 1))))

bsearch4.1s (1.1%)

Algorithm
77×binary-search
45×left-value
Stop Event
77×narrow-enough
Results
1.0s5924×256valid
1.3s1889×1024valid
235.0ms1755×256invalid
348.0ms992×256infinite
402.0ms821×512valid
206.0ms234×2048valid
34.0ms140×256unsamplable
68.0ms70×1024infinite
25.0ms38×512infinite
Compiler

Compiled 17639 to 12958 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
Operation ival-pow, time spent: 1.2s, 53.0% of total-time
Operation ival-div, time spent: 277.0ms, 12.0% of total-time
Operation ival-mult, time spent: 212.0ms, 9.0% of total-time
Operation ival-sub, time spent: 157.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 112.0ms, 5.0% of total-time
Operation ival-add, time spent: 92.0ms, 4.0% of total-time
Operation ival-cbrt, time spent: 70.0ms, 3.0% of total-time
Operation ival-neg, time spent: 58.0ms, 3.0% of total-time
Operation ival-exp, time spent: 56.0ms, 2.0% of total-time
Operation const, time spent: 39.0ms, 2.0% of total-time
Operation ival-cos, time spent: 4.0ms, 0.0% of total-time

analyze3.5s (0.9%)

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.9%32.5%24.6%42.4%0%0.4%0%5
59.4%33.4%22.8%43.1%0%0.7%0%6
63.2%34.4%20%44%0%1.4%0.1%7
66.4%35.7%18.1%44.5%0%1.6%0.1%8
68.8%36.4%16.5%44.9%0%2%0.3%9
70.9%36.8%15.1%45.2%0%2.6%0.3%10
73.5%37.8%13.6%45.4%0%2.8%0.4%11
74.7%38.1%12.9%45.6%0%3.1%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
Operation ival-log, time spent: 368.0ms, 17.0% of total-time
Operation ival-exp, time spent: 363.0ms, 17.0% of total-time
Operation ival-sub, time spent: 226.0ms, 10.0% of total-time
Operation ival-mult, time spent: 222.0ms, 10.0% of total-time
Operation ival-<=, time spent: 195.0ms, 9.0% of total-time
Operation ival-pow, time spent: 173.0ms, 8.0% of total-time
Operation ival-div, time spent: 116.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 113.0ms, 5.0% of total-time
Operation ival-sin, time spent: 76.0ms, 3.0% of total-time
Operation ival-add, time spent: 66.0ms, 3.0% of total-time
Operation ival-tan, time spent: 53.0ms, 2.0% of total-time
Operation const, time spent: 50.0ms, 2.0% of total-time
Operation ival-neg, time spent: 48.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 27.0ms, 1.0% of total-time
Operation ival-cos, time spent: 26.0ms, 1.0% of total-time
Operation ival-and, time spent: 17.0ms, 1.0% of total-time
Operation ival->, time spent: 15.0ms, 1.0% of total-time
Operation ival-<, time spent: 10.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 8.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 3.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

end7.0ms (0%)

Profiling

Loading profile data...