Herbie run

Date:Monday, March 18th, 2024
Commit:487b55ff on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024078
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: 2.1hr)

sample29.3min (23.8%)

Results
12.3min3467578×256valid
1.7min532294×256infinite
39.6s183151×256invalid
1.5min166862×1024valid
1.4min164383×512valid
34.0s143432×256precondition
1.9min90380×2048valid
4.9min48928×8192exit
10.3s37467×256unsamplable
1.0min13121×4096valid
10.9s12087×512infinite
7.7s10135×1024invalid
2.4s5842×512invalid
3.3s2076×1024infinite
20.6s1842×8192valid
5.9s1399×2048infinite
1.5s1288×2048invalid
7.1s1137×4096infinite
7.0ms7×512unsamplable
6.0ms3×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 17.1min
Operation ival-pow, time spent: 3.6min, 21.0% of total-time
Operation ival-mult, time spent: 3.0min, 17.0% of total-time
Operation ival-sin, time spent: 1.9min, 11.0% of total-time
Operation ival-div, time spent: 1.6min, 9.0% of total-time
Operation ival-add, time spent: 1.1min, 6.0% of total-time
Operation ival-sub, time spent: 1.1min, 6.0% of total-time
Operation ival-cos, time spent: 54.9s, 5.0% of total-time
Operation ival-exp, time spent: 40.7s, 4.0% of total-time
Operation ival-log, time spent: 40.4s, 4.0% of total-time
Operation ival-tan, time spent: 30.1s, 3.0% of total-time
Operation ival-<=, time spent: 27.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 26.4s, 3.0% of total-time
Operation const, time spent: 16.9s, 2.0% of total-time
Operation ival-fabs, time spent: 7.9s, 1.0% of total-time
Operation ival-neg, time spent: 7.5s, 1.0% of total-time
Operation ival-<, time spent: 5.8s, 1.0% of total-time
Operation ival-and, time spent: 4.1s, 0.0% of total-time
Operation ival-pi, time spent: 3.3s, 0.0% of total-time
Operation ival-acos, time spent: 2.9s, 0.0% of total-time
Operation ival-atan, time spent: 2.8s, 0.0% of total-time
Operation ival-atan2, time spent: 2.7s, 0.0% of total-time
Operation ival->, time spent: 2.3s, 0.0% of total-time
Operation ival-fmax, time spent: 2.2s, 0.0% of total-time
Operation ival-asin, time spent: 2.1s, 0.0% of total-time
Operation ival-sinh, time spent: 1.9s, 0.0% of total-time
Operation composed, time spent: 1.1s, 0.0% of total-time
Operation ival-fmin, time spent: 906.0ms, 0.0% of total-time
Operation ival-==, time spent: 852.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 820.0ms, 0.0% of total-time
Operation ival-floor, time spent: 809.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 690.0ms, 0.0% of total-time
Operation ival-if, time spent: 622.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 600.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 575.0ms, 0.0% of total-time
Operation ival->=, time spent: 408.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 386.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 220.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 211.0ms, 0.0% of total-time
Operation ival-log2, time spent: 191.0ms, 0.0% of total-time
Operation ival-or, time spent: 87.0ms, 0.0% of total-time
Bogosity

localize25.6min (20.8%)

Results
Compiler

Compiled 468227 to 210207 computations (55.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.2min
Operation ival-mult, time spent: 3.5min, 19.0% of total-time
Operation ival-pow, time spent: 2.9min, 16.0% of total-time
Operation ival-sin, time spent: 2.3min, 13.0% of total-time
Operation ival-cos, time spent: 1.6min, 9.0% of total-time
Operation ival-div, time spent: 1.5min, 8.0% of total-time
Operation composed, time spent: 1.2min, 7.0% of total-time
Operation ival-add, time spent: 1.1min, 6.0% of total-time
Operation ival-tan, time spent: 44.6s, 4.0% of total-time
Operation ival-log, time spent: 39.5s, 4.0% of total-time
Operation ival-sub, time spent: 37.2s, 3.0% of total-time
Operation ival-exp, time spent: 27.8s, 3.0% of total-time
Operation ival-sqrt, time spent: 24.0s, 2.0% of total-time
Operation const, time spent: 18.1s, 2.0% of total-time
Operation ival-atan, time spent: 18.0s, 2.0% of total-time
Operation ival-asin, time spent: 9.4s, 1.0% of total-time
Operation ival-cbrt, time spent: 9.3s, 1.0% of total-time
Operation ival-acos, time spent: 6.6s, 1.0% of total-time
Operation ival-neg, time spent: 3.1s, 0.0% of total-time
Operation ival-atan2, time spent: 3.0s, 0.0% of total-time
Operation ival-fmax, time spent: 1.2s, 0.0% of total-time
Operation ival-fmod, time spent: 1.1s, 0.0% of total-time
Operation ival-if, time spent: 656.0ms, 0.0% of total-time
Operation ival-pi, time spent: 531.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 519.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 324.0ms, 0.0% of total-time
Operation ival->=, time spent: 323.0ms, 0.0% of total-time
Operation ival-e, time spent: 215.0ms, 0.0% of total-time
Operation ival-log2, time spent: 174.0ms, 0.0% of total-time
Operation ival-floor, time spent: 167.0ms, 0.0% of total-time
Operation ival->, time spent: 166.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 162.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 104.0ms, 0.0% of total-time
Operation ival-<, time spent: 41.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 11.0ms, 0.0% of total-time

eval12.2min (9.9%)

Compiler

Compiled 38182551 to 18969682 computations (50.3% saved)

simplify9.9min (8%)

Algorithm
2241×egg-herbie
Rules
691948×fma-define
499854×distribute-lft-in
495772×*-commutative
480654×fma-neg
471271×associate-*r*
Stop Event
536×saturated
327×fuel
1683×node limit
22×unsound
208×done
Counts
792652 → 699710
Results
Compiler

Compiled 127056 to 79789 computations (37.2% saved)

preprocess8.4min (6.8%)

Algorithm
539×egg-herbie
Rules
253137×fma-define
251439×fma-neg
117154×unsub-neg
100590×sub-neg
93579×distribute-lft-in
Stop Event
292×saturated
247×node limit
Results
Compiler

Compiled 494465 to 267601 computations (45.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 33.4s, 22.0% of total-time
Operation ival-sin, time spent: 22.9s, 15.0% of total-time
Operation ival-div, time spent: 21.0s, 14.0% of total-time
Operation ival-cos, time spent: 18.8s, 12.0% of total-time
Operation ival-pow, time spent: 13.9s, 9.0% of total-time
Operation ival-add, time spent: 12.6s, 8.0% of total-time
Operation ival-sub, time spent: 9.9s, 6.0% of total-time
Operation ival-log, time spent: 4.9s, 3.0% of total-time
Operation ival-tan, time spent: 3.9s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.9s, 3.0% of total-time
Operation const, time spent: 3.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.1s, 1.0% of total-time
Operation ival-atan, time spent: 839.0ms, 1.0% of total-time
Operation composed, time spent: 670.0ms, 0.0% of total-time
Operation ival-neg, time spent: 575.0ms, 0.0% of total-time
Operation ival-asin, time spent: 284.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 238.0ms, 0.0% of total-time
Operation ival-pi, time spent: 196.0ms, 0.0% of total-time
Operation ival-acos, time spent: 158.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 107.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 86.0ms, 0.0% of total-time
Operation ival-floor, time spent: 85.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 83.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 56.0ms, 0.0% of total-time
Operation ival->=, time spent: 37.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 35.0ms, 0.0% of total-time
Operation ival-if, time spent: 34.0ms, 0.0% of total-time
Operation ival-log2, time spent: 21.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 14.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 12.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time
Operation ival-<, time spent: 10.0ms, 0.0% of total-time
Operation ival->, time spent: 6.0ms, 0.0% of total-time

soundness8.2min (6.7%)

Rules
636486×fma-define
455041×fma-neg
424618×log1p-expm1-u
386744×associate-*r*
363402×distribute-lft-in
Stop Event
162×saturated
1715×node limit
21×unsound
Compiler

Compiled 298674 to 170600 computations (42.9% saved)

analyze7.5min (6.1%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.5%33.3%51.1%15.6%0%0%0%1
45.4%38%45.6%15.6%0%0.7%0%2
54.5%44.4%37.1%15.8%0%2.7%0%3
61.1%49.3%31.3%15.8%0%3.6%0%4
67.3%54%26.2%15.8%0%4%0%5
71.2%56.8%23%15.9%0%4.3%0%6
75.1%59.5%19.7%15.9%0%4.8%0.1%7
77.1%60.8%18%15.9%0%5.2%0.1%8
79.7%62.6%15.9%16%0%5.4%0.1%9
81.2%63.5%14.7%16%0%5.7%0.1%10
83.5%65.2%12.9%16%0%5.8%0.1%11
84.6%65.8%12%16%0%6%0.1%12
Results
Compiler

Compiled 13430 to 8701 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5min
Operation ival-mult, time spent: 54.2s, 26.0% of total-time
Operation ival-<=, time spent: 43.9s, 21.0% of total-time
Operation ival-fabs, time spent: 19.3s, 9.0% of total-time
Operation ival-div, time spent: 14.1s, 7.0% of total-time
Operation ival-add, time spent: 12.7s, 6.0% of total-time
Operation ival-floor, time spent: 8.3s, 4.0% of total-time
Operation ival-pow, time spent: 6.6s, 3.0% of total-time
Operation ival-and, time spent: 6.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 5.9s, 3.0% of total-time
Operation ival-sub, time spent: 5.8s, 3.0% of total-time
Operation ival-sin, time spent: 5.2s, 2.0% of total-time
Operation ival-tan, time spent: 5.2s, 2.0% of total-time
Operation const, time spent: 4.7s, 2.0% of total-time
Operation ival-log2, time spent: 4.4s, 2.0% of total-time
Operation ival-cos, time spent: 4.2s, 2.0% of total-time
Operation ival-fmax, time spent: 2.9s, 1.0% of total-time
Operation ival-if, time spent: 1.7s, 1.0% of total-time
Operation ival-==, time spent: 1.4s, 1.0% of total-time
Operation ival-log, time spent: 916.0ms, 0.0% of total-time
Operation ival-exp, time spent: 768.0ms, 0.0% of total-time
Operation ival-<, time spent: 572.0ms, 0.0% of total-time
Operation ival-neg, time spent: 552.0ms, 0.0% of total-time
Operation ival->, time spent: 518.0ms, 0.0% of total-time
Operation ival->=, time spent: 386.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 372.0ms, 0.0% of total-time
Operation ival-pi, time spent: 207.0ms, 0.0% of total-time
Operation ival-or, time spent: 207.0ms, 0.0% of total-time
Operation ival-acos, time spent: 142.0ms, 0.0% of total-time
Operation ival-atan, time spent: 113.0ms, 0.0% of total-time
Operation ival-asin, time spent: 93.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 41.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 32.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 19.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 16.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 7.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 1.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

regimes5.9min (4.8%)

Counts
87244 → 9243
Calls

1176 calls:

37.1s
x
31.4s
y
29.3s
z
24.1s
t
20.0s
a
Compiler

Compiled 88721 to 65913 computations (25.7% saved)

rewrite5.9min (4.8%)

Algorithm
1705×batch-egg-rewrite
Rules
1105567×log1p-expm1-u
829715×expm1-log1p-u
366674×pow1
351460×add-exp-log
339354×add-log-exp
Stop Event
1692×node limit
13×unsound
Counts
13673 → 445875

prune5.1min (4.2%)

Counts
1045762 → 35304
Compiler

Compiled 1642889 to 1076785 computations (34.5% saved)

bsearch3.1min (2.5%)

Algorithm
4687×binary-search
541×left-value
Stop Event
121×predicate-same
4566×narrow-enough
Results
1.6min427572×256valid
39.0s103958×256infinite
2.9s15889×256invalid
8.7s14231×512valid
4.8s8632×1024valid
2.7s2862×2048valid
1.9s2128×512infinite
1.0s615×4096valid
202.0ms300×1024infinite
100.0ms160×1024invalid
31.0ms159×256unsamplable
241.0ms129×2048infinite
45.0ms109×512invalid
338.0ms106×4096infinite
36.0ms41×2048invalid
12.0ms11×8192valid
Compiler

Compiled 1156195 to 856773 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-mult, time spent: 30.6s, 37.0% of total-time
Operation ival-sub, time spent: 12.5s, 15.0% of total-time
Operation ival-add, time spent: 9.6s, 12.0% of total-time
Operation ival-div, time spent: 8.5s, 10.0% of total-time
Operation ival-sin, time spent: 4.8s, 6.0% of total-time
Operation ival-pow, time spent: 4.6s, 6.0% of total-time
Operation ival-cos, time spent: 2.6s, 3.0% of total-time
Operation ival-log, time spent: 2.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 2.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-exp, time spent: 1.1s, 1.0% of total-time
Operation ival-tan, time spent: 953.0ms, 1.0% of total-time
Operation ival-neg, time spent: 532.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 494.0ms, 1.0% of total-time
Operation ival-atan, time spent: 245.0ms, 0.0% of total-time
Operation ival-acos, time spent: 223.0ms, 0.0% of total-time
Operation ival-asin, time spent: 116.0ms, 0.0% of total-time
Operation ival-pi, time spent: 57.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 48.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 44.0ms, 0.0% of total-time
Operation composed, time spent: 38.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 33.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 23.0ms, 0.0% of total-time
Operation ival-if, time spent: 7.0ms, 0.0% of total-time
Operation ival->=, time spent: 7.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 3.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 0.0ms, 0.0% of total-time

series2.0min (1.6%)

Counts
13673 → 346777
Calls

84534 calls:

TimeVariablePointExpression
477.0ms
c
@0
(* (* -2 (pow a 2)) (/ (pow c 3) (pow b 4)))
331.0ms
b
@0
(* -3/8 (/ (* a (pow c 2)) (pow b 3)))
321.0ms
im
@inf
(sqrt (/ (atan2 im re) (log 10)))
310.0ms
x
@-inf
(/ (/ 2 x) (- -1 x))
275.0ms
b
@inf
(- (* b b) (* (* 4 c) a))

end257.0ms (0%)

Profiling

Loading profile data...