Herbie run

Date:Wednesday, March 6th, 2024
Commit:790951ae on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024066
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.0hr)

sample31.1min (25.5%)

Results
12.0min3476005×256valid
1.8min530309×256infinite
1.6min168295×1024valid
1.4min164762×512valid
34.1s162156×256invalid
32.4s145579×256precondition
1.8min90266×2048valid
7.0min72688×8192exit
9.8s36937×256unsamplable
1.0min13117×4096valid
11.5s12184×512infinite
5.3s6986×1024invalid
2.2s4322×512invalid
2.9s2110×1024infinite
19.5s1884×8192valid
4.9s1389×2048infinite
6.4s1190×4096infinite
1.3s1172×2048invalid
9.0ms9×512unsamplable
5.0ms3×1024unsamplable
3.0ms1×2048unsamplable
Precisions
Click to see histograms. Total time spent on operations: 18.6min
Operation ival-pow, time spent: 5.0min, 27.0% of total-time
Operation ival-mult, time spent: 3.1min, 17.0% of total-time
Operation ival-sin, time spent: 2.0min, 11.0% of total-time
Operation ival-div, time spent: 1.8min, 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: 55.7s, 5.0% of total-time
Operation ival-exp, time spent: 43.2s, 4.0% of total-time
Operation ival-log, time spent: 40.7s, 4.0% of total-time
Operation ival-tan, time spent: 29.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 22.8s, 2.0% of total-time
Operation ival-<=, time spent: 21.2s, 2.0% of total-time
Operation const, time spent: 18.1s, 2.0% of total-time
Operation ival-neg, time spent: 7.3s, 1.0% of total-time
Operation ival-<, time spent: 6.5s, 1.0% of total-time
Operation ival-and, time spent: 4.3s, 0.0% of total-time
Operation ival-fabs, time spent: 4.1s, 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-acos, time spent: 2.8s, 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-sinh, time spent: 2.2s, 0.0% of total-time
Operation ival->, time spent: 2.2s, 0.0% of total-time
Operation composed, time spent: 1.5s, 0.0% of total-time
Operation ival-floor, time spent: 1.1s, 0.0% of total-time
Operation ival-cbrt, time spent: 832.0ms, 0.0% of total-time
Operation ival-==, time spent: 806.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 767.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 742.0ms, 0.0% of total-time
Operation ival->=, time spent: 494.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 370.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 361.0ms, 0.0% of total-time
Operation ival-log2, time spent: 341.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 281.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 168.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 123.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 106.0ms, 0.0% of total-time
Operation ival-or, time spent: 92.0ms, 0.0% of total-time
Operation ival-if, time spent: 88.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 82.0ms, 0.0% of total-time
Bogosity

localize24.6min (20.2%)

Results
Compiler

Compiled 463770 to 210856 computations (54.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.5min
Operation ival-sin, time spent: 3.4min, 20.0% of total-time
Operation ival-mult, time spent: 3.2min, 18.0% of total-time
Operation ival-pow, time spent: 2.3min, 13.0% of total-time
Operation ival-div, time spent: 1.5min, 9.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-cos, time spent: 55.5s, 5.0% of total-time
Operation ival-tan, time spent: 45.8s, 4.0% of total-time
Operation ival-log, time spent: 38.9s, 4.0% of total-time
Operation ival-sub, time spent: 38.8s, 4.0% of total-time
Operation ival-sqrt, time spent: 22.6s, 2.0% of total-time
Operation ival-atan, time spent: 18.2s, 2.0% of total-time
Operation ival-exp, time spent: 18.1s, 2.0% of total-time
Operation const, time spent: 17.7s, 2.0% of total-time
Operation ival-asin, time spent: 9.2s, 1.0% of total-time
Operation ival-cbrt, time spent: 7.4s, 1.0% of total-time
Operation ival-acos, time spent: 6.6s, 1.0% of total-time
Operation ival-neg, time spent: 2.9s, 0.0% of total-time
Operation ival-atan2, time spent: 2.1s, 0.0% of total-time
Operation ival-pi, time spent: 485.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 484.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 396.0ms, 0.0% of total-time
Operation ival->=, time spent: 349.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 252.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 224.0ms, 0.0% of total-time
Operation ival-log2, time spent: 163.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 124.0ms, 0.0% of total-time
Operation ival->, time spent: 111.0ms, 0.0% of total-time
Operation ival-floor, time spent: 88.0ms, 0.0% of total-time
Operation ival-if, time spent: 78.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 60.0ms, 0.0% of total-time
Operation ival-e, time spent: 50.0ms, 0.0% of total-time
Operation ival-<, time spent: 41.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 15.0ms, 0.0% of total-time

eval12.7min (10.4%)

Compiler

Compiled 37894775 to 19572713 computations (48.3% saved)

simplify9.5min (7.8%)

Algorithm
2248×egg-herbie
Rules
1198653×fma-define
898347×fma-neg
871851×*-commutative
868602×distribute-lft-in
851076×associate-*r*
Stop Event
537×saturated
332×fuel
1687×node limit
24×unsound
204×done
Counts
797322 → 694505
Compiler

Compiled 126497 to 79784 computations (36.9% saved)

regimes9.0min (7.4%)

Counts
87092 → 9212
Calls

1179 calls:

49.6s
x
49.2s
z
46.7s
y
35.0s
t
32.3s
a
Results
Compiler

Compiled 91456 to 68924 computations (24.6% saved)

soundness8.4min (6.9%)

Rules
1107030×fma-define
850244×fma-neg
686608×associate-*r*
636663×times-frac
619700×distribute-lft-in
Stop Event
159×saturated
1744×node limit
24×unsound
Compiler

Compiled 295072 to 168645 computations (42.8% saved)

preprocess6.9min (5.7%)

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
Compiler

Compiled 497123 to 270472 computations (45.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 33.8s, 22.0% of total-time
Operation ival-sin, time spent: 25.9s, 17.0% of total-time
Operation ival-div, time spent: 22.4s, 14.0% of total-time
Operation ival-cos, time spent: 20.1s, 13.0% of total-time
Operation ival-pow, time spent: 12.4s, 8.0% of total-time
Operation ival-add, time spent: 11.0s, 7.0% of total-time
Operation ival-sub, time spent: 9.2s, 6.0% of total-time
Operation ival-log, time spent: 5.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.8s, 2.0% of total-time
Operation ival-tan, time spent: 3.2s, 2.0% of total-time
Operation const, time spent: 3.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.4s, 2.0% of total-time
Operation ival-atan, time spent: 776.0ms, 0.0% of total-time
Operation ival-asin, time spent: 709.0ms, 0.0% of total-time
Operation composed, time spent: 600.0ms, 0.0% of total-time
Operation ival-neg, time spent: 512.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 279.0ms, 0.0% of total-time
Operation ival-acos, time spent: 279.0ms, 0.0% of total-time
Operation ival-pi, time spent: 212.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 118.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 91.0ms, 0.0% of total-time
Operation ival-floor, time spent: 56.0ms, 0.0% of total-time
Operation ival->=, time spent: 44.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 39.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 27.0ms, 0.0% of total-time
Operation ival-log2, time spent: 20.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 11.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 10.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 9.0ms, 0.0% of total-time
Operation ival-if, time spent: 7.0ms, 0.0% of total-time
Operation ival->, time spent: 6.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time

rewrite6.0min (4.9%)

Algorithm
1712×batch-egg-rewrite
Rules
1116924×log1p-expm1-u
843789×expm1-log1p-u
520177×prod-diff
516400×log-prod
410077×unpow-prod-down
Stop Event
1699×node limit
13×unsound
Counts
13672 → 448634

prune5.2min (4.3%)

Counts
1047173 → 34657
Compiler

Compiled 1608474 to 1068802 computations (33.6% saved)

bsearch3.6min (3%)

Algorithm
4668×binary-search
519×left-value
Stop Event
118×predicate-same
4550×narrow-enough
Results
1.6min431522×256valid
43.2s107422×256infinite
1.9s14147×256invalid
7.3s12010×512valid
5.2s6998×1024valid
31.1s6210×8192exit
2.6s2973×2048valid
938.0ms2344×256unsamplable
2.0s2236×512infinite
1.7s1292×4096valid
172.0ms200×1024infinite
23.0ms55×1024invalid
81.0ms20×4096infinite
4.0ms16×512invalid
22.0ms15×2048infinite
Compiler

Compiled 1135811 to 847899 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation ival-mult, time spent: 32.2s, 29.0% of total-time
Operation ival-pow, time spent: 31.3s, 28.0% of total-time
Operation ival-sub, time spent: 12.3s, 11.0% of total-time
Operation ival-add, time spent: 10.5s, 10.0% of total-time
Operation ival-div, time spent: 9.3s, 8.0% of total-time
Operation ival-sin, time spent: 3.3s, 3.0% of total-time
Operation ival-cos, time spent: 3.0s, 3.0% of total-time
Operation ival-log, time spent: 2.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 2.0% of total-time
Operation const, time spent: 1.5s, 1.0% of total-time
Operation ival-exp, time spent: 1.0s, 1.0% of total-time
Operation ival-neg, time spent: 427.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 399.0ms, 0.0% of total-time
Operation ival-tan, time spent: 387.0ms, 0.0% of total-time
Operation ival-atan, time spent: 325.0ms, 0.0% of total-time
Operation ival-acos, time spent: 275.0ms, 0.0% of total-time
Operation ival-asin, time spent: 143.0ms, 0.0% of total-time
Operation ival-pi, time spent: 104.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 73.0ms, 0.0% of total-time
Operation composed, time spent: 41.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 30.0ms, 0.0% of total-time
Operation ival->=, time spent: 10.0ms, 0.0% of total-time
Operation ival-cbrt, 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: 7.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 4.0ms, 0.0% of total-time
Operation ival-if, time spent: 2.0ms, 0.0% of total-time

analyze2.8min (2.3%)

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.5%54.1%26.1%15.8%0%4%0.1%5
71.3%56.9%22.8%15.9%0%4.3%0.1%6
75.2%59.6%19.6%15.9%0%4.8%0.1%7
77.2%60.9%18%15.9%0%5.1%0.1%8
79.8%62.7%15.8%16%0%5.4%0.1%9
81.4%63.7%14.6%16%0%5.6%0.1%10
83.6%65.3%12.8%16%0%5.7%0.1%11
84.7%66%11.9%16%0%5.9%0.2%12
Compiler

Compiled 13437 to 8705 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 20.0s, 22.0% of total-time
Operation ival-<=, time spent: 15.6s, 17.0% of total-time
Operation ival-div, time spent: 9.3s, 10.0% of total-time
Operation ival-add, time spent: 6.7s, 8.0% of total-time
Operation ival-pow, time spent: 6.4s, 7.0% of total-time
Operation ival-sin, time spent: 5.2s, 6.0% of total-time
Operation ival-sub, time spent: 4.8s, 5.0% of total-time
Operation ival-cos, time spent: 4.5s, 5.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 3.0% of total-time
Operation ival-tan, time spent: 2.0s, 2.0% of total-time
Operation ival-==, time spent: 2.0s, 2.0% of total-time
Operation const, time spent: 1.9s, 2.0% of total-time
Operation ival-fabs, time spent: 1.7s, 2.0% of total-time
Operation ival-and, time spent: 974.0ms, 1.0% of total-time
Operation ival-log, time spent: 964.0ms, 1.0% of total-time
Operation ival-floor, time spent: 712.0ms, 1.0% of total-time
Operation ival-neg, time spent: 612.0ms, 1.0% of total-time
Operation ival-exp, time spent: 593.0ms, 1.0% of total-time
Operation ival-<, time spent: 408.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 349.0ms, 0.0% of total-time
Operation ival->, time spent: 320.0ms, 0.0% of total-time
Operation ival-if, time spent: 314.0ms, 0.0% of total-time
Operation ival-log2, time spent: 260.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 258.0ms, 0.0% of total-time
Operation ival-pi, time spent: 196.0ms, 0.0% of total-time
Operation ival-or, time spent: 189.0ms, 0.0% of total-time
Operation ival-acos, time spent: 133.0ms, 0.0% of total-time
Operation ival-atan, time spent: 111.0ms, 0.0% of total-time
Operation ival-asin, time spent: 90.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 44.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 20.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 19.0ms, 0.0% of total-time
Operation ival->=, time spent: 16.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 11.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188: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: 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

series2.0min (1.6%)

Counts
13672 → 348688
Calls

84801 calls:

TimeVariablePointExpression
481.0ms
z
@inf
(* (* y z) (- (tanh (/ t y)) (/ x y)))
440.0ms
b
@inf
(log (+ 1 (exp (- b a))))
375.0ms
x
@0
(* x (log y))
335.0ms
z
@-inf
(log (* z x))
294.0ms
l
@inf
(* (/ 1 (* F F)) (/ (sin (* (PI) l)) (cos (* (PI) l))))

end289.0ms (0%)

Profiling

Loading profile data...