Herbie run

Date:Wednesday, January 31st, 2024
Commit:c25f4985 on artem-tuning-128start-20-256-512-1024-2048
Hostname:nightly with Racket 8.11.1
Seed:2024031
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)

sample33.1min (26.2%)

Results
13.2min3395862×0valid
2.1min529278×0infinite
2.2min263071×1valid
50.5s180758×0invalid
36.8s147539×0precondition
1.9min131298×2valid
2.9min106239×3valid
30.9s83144×1invalid
4.2min46576×5exit
13.8s45237×0unsamplable
53.9s17167×4valid
10.1s11887×2invalid
9.7s9190×1infinite
8.5s6889×2infinite
1.6s2853×3invalid
5.5s1753×3infinite
15.0s1146×5valid
9.1s942×4infinite
8.3s360×5infinite
34.0ms24×2unsamplable
16.0ms5×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 21.2min
Operation ival-add, time spent: 3.2min, 15.0% of total-time
Operation ival-sub, time spent: 3.1min, 15.0% of total-time
Operation ival-pow, time spent: 3.1min, 15.0% of total-time
Operation ival-mult, time spent: 2.8min, 13.0% of total-time
Operation ival-sin, time spent: 2.4min, 11.0% of total-time
Operation ival-div, time spent: 1.6min, 7.0% of total-time
Operation ival-cos, time spent: 1.4min, 7.0% of total-time
Operation ival-exp, time spent: 39.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 35.4s, 3.0% of total-time
Operation ival-log, time spent: 33.3s, 3.0% of total-time
Operation const, time spent: 23.5s, 2.0% of total-time
Operation ival-tan, time spent: 21.3s, 2.0% of total-time
Operation ival-<=, time spent: 21.1s, 2.0% of total-time
Operation ival-neg, time spent: 6.8s, 1.0% of total-time
Operation ival-<, time spent: 6.6s, 1.0% of total-time
Operation ival-fabs, time spent: 6.0s, 0.0% of total-time
Operation ival-and, time spent: 5.1s, 0.0% of total-time
Operation ival-pi, time spent: 3.6s, 0.0% of total-time
Operation ival-asin, time spent: 3.0s, 0.0% of total-time
Operation ival->, time spent: 2.5s, 0.0% of total-time
Operation ival-acos, time spent: 2.4s, 0.0% of total-time
Operation ival-atan2, time spent: 2.2s, 0.0% of total-time
Operation ival-atan, time spent: 2.0s, 0.0% of total-time
Operation ival-fmod, time spent: 1.4s, 0.0% of total-time
Operation ival-==, time spent: 1.0s, 0.0% of total-time
Operation ival-sinh, time spent: 951.0ms, 0.0% of total-time
Operation ival-floor, time spent: 908.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 743.0ms, 0.0% of total-time
Operation ival->=, time spent: 624.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 423.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 414.0ms, 0.0% of total-time
Operation ival-log2, time spent: 383.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 359.0ms, 0.0% of total-time
Operation ival-fma, time spent: 323.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 307.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 247.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 197.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 125.0ms, 0.0% of total-time
Operation ival-or, time spent: 107.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 103.0ms, 0.0% of total-time
Operation ival-if, time spent: 97.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:191:8, time spent: 92.0ms, 0.0% of total-time
Bogosity

localize24.6min (19.5%)

Results
Compiler

Compiled 433240 to 195697 computations (54.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.1min
Operation ival-pow, time spent: 2.9min, 15.0% of total-time
Operation ival-sin, time spent: 2.8min, 15.0% of total-time
Operation ival-add, time spent: 2.6min, 13.0% of total-time
Operation ival-mult, time spent: 2.4min, 13.0% of total-time
Operation ival-sub, time spent: 1.7min, 9.0% of total-time
Operation ival-div, time spent: 1.4min, 7.0% of total-time
Operation ival-tan, time spent: 54.8s, 5.0% of total-time
Operation ival-cos, time spent: 47.1s, 4.0% of total-time
Operation ival-fma, time spent: 37.1s, 3.0% of total-time
Operation ival-asin, time spent: 32.8s, 3.0% of total-time
Operation ival-sqrt, time spent: 32.8s, 3.0% of total-time
Operation const, time spent: 23.6s, 2.0% of total-time
Operation ival-atan, time spent: 21.4s, 2.0% of total-time
Operation ival-acos, time spent: 17.8s, 2.0% of total-time
Operation ival-log, time spent: 14.1s, 1.0% of total-time
Operation ival-exp, time spent: 13.8s, 1.0% of total-time
Operation ival-cbrt, time spent: 6.9s, 1.0% of total-time
Operation ival-log1p, time spent: 5.5s, 0.0% of total-time
Operation ival-expm1, time spent: 2.7s, 0.0% of total-time
Operation ival-neg, time spent: 2.6s, 0.0% of total-time
Operation ival-hypot, time spent: 2.6s, 0.0% of total-time
Operation ival-atan2, time spent: 1.2s, 0.0% of total-time
Operation ival-fmod, time spent: 779.0ms, 0.0% of total-time
Operation ival-pi, time spent: 317.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 314.0ms, 0.0% of total-time
Operation ival->=, time spent: 238.0ms, 0.0% of total-time
Operation ival-log2, time spent: 198.0ms, 0.0% of total-time
Operation ival-e, time spent: 197.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 172.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 134.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 129.0ms, 0.0% of total-time
Operation ival->, time spent: 108.0ms, 0.0% of total-time
Operation ival-floor, time spent: 88.0ms, 0.0% of total-time
Operation ival-if, time spent: 73.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 63.0ms, 0.0% of total-time
Operation ival-<, time spent: 28.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 14.0ms, 0.0% of total-time

soundness15.0min (11.8%)

Rules
2144665×fma-def
1242406×associate-*r*
1118422×times-frac
1041307×log-prod
977067×fma-neg
Stop Event
124×saturated
3238×node limit
34×unsound
Results
Compiler

Compiled 291367 to 167109 computations (42.6% saved)

eval11.8min (9.4%)

Results
Compiler

Compiled 34387261 to 18358351 computations (46.6% saved)

regimes8.6min (6.8%)

Counts
80638 → 9251
Calls

1182 calls:

54.7s
x
44.2s
z
43.7s
y
35.4s
t
33.4s
a
Compiler

Compiled 88472 to 66589 computations (24.7% saved)

simplify8.0min (6.3%)

Algorithm
2230×egg-herbie
Rules
1233846×fma-def
852025×log-prod
823741×associate-*r*
769303×times-frac
719868×associate-*l*
Stop Event
535×saturated
324×fuel
1678×node limit
17×unsound
211×done
Counts
749023 → 589836
Compiler

Compiled 123810 to 77513 computations (37.4% saved)

preprocess7.2min (5.7%)

Algorithm
540×egg-herbie
Rules
688760×fma-def
250704×fma-neg
220606×sub-neg
215885×div-sub
202671×unsub-neg
Stop Event
201×saturated
339×node limit
Results
Compiler

Compiled 474512 to 253520 computations (46.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5min
Operation ival-sin, time spent: 40.5s, 19.0% of total-time
Operation ival-mult, time spent: 31.4s, 15.0% of total-time
Operation ival-add, time spent: 30.9s, 15.0% of total-time
Operation ival-sub, time spent: 27.5s, 13.0% of total-time
Operation ival-cos, time spent: 24.4s, 12.0% of total-time
Operation ival-pow, time spent: 18.6s, 9.0% of total-time
Operation ival-div, time spent: 17.7s, 8.0% of total-time
Operation ival-sqrt, time spent: 4.9s, 2.0% of total-time
Operation const, time spent: 4.0s, 2.0% of total-time
Operation ival-exp, time spent: 2.7s, 1.0% of total-time
Operation ival-log, time spent: 2.6s, 1.0% of total-time
Operation ival-tan, time spent: 2.5s, 1.0% of total-time
Operation ival-neg, time spent: 633.0ms, 0.0% of total-time
Operation ival-atan, time spent: 470.0ms, 0.0% of total-time
Operation ival-asin, time spent: 314.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 172.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 169.0ms, 0.0% of total-time
Operation ival-pi, time spent: 148.0ms, 0.0% of total-time
Operation ival-acos, time spent: 101.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 100.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 56.0ms, 0.0% of total-time
Operation ival-floor, time spent: 38.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 37.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 36.0ms, 0.0% of total-time
Operation ival-log1p, time spent: 29.0ms, 0.0% of total-time
Operation ival->=, time spent: 26.0ms, 0.0% of total-time
Operation ival-log2, time spent: 24.0ms, 0.0% of total-time
Operation ival-fma, time spent: 19.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 8.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 7.0ms, 0.0% of total-time
Operation ival-if, time spent: 7.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 7.0ms, 0.0% of total-time
Operation ival->, time spent: 7.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time

rewrite5.8min (4.6%)

Algorithm
1694×batch-egg-rewrite
Rules
982473×log1p-expm1-u
750257×expm1-log1p-u
559323×expm1-udef
552998×prod-diff
524816×log-prod
Stop Event
1678×node limit
16×unsound
Counts
13066 → 451404

prune4.3min (3.4%)

Counts
918835 → 33905
Compiler

Compiled 1529076 to 1019446 computations (33.3% saved)

bsearch3.8min (3%)

Algorithm
4839×binary-search
512×left-value
Stop Event
104×predicate-same
4735×narrow-enough
Results
1.9min421519×0valid
55.5s114528×0infinite
13.7s24805×1valid
5.1s22630×0invalid
7.3s11173×2valid
2.3s2353×3valid
1.7s1418×2infinite
289.0ms657×1infinite
663.0ms535×4valid
721.0ms498×5exit
333.0ms189×5valid
251.0ms156×3infinite
48.0ms143×1invalid
73.0ms108×2invalid
14.0ms84×0unsamplable
62.0ms11×4infinite
Compiler

Compiled 1155383 to 856433 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sub, time spent: 38.4s, 31.0% of total-time
Operation ival-mult, time spent: 31.2s, 25.0% of total-time
Operation ival-add, time spent: 26.9s, 22.0% of total-time
Operation ival-div, time spent: 7.5s, 6.0% of total-time
Operation ival-sin, time spent: 3.9s, 3.0% of total-time
Operation ival-pow, time spent: 3.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.9s, 2.0% of total-time
Operation ival-cos, time spent: 2.7s, 2.0% of total-time
Operation ival-log, time spent: 2.5s, 2.0% of total-time
Operation const, time spent: 2.0s, 2.0% of total-time
Operation ival-exp, time spent: 919.0ms, 1.0% of total-time
Operation ival-neg, time spent: 471.0ms, 0.0% of total-time
Operation ival-tan, time spent: 443.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 408.0ms, 0.0% of total-time
Operation ival-asin, time spent: 176.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 174.0ms, 0.0% of total-time
Operation ival-acos, time spent: 124.0ms, 0.0% of total-time
Operation ival-atan, time spent: 105.0ms, 0.0% of total-time
Operation ival->=, time spent: 88.0ms, 0.0% of total-time
Operation ival-pi, time spent: 55.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 41.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 17.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 15.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 3.0ms, 0.0% of total-time

analyze2.3min (1.8%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.7%33.6%50.9%15.6%0%0%0%1
45.5%38%45.6%15.6%0%0.7%0%2
54.6%44.5%37.1%15.8%0%2.7%0%3
61.2%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%22.9%15.9%0%4.4%0%6
75.1%59.5%19.7%15.9%0%4.9%0.1%7
77.1%60.7%18%15.9%0%5.2%0.1%8
79.7%62.5%15.9%16%0%5.5%0.1%9
81.3%63.5%14.6%16%0%5.8%0.1%10
83.6%65.1%12.8%16%0%5.9%0.1%11
84.7%65.8%11.9%16%0%6.1%0.1%12
Compiler

Compiled 13437 to 8681 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-pow, time spent: 21.8s, 24.0% of total-time
Operation ival-mult, time spent: 16.9s, 19.0% of total-time
Operation ival-<=, time spent: 8.7s, 10.0% of total-time
Operation ival-div, time spent: 7.8s, 9.0% of total-time
Operation ival-add, time spent: 6.4s, 7.0% of total-time
Operation ival-sub, time spent: 5.0s, 5.0% of total-time
Operation ival-sqrt, time spent: 4.2s, 5.0% of total-time
Operation ival-sin, time spent: 4.0s, 4.0% of total-time
Operation ival-cos, time spent: 3.7s, 4.0% of total-time
Operation ival-tan, time spent: 1.7s, 2.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-fabs, time spent: 1.4s, 2.0% of total-time
Operation ival-log, time spent: 1.3s, 1.0% of total-time
Operation ival-and, time spent: 848.0ms, 1.0% of total-time
Operation ival-==, time spent: 770.0ms, 1.0% of total-time
Operation ival-exp, time spent: 658.0ms, 1.0% of total-time
Operation ival-floor, time spent: 570.0ms, 1.0% of total-time
Operation ival-<, time spent: 436.0ms, 0.0% of total-time
Operation ival-neg, time spent: 423.0ms, 0.0% of total-time
Operation ival-acos, time spent: 304.0ms, 0.0% of total-time
Operation ival-if, time spent: 291.0ms, 0.0% of total-time
Operation ival-log2, time spent: 278.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 211.0ms, 0.0% of total-time
Operation ival->, time spent: 208.0ms, 0.0% of total-time
Operation ival-or, time spent: 168.0ms, 0.0% of total-time
Operation ival-pi, time spent: 155.0ms, 0.0% of total-time
Operation ival-asin, time spent: 132.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 118.0ms, 0.0% of total-time
Operation ival-atan, time spent: 112.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 35.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 19.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 18.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 17.0ms, 0.0% of total-time
Operation ival->=, time spent: 16.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 9.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:191:8, time spent: 7.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 4.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 2.0ms, 0.0% of total-time
Operation ival-fma, time spent: 0.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 0.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

series1.8min (1.4%)

Counts
13066 → 297619
Calls

78864 calls:

TimeVariablePointExpression
896.0ms
hi
@inf
(/.f64 (-.f64 x lo) hi)
466.0ms
v
@-inf
(-.f64 (exp.f64 (log1p.f64 (acos.f64 (+.f64 (*.f64 4 (+.f64 (pow.f64 v 2) (pow.f64 v 4))) -1)))) 1)
454.0ms
a
@inf
(-.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 a -3/2) (/.f64 b c)))) 1)
440.0ms
a
@-inf
(pow.f64 (pow.f64 (*.f64 (/.f64 a b) c) 3) 1/3)
424.0ms
b
@-inf
(pow.f64 (-.f64 (/.f64 (neg.f64 c) b) (*.f64 (pow.f64 c 2) (*.f64 a (pow.f64 b -3)))) 3)

end213.0ms (0%)

Profiling

Loading profile data...