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: 1.9hr)

sample28.4min (24.4%)

Results
12.0min3473219×256valid
1.8min536019×256infinite
41.2s180673×256invalid
1.6min167103×1024valid
1.4min163121×512valid
33.7s143605×256precondition
1.9min90205×2048valid
4.1min38187×8192exit
9.4s36879×256unsamplable
58.4s13073×4096valid
10.9s12375×512infinite
8.5s11249×1024invalid
2.8s6579×512invalid
3.1s2038×1024infinite
20.6s1915×8192valid
6.0s1431×2048infinite
6.4s1147×4096infinite
1.2s1115×2048invalid
8.0ms7×512unsamplable
4.0ms2×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 16.5min
Operation ival-mult, time spent: 3.0min, 18.0% of total-time
Operation ival-pow, time spent: 2.9min, 18.0% of total-time
Operation ival-sin, time spent: 2.0min, 12.0% of total-time
Operation ival-div, time spent: 1.6min, 10.0% of total-time
Operation ival-add, time spent: 1.1min, 7.0% of total-time
Operation ival-sub, time spent: 1.1min, 6.0% of total-time
Operation ival-cos, time spent: 55.5s, 6.0% of total-time
Operation ival-log, time spent: 48.0s, 5.0% of total-time
Operation ival-sqrt, time spent: 37.0s, 4.0% of total-time
Operation ival-exp, time spent: 35.1s, 4.0% of total-time
Operation ival-tan, time spent: 30.5s, 3.0% of total-time
Operation ival-<=, time spent: 22.4s, 2.0% of total-time
Operation const, time spent: 16.8s, 2.0% of total-time
Operation ival-neg, time spent: 6.6s, 1.0% of total-time
Operation ival-<, time spent: 6.3s, 1.0% of total-time
Operation ival-fabs, time spent: 4.8s, 0.0% of total-time
Operation ival-and, time spent: 4.5s, 0.0% of total-time
Operation ival-acos, time spent: 3.6s, 0.0% of total-time
Operation ival-pi, time spent: 3.5s, 0.0% of total-time
Operation ival-atan2, time spent: 3.2s, 0.0% of total-time
Operation ival-atan, time spent: 2.7s, 0.0% of total-time
Operation ival-asin, time spent: 2.6s, 0.0% of total-time
Operation ival->, time spent: 2.2s, 0.0% of total-time
Operation ival-sinh, time spent: 2.1s, 0.0% of total-time
Operation composed, time spent: 1.2s, 0.0% of total-time
Operation ival-floor, time spent: 812.0ms, 0.0% of total-time
Operation ival-==, time spent: 739.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 712.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 699.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 608.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 522.0ms, 0.0% of total-time
Operation ival->=, time spent: 501.0ms, 0.0% of total-time
Operation ival-log2, time spent: 496.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 393.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 280.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 217.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 116.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 114.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 114.0ms, 0.0% of total-time
Operation ival-or, time spent: 90.0ms, 0.0% of total-time
Operation ival-if, time spent: 87.0ms, 0.0% of total-time
Bogosity

localize22.3min (19.1%)

Results
Compiler

Compiled 471041 to 211106 computations (55.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.5min
Operation ival-mult, time spent: 3.0min, 20.0% of total-time
Operation ival-sin, time spent: 2.6min, 17.0% of total-time
Operation ival-pow, time spent: 2.2min, 14.0% of total-time
Operation ival-div, time spent: 1.4min, 9.0% of total-time
Operation composed, time spent: 1.2min, 8.0% of total-time
Operation ival-add, time spent: 1.1min, 7.0% of total-time
Operation ival-cos, time spent: 44.6s, 5.0% of total-time
Operation ival-log, time spent: 40.7s, 4.0% of total-time
Operation ival-sub, time spent: 36.3s, 4.0% of total-time
Operation ival-sqrt, time spent: 33.6s, 4.0% of total-time
Operation const, time spent: 17.6s, 2.0% of total-time
Operation ival-exp, time spent: 17.6s, 2.0% of total-time
Operation ival-asin, time spent: 15.5s, 2.0% of total-time
Operation ival-tan, time spent: 7.0s, 1.0% of total-time
Operation ival-cbrt, time spent: 6.9s, 1.0% of total-time
Operation ival-acos, time spent: 4.6s, 0.0% of total-time
Operation ival-neg, time spent: 3.4s, 0.0% of total-time
Operation ival-atan2, time spent: 1.9s, 0.0% of total-time
Operation ival-atan, time spent: 1.4s, 0.0% of total-time
Operation ival-pi, time spent: 558.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 386.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 357.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 334.0ms, 0.0% of total-time
Operation ival->=, time spent: 327.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 219.0ms, 0.0% of total-time
Operation ival-log2, time spent: 200.0ms, 0.0% of total-time
Operation ival->, time spent: 117.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 111.0ms, 0.0% of total-time
Operation ival-floor, time spent: 87.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 81.0ms, 0.0% of total-time
Operation ival-if, time spent: 77.0ms, 0.0% of total-time
Operation ival-<, time spent: 42.0ms, 0.0% of total-time
Operation ival-e, time spent: 27.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 17.0ms, 0.0% of total-time

eval12.7min (10.9%)

Compiler

Compiled 39800730 to 19366546 computations (51.3% saved)

regimes10.2min (8.8%)

Counts
90780 → 9292
Calls

1175 calls:

1.1min
x
56.1s
y
48.7s
z
44.3s
t
40.7s
a
Compiler

Compiled 90893 to 68617 computations (24.5% saved)

simplify9.2min (7.9%)

Algorithm
2225×egg-herbie
Rules
1214770×fma-define
904273×fma-neg
880459×*-commutative
876513×associate-*r*
851565×distribute-lft-in
Stop Event
538×saturated
326×fuel
1667×node limit
20×unsound
212×done
Counts
793083 → 692656
Compiler

Compiled 129487 to 80901 computations (37.5% saved)

soundness8.1min (6.9%)

Rules
1104686×fma-define
825758×fma-neg
697194×associate-*r*
612665×distribute-lft-in
593573×times-frac
Stop Event
150×saturated
1742×node limit
18×unsound
Results
Compiler

Compiled 306548 to 173318 computations (43.5% saved)

preprocess7.1min (6.1%)

Algorithm
540×egg-herbie
Rules
469154×fma-neg
458784×fma-define
212198×unsub-neg
185947×sub-neg
174814×distribute-lft-in
Stop Event
292×saturated
248×node limit
Results
Compiler

Compiled 503001 to 270896 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7min
Operation ival-mult, time spent: 37.4s, 23.0% of total-time
Operation ival-sin, time spent: 26.7s, 17.0% of total-time
Operation ival-div, time spent: 21.1s, 13.0% of total-time
Operation ival-cos, time spent: 20.3s, 13.0% of total-time
Operation ival-pow, time spent: 11.5s, 7.0% of total-time
Operation ival-add, time spent: 10.7s, 7.0% of total-time
Operation ival-sub, time spent: 9.7s, 6.0% of total-time
Operation ival-sqrt, time spent: 6.1s, 4.0% of total-time
Operation ival-log, time spent: 5.3s, 3.0% of total-time
Operation ival-tan, time spent: 3.4s, 2.0% of total-time
Operation const, time spent: 3.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.6s, 2.0% of total-time
Operation ival-atan, time spent: 978.0ms, 1.0% of total-time
Operation composed, time spent: 670.0ms, 0.0% of total-time
Operation ival-neg, time spent: 566.0ms, 0.0% of total-time
Operation ival-asin, time spent: 304.0ms, 0.0% of total-time
Operation ival-pi, time spent: 283.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 263.0ms, 0.0% of total-time
Operation ival-acos, time spent: 176.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 104.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 86.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 73.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 45.0ms, 0.0% of total-time
Operation ival-floor, time spent: 40.0ms, 0.0% of total-time
Operation ival->=, time spent: 36.0ms, 0.0% of total-time
Operation ival-log2, time spent: 24.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time
Operation ival-if, time spent: 7.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 7.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 7.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 7.0ms, 0.0% of total-time
Operation ival->, time spent: 5.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time

rewrite5.9min (5.1%)

Algorithm
1687×batch-egg-rewrite
Rules
1106882×log1p-expm1-u
813075×expm1-log1p-u
548475×prod-diff
494578×log-prod
412744×unpow-prod-down
Stop Event
1670×node limit
17×unsound
Counts
13606 → 450307

prune5.0min (4.3%)

Counts
1037220 → 35002
Compiler

Compiled 1638681 to 1079858 computations (34.1% saved)

bsearch3.2min (2.7%)

Algorithm
4740×binary-search
541×left-value
Stop Event
96×predicate-same
4644×narrow-enough
Results
1.6min427438×256valid
48.3s124655×256infinite
5.2s18765×256invalid
7.3s12499×512valid
4.7s8332×1024valid
2.2s2458×2048valid
1.2s1542×512infinite
1.1s1011×4096valid
200.0ms196×1024invalid
125.0ms196×1024infinite
42.0ms187×256unsamplable
26.0ms87×512invalid
96.0ms42×2048infinite
22.0ms22×8192valid
19.0ms13×4096infinite
1.0ms1×8192exit
Compiler

Compiled 1195048 to 884293 computations (26% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-mult, time spent: 33.7s, 39.0% of total-time
Operation ival-sub, time spent: 13.1s, 15.0% of total-time
Operation ival-add, time spent: 10.4s, 12.0% of total-time
Operation ival-div, time spent: 8.7s, 10.0% of total-time
Operation ival-pow, time spent: 4.1s, 5.0% of total-time
Operation ival-sin, time spent: 3.7s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 3.0% of total-time
Operation ival-cos, time spent: 2.4s, 3.0% of total-time
Operation ival-log, time spent: 2.2s, 3.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-exp, time spent: 1.2s, 1.0% of total-time
Operation ival-tan, time spent: 662.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 478.0ms, 1.0% of total-time
Operation ival-neg, time spent: 462.0ms, 1.0% of total-time
Operation ival-atan, time spent: 337.0ms, 0.0% of total-time
Operation ival-acos, time spent: 174.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 93.0ms, 0.0% of total-time
Operation ival-asin, time spent: 86.0ms, 0.0% of total-time
Operation ival-pi, time spent: 82.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 80.0ms, 0.0% of total-time
Operation composed, time spent: 49.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 39.0ms, 0.0% of total-time
Operation ival->=, time spent: 8.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 5.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 3.0ms, 0.0% of total-time
Operation ival-if, time spent: 2.0ms, 0.0% of total-time

analyze2.5min (2.1%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.6%33.4%51%15.6%0%0%0%1
45.6%38.2%45.5%15.6%0%0.7%0%2
54.7%44.6%37%15.8%0%2.7%0%3
61.3%49.4%31.2%15.8%0%3.6%0%4
67.4%54%26.1%15.8%0%4%0.1%5
71.3%56.8%22.8%15.9%0%4.4%0.1%6
75.2%59.5%19.6%15.9%0%4.9%0.1%7
77.2%60.8%17.9%15.9%0%5.2%0.1%8
79.8%62.6%15.8%16%0%5.5%0.1%9
81.4%63.6%14.6%16%0%5.8%0.1%10
83.6%65.2%12.8%16%0%5.9%0.1%11
84.7%65.8%11.9%16%0%6.1%0.2%12
Compiler

Compiled 13437 to 8705 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-mult, time spent: 19.1s, 23.0% of total-time
Operation ival-div, time spent: 8.5s, 10.0% of total-time
Operation ival-<=, time spent: 7.2s, 9.0% of total-time
Operation ival-add, time spent: 7.0s, 9.0% of total-time
Operation ival-pow, time spent: 5.6s, 7.0% of total-time
Operation ival-sub, time spent: 5.5s, 7.0% of total-time
Operation ival-sqrt, time spent: 5.3s, 6.0% of total-time
Operation ival-sin, time spent: 5.0s, 6.0% of total-time
Operation ival-cos, time spent: 4.7s, 6.0% of total-time
Operation ival-tan, time spent: 2.0s, 2.0% of total-time
Operation ival-fabs, time spent: 1.8s, 2.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-log, time spent: 1.6s, 2.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival-exp, time spent: 960.0ms, 1.0% of total-time
Operation ival-floor, time spent: 696.0ms, 1.0% of total-time
Operation ival-==, time spent: 525.0ms, 1.0% of total-time
Operation ival-neg, time spent: 523.0ms, 1.0% of total-time
Operation ival-asin, time spent: 430.0ms, 1.0% of total-time
Operation ival-<, time spent: 418.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 384.0ms, 0.0% of total-time
Operation ival-if, time spent: 370.0ms, 0.0% of total-time
Operation ival-log2, time spent: 307.0ms, 0.0% of total-time
Operation ival-pi, time spent: 285.0ms, 0.0% of total-time
Operation ival-acos, time spent: 207.0ms, 0.0% of total-time
Operation ival->, time spent: 196.0ms, 0.0% of total-time
Operation ival-or, time spent: 185.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 154.0ms, 0.0% of total-time
Operation ival-atan, time spent: 108.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 44.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 31.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 19.0ms, 0.0% of total-time
Operation ival->=, time spent: 17.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 12.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.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-atanh, time spent: 2.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

series2.0min (1.7%)

Counts
13606 → 342776
Calls

83340 calls:

TimeVariablePointExpression
658.0ms
h
@inf
(log (fmax (* (pow dX.v 2) (pow (floor h) 2)) (pow (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (+ (* dY.u (floor w)) (* 1/2 (/ (pow (* (floor h) dY.v) 2) (* dY.u (floor w))))) (+ (* dY.u (floor w)) (* 1/2 (/ (pow (* (floor h) dY.v) 2) (* dY.u (floor w)))))))) 2)))
485.0ms
y
@-inf
(log (* y (cbrt y)))
298.0ms
x
@0
(- (log x) (log (log x)))
294.0ms
a
@0
(cbrt (* a 2))
292.0ms
x
@0
(log (pow (exp x) 3275911/10000000))

end302.0ms (0%)

Profiling

Loading profile data...