Herbie run

Date:Wednesday, April 24th, 2024
Commit:32556fa0 on varun10p-platforms
Hostname:nightly with Racket 8.11.1
Seed:2024115
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: 35.8min)

sample7.3min (20.5%)

Results
5.1min1823359×256valid
59.7s341602×256infinite
13.6s64621×256invalid
14.6s30124×512valid
9.8s19048×1024valid
2.6s4884×2048valid
1.9s1570×8192exit
303.0ms1108×512infinite
418.0ms734×1024infinite
342.0ms665×1024invalid
274.0ms604×512invalid
10.0ms5×4096valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 53.2s, 35.0% of total-time
Operation ival-add, time spent: 22.1s, 14.0% of total-time
Operation ival-sub, time spent: 21.8s, 14.0% of total-time
Operation ival-div, time spent: 20.8s, 14.0% of total-time
Operation ival-log, time spent: 11.4s, 7.0% of total-time
Operation ival-sqrt, time spent: 6.8s, 4.0% of total-time
Operation ival-sin, time spent: 5.7s, 4.0% of total-time
Operation const, time spent: 4.3s, 3.0% of total-time
Operation ival-cos, time spent: 3.7s, 2.0% of total-time
Operation ival-exp, time spent: 1.7s, 1.0% of total-time
Operation ival-tan, time spent: 432.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 397.0ms, 0.0% of total-time
Operation ival-acos, time spent: 234.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 231.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 172.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 126.0ms, 0.0% of total-time
Bogosity

localize4.4min (12.3%)

Compiler

Compiled 116616 to 50698 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-mult, time spent: 40.5s, 27.0% of total-time
Operation ival-add, time spent: 18.7s, 12.0% of total-time
Operation ival-pow, time spent: 17.6s, 12.0% of total-time
Operation ival-div, time spent: 17.5s, 11.0% of total-time
Operation composed, time spent: 12.5s, 8.0% of total-time
Operation ival-sub, time spent: 8.9s, 6.0% of total-time
Operation ival-sin, time spent: 7.8s, 5.0% of total-time
Operation ival-log, time spent: 7.6s, 5.0% of total-time
Operation ival-cos, time spent: 5.7s, 4.0% of total-time
Operation ival-sqrt, time spent: 5.3s, 4.0% of total-time
Operation ival-exp, time spent: 3.5s, 2.0% of total-time
Operation const, time spent: 3.4s, 2.0% of total-time
Operation ival-tan, time spent: 1.4s, 1.0% of total-time
Operation ival-cbrt, time spent: 866.0ms, 1.0% of total-time
Operation ival-neg, time spent: 646.0ms, 0.0% of total-time
Operation ival-acos, time spent: 109.0ms, 0.0% of total-time
Operation ival-e, time spent: 45.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 35.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 23.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 18.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 12.0ms, 0.0% of total-time

simplify4.3min (12%)

Algorithm
1100×egg-herbie
Rules
299082×fma-define
248421×fmm-def
208441×*-commutative
206075×associate-*r*
205659×distribute-lft-in
Stop Event
271×saturated
824×node limit
149×fuel
5×unsound
120×done
Counts
385759 → 329469
Compiler

Compiled 66571 to 40375 computations (39.4% saved)

eval3.4min (9.5%)

Compiler

Compiled 9482046 to 4935111 computations (48% saved)

soundness3.4min (9.5%)

Rules
247529×fma-define
212032×fmm-def
178768×log1p-expm1-u
142105×associate-*r*
140381×distribute-lft-in
Stop Event
83×saturated
729×node limit
3×unsound
Compiler

Compiled 92254 to 51187 computations (44.5% saved)

rewrite3.0min (8.4%)

Algorithm
831×batch-egg-rewrite
Rules
592428×log1p-expm1-u
427041×expm1-log1p-u
162475×pow1
155293×add-exp-log
149327×add-log-exp
Stop Event
1×saturated
828×node limit
2×unsound
Counts
5913 → 214458

regimes2.4min (6.8%)

Counts
35469 → 5729
Calls

485 calls:

22.9s
y
20.6s
x
19.7s
z
15.7s
t
13.6s
a
Compiler

Compiled 44229 to 35001 computations (20.9% saved)

preprocess2.2min (6.2%)

Algorithm
269×egg-herbie
Rules
137764×fmm-def
117089×fma-define
51035×unsub-neg
50338×sub-neg
47100×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 195613 to 98298 computations (49.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.5s
Operation ival-mult, time spent: 7.3s, 35.0% of total-time
Operation ival-sub, time spent: 3.4s, 16.0% of total-time
Operation ival-add, time spent: 2.8s, 14.0% of total-time
Operation ival-log, time spent: 2.6s, 12.0% of total-time
Operation ival-div, time spent: 1.9s, 9.0% of total-time
Operation ival-sqrt, time spent: 630.0ms, 3.0% of total-time
Operation const, time spent: 608.0ms, 3.0% of total-time
Operation ival-cos, time spent: 553.0ms, 3.0% of total-time
Operation ival-sin, time spent: 466.0ms, 2.0% of total-time
Operation ival-exp, time spent: 190.0ms, 1.0% of total-time
Operation ival-acos, time spent: 81.0ms, 0.0% of total-time
Operation ival-tan, time spent: 29.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 17.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 11.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 9.0ms, 0.0% of total-time

bsearch2.1min (5.8%)

Algorithm
3449×binary-search
263×left-value
Stop Event
51×predicate-same
3398×narrow-enough
Results
1.1min317718×256valid
33.9s89522×256infinite
1.4s7294×256invalid
1.7s4634×512valid
1.5s3352×1024valid
247.0ms236×2048valid
44.0ms123×512infinite
47.0ms95×1024infinite
Compiler

Compiled 773188 to 575867 computations (25.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 47.1s
Operation ival-mult, time spent: 21.6s, 46.0% of total-time
Operation ival-sub, time spent: 10.7s, 23.0% of total-time
Operation ival-add, time spent: 5.7s, 12.0% of total-time
Operation ival-div, time spent: 4.0s, 8.0% of total-time
Operation ival-log, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 3.0% of total-time
Operation const, time spent: 808.0ms, 2.0% of total-time
Operation ival-sin, time spent: 574.0ms, 1.0% of total-time
Operation ival-cos, time spent: 553.0ms, 1.0% of total-time
Operation ival-exp, time spent: 217.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 110.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 6.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 1.0ms, 0.0% of total-time

prune2.1min (5.8%)

Counts
411034 → 13562
Compiler

Compiled 459443 to 311606 computations (32.2% saved)

series46.9s (2.2%)

Counts
5913 → 171301
Calls

42537 calls:

TimeVariablePointExpression
458.0ms
x
@-inf
(log (log (/ x y)))
397.0ms
x
@-inf
(* (sqrt x) y)
397.0ms
z
@-inf
(+ (+ (* y 5) (* x (* (+ y z) 2))) (* x t))
265.0ms
z
@-inf
(/ 1 (/ (- a z) (- t x)))
255.0ms
x
@0
(pow (* y x) 3/4)

analyze21.8s (1%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.3%68.3%27.5%0.1%0%4.1%0%5
75.9%72.4%22.9%0.1%0%4.6%0%6
80%75.7%19%0.1%0%5.1%0%7
81.8%77.1%17.1%0.1%0%5.6%0%8
84.5%79.4%14.6%0.1%0%5.9%0%9
86.1%80.6%13.1%0.1%0%6.2%0%10
88.6%83%10.6%0.1%0%6.2%0%11
89.7%83.7%9.6%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.8s
Operation ival-mult, time spent: 3.8s, 38.0% of total-time
Operation ival-sub, time spent: 1.6s, 16.0% of total-time
Operation ival-add, time spent: 1.6s, 16.0% of total-time
Operation ival-div, time spent: 1.2s, 13.0% of total-time
Operation ival-sqrt, time spent: 473.0ms, 5.0% of total-time
Operation ival-log, time spent: 289.0ms, 3.0% of total-time
Operation ival-sin, time spent: 255.0ms, 3.0% of total-time
Operation const, time spent: 244.0ms, 2.0% of total-time
Operation ival-exp, time spent: 174.0ms, 2.0% of total-time
Operation ival-cos, time spent: 106.0ms, 1.0% of total-time
Operation ival-tan, time spent: 52.0ms, 1.0% of total-time
Operation ival-acos, time spent: 27.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 17.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

end274.0ms (0%)

Profiling

Loading profile data...