Herbie run

Date:Thursday, February 22nd, 2024
Commit:906753db on main
Hostname:nightly with Racket 8.11.1
Seed:2024053
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.3min)

sample2.8min (43.7%)

Results
31.2s141589×256precondition
16.4s95425×256valid
29.8s58489×1024valid
43.5s35879×2048valid
10.4s34928×512valid
17.8s7222×8192exit
871.0ms4203×256infinite
697.0ms4079×256unsamplable
618.0ms4044×256invalid
1.4s1916×4096valid
125.0ms196×512infinite
128.0ms132×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation ival-pow, time spent: 16.0s, 15.0% of total-time
Operation ival-tan, time spent: 14.2s, 13.0% of total-time
Operation ival-exp, time spent: 12.2s, 11.0% of total-time
Operation ival-sub, time spent: 8.7s, 8.0% of total-time
Operation ival-mult, time spent: 8.5s, 8.0% of total-time
Operation ival-log, time spent: 7.2s, 7.0% of total-time
Operation ival-div, time spent: 6.5s, 6.0% of total-time
Operation ival-<=, time spent: 6.1s, 6.0% of total-time
Operation ival-cos, time spent: 5.9s, 5.0% of total-time
Operation ival-add, time spent: 5.4s, 5.0% of total-time
Operation ival-sin, time spent: 5.2s, 5.0% of total-time
Operation ival-fabs, time spent: 3.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 2.0% of total-time
Operation ival-<, time spent: 2.2s, 2.0% of total-time
Operation const, time spent: 1.5s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival-neg, time spent: 967.0ms, 1.0% of total-time
Operation ival->, time spent: 958.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 809.0ms, 1.0% of total-time
Operation ival-atan, time spent: 420.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 413.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 72.0ms, 0.0% of total-time
Bogosity

localize1.1min (17%)

Compiler

Compiled 17016 to 10481 computations (38.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.9s
Operation ival-pow, time spent: 11.8s, 26.0% of total-time
Operation ival-mult, time spent: 7.3s, 16.0% of total-time
Operation ival-div, time spent: 4.7s, 10.0% of total-time
Operation composed, time spent: 3.9s, 9.0% of total-time
Operation ival-add, time spent: 3.5s, 8.0% of total-time
Operation ival-log, time spent: 2.8s, 6.0% of total-time
Operation ival-sub, time spent: 2.0s, 4.0% of total-time
Operation ival-sin, time spent: 1.7s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 3.0% of total-time
Operation ival-exp, time spent: 1.4s, 3.0% of total-time
Operation ival-tan, time spent: 1.3s, 3.0% of total-time
Operation const, time spent: 1.1s, 2.0% of total-time
Operation ival-cos, time spent: 618.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 496.0ms, 1.0% of total-time
Operation ival-neg, time spent: 264.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 219.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 179.0ms, 0.0% of total-time
Operation ival-atan, time spent: 17.0ms, 0.0% of total-time

eval35.2s (9.3%)

Compiler

Compiled 1470808 to 979298 computations (33.4% saved)

simplify23.7s (6.2%)

Algorithm
124×egg-herbie
Rules
60140×fma-define
56710×fma-neg
55076×distribute-lft-in
50644×distribute-rgt-in
50188×*-commutative
Stop Event
28×saturated
96×node limit
20×fuel
8×done
Counts
37794 → 42911
Compiler

Compiled 3125 to 2232 computations (28.6% saved)

soundness22.2s (5.8%)

Rules
60810×fma-define
51502×fma-neg
35224×distribute-lft-in
33666×associate-*r*
32518×distribute-rgt-in
Stop Event
9×saturated
98×node limit
Compiler

Compiled 16964 to 10752 computations (36.6% saved)

rewrite18.3s (4.8%)

Algorithm
96×batch-egg-rewrite
Rules
58102×log1p-expm1-u
50186×expm1-log1p-u
43848×prod-diff
32222×fma-define
27824×log-prod
Stop Event
95×node limit
1×unsound
Counts
762 → 24853

preprocess16.0s (4.2%)

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 11111 to 7032 computations (36.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
Operation ival-tan, time spent: 839.0ms, 14.0% of total-time
Operation ival-log, time spent: 777.0ms, 13.0% of total-time
Operation ival-div, time spent: 755.0ms, 13.0% of total-time
Operation ival-exp, time spent: 595.0ms, 10.0% of total-time
Operation ival-sub, time spent: 509.0ms, 9.0% of total-time
Operation ival-cos, time spent: 440.0ms, 7.0% of total-time
Operation ival-add, time spent: 422.0ms, 7.0% of total-time
Operation ival-pow, time spent: 412.0ms, 7.0% of total-time
Operation ival-mult, time spent: 398.0ms, 7.0% of total-time
Operation ival-sin, time spent: 279.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 237.0ms, 4.0% of total-time
Operation const, time spent: 124.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 47.0ms, 1.0% of total-time
Operation ival-atan, time spent: 35.0ms, 1.0% of total-time
Operation ival-neg, time spent: 26.0ms, 0.0% of total-time

prune13.9s (3.7%)

Counts
57563 → 2050
Compiler

Compiled 69908 to 49832 computations (28.7% saved)

regimes9.2s (2.4%)

Counts
3062 → 273
Calls

43 calls:

1.9s
(/.f64 1 n)
1.6s
x
963.0ms
n
776.0ms
c
751.0ms
a
Compiler

Compiled 1559 to 1081 computations (30.7% saved)

series5.0s (1.3%)

Counts
762 → 12941
Calls

3618 calls:

TimeVariablePointExpression
148.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))))))
117.0ms
x
@-inf
(log (+ 1 (tan (+ x eps))))
93.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))))))
86.0ms
a
@inf
(sqrt (* (pow b 2) (+ 1 (* -4 (/ (* a c) (pow b 2))))))
75.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))))))

analyze3.7s (1%)

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
56.4%32.5%25.1%42.4%0%0%0%5
58.7%33.4%23.5%43.1%0%0%0%6
62.4%34.4%20.7%44%0%0.8%0.1%7
65.4%35.7%18.9%44.5%0%0.8%0.1%8
67.8%36.4%17.3%44.9%0%1.2%0.3%9
69.8%36.8%15.9%45.2%0%1.7%0.3%10
72.3%37.8%14.5%45.4%0%1.9%0.4%11
73.5%38.1%13.7%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: 2.3s
Operation ival-log, time spent: 367.0ms, 16.0% of total-time
Operation ival-div, time spent: 302.0ms, 13.0% of total-time
Operation ival-mult, time spent: 290.0ms, 13.0% of total-time
Operation ival-sub, time spent: 263.0ms, 12.0% of total-time
Operation ival-pow, time spent: 222.0ms, 10.0% of total-time
Operation ival-<=, time spent: 160.0ms, 7.0% of total-time
Operation ival-sin, time spent: 103.0ms, 5.0% of total-time
Operation ival-cos, time spent: 99.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 94.0ms, 4.0% of total-time
Operation ival-add, time spent: 86.0ms, 4.0% of total-time
Operation ival-exp, time spent: 62.0ms, 3.0% of total-time
Operation ival-tan, time spent: 53.0ms, 2.0% of total-time
Operation const, time spent: 46.0ms, 2.0% of total-time
Operation ival-neg, time spent: 42.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 28.0ms, 1.0% of total-time
Operation ...c/syntax/syntax.rkt:185:8, time spent: 17.0ms, 1.0% of total-time
Operation ival-and, time spent: 17.0ms, 1.0% of total-time
Operation ival->, time spent: 15.0ms, 1.0% of total-time
Operation ival-<, time spent: 9.0ms, 0.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

bsearch2.1s (0.6%)

Algorithm
56×binary-search
39×left-value
Stop Event
2×predicate-same
54×narrow-enough
Results
846.0ms5488×256valid
210.0ms955×256invalid
265.0ms636×1024valid
421.0ms601×2048valid
80.0ms299×512valid
21.0ms134×256infinite
25.0ms132×256unsamplable
4.0ms7×4096valid
2.0ms3×1024infinite
Compiler

Compiled 10977 to 8118 computations (26% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
Operation ival-pow, time spent: 232.0ms, 22.0% of total-time
Operation ival-sqrt, time spent: 207.0ms, 20.0% of total-time
Operation ival-mult, time spent: 177.0ms, 17.0% of total-time
Operation ival-div, time spent: 135.0ms, 13.0% of total-time
Operation ival-sub, time spent: 102.0ms, 10.0% of total-time
Operation ival-exp, time spent: 61.0ms, 6.0% of total-time
Operation ival-add, time spent: 49.0ms, 5.0% of total-time
Operation ival-neg, time spent: 42.0ms, 4.0% of total-time
Operation const, time spent: 23.0ms, 2.0% of total-time
Operation ival-cos, time spent: 9.0ms, 1.0% of total-time
Operation ival-log, time spent: 8.0ms, 1.0% of total-time
Operation ival-tan, time spent: 1.0ms, 0.0% of total-time

end10.0ms (0%)

Profiling

Loading profile data...