Herbie run

Date:Thursday, March 7th, 2024
Commit:36fc83f8 on main
Hostname:nightly with Racket 8.11.1
Seed:2024067
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: 7.0min)

sample2.7min (39.3%)

Results
30.4s141576×256precondition
15.0s94609×256valid
28.4s59141×1024valid
44.3s36279×2048valid
9.8s35077×512valid
486.0ms4056×256invalid
732.0ms3938×256infinite
567.0ms3859×256unsamplable
19.0s3818×8192exit
1.5s1861×4096valid
91.0ms154×512infinite
111.0ms109×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation ival-pow, time spent: 20.0s, 18.0% of total-time
Operation ival-tan, time spent: 13.3s, 12.0% of total-time
Operation ival-exp, time spent: 12.8s, 12.0% of total-time
Operation ival-mult, time spent: 10.4s, 10.0% of total-time
Operation ival-sub, time spent: 7.6s, 7.0% of total-time
Operation ival-log, time spent: 6.2s, 6.0% of total-time
Operation ival-div, time spent: 5.5s, 5.0% of total-time
Operation ival-<=, time spent: 5.4s, 5.0% of total-time
Operation ival-cos, time spent: 5.2s, 5.0% of total-time
Operation ival-sin, time spent: 5.1s, 5.0% of total-time
Operation ival-add, time spent: 4.7s, 4.0% of total-time
Operation ival-<, time spent: 2.9s, 3.0% of total-time
Operation ival-fabs, time spent: 2.7s, 2.0% of total-time
Operation const, time spent: 1.5s, 1.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival->, time spent: 891.0ms, 1.0% of total-time
Operation ival-neg, time spent: 801.0ms, 1.0% of total-time
Operation ival-atan, time spent: 612.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 328.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 314.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 69.0ms, 0.0% of total-time
Bogosity

localize1.4min (19.9%)

Compiler

Compiled 17539 to 10409 computations (40.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-pow, time spent: 21.5s, 36.0% of total-time
Operation ival-mult, time spent: 9.1s, 15.0% of total-time
Operation ival-div, time spent: 5.6s, 9.0% of total-time
Operation composed, time spent: 4.1s, 7.0% of total-time
Operation ival-add, time spent: 4.1s, 7.0% of total-time
Operation ival-log, time spent: 3.2s, 5.0% of total-time
Operation ival-exp, time spent: 2.4s, 4.0% of total-time
Operation ival-sub, time spent: 2.3s, 4.0% of total-time
Operation ival-tan, time spent: 2.1s, 4.0% of total-time
Operation ival-sin, time spent: 1.5s, 2.0% of total-time
Operation const, time spent: 1.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 2.0% of total-time
Operation ival-cos, time spent: 801.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 553.0ms, 1.0% of total-time
Operation ival-neg, time spent: 181.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 83.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 80.0ms, 0.0% of total-time
Operation ival-atan, time spent: 40.0ms, 0.0% of total-time
Operation ival-e, time spent: 39.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

eval35.1s (8.4%)

Compiler

Compiled 1517637 to 971497 computations (36% saved)

simplify26.3s (6.3%)

Algorithm
126×egg-herbie
Rules
70358×fma-define
59556×fma-neg
59520×distribute-lft-in
52274×associate-*r*
52180×*-commutative
Stop Event
28×saturated
97×node limit
21×fuel
1×unsound
7×done
Counts
38198 → 41323
Compiler

Compiled 3292 to 2323 computations (29.4% saved)

soundness25.0s (6%)

Rules
68362×fma-define
50178×fma-neg
41292×associate-*r*
40216×distribute-lft-in
36010×*-commutative
Stop Event
8×saturated
107×node limit
Compiler

Compiled 17894 to 11493 computations (35.8% saved)

rewrite20.3s (4.9%)

Algorithm
98×batch-egg-rewrite
Rules
61163×log1p-expm1-u
46963×expm1-log1p-u
39334×prod-diff
29068×fma-define
27664×log-prod
Stop Event
98×node limit
Counts
760 → 25022

bsearch19.0s (4.6%)

Algorithm
109×binary-search
13×left-value
Stop Event
4×predicate-same
105×narrow-enough
Results
1.5s6601×256valid
2.0s3180×1024valid
1.1s2191×256unsamplable
11.6s1944×8192exit
496.0ms1586×256infinite
136.0ms1161×256invalid
505.0ms1050×512valid
610.0ms614×2048valid
9.0ms19×512unsamplable
23.0ms17×1024infinite
3.0ms8×512infinite
Compiler

Compiled 18269 to 13664 computations (25.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.4s
Operation ival-pow, time spent: 12.9s, 84.0% of total-time
Operation ival-div, time spent: 1.3s, 8.0% of total-time
Operation ival-sub, time spent: 489.0ms, 3.0% of total-time
Operation ival-add, time spent: 284.0ms, 2.0% of total-time
Operation ival-mult, time spent: 149.0ms, 1.0% of total-time
Operation const, time spent: 99.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 99.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 45.0ms, 0.0% of total-time
Operation ival-neg, time spent: 37.0ms, 0.0% of total-time
Operation ival-exp, time spent: 18.0ms, 0.0% of total-time
Operation ival-cos, time spent: 14.0ms, 0.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time

preprocess15.3s (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 11443 to 7148 computations (37.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6s
Operation ival-tan, time spent: 832.0ms, 15.0% of total-time
Operation ival-mult, time spent: 700.0ms, 13.0% of total-time
Operation ival-log, time spent: 661.0ms, 12.0% of total-time
Operation ival-exp, time spent: 625.0ms, 11.0% of total-time
Operation ival-sub, time spent: 607.0ms, 11.0% of total-time
Operation ival-pow, time spent: 477.0ms, 9.0% of total-time
Operation ival-add, time spent: 413.0ms, 7.0% of total-time
Operation ival-div, time spent: 347.0ms, 6.0% of total-time
Operation ival-sin, time spent: 284.0ms, 5.0% of total-time
Operation ival-cos, time spent: 271.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 135.0ms, 2.0% of total-time
Operation const, time spent: 124.0ms, 2.0% of total-time
Operation ival-atan, time spent: 35.0ms, 1.0% of total-time
Operation ival-neg, time spent: 28.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 28.0ms, 1.0% of total-time

prune13.1s (3.1%)

Counts
59325 → 1978
Compiler

Compiled 66663 to 46963 computations (29.6% saved)

regimes8.5s (2%)

Counts
3144 → 287
Calls

43 calls:

2.8s
x
1.1s
(/.f64 #s(literal 1 binary64) n)
804.0ms
a
665.0ms
n
625.0ms
c
Compiler

Compiled 1400 to 972 computations (30.6% saved)

series5.1s (1.2%)

Counts
760 → 13176
Calls

3615 calls:

TimeVariablePointExpression
182.0ms
x
@0
(exp (- (log 2) (* (log x) 3)))
153.0ms
x
@inf
(log (pow (exp eps) (+ (* (* -1 eps) (+ 1/6 (+ (* -1 (* (pow (sin x) 2) (/ (+ 1 (* (pow (sin x) 2) (pow (cos x) -2))) (pow (cos x) 2)))) (+ (* 1/6 (* (pow (sin x) 2) (pow (cos x) -2))) (* (+ 1 (* (pow (sin x) 2) (pow (cos x) -2))) -1/2))))) (* (sin x) (/ (+ 1 (* (pow (sin x) 2) (pow (cos x) -2))) (cos x))))))
102.0ms
eps
@-inf
(log (pow (exp eps) (+ (* (* -1 eps) (+ 1/6 (+ (* -1 (* (pow (sin x) 2) (/ (+ 1 (* (pow (sin x) 2) (pow (cos x) -2))) (pow (cos x) 2)))) (+ (* 1/6 (* (pow (sin x) 2) (pow (cos x) -2))) (* (+ 1 (* (pow (sin x) 2) (pow (cos x) -2))) -1/2))))) (* (sin x) (/ (+ 1 (* (pow (sin x) 2) (pow (cos x) -2))) (cos x))))))
79.0ms
x
@inf
(log (+ 1 (tan (+ x eps))))
73.0ms
N
@-inf
(cbrt (pow (cbrt (atan2 1 (+ (* N (+ 1 N)) 1))) 8))

analyze2.8s (0.7%)

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.5s
Operation ival-mult, time spent: 226.0ms, 15.0% of total-time
Operation ival-sub, time spent: 207.0ms, 14.0% of total-time
Operation ival-pow, time spent: 171.0ms, 12.0% of total-time
Operation ival-log, time spent: 160.0ms, 11.0% of total-time
Operation ival-<=, time spent: 121.0ms, 8.0% of total-time
Operation ival-div, time spent: 102.0ms, 7.0% of total-time
Operation ival-sin, time spent: 69.0ms, 5.0% of total-time
Operation ival-exp, time spent: 64.0ms, 4.0% of total-time
Operation ival-add, time spent: 60.0ms, 4.0% of total-time
Operation ival-tan, time spent: 52.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 51.0ms, 3.0% of total-time
Operation ival-neg, time spent: 45.0ms, 3.0% of total-time
Operation const, time spent: 40.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 29.0ms, 2.0% of total-time
Operation ival-cos, time spent: 26.0ms, 2.0% of total-time
Operation ival-and, time spent: 16.0ms, 1.0% of total-time
Operation ival->, time spent: 16.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: 10.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

end5.0ms (0%)

Profiling

Loading profile data...