Herbie run

Date:Friday, March 22nd, 2024
Commit:561a2009 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024082
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.0min)

sample7.1min (18.7%)

Results
4.8min1809514×0valid
59.5s339889×0infinite
14.0s64810×0invalid
26.8s60905×1valid
3.6s7420×2valid
836.0ms2540×1infinite
1.7s1604×5exit
379.0ms1506×1invalid
157.0ms482×3valid
36.0ms112×2infinite
1.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-mult, time spent: 52.2s, 35.0% of total-time
Operation ival-sub, time spent: 21.4s, 14.0% of total-time
Operation ival-add, time spent: 20.9s, 14.0% of total-time
Operation ival-div, time spent: 19.0s, 13.0% of total-time
Operation ival-log, time spent: 8.7s, 6.0% of total-time
Operation ival-sqrt, time spent: 6.4s, 4.0% of total-time
Operation backward-pass, time spent: 5.7s, 4.0% of total-time
Operation ival-sin, time spent: 4.4s, 3.0% of total-time
Operation ival-cos, time spent: 3.9s, 3.0% of total-time
Operation const, time spent: 3.8s, 3.0% of total-time
Operation ival-exp, time spent: 1.8s, 1.0% of total-time
Operation ival-sinh, time spent: 288.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 287.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 272.0ms, 0.0% of total-time
Operation ival-acos, time spent: 264.0ms, 0.0% of total-time
Operation ival-tan, time spent: 226.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 96.0ms, 0.0% of total-time
Bogosity

regimes5.2min (13.6%)

Counts
37113 → 5774
Calls

488 calls:

47.7s
x
46.6s
y
44.2s
z
32.6s
t
25.4s
a
Compiler

Compiled 45916 to 36401 computations (20.7% saved)

simplify4.3min (11.4%)

Algorithm
1095×egg-herbie
Rules
299496×fma-define
249901×fma-neg
206982×distribute-lft-in
206904×*-commutative
203815×times-frac
Stop Event
268×saturated
824×node limit
148×fuel
3×unsound
121×done
Counts
383240 → 323836
Compiler

Compiled 68701 to 41196 computations (40% saved)

localize3.9min (10.3%)

Compiler

Compiled 113789 to 49272 computations (56.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-mult, time spent: 34.4s, 28.0% of total-time
Operation ival-div, time spent: 16.8s, 13.0% of total-time
Operation ival-pow, time spent: 16.0s, 13.0% of total-time
Operation ival-add, time spent: 15.5s, 12.0% of total-time
Operation composed, time spent: 10.4s, 8.0% of total-time
Operation ival-sub, time spent: 8.4s, 7.0% of total-time
Operation ival-log, time spent: 6.1s, 5.0% of total-time
Operation ival-sqrt, time spent: 4.1s, 3.0% of total-time
Operation ival-cos, time spent: 3.2s, 3.0% of total-time
Operation const, time spent: 2.7s, 2.0% of total-time
Operation ival-sin, time spent: 2.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.1s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.3s, 1.0% of total-time
Operation ival-neg, time spent: 791.0ms, 1.0% of total-time
Operation ival-tan, time spent: 501.0ms, 0.0% of total-time
Operation ival-acos, time spent: 163.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 26.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 25.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 22.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time

soundness3.6min (9.5%)

Rules
259005×fma-define
229611×fma-neg
183599×log1p-expm1-u
153817×associate-*r*
153773×times-frac
Stop Event
83×saturated
762×node limit
2×unsound
Compiler

Compiled 98557 to 54445 computations (44.8% saved)

eval3.6min (9.4%)

Compiler

Compiled 9469789 to 4969009 computations (47.5% saved)

rewrite3.0min (7.8%)

Algorithm
826×batch-egg-rewrite
Rules
589477×log1p-expm1-u
427694×expm1-log1p-u
158716×pow1
152842×add-exp-log
148038×add-log-exp
Stop Event
825×node limit
1×unsound
Counts
5803 → 211398

preprocess2.2min (5.7%)

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 205411 to 100808 computations (50.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.6s
Operation ival-mult, time spent: 5.9s, 33.0% of total-time
Operation ival-add, time spent: 2.8s, 16.0% of total-time
Operation ival-log, time spent: 2.4s, 14.0% of total-time
Operation ival-sub, time spent: 2.2s, 13.0% of total-time
Operation ival-div, time spent: 2.0s, 12.0% of total-time
Operation ival-sqrt, time spent: 765.0ms, 4.0% of total-time
Operation const, time spent: 499.0ms, 3.0% of total-time
Operation ival-cos, time spent: 393.0ms, 2.0% of total-time
Operation ival-sin, time spent: 315.0ms, 2.0% of total-time
Operation ival-exp, time spent: 166.0ms, 1.0% of total-time
Operation ival-tan, time spent: 40.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 15.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time
Operation ival-acos, time spent: 12.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 10.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time

prune2.0min (5.3%)

Counts
411188 → 13493
Compiler

Compiled 453561 to 306834 computations (32.4% saved)

bsearch2.0min (5.2%)

Algorithm
3348×binary-search
392×left-value
Stop Event
47×predicate-same
3301×narrow-enough
Results
1.0min309380×0valid
33.3s92527×0infinite
5.5s10043×1valid
430.0ms3122×0invalid
459.0ms894×2valid
49.0ms140×1infinite
13.0ms49×1invalid
5.0ms18×2infinite
3.0ms6×3valid
Compiler

Compiled 790709 to 589967 computations (25.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.3s
Operation ival-mult, time spent: 23.6s, 49.0% of total-time
Operation ival-sub, time spent: 9.8s, 20.0% of total-time
Operation ival-add, time spent: 6.1s, 13.0% of total-time
Operation ival-div, time spent: 3.3s, 7.0% of total-time
Operation backward-pass, time spent: 1.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 3.0% of total-time
Operation ival-log, time spent: 1.0s, 2.0% of total-time
Operation const, time spent: 656.0ms, 1.0% of total-time
Operation ival-sin, time spent: 527.0ms, 1.0% of total-time
Operation ival-cos, time spent: 439.0ms, 1.0% of total-time
Operation ival-exp, time spent: 145.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 16.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 11.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

series51.9s (2.3%)

Counts
5803 → 171842
Calls

41655 calls:

TimeVariablePointExpression
479.0ms
x
@-inf
(* x (log x))
382.0ms
a
@-inf
(* (/ (- y z) (- (+ t 1) z)) (- a x))
321.0ms
x
@-inf
(* (log (cbrt (/ x y))) 3)
310.0ms
x
@0
(* x (log y))
212.0ms
y
@-inf
(/ y (* x (+ 1 x)))

analyze20.3s (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.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: 9.1s
Operation ival-mult, time spent: 3.8s, 42.0% of total-time
Operation ival-div, time spent: 1.5s, 17.0% of total-time
Operation ival-sub, time spent: 1.5s, 16.0% of total-time
Operation ival-add, time spent: 1.1s, 13.0% of total-time
Operation ival-sqrt, time spent: 390.0ms, 4.0% of total-time
Operation ival-log, time spent: 245.0ms, 3.0% of total-time
Operation const, time spent: 174.0ms, 2.0% of total-time
Operation ival-exp, time spent: 119.0ms, 1.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: 25.0ms, 0.0% of total-time
Operation ival-tan, time spent: 24.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 16.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

end221.0ms (0%)

Profiling

Loading profile data...