Herbie run

Date:Sunday, March 24th, 2024
Commit:faf2684d on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024084
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: 7.1min)

sample3.1min (43.2%)

Results
27.3s141798×256precondition
14.2s95117×256valid
26.4s58631×1024valid
44.4s36283×2048valid
9.1s34633×512valid
33.8s7135×8192exit
550.0ms4292×256unsamplable
737.0ms4239×256infinite
401.0ms3906×256invalid
1.4s1947×4096valid
97.0ms182×512infinite
136.0ms136×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 32.8s, 26.0% of total-time
Operation ival-tan, time spent: 14.2s, 11.0% of total-time
Operation ival-exp, time spent: 12.5s, 10.0% of total-time
Operation ival-mult, time spent: 8.9s, 7.0% of total-time
Operation ival-sub, time spent: 8.4s, 7.0% of total-time
Operation ival-div, time spent: 6.2s, 5.0% of total-time
Operation ival-log, time spent: 6.2s, 5.0% of total-time
Operation ival-cos, time spent: 6.1s, 5.0% of total-time
Operation ival-sin, time spent: 5.3s, 4.0% of total-time
Operation ival-add, time spent: 5.0s, 4.0% of total-time
Operation ival-<=, time spent: 4.5s, 4.0% of total-time
Operation ival-fabs, time spent: 3.7s, 3.0% of total-time
Operation ival-<, time spent: 2.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-fmin, time spent: 1.3s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival->, time spent: 991.0ms, 1.0% of total-time
Operation ival-neg, time spent: 623.0ms, 1.0% of total-time
Operation ival-atan, time spent: 505.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 348.0ms, 0.0% of total-time
Bogosity

localize1.5min (21.3%)

Results
10.0s12407×256valid
14.0s4106×1024valid
21.4s3281×2048valid
2.2s2185×256invalid
4.4s2183×512valid
22.9s1044×8192exit
211.0ms424×256infinite
884.0ms182×4096valid
237.0ms92×1024invalid
106.0ms50×512invalid
83.0ms39×256unsamplable
146.0ms32×1024infinite
154.0ms30×2048infinite
128.0ms20×2048invalid
183.0ms19×4096infinite
33.0ms18×512infinite
Compiler

Compiled 17334 to 10481 computations (39.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation ival-pow, time spent: 23.3s, 33.0% of total-time
Operation ival-mult, time spent: 8.6s, 12.0% of total-time
Operation ival-div, time spent: 5.6s, 8.0% of total-time
Operation composed, time spent: 5.5s, 8.0% of total-time
Operation ival-log, time spent: 5.0s, 7.0% of total-time
Operation ival-exp, time spent: 4.9s, 7.0% of total-time
Operation ival-add, time spent: 4.8s, 7.0% of total-time
Operation ival-sub, time spent: 2.6s, 4.0% of total-time
Operation ival-cbrt, time spent: 2.4s, 3.0% of total-time
Operation ival-tan, time spent: 1.7s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-sin, time spent: 1.2s, 2.0% of total-time
Operation ival-cos, time spent: 1.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 974.0ms, 1.0% of total-time
Operation ival-neg, time spent: 212.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 82.0ms, 0.0% of total-time
Operation ival-atan, time spent: 71.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 51.0ms, 0.0% of total-time

eval39.8s (9.3%)

Compiler

Compiled 1654786 to 1100511 computations (33.5% saved)

simplify27.3s (6.4%)

Algorithm
125×egg-herbie
Rules
32262×fma-define
30284×fma-neg
27410×associate-*r*
25719×distribute-lft-in
24692×times-frac
Stop Event
28×saturated
97×node limit
20×fuel
8×done
Counts
39731 → 41034
Compiler

Compiled 2850 to 2048 computations (28.1% saved)

soundness21.6s (5%)

Rules
27929×fma-neg
27727×fma-define
27217×log1p-expm1-u
21143×expm1-log1p-u
18942×associate-*r*
Stop Event
8×saturated
101×node limit
Compiler

Compiled 14461 to 9795 computations (32.3% saved)

rewrite20.1s (4.7%)

Algorithm
97×batch-egg-rewrite
Rules
62571×log1p-expm1-u
49173×expm1-log1p-u
19177×prod-diff
18479×pow1
17761×add-exp-log
Stop Event
97×node limit
Counts
731 → 27448

preprocess15.4s (3.6%)

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
Results
1.0s5952×256valid
3.0s3646×1024valid
2.9s2316×2048valid
815.0ms2006×512valid
55.0ms224×256infinite
127.0ms138×4096valid
28.0ms28×512infinite
192.0ms24×1024infinite
1.0ms2×2048infinite
Compiler

Compiled 11119 to 7158 computations (35.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6s
Operation ival-tan, time spent: 805.0ms, 14.0% of total-time
Operation ival-add, time spent: 787.0ms, 14.0% of total-time
Operation ival-log, time spent: 780.0ms, 14.0% of total-time
Operation ival-exp, time spent: 719.0ms, 13.0% of total-time
Operation ival-sub, time spent: 474.0ms, 8.0% of total-time
Operation ival-div, time spent: 374.0ms, 7.0% of total-time
Operation ival-mult, time spent: 343.0ms, 6.0% of total-time
Operation ival-cos, time spent: 338.0ms, 6.0% of total-time
Operation ival-sin, time spent: 321.0ms, 6.0% of total-time
Operation ival-pow, time spent: 318.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 148.0ms, 3.0% of total-time
Operation const, time spent: 123.0ms, 2.0% of total-time
Operation ival-atan, time spent: 40.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 30.0ms, 1.0% of total-time
Operation ival-neg, time spent: 29.0ms, 1.0% of total-time

prune12.6s (2.9%)

Counts
58344 → 1857
Compiler

Compiled 60020 to 43564 computations (27.4% saved)

series5.6s (1.3%)

Counts
731 → 12283
Calls

3207 calls:

TimeVariablePointExpression
403.0ms
eps
@-inf
(+ (* -1/2 (sin x)) (* -1/6 (* eps (cos x))))
117.0ms
x
@-inf
(log (+ 1 (neg (cos x))))
99.0ms
c
@0
(exp (* (+ (log (* -4 c)) (log a)) 1/2))
84.0ms
eps
@-inf
(/ (* eps (- 1 (/ (sin eps) eps))) (pow (cbrt (- eps (tan eps))) 3))
83.0ms
a
@0
(exp (* (+ (log (* -4 c)) (log a)) 1/2))

regimes4.1s (1%)

Counts
2831 → 239
Calls

43 calls:

1.0s
x
456.0ms
b
447.0ms
n
384.0ms
c
353.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1519 to 1061 computations (30.2% saved)

analyze3.5s (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: 2.2s
Operation ival-log, time spent: 429.0ms, 20.0% of total-time
Operation ival-mult, time spent: 334.0ms, 15.0% of total-time
Operation ival-sub, time spent: 275.0ms, 13.0% of total-time
Operation ival-add, time spent: 199.0ms, 9.0% of total-time
Operation ival-pow, time spent: 176.0ms, 8.0% of total-time
Operation ival-div, time spent: 125.0ms, 6.0% of total-time
Operation ival-neg, time spent: 89.0ms, 4.0% of total-time
Operation ival-<=, time spent: 85.0ms, 4.0% of total-time
Operation ival-exp, time spent: 82.0ms, 4.0% of total-time
Operation ival-sin, time spent: 76.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 58.0ms, 3.0% of total-time
Operation ival-tan, time spent: 57.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 52.0ms, 2.0% of total-time
Operation const, time spent: 44.0ms, 2.0% of total-time
Operation ival-cos, 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, 0.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

bsearch2.2s (0.5%)

Algorithm
62×binary-search
11×left-value
Stop Event
3×predicate-same
59×narrow-enough
Results
682.0ms4975×256valid
80.0ms884×256invalid
373.0ms857×1024valid
122.0ms539×256infinite
190.0ms445×512valid
158.0ms202×2048valid
8.0ms50×256unsamplable
14.0ms19×512infinite
14.0ms18×1024infinite
2.0ms1×4096valid
Compiler

Compiled 11236 to 8311 computations (26% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
Operation ival-pow, time spent: 415.0ms, 40.0% of total-time
Operation ival-mult, time spent: 138.0ms, 13.0% of total-time
Operation ival-div, time spent: 133.0ms, 13.0% of total-time
Operation ival-sub, time spent: 85.0ms, 8.0% of total-time
Operation ival-exp, time spent: 64.0ms, 6.0% of total-time
Operation ival-add, time spent: 54.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 53.0ms, 5.0% of total-time
Operation ival-neg, time spent: 32.0ms, 3.0% of total-time
Operation const, time spent: 23.0ms, 2.0% of total-time
Operation ival-cos, time spent: 19.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 11.0ms, 1.0% of total-time

end4.0ms (0%)

Profiling

Loading profile data...