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: 28.8min)

sample8.6min (29.8%)

Results
1.5min298463×256valid
48.1s46072×512valid
6.8s28209×256invalid
8.1s27194×256infinite
7.6s26380×256unsamplable
21.3s25316×1024valid
2.7min16624×8192exit
35.0s10929×2048valid
1.0min7544×4096valid
6.3s5846×512infinite
1.3s1685×1024invalid
760.0ms1179×512invalid
21.0s1144×8192valid
1.2s1127×2048invalid
112.0ms885×256precondition
5.7s750×2048infinite
2.8s537×1024infinite
4.9s387×4096infinite
10.0ms11×512unsamplable
2.0ms1×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.6min
Operation ival-pow, time spent: 2.6min, 40.0% of total-time
Operation ival-sin, time spent: 51.0s, 13.0% of total-time
Operation ival-mult, time spent: 49.4s, 12.0% of total-time
Operation ival-cos, time spent: 38.0s, 10.0% of total-time
Operation ival-div, time spent: 37.8s, 9.0% of total-time
Operation ival-add, time spent: 11.4s, 3.0% of total-time
Operation ival-exp, time spent: 11.0s, 3.0% of total-time
Operation ival-log, time spent: 9.2s, 2.0% of total-time
Operation ival-sub, time spent: 9.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.9s, 1.0% of total-time
Operation const, time spent: 4.4s, 1.0% of total-time
Operation ival-neg, time spent: 3.6s, 1.0% of total-time
Operation ival-<, time spent: 3.6s, 1.0% of total-time
Operation ival-atan2, time spent: 2.1s, 1.0% of total-time
Operation ival-pi, time spent: 1.1s, 0.0% of total-time
Operation ival-atan, time spent: 1.0s, 0.0% of total-time
Operation ival-tan, time spent: 779.0ms, 0.0% of total-time
Operation ival-acos, time spent: 743.0ms, 0.0% of total-time
Operation ival-and, time spent: 662.0ms, 0.0% of total-time
Operation ival-asin, time spent: 440.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 230.0ms, 0.0% of total-time
Operation ival-<=, time spent: 209.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 164.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

localize8.0min (27.7%)

Results
Compiler

Compiled 84835 to 47356 computations (44.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4min
Operation ival-sin, time spent: 1.3min, 20.0% of total-time
Operation ival-mult, time spent: 1.2min, 19.0% of total-time
Operation ival-pow, time spent: 1.2min, 18.0% of total-time
Operation ival-cos, time spent: 1.1min, 17.0% of total-time
Operation ival-div, time spent: 32.3s, 8.0% of total-time
Operation composed, time spent: 16.3s, 4.0% of total-time
Operation ival-add, time spent: 10.6s, 3.0% of total-time
Operation ival-log, time spent: 7.7s, 2.0% of total-time
Operation ival-sub, time spent: 6.8s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.5s, 2.0% of total-time
Operation ival-exp, time spent: 6.4s, 2.0% of total-time
Operation const, time spent: 5.8s, 2.0% of total-time
Operation ival-atan2, time spent: 3.7s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.5s, 1.0% of total-time
Operation ival-atan, time spent: 1.3s, 0.0% of total-time
Operation ival-tan, time spent: 559.0ms, 0.0% of total-time
Operation ival-neg, time spent: 553.0ms, 0.0% of total-time
Operation ival-acos, time spent: 465.0ms, 0.0% of total-time
Operation ival-pi, time spent: 337.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 132.0ms, 0.0% of total-time
Operation ival-asin, time spent: 110.0ms, 0.0% of total-time

eval3.1min (10.9%)

Results
Compiler

Compiled 6894691 to 4104968 computations (40.5% saved)

preprocess2.3min (8%)

Algorithm
51×egg-herbie
Rules
31511×fma-define
18832×fmm-def
12992×div-sub
11124×sub-neg
10161×distribute-lft-in
Stop Event
21×saturated
30×node limit
Results
Compiler

Compiled 77337 to 47736 computations (38.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-sin, time spent: 21.6s, 24.0% of total-time
Operation ival-cos, time spent: 17.9s, 20.0% of total-time
Operation ival-mult, time spent: 17.1s, 19.0% of total-time
Operation ival-div, time spent: 13.7s, 15.0% of total-time
Operation ival-pow, time spent: 11.8s, 13.0% of total-time
Operation ival-add, time spent: 2.2s, 2.0% of total-time
Operation ival-sub, time spent: 1.9s, 2.0% of total-time
Operation const, time spent: 1.1s, 1.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 1.0% of total-time
Operation ival-log, time spent: 558.0ms, 1.0% of total-time
Operation ival-atan, time spent: 315.0ms, 0.0% of total-time
Operation ival-exp, time spent: 299.0ms, 0.0% of total-time
Operation ival-tan, time spent: 262.0ms, 0.0% of total-time
Operation ival-pi, time spent: 216.0ms, 0.0% of total-time
Operation ival-neg, time spent: 203.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 193.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 66.0ms, 0.0% of total-time
Operation ival-asin, time spent: 57.0ms, 0.0% of total-time
Operation ival-acos, time spent: 49.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 15.0ms, 0.0% of total-time

simplify1.4min (4.9%)

Algorithm
224×egg-herbie
Rules
66055×fma-define
56467×associate-*r*
53792×distribute-lft-in
50666×*-commutative
48852×distribute-rgt-in
Stop Event
48×saturated
37×fuel
176×node limit
10×done
Counts
84798 → 75347
Compiler

Compiled 15753 to 10670 computations (32.3% saved)

soundness1.1min (3.8%)

Rules
73024×fma-define
60660×log1p-expm1-u
50499×associate-*r*
48772×fmm-def
48322×expm1-log1p-u
Stop Event
13×saturated
215×node limit
2×unsound
Compiler

Compiled 45742 to 27641 computations (39.6% saved)

prune1.1min (3.7%)

Counts
164380 → 6652
Compiler

Compiled 417083 to 292173 computations (29.9% saved)

regimes1.1min (3.7%)

Counts
20461 → 847
Calls

134 calls:

6.9s
lambda1
5.6s
phi1
4.9s
phi2
4.6s
lambda2
3.4s
b
Compiler

Compiled 10701 to 7882 computations (26.3% saved)

rewrite43.9s (2.5%)

Algorithm
177×batch-egg-rewrite
Rules
114259×log1p-expm1-u
87453×expm1-log1p-u
44187×pow1
41492×add-exp-log
38605×add-log-exp
Stop Event
174×node limit
3×unsound
Counts
1655 → 46775

analyze43.6s (2.5%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.0s
Operation ival-mult, time spent: 9.3s, 31.0% of total-time
Operation ival-sin, time spent: 4.4s, 15.0% of total-time
Operation ival-pow, time spent: 3.7s, 12.0% of total-time
Operation ival-div, time spent: 3.5s, 12.0% of total-time
Operation ival-cos, time spent: 2.9s, 10.0% of total-time
Operation ival-sub, time spent: 1.4s, 5.0% of total-time
Operation ival-add, time spent: 1.4s, 5.0% of total-time
Operation ival-pi, time spent: 601.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 591.0ms, 2.0% of total-time
Operation const, time spent: 481.0ms, 2.0% of total-time
Operation ival-<, time spent: 439.0ms, 1.0% of total-time
Operation ival-neg, time spent: 404.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 211.0ms, 1.0% of total-time
Operation ival-atan, time spent: 162.0ms, 1.0% of total-time
Operation ival-exp, time spent: 92.0ms, 0.0% of total-time
Operation ival-and, time spent: 89.0ms, 0.0% of total-time
Operation ival-tan, time spent: 77.0ms, 0.0% of total-time
Operation ival-log, time spent: 62.0ms, 0.0% of total-time
Operation ival-asin, time spent: 58.0ms, 0.0% of total-time
Operation ival-acos, time spent: 47.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 33.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 22.0ms, 0.0% of total-time
Operation ival-<=, time spent: 5.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

bsearch21.7s (1.3%)

Algorithm
306×binary-search
81×left-value
Stop Event
12×predicate-same
294×narrow-enough
Results
8.7s26425×256valid
7.1s7960×512valid
342.0ms1298×256invalid
1.2s1185×2048valid
742.0ms1010×1024valid
861.0ms878×4096valid
104.0ms429×256infinite
66.0ms81×512infinite
3.0ms36×256unsamplable
0.0ms1×512invalid
Compiler

Compiled 96171 to 72035 computations (25.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.3s
Operation ival-sin, time spent: 2.6s, 21.0% of total-time
Operation ival-cos, time spent: 2.3s, 19.0% of total-time
Operation ival-mult, time spent: 2.3s, 19.0% of total-time
Operation ival-sub, time spent: 845.0ms, 7.0% of total-time
Operation ival-div, time spent: 679.0ms, 6.0% of total-time
Operation ival-pow, time spent: 669.0ms, 5.0% of total-time
Operation ival-add, time spent: 485.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 459.0ms, 4.0% of total-time
Operation ival-acos, time spent: 457.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 453.0ms, 4.0% of total-time
Operation ival-atan, time spent: 357.0ms, 3.0% of total-time
Operation const, time spent: 152.0ms, 1.0% of total-time
Operation ival-neg, time spent: 150.0ms, 1.0% of total-time
Operation ival-log, time spent: 134.0ms, 1.0% of total-time
Operation ival-exp, time spent: 111.0ms, 1.0% of total-time
Operation ival-pi, time spent: 82.0ms, 1.0% of total-time
Operation ival-asin, time spent: 69.0ms, 1.0% of total-time

series21.0s (1.2%)

Counts
1655 → 38023
Calls

9288 calls:

TimeVariablePointExpression
350.0ms
B
@inf
(* (/ (sqrt 2) B) (sqrt (* F (- C (sqrt (+ (* B B) (* C C)))))))
331.0ms
phi1
@inf
(log (+ 1 (+ (cos (- lambda2 lambda1)) (cos phi1))))
299.0ms
a
@inf
(log (+ (+ 1 (exp a)) (* b (+ 1 (* b 1/2)))))
243.0ms
a
@inf
(/ (* c (+ (* -3/2 (/ a b)) (* c (+ (* -27/16 (* (pow a 3) (/ c (pow b 5)))) (/ (* -9/8 (pow a 2)) (pow b 3)))))) (* 3 a))
220.0ms
x
@inf
(log (+ 1 (exp x)))

end58.0ms (0%)

Profiling

Loading profile data...