Herbie run

Date:Saturday, February 24th, 2024
Commit:0406aea6 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024055
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: 38.6min)

sample7.4min (19.1%)

Results
5.0min1821130×256valid
1.1min343189×256infinite
15.8s63780×256invalid
15.1s30195×512valid
9.9s19389×1024valid
3.3s5094×2048valid
2.3s1621×8192exit
308.0ms1133×512infinite
319.0ms729×1024infinite
227.0ms704×1024invalid
122.0ms566×512invalid
3.0ms5×4096valid
Precisions
Click to see histograms. Total time spent on operations: 2.7min
Operation ival-mult, time spent: 54.7s, 33.0% of total-time
Operation ival-sub, time spent: 24.1s, 15.0% of total-time
Operation ival-add, time spent: 23.2s, 14.0% of total-time
Operation ival-div, time spent: 23.2s, 14.0% of total-time
Operation ival-log, time spent: 13.1s, 8.0% of total-time
Operation ival-sqrt, time spent: 9.8s, 6.0% of total-time
Operation ival-cos, time spent: 4.5s, 3.0% of total-time
Operation ival-sin, time spent: 4.4s, 3.0% of total-time
Operation const, time spent: 4.3s, 3.0% of total-time
Operation ival-exp, time spent: 1.3s, 1.0% of total-time
Operation ival-tan, time spent: 380.0ms, 0.0% of total-time
Operation ival-acos, time spent: 371.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 304.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 217.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 182.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 114.0ms, 0.0% of total-time
Bogosity

regimes5.8min (15.1%)

Counts
37049 → 5640
Calls

490 calls:

55.6s
x
54.9s
y
48.0s
z
39.8s
t
30.3s
a
Compiler

Compiled 45453 to 36047 computations (20.7% saved)

localize4.2min (10.8%)

Compiler

Compiled 114622 to 50096 computations (56.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3min
Operation ival-mult, time spent: 35.7s, 26.0% of total-time
Operation ival-div, time spent: 18.5s, 13.0% of total-time
Operation ival-add, time spent: 17.6s, 13.0% of total-time
Operation ival-pow, time spent: 15.2s, 11.0% of total-time
Operation composed, time spent: 11.5s, 8.0% of total-time
Operation ival-log, time spent: 9.4s, 7.0% of total-time
Operation ival-sub, time spent: 9.0s, 7.0% of total-time
Operation ival-sqrt, time spent: 7.8s, 6.0% of total-time
Operation const, time spent: 3.4s, 2.0% of total-time
Operation ival-exp, time spent: 2.5s, 2.0% of total-time
Operation ival-cos, time spent: 2.4s, 2.0% of total-time
Operation ival-sin, time spent: 2.2s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.0s, 1.0% of total-time
Operation ival-neg, time spent: 747.0ms, 1.0% of total-time
Operation ival-tan, time spent: 360.0ms, 0.0% of total-time
Operation ival-acos, time spent: 129.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 25.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 25.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 25.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 17.0ms, 0.0% of total-time

simplify4.1min (10.6%)

Algorithm
1079×egg-herbie
Rules
573980×fma-define
483516×fma-neg
422578×*-commutative
417816×associate-*r*
387958×distribute-lft-in
Stop Event
269×saturated
808×node limit
145×fuel
2×unsound
124×done
Counts
374144 → 320837
Compiler

Compiled 68221 to 40782 computations (40.2% saved)

soundness3.5min (9%)

Rules
496262×fma-define
438756×fma-neg
300192×associate-*r*
272892×distribute-lft-in
272294×times-frac
Stop Event
80×saturated
745×node limit
2×unsound
Compiler

Compiled 98731 to 53984 computations (45.3% saved)

eval3.5min (9%)

Compiler

Compiled 9501705 to 4969059 computations (47.7% saved)

rewrite2.9min (7.4%)

Algorithm
810×batch-egg-rewrite
Rules
569568×log1p-expm1-u
409409×expm1-log1p-u
294934×prod-diff
258128×log-prod
200382×unpow-prod-down
Stop Event
808×node limit
2×unsound
Counts
5671 → 209696

preprocess2.2min (5.6%)

Algorithm
269×egg-herbie
Rules
275536×fma-neg
234168×fma-define
114704×unsub-neg
100834×sub-neg
94200×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 205121 to 100752 computations (50.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.1s
Operation ival-mult, time spent: 6.6s, 33.0% of total-time
Operation ival-add, time spent: 2.7s, 14.0% of total-time
Operation ival-sub, time spent: 2.7s, 13.0% of total-time
Operation ival-log, time spent: 2.3s, 12.0% of total-time
Operation ival-div, time spent: 2.0s, 10.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 7.0% of total-time
Operation ival-cos, time spent: 881.0ms, 4.0% of total-time
Operation const, time spent: 586.0ms, 3.0% of total-time
Operation ival-sin, time spent: 569.0ms, 3.0% of total-time
Operation ival-exp, time spent: 176.0ms, 1.0% of total-time
Operation ival-tan, time spent: 42.0ms, 0.0% of total-time
Operation ival-acos, time spent: 16.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 10.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 7.0ms, 0.0% of total-time

bsearch2.1min (5.4%)

Algorithm
3342×binary-search
277×left-value
Stop Event
46×predicate-same
3296×narrow-enough
Results
1.1min305012×256valid
40.1s99166×256infinite
1.7s5571×256invalid
1.3s4203×512valid
1.0s2435×1024valid
106.0ms221×2048valid
46.0ms147×512infinite
35.0ms96×1024infinite
Compiler

Compiled 817774 to 607195 computations (25.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 51.5s
Operation ival-mult, time spent: 25.7s, 50.0% of total-time
Operation ival-sub, time spent: 10.5s, 20.0% of total-time
Operation ival-add, time spent: 7.1s, 14.0% of total-time
Operation ival-div, time spent: 3.2s, 6.0% of total-time
Operation ival-log, time spent: 1.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 3.0% of total-time
Operation const, time spent: 749.0ms, 1.0% of total-time
Operation ival-sin, time spent: 528.0ms, 1.0% of total-time
Operation ival-cos, time spent: 367.0ms, 1.0% of total-time
Operation ival-exp, time spent: 238.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 93.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 5.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 3.0ms, 0.0% of total-time

prune2.0min (5.1%)

Counts
402699 → 13140
Compiler

Compiled 448204 to 302182 computations (32.6% saved)

series47.2s (2%)

Counts
5671 → 164448
Calls

40668 calls:

TimeVariablePointExpression
485.0ms
y
@-inf
(log (* y (cbrt y)))
250.0ms
t
@-inf
(log (+ 1 (* 1/3 (acos (* (/ x (* y z)) (* 1/18 (sqrt t)))))))
243.0ms
t
@inf
(/ (/ x z) t)
210.0ms
a
@-inf
(pow (- (pow z 2) (* t a)) -1/2)
199.0ms
x
@0
(* (/ x (+ y x)) (/ 1 (* (+ y x) (/ (+ y (+ x 1)) y))))

analyze20.2s (0.9%)

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.4s
Operation ival-mult, time spent: 4.0s, 42.0% of total-time
Operation ival-sub, time spent: 1.5s, 16.0% of total-time
Operation ival-div, time spent: 1.3s, 14.0% of total-time
Operation ival-add, time spent: 1.1s, 12.0% of total-time
Operation ival-log, time spent: 501.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 372.0ms, 4.0% of total-time
Operation const, time spent: 238.0ms, 3.0% of total-time
Operation ival-exp, time spent: 120.0ms, 1.0% of total-time
Operation ival-sin, time spent: 113.0ms, 1.0% of total-time
Operation ival-cos, time spent: 67.0ms, 1.0% of total-time
Operation ival-acos, time spent: 46.0ms, 0.0% of total-time
Operation ival-tan, time spent: 30.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 12.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 5.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time

end142.0ms (0%)

Profiling

Loading profile data...