Herbie run

Date:Tuesday, March 19th, 2024
Commit:f5417cea on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024079
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: 37.1min)

sample7.4min (20%)

Results
4.8min1810152×0valid
58.6s341449×0infinite
14.3s64252×0invalid
36.8s59621×1valid
4.9s6723×2valid
5.2s4077×5exit
1.3s2623×1infinite
718.0ms1548×1invalid
164.0ms174×3valid
91.0ms122×2infinite
Precisions
Click to see histograms. Total time spent on operations: 2.7min
Operation ival-mult, time spent: 50.9s, 31.0% of total-time
Operation ival-add, time spent: 22.1s, 14.0% of total-time
Operation ival-sub, time spent: 21.5s, 13.0% of total-time
Operation ival-div, time spent: 20.0s, 12.0% of total-time
Operation backward-pass, time spent: 18.5s, 11.0% of total-time
Operation ival-log, time spent: 7.9s, 5.0% of total-time
Operation ival-sqrt, time spent: 6.1s, 4.0% of total-time
Operation ival-sin, time spent: 4.5s, 3.0% of total-time
Operation const, time spent: 3.7s, 2.0% of total-time
Operation ival-cos, time spent: 3.6s, 2.0% of total-time
Operation ival-exp, time spent: 1.5s, 1.0% of total-time
Operation ival-fabs, time spent: 379.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 330.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 322.0ms, 0.0% of total-time
Operation ival-tan, time spent: 299.0ms, 0.0% of total-time
Operation ival-acos, time spent: 250.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 99.0ms, 0.0% of total-time
Bogosity

regimes4.6min (12.4%)

Counts
36189 → 5464
Calls

486 calls:

43.1s
y
41.1s
z
40.4s
x
28.2s
t
22.7s
a
Compiler

Compiled 43957 to 34643 computations (21.2% saved)

simplify4.2min (11.3%)

Algorithm
1080×egg-herbie
Rules
300406×fma-define
237888×fma-neg
203823×*-commutative
203334×distribute-lft-in
200682×associate-*r*
Stop Event
268×saturated
808×node limit
144×fuel
4×unsound
125×done
Counts
376186 → 316300
Compiler

Compiled 64386 to 39338 computations (38.9% saved)

localize4.0min (10.9%)

Compiler

Compiled 112725 to 49023 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2min
Operation ival-mult, time spent: 36.0s, 27.0% of total-time
Operation ival-div, time spent: 16.7s, 12.0% of total-time
Operation ival-pow, time spent: 16.1s, 12.0% of total-time
Operation ival-add, time spent: 14.9s, 11.0% of total-time
Operation composed, time spent: 11.2s, 8.0% of total-time
Operation ival-log, time spent: 10.0s, 7.0% of total-time
Operation ival-sub, time spent: 9.1s, 7.0% of total-time
Operation ival-sqrt, time spent: 6.1s, 5.0% of total-time
Operation ival-sin, time spent: 3.3s, 2.0% of total-time
Operation ival-cos, time spent: 3.0s, 2.0% of total-time
Operation const, time spent: 2.8s, 2.0% of total-time
Operation ival-exp, time spent: 2.8s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.2s, 1.0% of total-time
Operation ival-neg, time spent: 699.0ms, 1.0% of total-time
Operation ival-cosh, time spent: 204.0ms, 0.0% of total-time
Operation ival-tan, time spent: 202.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 158.0ms, 0.0% of total-time
Operation ival-acos, time spent: 95.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 25.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 12.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

soundness3.4min (9.3%)

Rules
258308×fma-define
223924×fma-neg
180314×log1p-expm1-u
149448×associate-*r*
142385×times-frac
Stop Event
77×saturated
743×node limit
3×unsound
Compiler

Compiled 99535 to 55475 computations (44.3% saved)

eval3.4min (9.2%)

Compiler

Compiled 9090162 to 4773688 computations (47.5% saved)

rewrite2.9min (7.8%)

Algorithm
811×batch-egg-rewrite
Rules
558329×log1p-expm1-u
428406×expm1-log1p-u
157765×pow1
151588×add-exp-log
145094×add-log-exp
Stop Event
810×node limit
1×unsound
Counts
5677 → 209338

preprocess2.1min (5.8%)

Algorithm
269×egg-herbie
Rules
137764×fma-neg
117084×fma-define
57352×unsub-neg
50425×sub-neg
47106×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 191039 to 96154 computations (49.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.5s
Operation ival-mult, time spent: 6.0s, 34.0% of total-time
Operation ival-add, time spent: 2.6s, 15.0% of total-time
Operation ival-log, time spent: 2.6s, 15.0% of total-time
Operation ival-sub, time spent: 2.1s, 12.0% of total-time
Operation ival-div, time spent: 1.9s, 11.0% of total-time
Operation ival-sqrt, time spent: 548.0ms, 3.0% of total-time
Operation ival-exp, time spent: 494.0ms, 3.0% of total-time
Operation const, time spent: 490.0ms, 3.0% of total-time
Operation ival-sin, time spent: 336.0ms, 2.0% of total-time
Operation ival-cos, time spent: 323.0ms, 2.0% of total-time
Operation ival-tan, time spent: 46.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 13.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 11.0ms, 0.0% of total-time
Operation ival-acos, time spent: 11.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time

prune2.0min (5.3%)

Counts
395438 → 13079
Compiler

Compiled 438433 to 296278 computations (32.4% saved)

bsearch1.8min (5%)

Algorithm
3174×binary-search
298×left-value
Stop Event
59×predicate-same
3115×narrow-enough
Results
59.1s300994×0valid
27.5s83278×0infinite
5.1s8634×1valid
1.2s6791×0invalid
373.0ms514×2valid
154.0ms320×1infinite
239.0ms206×5exit
8.0ms23×1invalid
4.0ms10×2infinite
6.0ms7×3valid
3.0ms3×4valid
Compiler

Compiled 737114 to 552937 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 42.4s
Operation ival-mult, time spent: 18.4s, 43.0% of total-time
Operation ival-sub, time spent: 8.0s, 19.0% of total-time
Operation ival-add, time spent: 6.1s, 14.0% of total-time
Operation ival-div, time spent: 3.6s, 9.0% of total-time
Operation backward-pass, time spent: 2.6s, 6.0% of total-time
Operation ival-log, time spent: 1.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 676.0ms, 2.0% of total-time
Operation const, time spent: 670.0ms, 2.0% of total-time
Operation ival-sin, time spent: 450.0ms, 1.0% of total-time
Operation ival-cos, time spent: 371.0ms, 1.0% of total-time
Operation ival-exp, time spent: 242.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 18.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 15.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 9.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 4.0ms, 0.0% of total-time

series49.9s (2.2%)

Counts
5677 → 166848
Calls

40617 calls:

TimeVariablePointExpression
256.0ms
x
@0
(* x (log y))
254.0ms
x
@-inf
(* t (/ z x))
218.0ms
x
@-inf
(log (/ (cbrt x) y))
213.0ms
x
@0
(- (log x) (log y))
187.0ms
x
@0
(log (+ 1 (cos (/ (* x -1/2) y))))

analyze18.8s (0.8%)

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.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.2%0.1%0%5.6%0%8
84.4%79.3%14.7%0.1%0%5.9%0%9
86%80.5%13.1%0.1%0%6.2%0%10
88.5%82.9%10.7%0.1%0%6.2%0%11
89.6%83.7%9.7%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: 8.6s
Operation ival-mult, time spent: 3.5s, 41.0% of total-time
Operation ival-sub, time spent: 1.5s, 17.0% of total-time
Operation ival-add, time spent: 1.3s, 15.0% of total-time
Operation ival-div, time spent: 1.2s, 14.0% of total-time
Operation ival-sqrt, time spent: 360.0ms, 4.0% of total-time
Operation ival-log, time spent: 232.0ms, 3.0% of total-time
Operation const, time spent: 175.0ms, 2.0% of total-time
Operation ival-exp, time spent: 174.0ms, 2.0% of total-time
Operation ival-sin, time spent: 98.0ms, 1.0% of total-time
Operation ival-cos, time spent: 28.0ms, 0.0% of total-time
Operation ival-acos, time spent: 23.0ms, 0.0% of total-time
Operation ival-tan, time spent: 21.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 15.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 9.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

end239.0ms (0%)

Profiling

Loading profile data...