Herbie run

Date:Saturday, March 16th, 2024
Commit:110598d9 on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024076
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: 6.5min)

sample3.0min (46.7%)

Results
29.0s140186×256precondition
13.7s90497×256valid
25.6s57780×1024valid
43.2s34051×2048valid
8.4s33980×512valid
33.6s7110×8192exit
809.0ms4343×256infinite
618.0ms4289×256unsamplable
627.0ms3972×256invalid
1.6s1956×4096valid
108.0ms197×512infinite
221.0ms108×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 32.4s, 26.0% of total-time
Operation ival-tan, time spent: 14.2s, 11.0% of total-time
Operation ival-exp, time spent: 12.7s, 10.0% of total-time
Operation ival-mult, time spent: 9.9s, 8.0% of total-time
Operation ival-sub, time spent: 8.5s, 7.0% of total-time
Operation ival-div, time spent: 6.1s, 5.0% of total-time
Operation ival-cos, time spent: 5.8s, 5.0% of total-time
Operation ival-log, time spent: 5.6s, 5.0% of total-time
Operation ival-<=, time spent: 5.3s, 4.0% of total-time
Operation ival-add, time spent: 4.9s, 4.0% of total-time
Operation ival-fabs, time spent: 4.1s, 3.0% of total-time
Operation ival-sin, time spent: 3.8s, 3.0% of total-time
Operation ival-<, time spent: 3.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.8s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-and, time spent: 1.1s, 1.0% of total-time
Operation ival-fmin, time spent: 980.0ms, 1.0% of total-time
Operation ival->, time spent: 944.0ms, 1.0% of total-time
Operation ival-atan, time spent: 681.0ms, 1.0% of total-time
Operation ival-neg, time spent: 613.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 320.0ms, 0.0% of total-time
Bogosity

localize1.0min (15.5%)

Results
10.6s13134×256valid
15.2s4290×1024valid
14.1s2662×2048valid
5.5s2506×512valid
2.6s2161×256invalid
206.0ms469×256infinite
804.0ms201×4096valid
242.0ms88×8192exit
177.0ms33×256unsamplable
18.0ms18×512infinite
55.0ms18×4096infinite
33.0ms10×2048infinite
20.0ms10×1024infinite
Compiler

Compiled 16253 to 9304 computations (42.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 43.0s
Operation ival-pow, time spent: 10.1s, 23.0% of total-time
Operation ival-mult, time spent: 6.1s, 14.0% of total-time
Operation ival-div, time spent: 5.4s, 13.0% of total-time
Operation composed, time spent: 4.2s, 10.0% of total-time
Operation ival-add, time spent: 3.8s, 9.0% of total-time
Operation ival-log, time spent: 3.0s, 7.0% of total-time
Operation ival-exp, time spent: 1.8s, 4.0% of total-time
Operation ival-tan, time spent: 1.8s, 4.0% of total-time
Operation ival-sub, time spent: 1.8s, 4.0% of total-time
Operation ival-sin, time spent: 1.4s, 3.0% of total-time
Operation const, time spent: 1.1s, 2.0% of total-time
Operation ival-cos, time spent: 1.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 655.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 351.0ms, 1.0% of total-time
Operation ival-neg, time spent: 272.0ms, 1.0% of total-time
Operation ival-cosh, time spent: 107.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 38.0ms, 0.0% of total-time
Operation ival-atan, time spent: 18.0ms, 0.0% of total-time

eval32.6s (8.3%)

Compiler

Compiled 1507460 to 947069 computations (37.2% saved)

simplify23.6s (6%)

Algorithm
123×egg-herbie
Rules
66566×fma-define
64046×fma-neg
56788×associate-*r*
50756×distribute-lft-in
48368×*-commutative
Stop Event
27×saturated
95×node limit
20×fuel
1×unsound
7×done
Counts
38504 → 40412
Compiler

Compiled 3158 to 2272 computations (28.1% saved)

soundness22.0s (5.6%)

Rules
58146×fma-define
54560×fma-neg
38210×associate-*r*
30586×distribute-lft-in
30234×log1p-expm1-u
Stop Event
7×saturated
101×node limit
Compiler

Compiled 14805 to 10079 computations (31.9% saved)

rewrite19.6s (5%)

Algorithm
96×batch-egg-rewrite
Rules
61684×log1p-expm1-u
46804×expm1-log1p-u
38594×prod-diff
28466×log-prod
27308×fma-define
Stop Event
96×node limit
Counts
730 → 26302

preprocess16.7s (4.3%)

Algorithm
27×egg-herbie
Rules
16450×fma-neg
12928×fma-define
8464×div-sub
5288×sub-neg
5148×times-frac
Stop Event
22×saturated
5×node limit
Results
1.1s5710×256valid
2.7s3552×1024valid
1.1s2104×512valid
2.9s2082×2048valid
51.0ms212×256infinite
106.0ms114×4096valid
95.0ms36×512infinite
39.0ms14×1024infinite
Compiler

Compiled 11751 to 7434 computations (36.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.5s
Operation ival-sub, time spent: 787.0ms, 14.0% of total-time
Operation ival-tan, time spent: 766.0ms, 14.0% of total-time
Operation ival-log, time spent: 655.0ms, 12.0% of total-time
Operation ival-exp, time spent: 641.0ms, 12.0% of total-time
Operation ival-pow, time spent: 495.0ms, 9.0% of total-time
Operation ival-add, time spent: 475.0ms, 9.0% of total-time
Operation ival-div, time spent: 433.0ms, 8.0% of total-time
Operation ival-mult, time spent: 424.0ms, 8.0% of total-time
Operation ival-cos, time spent: 221.0ms, 4.0% of total-time
Operation ival-sin, time spent: 188.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 179.0ms, 3.0% of total-time
Operation const, time spent: 125.0ms, 2.0% of total-time
Operation ival-atan, time spent: 54.0ms, 1.0% of total-time
Operation ival-neg, time spent: 37.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 26.0ms, 0.0% of total-time

prune13.4s (3.4%)

Counts
60758 → 1963
Compiler

Compiled 64170 to 45929 computations (28.4% saved)

regimes10.3s (2.6%)

Counts
3408 → 264
Calls

42 calls:

2.5s
x
2.1s
(/.f64 1 n)
1.2s
n
968.0ms
c
831.0ms
a
Compiler

Compiled 1543 to 1085 computations (29.7% saved)

series3.6s (0.9%)

Counts
730 → 12202
Calls

3255 calls:

TimeVariablePointExpression
135.0ms
x
@-inf
(log (- (exp (* a x)) 1))
105.0ms
a
@inf
(/ (* a c) b)
85.0ms
x
@0
(+ (* (cbrt x) (+ (cbrt (+ 1 x)) (cbrt x))) (* (pow (+ 1 x) 1/6) (sqrt (+ 1 x))))
46.0ms
x
@inf
(log (pow (tan x) 2))
45.0ms
n
@0
(/ (- (log (+ 1 x)) (log x)) n)

analyze3.4s (0.9%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
19.3%11.1%46.5%38.9%0%3.6%0%1
27%15.5%42%38.9%0%3.6%0%2
41.8%22.9%31.9%41.6%0%3.6%0%3
50.2%27.5%27.3%41.7%0%3.6%0%4
57.3%30.9%23.1%42.4%0%3.6%0%5
59.5%31.7%21.6%43.1%0%3.6%0%6
63.4%32.7%18.9%44%0%4.3%0.1%7
66.6%34%17.1%44.5%0%4.4%0.1%8
69.1%34.6%15.5%44.9%0%4.8%0.3%9
71.2%35.1%14.1%45.2%0%5.3%0.3%10
74%36%12.7%45.4%0%5.5%0.4%11
75.2%36.3%11.9%45.6%0%5.8%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-mult, time spent: 334.0ms, 16.0% of total-time
Operation ival-add, time spent: 304.0ms, 14.0% of total-time
Operation ival-div, time spent: 215.0ms, 10.0% of total-time
Operation ival-sub, time spent: 197.0ms, 9.0% of total-time
Operation ival-tan, time spent: 186.0ms, 9.0% of total-time
Operation ival-pow, time spent: 178.0ms, 8.0% of total-time
Operation ival-log, time spent: 157.0ms, 7.0% of total-time
Operation ival-fabs, time spent: 105.0ms, 5.0% of total-time
Operation ival-<=, time spent: 92.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 82.0ms, 4.0% of total-time
Operation ival-exp, time spent: 71.0ms, 3.0% of total-time
Operation ival-sin, time spent: 62.0ms, 3.0% of total-time
Operation ival-neg, time spent: 50.0ms, 2.0% of total-time
Operation const, time spent: 45.0ms, 2.0% of total-time
Operation ival-and, time spent: 15.0ms, 1.0% of total-time
Operation ival->, time spent: 14.0ms, 1.0% of total-time
Operation ival-cos, time spent: 10.0ms, 0.0% of total-time
Operation ival-<, time spent: 10.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 7.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time

bsearch2.6s (0.7%)

Algorithm
61×binary-search
38×left-value
Stop Event
5×predicate-same
56×narrow-enough
Results
612.0ms4096×256valid
490.0ms1213×1024valid
87.0ms877×256invalid
277.0ms525×512valid
212.0ms493×256infinite
232.0ms279×2048valid
27.0ms146×256unsamplable
111.0ms68×512infinite
51.0ms58×1024infinite
3.0ms4×4096valid
Compiler

Compiled 10930 to 8244 computations (24.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
Operation ival-pow, time spent: 698.0ms, 47.0% of total-time
Operation ival-div, time spent: 215.0ms, 15.0% of total-time
Operation ival-mult, time spent: 154.0ms, 10.0% of total-time
Operation ival-add, time spent: 141.0ms, 10.0% of total-time
Operation ival-sub, time spent: 92.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 45.0ms, 3.0% of total-time
Operation ival-exp, time spent: 43.0ms, 3.0% of total-time
Operation ival-neg, time spent: 28.0ms, 2.0% of total-time
Operation const, time spent: 26.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 20.0ms, 1.0% of total-time
Operation ival-cos, time spent: 9.0ms, 1.0% of total-time

end6.0ms (0%)

Profiling

Loading profile data...