Herbie run

Date:Wednesday, March 6th, 2024
Commit:790951ae on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024066
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.2min)

sample7.4min (19.4%)

Results
5.1min1824974×256valid
1.0min339915×256infinite
13.2s64116×256invalid
15.4s30053×512valid
10.5s19003×1024valid
3.0s5033×2048valid
1.8s1589×8192exit
272.0ms1034×512infinite
559.0ms848×1024infinite
201.0ms667×1024invalid
126.0ms565×512invalid
4.0ms4×4096valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-mult, time spent: 52.9s, 33.0% of total-time
Operation ival-add, time spent: 24.7s, 16.0% of total-time
Operation ival-sub, time spent: 23.4s, 15.0% of total-time
Operation ival-div, time spent: 21.9s, 14.0% of total-time
Operation ival-log, time spent: 11.6s, 7.0% of total-time
Operation ival-sqrt, time spent: 6.8s, 4.0% of total-time
Operation ival-sin, time spent: 4.9s, 3.0% of total-time
Operation const, time spent: 4.4s, 3.0% of total-time
Operation ival-cos, time spent: 4.3s, 3.0% of total-time
Operation ival-exp, time spent: 2.0s, 1.0% of total-time
Operation ival-sinh, time spent: 505.0ms, 0.0% of total-time
Operation ival-tan, time spent: 504.0ms, 0.0% of total-time
Operation ival-acos, time spent: 269.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 255.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 168.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 106.0ms, 0.0% of total-time
Bogosity

regimes4.9min (12.9%)

Counts
36249 → 5610
Calls

492 calls:

48.5s
z
45.8s
y
40.5s
x
31.5s
t
23.5s
a
Compiler

Compiled 44508 to 35238 computations (20.8% saved)

simplify4.3min (11.2%)

Algorithm
1094×egg-herbie
Rules
584164×fma-define
492960×fma-neg
416086×*-commutative
411188×times-frac
407876×distribute-lft-in
Stop Event
269×saturated
820×node limit
146×fuel
5×unsound
123×done
Counts
379748 → 321811
Compiler

Compiled 66315 to 40512 computations (38.9% saved)

localize4.3min (11.1%)

Compiler

Compiled 117455 to 51223 computations (56.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4min
Operation ival-mult, time spent: 39.2s, 28.0% of total-time
Operation ival-div, time spent: 18.0s, 13.0% of total-time
Operation ival-add, time spent: 17.3s, 12.0% of total-time
Operation ival-pow, time spent: 13.7s, 10.0% of total-time
Operation composed, time spent: 13.2s, 9.0% of total-time
Operation ival-sub, time spent: 10.5s, 7.0% of total-time
Operation ival-log, time spent: 9.2s, 6.0% of total-time
Operation ival-sqrt, time spent: 6.4s, 5.0% of total-time
Operation const, time spent: 3.4s, 2.0% of total-time
Operation ival-sin, time spent: 2.9s, 2.0% of total-time
Operation ival-cos, time spent: 2.6s, 2.0% of total-time
Operation ival-exp, time spent: 1.8s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.4s, 1.0% of total-time
Operation ival-neg, time spent: 652.0ms, 0.0% of total-time
Operation ival-acos, time spent: 472.0ms, 0.0% of total-time
Operation ival-tan, time spent: 427.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 77.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 31.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 15.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 11.0ms, 0.0% of total-time
Operation ival-e, time spent: 10.0ms, 0.0% of total-time

soundness3.6min (9.5%)

Rules
506926×fma-define
462646×fma-neg
306850×times-frac
304772×associate-*r*
287668×distribute-lft-in
Stop Event
84×saturated
761×node limit
4×unsound
Compiler

Compiled 94967 to 52949 computations (44.2% saved)

eval3.5min (9%)

Compiler

Compiled 9330552 to 4867443 computations (47.8% saved)

rewrite2.9min (7.6%)

Algorithm
825×batch-egg-rewrite
Rules
570831×log1p-expm1-u
428705×expm1-log1p-u
278344×log-prod
266346×prod-diff
207950×fma-define
Stop Event
824×node limit
1×unsound
Counts
5797 → 207643

preprocess2.2min (5.7%)

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 198813 to 100320 computations (49.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.6s
Operation ival-mult, time spent: 6.4s, 33.0% of total-time
Operation ival-add, time spent: 3.0s, 15.0% of total-time
Operation ival-sub, time spent: 2.7s, 14.0% of total-time
Operation ival-div, time spent: 2.6s, 13.0% of total-time
Operation ival-log, time spent: 2.3s, 12.0% of total-time
Operation ival-sqrt, time spent: 790.0ms, 4.0% of total-time
Operation const, time spent: 587.0ms, 3.0% of total-time
Operation ival-sin, time spent: 537.0ms, 3.0% of total-time
Operation ival-cos, time spent: 387.0ms, 2.0% of total-time
Operation ival-exp, time spent: 240.0ms, 1.0% of total-time
Operation ival-tan, time spent: 38.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 13.0ms, 0.0% of total-time
Operation ival-acos, time spent: 11.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 9.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time

bsearch2.0min (5.3%)

Algorithm
3319×binary-search
273×left-value
Stop Event
65×predicate-same
3254×narrow-enough
Results
1.1min312603×256valid
36.7s89799×256infinite
989.0ms9047×256invalid
1.6s3125×512valid
923.0ms1814×1024valid
72.0ms124×2048valid
23.0ms77×512infinite
66.0ms58×1024infinite
Compiler

Compiled 792849 to 596081 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 47.6s
Operation ival-mult, time spent: 23.1s, 49.0% of total-time
Operation ival-sub, time spent: 9.7s, 20.0% of total-time
Operation ival-add, time spent: 6.1s, 13.0% of total-time
Operation ival-div, time spent: 3.9s, 8.0% of total-time
Operation ival-log, time spent: 1.7s, 4.0% of total-time
Operation const, time spent: 752.0ms, 2.0% of total-time
Operation ival-sin, time spent: 747.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 713.0ms, 1.0% of total-time
Operation ival-cos, time spent: 468.0ms, 1.0% of total-time
Operation ival-exp, time spent: 373.0ms, 1.0% of total-time
Operation ival-tanh, time spent: 30.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 4.0ms, 0.0% of total-time

prune1.9min (5.1%)

Counts
397619 → 13081
Compiler

Compiled 448561 to 303927 computations (32.2% saved)

series51.2s (2.2%)

Counts
5797 → 172105
Calls

42072 calls:

TimeVariablePointExpression
481.0ms
z
@inf
(* (* y z) (- (tanh (/ t y)) (/ x y)))
375.0ms
x
@0
(* x (log y))
335.0ms
z
@-inf
(log (* z x))
270.0ms
x
@0
(/ (* y x) (+ y (* y (+ (* -1 z) (/ (* b z) y)))))
262.0ms
t
@0
(cbrt (- (tanh (/ t y)) (tanh (/ x y))))

analyze20.7s (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.6s
Operation ival-mult, time spent: 3.9s, 40.0% of total-time
Operation ival-div, time spent: 1.6s, 16.0% of total-time
Operation ival-add, time spent: 1.5s, 15.0% of total-time
Operation ival-sub, time spent: 1.3s, 13.0% of total-time
Operation ival-sqrt, time spent: 375.0ms, 4.0% of total-time
Operation ival-log, time spent: 325.0ms, 3.0% of total-time
Operation const, time spent: 240.0ms, 2.0% of total-time
Operation ival-exp, time spent: 120.0ms, 1.0% of total-time
Operation ival-sin, time spent: 114.0ms, 1.0% of total-time
Operation ival-tan, time spent: 109.0ms, 1.0% of total-time
Operation ival-cos, time spent: 79.0ms, 1.0% of total-time
Operation ival-acos, time spent: 21.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 11.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: 2.0ms, 0.0% of total-time

end180.0ms (0%)

Profiling

Loading profile data...