Herbie run

Date:Sunday, March 24th, 2024
Commit:5a8b346c on main
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: 2.0hr)

sample28.6min (23.6%)

Results
9.7min3468798×256valid
1.5min530389×256infinite
33.0s183724×256invalid
1.5min167137×1024valid
1.3min164431×512valid
29.0s144709×256precondition
1.8min90751×2048valid
5.0min49724×8192exit
8.2s37596×256unsamplable
54.9s13134×4096valid
9.0s12121×512infinite
6.2s9964×1024invalid
2.4s5767×512invalid
2.8s2114×1024infinite
21.2s1859×8192valid
4.7s1451×2048infinite
1.2s1268×2048invalid
5.7s1191×4096infinite
7.0ms9×512unsamplable
6.0ms3×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 16.8min
Operation ival-pow, time spent: 3.7min, 22.0% of total-time
Operation ival-mult, time spent: 2.8min, 17.0% of total-time
Operation ival-sin, time spent: 2.0min, 12.0% of total-time
Operation ival-div, time spent: 1.5min, 9.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: 53.2s, 5.0% of total-time
Operation ival-exp, time spent: 40.5s, 4.0% of total-time
Operation ival-log, time spent: 39.2s, 4.0% of total-time
Operation ival-tan, time spent: 30.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 24.4s, 2.0% of total-time
Operation ival-<=, time spent: 20.9s, 2.0% of total-time
Operation const, time spent: 16.3s, 2.0% of total-time
Operation ival-neg, time spent: 7.7s, 1.0% of total-time
Operation ival-fabs, time spent: 7.1s, 1.0% of total-time
Operation ival-<, time spent: 6.3s, 1.0% of total-time
Operation ival-and, time spent: 4.1s, 0.0% of total-time
Operation ival-pi, time spent: 3.7s, 0.0% of total-time
Operation ival-atan, time spent: 3.3s, 0.0% of total-time
Operation ival-atan2, time spent: 2.8s, 0.0% of total-time
Operation ival-acos, time spent: 2.4s, 0.0% of total-time
Operation ival->, time spent: 2.3s, 0.0% of total-time
Operation ival-asin, time spent: 2.3s, 0.0% of total-time
Operation ival-sinh, time spent: 1.7s, 0.0% of total-time
Operation composed, time spent: 1.1s, 0.0% of total-time
Operation ival-fmin, time spent: 1.0s, 0.0% of total-time
Operation ival-==, time spent: 763.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 745.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 667.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 629.0ms, 0.0% of total-time
Operation ival-floor, time spent: 588.0ms, 0.0% of total-time
Operation ival->=, time spent: 535.0ms, 0.0% of total-time
Operation ival-if, time spent: 501.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 340.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 321.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 314.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 311.0ms, 0.0% of total-time
Operation ival-log2, time spent: 172.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 106.0ms, 0.0% of total-time
Operation ival-or, time spent: 84.0ms, 0.0% of total-time
Bogosity

localize25.5min (21%)

Results
5.5min333003×256valid
34.6s44394×256infinite
48.0s25129×256invalid
1.6min16870×1024valid
1.4min15923×512valid
2.3min12544×2048valid
7.2min9865×8192exit
3.6s2037×256unsamplable
37.4s1142×4096valid
14.5s1089×2048infinite
8.6s908×512infinite
12.0s861×1024infinite
2.3s310×512invalid
3.8s303×1024invalid
7.5s268×4096infinite
6.4s40×8192valid
1.2s36×8192infinite
99.0ms23×2048invalid
Compiler

Compiled 456850 to 208466 computations (54.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.3min
Operation ival-mult, time spent: 3.4min, 19.0% of total-time
Operation ival-pow, time spent: 2.7min, 15.0% of total-time
Operation ival-sin, time spent: 2.1min, 11.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.4min, 7.0% of total-time
Operation ival-add, time spent: 1.1min, 6.0% of total-time
Operation ival-tan, time spent: 1.0min, 6.0% of total-time
Operation ival-log, time spent: 44.7s, 4.0% of total-time
Operation ival-sub, time spent: 36.1s, 3.0% of total-time
Operation ival-exp, time spent: 30.8s, 3.0% of total-time
Operation ival-sqrt, time spent: 23.8s, 2.0% of total-time
Operation const, time spent: 18.5s, 2.0% of total-time
Operation ival-atan, time spent: 18.4s, 2.0% of total-time
Operation ival-cbrt, time spent: 11.0s, 1.0% of total-time
Operation ival-asin, time spent: 10.6s, 1.0% of total-time
Operation ival-acos, time spent: 6.7s, 1.0% of total-time
Operation ival-neg, time spent: 3.8s, 0.0% of total-time
Operation ival-atan2, time spent: 2.3s, 0.0% of total-time
Operation ival-fmod, time spent: 1.6s, 0.0% of total-time
Operation ival-fmax, time spent: 930.0ms, 0.0% of total-time
Operation ival-pi, time spent: 661.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 458.0ms, 0.0% of total-time
Operation ival-if, time spent: 425.0ms, 0.0% of total-time
Operation ival-e, time spent: 353.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 301.0ms, 0.0% of total-time
Operation ival->=, time spent: 275.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 230.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 184.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 181.0ms, 0.0% of total-time
Operation ival->, time spent: 128.0ms, 0.0% of total-time
Operation ival-floor, time spent: 102.0ms, 0.0% of total-time
Operation ival-log2, time spent: 73.0ms, 0.0% of total-time
Operation ival-<, time spent: 38.0ms, 0.0% of total-time

eval12.9min (10.6%)

Compiler

Compiled 38553740 to 19760329 computations (48.7% saved)

simplify9.8min (8.1%)

Algorithm
2247×egg-herbie
Rules
685999×fma-define
498939×fma-neg
496680×associate-*r*
494108×*-commutative
488890×distribute-lft-in
Stop Event
538×saturated
1688×node limit
21×unsound
Counts
803195 → 699111

soundness8.1min (6.7%)

Rules
624648×fma-define
470326×fma-neg
421246×log1p-expm1-u
393918×associate-*r*
351312×distribute-lft-in
Stop Event
154×saturated
329×fuel
1728×node limit
16×unsound
208×done
Compiler

Compiled 410144 to 230493 computations (43.8% saved)

analyze7.5min (6.2%)

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
Compiler

Compiled 13430 to 8701 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2min
Operation ival-mult, time spent: 50.2s, 26.0% of total-time
Operation ival-<=, time spent: 34.3s, 18.0% of total-time
Operation ival-fabs, time spent: 19.0s, 10.0% of total-time
Operation ival-add, time spent: 12.8s, 7.0% of total-time
Operation ival-div, time spent: 10.8s, 6.0% of total-time
Operation ival-floor, time spent: 8.0s, 4.0% of total-time
Operation ival-sqrt, time spent: 6.5s, 3.0% of total-time
Operation ival-pow, time spent: 6.3s, 3.0% of total-time
Operation ival-and, time spent: 5.9s, 3.0% of total-time
Operation ival-tan, time spent: 5.8s, 3.0% of total-time
Operation ival-sub, time spent: 5.2s, 3.0% of total-time
Operation const, time spent: 4.4s, 2.0% of total-time
Operation ival-sin, time spent: 4.3s, 2.0% of total-time
Operation ival-log2, time spent: 3.9s, 2.0% of total-time
Operation ival-fmax, time spent: 3.7s, 2.0% of total-time
Operation ival-cos, time spent: 3.2s, 2.0% of total-time
Operation ival-==, time spent: 2.5s, 1.0% of total-time
Operation ival-if, time spent: 1.8s, 1.0% of total-time
Operation ival-log, time spent: 1.0s, 1.0% of total-time
Operation ival-exp, time spent: 667.0ms, 0.0% of total-time
Operation ival-<, time spent: 604.0ms, 0.0% of total-time
Operation ival-neg, time spent: 544.0ms, 0.0% of total-time
Operation ival->, time spent: 447.0ms, 0.0% of total-time
Operation ival->=, time spent: 339.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 324.0ms, 0.0% of total-time
Operation ival-pi, time spent: 294.0ms, 0.0% of total-time
Operation ival-or, time spent: 192.0ms, 0.0% of total-time
Operation ival-acos, time spent: 149.0ms, 0.0% of total-time
Operation ival-asin, time spent: 148.0ms, 0.0% of total-time
Operation ival-atan, time spent: 108.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-cosh, time spent: 26.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 20.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 12.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 3.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

preprocess6.8min (5.6%)

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
1.3min208514×256valid
9.9s32066×256infinite
20.8s13192×1024valid
18.7s11766×512valid
24.3s7148×2048valid
3.4s1112×512infinite
31.4s1094×4096valid
2.7s496×1024infinite
1.6s242×2048infinite
1.8s124×4096infinite
368.0ms118×8192exit
9.0s96×8192valid
Compiler

Compiled 461181 to 250587 computations (45.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-mult, time spent: 31.9s, 21.0% of total-time
Operation ival-sin, time spent: 23.8s, 16.0% of total-time
Operation ival-div, time spent: 21.5s, 14.0% of total-time
Operation ival-cos, time spent: 17.0s, 11.0% of total-time
Operation ival-pow, time spent: 13.6s, 9.0% of total-time
Operation ival-add, time spent: 11.1s, 7.0% of total-time
Operation ival-sub, time spent: 9.9s, 7.0% of total-time
Operation ival-log, time spent: 5.5s, 4.0% of total-time
Operation ival-tan, time spent: 3.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.1s, 2.0% of total-time
Operation const, time spent: 2.9s, 2.0% of total-time
Operation ival-exp, time spent: 2.0s, 1.0% of total-time
Operation ival-atan, time spent: 723.0ms, 0.0% of total-time
Operation composed, time spent: 678.0ms, 0.0% of total-time
Operation ival-neg, time spent: 612.0ms, 0.0% of total-time
Operation ival-asin, time spent: 371.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 231.0ms, 0.0% of total-time
Operation ival-pi, time spent: 217.0ms, 0.0% of total-time
Operation ival-acos, time spent: 211.0ms, 0.0% of total-time
Operation ival-if, time spent: 176.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 106.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 94.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 91.0ms, 0.0% of total-time
Operation ival-floor, time spent: 44.0ms, 0.0% of total-time
Operation ival->=, time spent: 39.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 37.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 29.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 14.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 13.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 12.0ms, 0.0% of total-time
Operation ival-log2, time spent: 10.0ms, 0.0% of total-time
Operation ival->, time spent: 8.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time

rewrite6.1min (5%)

Algorithm
1710×batch-egg-rewrite
Rules
1123502×log1p-expm1-u
830531×expm1-log1p-u
365664×pow1
347806×add-exp-log
334157×add-log-exp
Stop Event
1699×node limit
11×unsound
Counts
13687 → 458666

prune5.3min (4.4%)

Counts
1065106 → 34853
Compiler

Compiled 1597711 to 1066460 computations (33.3% saved)

regimes4.5min (3.7%)

Counts
88554 → 9387
Calls

1176 calls:

28.3s
x
22.0s
z
21.8s
y
17.8s
t
14.0s
a
Compiler

Compiled 88223 to 66877 computations (24.2% saved)

bsearch3.3min (2.7%)

Algorithm
4803×binary-search
553×left-value
Stop Event
113×predicate-same
4690×narrow-enough
Results
1.4min437647×256valid
38.3s112554×256infinite
3.2s20552×256invalid
10.4s16937×512valid
5.4s9161×1024valid
2.5s2832×2048valid
2.6s2720×512infinite
724.0ms803×4096valid
323.0ms259×1024infinite
67.0ms169×256unsamplable
74.0ms89×512invalid
37.0ms82×1024invalid
133.0ms44×2048infinite
106.0ms39×4096infinite
14.0ms12×8192valid
Compiler

Compiled 1159444 to 864644 computations (25.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 34.0s, 39.0% of total-time
Operation ival-sub, time spent: 12.7s, 14.0% of total-time
Operation ival-add, time spent: 10.3s, 12.0% of total-time
Operation ival-div, time spent: 8.5s, 10.0% of total-time
Operation ival-pow, time spent: 4.3s, 5.0% of total-time
Operation ival-sin, time spent: 3.9s, 4.0% of total-time
Operation ival-cos, time spent: 3.6s, 4.0% of total-time
Operation ival-log, time spent: 2.6s, 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.3s, 1.0% of total-time
Operation ival-atan2, time spent: 886.0ms, 1.0% of total-time
Operation ival-tan, time spent: 597.0ms, 1.0% of total-time
Operation ival-neg, time spent: 586.0ms, 1.0% of total-time
Operation ival-atan, time spent: 301.0ms, 0.0% of total-time
Operation ival-acos, time spent: 273.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 173.0ms, 0.0% of total-time
Operation ival-pi, time spent: 91.0ms, 0.0% of total-time
Operation ival->=, time spent: 90.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 84.0ms, 0.0% of total-time
Operation composed, time spent: 47.0ms, 0.0% of total-time
Operation ival-asin, time spent: 27.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 23.0ms, 0.0% of total-time
Operation ival-if, time spent: 14.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 11.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 4.0ms, 0.0% of total-time

series2.1min (1.7%)

Counts
13687 → 344529
Calls

83433 calls:

TimeVariablePointExpression
916.0ms
u
@inf
(* u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))))
458.0ms
t
@inf
(* (/ y x) (tanh (/ t y)))
457.0ms
t
@-inf
(pow (* 2 (* n (* U t))) 1/6)
429.0ms
x
@-inf
(+ (log (sqrt x)) (log (/ (sqrt x) y)))
354.0ms
c
@0
(exp (* (+ (log (* -4 c)) (log a)) 1/2))

end52.1s (0.7%)

Precisions
Click to see histograms. Total time spent on operations: 33.4s
Operation ival-<=, time spent: 23.1s, 69.0% of total-time
Operation ival-pow, time spent: 7.5s, 22.0% of total-time
Operation const, time spent: 2.9s, 9.0% of total-time

Profiling

Loading profile data...