Herbie run

Date:Wednesday, February 28th, 2024
Commit:699b9765 on main
Hostname:nightly with Racket 8.11.1
Seed:2024059
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)

sample2.8min (42.5%)

Results
32.4s141592×256precondition
15.6s96054×256valid
29.2s58440×1024valid
44.6s36102×2048valid
9.8s34558×512valid
600.0ms4066×256invalid
737.0ms3850×256infinite
744.0ms3797×256unsamplable
17.6s3600×8192exit
1.2s1896×4096valid
88.0ms154×512infinite
232.0ms114×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation ival-pow, time spent: 18.4s, 17.0% of total-time
Operation ival-tan, time spent: 13.5s, 12.0% of total-time
Operation ival-exp, time spent: 12.0s, 11.0% of total-time
Operation ival-mult, time spent: 10.1s, 9.0% of total-time
Operation ival-sub, time spent: 8.6s, 8.0% of total-time
Operation ival-log, time spent: 6.9s, 6.0% of total-time
Operation ival-div, time spent: 5.8s, 5.0% of total-time
Operation ival-cos, time spent: 5.4s, 5.0% of total-time
Operation ival-sin, time spent: 5.4s, 5.0% of total-time
Operation ival-<=, time spent: 5.4s, 5.0% of total-time
Operation ival-add, time spent: 5.1s, 5.0% of total-time
Operation ival-fabs, time spent: 2.4s, 2.0% of total-time
Operation ival-<, time spent: 2.3s, 2.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 1.0% of total-time
Operation ival->, time spent: 1.1s, 1.0% of total-time
Operation ival-and, time spent: 1.1s, 1.0% of total-time
Operation ival-fmin, time spent: 829.0ms, 1.0% of total-time
Operation ival-neg, time spent: 621.0ms, 1.0% of total-time
Operation ival-atan, time spent: 615.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 357.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 133.0ms, 0.0% of total-time
Bogosity

localize1.2min (18.8%)

Compiler

Compiled 17655 to 10584 computations (40.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.0s
Operation ival-pow, time spent: 14.5s, 27.0% of total-time
Operation ival-mult, time spent: 8.1s, 15.0% of total-time
Operation ival-div, time spent: 6.0s, 11.0% of total-time
Operation ival-add, time spent: 5.0s, 9.0% of total-time
Operation composed, time spent: 4.4s, 8.0% of total-time
Operation ival-log, time spent: 2.9s, 5.0% of total-time
Operation ival-tan, time spent: 2.2s, 4.0% of total-time
Operation ival-exp, time spent: 2.1s, 4.0% of total-time
Operation ival-sub, time spent: 1.9s, 4.0% of total-time
Operation ival-cos, time spent: 1.4s, 3.0% of total-time
Operation const, time spent: 1.3s, 2.0% of total-time
Operation ival-sin, time spent: 1.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 791.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 620.0ms, 1.0% of total-time
Operation ival-neg, time spent: 168.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 164.0ms, 0.0% of total-time
Operation ival-e, time spent: 62.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 45.0ms, 0.0% of total-time
Operation ival-atan, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

eval34.1s (8.7%)

Compiler

Compiled 1556156 to 1003375 computations (35.5% saved)

simplify24.3s (6.2%)

Algorithm
120×egg-herbie
Rules
63950×fma-define
59344×fma-neg
49302×*-commutative
48512×distribute-lft-in
47722×times-frac
Stop Event
28×saturated
90×node limit
17×fuel
2×unsound
11×done
Counts
37604 → 40433
Compiler

Compiled 2698 to 1928 computations (28.5% saved)

soundness20.9s (5.3%)

Rules
57268×fma-define
50688×fma-neg
34980×associate-*r*
31468×distribute-lft-in
30098×distribute-rgt-in
Stop Event
8×saturated
93×node limit
Compiler

Compiled 15432 to 10324 computations (33.1% saved)

rewrite18.6s (4.8%)

Algorithm
92×batch-egg-rewrite
Rules
53563×log1p-expm1-u
45080×expm1-log1p-u
31068×prod-diff
29674×fma-define
26626×unpow-prod-down
Stop Event
92×node limit
Counts
702 → 25281

preprocess14.6s (3.7%)

Algorithm
28×egg-herbie
Rules
16616×fma-neg
13326×fma-define
8558×div-sub
5338×sub-neg
5242×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 10369 to 6580 computations (36.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.3s
Operation ival-exp, time spent: 775.0ms, 15.0% of total-time
Operation ival-tan, time spent: 763.0ms, 14.0% of total-time
Operation ival-log, time spent: 700.0ms, 13.0% of total-time
Operation ival-sub, time spent: 591.0ms, 11.0% of total-time
Operation ival-pow, time spent: 471.0ms, 9.0% of total-time
Operation ival-div, time spent: 413.0ms, 8.0% of total-time
Operation ival-mult, time spent: 359.0ms, 7.0% of total-time
Operation ival-add, time spent: 358.0ms, 7.0% of total-time
Operation ival-cos, time spent: 265.0ms, 5.0% of total-time
Operation ival-sin, time spent: 244.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 186.0ms, 3.0% of total-time
Operation const, time spent: 130.0ms, 2.0% of total-time
Operation ival-atan, time spent: 35.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 29.0ms, 1.0% of total-time
Operation ival-neg, time spent: 26.0ms, 0.0% of total-time

prune13.9s (3.5%)

Counts
54635 → 1648
Compiler

Compiled 54689 to 39104 computations (28.5% saved)

bsearch9.5s (2.4%)

Algorithm
12×left-value
71×binary-search
Stop Event
5×predicate-same
66×narrow-enough
Results
947.0ms5173×256valid
152.0ms1296×256invalid
1.0s1199×1024valid
267.0ms992×256unsamplable
403.0ms924×256infinite
5.4s917×8192exit
419.0ms679×512valid
496.0ms632×2048valid
27.0ms48×512infinite
34.0ms33×1024infinite
Compiler

Compiled 12873 to 9713 computations (24.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.6s
Operation ival-pow, time spent: 6.2s, 82.0% of total-time
Operation ival-div, time spent: 484.0ms, 6.0% of total-time
Operation ival-sub, time spent: 309.0ms, 4.0% of total-time
Operation ival-mult, time spent: 179.0ms, 2.0% of total-time
Operation ival-add, time spent: 128.0ms, 2.0% of total-time
Operation ival-neg, time spent: 83.0ms, 1.0% of total-time
Operation ival-exp, time spent: 76.0ms, 1.0% of total-time
Operation const, time spent: 60.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 54.0ms, 1.0% of total-time
Operation ival-cos, time spent: 15.0ms, 0.0% of total-time

regimes8.0s (2%)

Counts
2713 → 247
Calls

43 calls:

2.1s
x
1.3s
c
800.0ms
a
692.0ms
b
612.0ms
(/.f64 #s(literal 1 binary64) n)
Compiler

Compiled 1521 to 1059 computations (30.4% saved)

series4.7s (1.2%)

Counts
702 → 12323
Calls

3291 calls:

TimeVariablePointExpression
257.0ms
c
@0
(sqrt (* a (neg c)))
106.0ms
N
@0
(pow (E) (log (atan2 1 (+ (* N (+ 1 N)) 1))))
102.0ms
x
@-inf
(cbrt (pow x -1/2))
85.0ms
N
@inf
(pow (E) (log (atan2 1 (+ (* N (+ 1 N)) 1))))
76.0ms
x
@inf
(- (/ -2 x) (/ 1 (- -1 x)))

analyze3.1s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
57.6%33.2%24.4%42.4%0%0%0%5
59.9%34.1%22.8%43.1%0%0%0%6
63.7%35.1%20%44%0%0.8%0.1%7
66.8%36.5%18.1%44.5%0%0.8%0.1%8
69.3%37.2%16.5%44.9%0%1.2%0.3%9
71.4%37.7%15.1%45.2%0%1.7%0.3%10
73.9%38.6%13.6%45.4%0%1.9%0.4%11
75.2%39%12.9%45.6%0%2.2%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-sub, time spent: 225.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 225.0ms, 14.0% of total-time
Operation ival-mult, time spent: 201.0ms, 12.0% of total-time
Operation ival-log, time spent: 156.0ms, 10.0% of total-time
Operation ival-pow, time spent: 151.0ms, 9.0% of total-time
Operation ival-div, time spent: 120.0ms, 7.0% of total-time
Operation ival-<=, time spent: 113.0ms, 7.0% of total-time
Operation ival-sin, time spent: 69.0ms, 4.0% of total-time
Operation ival-add, time spent: 66.0ms, 4.0% of total-time
Operation ival-exp, time spent: 63.0ms, 4.0% of total-time
Operation ival-tan, time spent: 54.0ms, 3.0% of total-time
Operation ival-neg, time spent: 48.0ms, 3.0% of total-time
Operation const, time spent: 42.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 29.0ms, 2.0% of total-time
Operation ival-cos, time spent: 24.0ms, 1.0% of total-time
Operation ival-and, time spent: 16.0ms, 1.0% of total-time
Operation ival->, time spent: 13.0ms, 1.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 10.0ms, 1.0% of total-time
Operation ival-<, time spent: 9.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 3.0ms, 0.0% of total-time
Operation ival-atan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 0.0ms, 0.0% of total-time

end4.0ms (0%)

Profiling

Loading profile data...