Herbie run

Date:Monday, March 11th, 2024
Commit:d14d36a1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024071
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: 35.3min)

analyze18.4min (52.3%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Results
Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.3min
Operation ival-cos, time spent: 9.0min, 49.0% of total-time
Operation ival-sin, time spent: 8.8min, 48.0% of total-time
Operation ival-mult, time spent: 9.3s, 1.0% of total-time
Operation ival-tan, time spent: 5.3s, 0.0% of total-time
Operation ival-div, time spent: 3.8s, 0.0% of total-time
Operation ival-pow, time spent: 3.3s, 0.0% of total-time
Operation ival-add, time spent: 1.5s, 0.0% of total-time
Operation ival-sub, time spent: 1.3s, 0.0% of total-time
Operation const, time spent: 654.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 633.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 439.0ms, 0.0% of total-time
Operation ival-neg, time spent: 301.0ms, 0.0% of total-time
Operation ival-<, time spent: 231.0ms, 0.0% of total-time
Operation ival-exp, time spent: 167.0ms, 0.0% of total-time
Operation ival-log, time spent: 112.0ms, 0.0% of total-time
Operation ival-pi, time spent: 98.0ms, 0.0% of total-time
Operation ival-acos, time spent: 82.0ms, 0.0% of total-time
Operation ival-atan, time spent: 65.0ms, 0.0% of total-time
Operation ival-asin, time spent: 50.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 45.0ms, 0.0% of total-time
Operation ival-and, time spent: 43.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 22.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

sample5.6min (15.8%)

Results
1.2min281712×256valid
22.3s34899×512valid
6.1s27722×256invalid
7.8s26482×256unsamplable
5.3s25940×256infinite
15.1s24059×1024valid
2.5min16632×8192exit
11.1s7455×2048valid
3.5s4917×512infinite
10.1s2501×4096valid
1.4s1678×1024invalid
935.0ms1167×512invalid
1.5s1164×2048invalid
131.0ms882×256precondition
4.0s702×2048infinite
1.7s468×1024infinite
3.5s408×4096infinite
6.0ms6×512unsamplable
77.0ms4×8192valid
7.0ms4×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 4.3min
Operation ival-pow, time spent: 2.3min, 55.0% of total-time
Operation ival-mult, time spent: 22.7s, 9.0% of total-time
Operation ival-div, time spent: 14.3s, 6.0% of total-time
Operation ival-cos, time spent: 13.9s, 5.0% of total-time
Operation ival-sin, time spent: 13.4s, 5.0% of total-time
Operation ival-exp, time spent: 11.0s, 4.0% of total-time
Operation ival-log, time spent: 9.3s, 4.0% of total-time
Operation ival-add, time spent: 7.4s, 3.0% of total-time
Operation ival-sub, time spent: 6.9s, 3.0% of total-time
Operation ival-<, time spent: 2.9s, 1.0% of total-time
Operation ival-sqrt, time spent: 2.9s, 1.0% of total-time
Operation const, time spent: 2.7s, 1.0% of total-time
Operation ival-neg, time spent: 2.6s, 1.0% of total-time
Operation ival-tan, time spent: 1.0s, 0.0% of total-time
Operation ival-atan2, time spent: 985.0ms, 0.0% of total-time
Operation ival-acos, time spent: 898.0ms, 0.0% of total-time
Operation ival-atan, time spent: 843.0ms, 0.0% of total-time
Operation ival-pi, time spent: 569.0ms, 0.0% of total-time
Operation ival-and, time spent: 531.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 286.0ms, 0.0% of total-time
Operation ival-<=, time spent: 228.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 226.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

localize4.0min (11.3%)

Results
Compiler

Compiled 51500 to 26608 computations (48.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2min
Operation ival-sin, time spent: 1.2min, 37.0% of total-time
Operation ival-mult, time spent: 29.0s, 15.0% of total-time
Operation ival-pow, time spent: 24.3s, 13.0% of total-time
Operation composed, time spent: 13.1s, 7.0% of total-time
Operation ival-cos, time spent: 12.3s, 6.0% of total-time
Operation ival-div, time spent: 10.3s, 5.0% of total-time
Operation ival-log, time spent: 7.1s, 4.0% of total-time
Operation ival-add, time spent: 6.3s, 3.0% of total-time
Operation ival-sub, time spent: 4.0s, 2.0% of total-time
Operation ival-exp, time spent: 3.7s, 2.0% of total-time
Operation const, time spent: 2.8s, 1.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.3s, 1.0% of total-time
Operation ival-atan, time spent: 978.0ms, 1.0% of total-time
Operation ival-tan, time spent: 954.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 710.0ms, 0.0% of total-time
Operation ival-neg, time spent: 515.0ms, 0.0% of total-time
Operation ival-acos, time spent: 379.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 291.0ms, 0.0% of total-time
Operation ival-pi, time spent: 142.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.5min (4.4%)

Compiler

Compiled 4100335 to 2271514 computations (44.6% saved)

regimes1.3min (3.7%)

Counts
14705 → 741
Calls

124 calls:

6.2s
b
5.5s
lambda1
5.3s
phi1
5.2s
lambda2
5.0s
a
Compiler

Compiled 8370 to 6168 computations (26.3% saved)

simplify57.7s (2.7%)

Algorithm
205×egg-herbie
Rules
68760×fma-define
52552×associate-*r*
46167×distribute-lft-in
45545×*-commutative
41667×fma-neg
Stop Event
46×saturated
35×fuel
157×node limit
2×unsound
10×done
Counts
81426 → 69723
Compiler

Compiled 12886 to 8747 computations (32.1% saved)

soundness56.4s (2.7%)

Rules
74396×fma-define
53818×log1p-expm1-u
46520×associate-*r*
40678×distribute-lft-in
40252×fma-neg
Stop Event
15×saturated
194×node limit
3×unsound
Compiler

Compiled 39466 to 23459 computations (40.6% saved)

preprocess46.4s (2.2%)

Algorithm
46×egg-herbie
Rules
28531×fma-define
17453×fma-neg
12393×div-sub
10625×unsub-neg
9431×sub-neg
Stop Event
21×saturated
25×node limit
Compiler

Compiled 56354 to 34579 computations (38.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.2s
Operation ival-mult, time spent: 3.9s, 20.0% of total-time
Operation ival-sin, time spent: 3.7s, 19.0% of total-time
Operation ival-cos, time spent: 2.9s, 15.0% of total-time
Operation ival-div, time spent: 2.6s, 13.0% of total-time
Operation ival-pow, time spent: 1.9s, 10.0% of total-time
Operation ival-sub, time spent: 831.0ms, 4.0% of total-time
Operation ival-add, time spent: 678.0ms, 4.0% of total-time
Operation ival-log, time spent: 634.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 475.0ms, 2.0% of total-time
Operation ival-tan, time spent: 455.0ms, 2.0% of total-time
Operation const, time spent: 326.0ms, 2.0% of total-time
Operation ival-exp, time spent: 294.0ms, 2.0% of total-time
Operation ival-atan, time spent: 152.0ms, 1.0% of total-time
Operation ival-neg, time spent: 137.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 71.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 66.0ms, 0.0% of total-time
Operation ival-acos, time spent: 54.0ms, 0.0% of total-time
Operation ival-pi, time spent: 50.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 42.0ms, 0.0% of total-time

prune40.8s (1.9%)

Counts
130855 → 5472
Compiler

Compiled 281504 to 194164 computations (31% saved)

rewrite34.8s (1.6%)

Algorithm
160×batch-egg-rewrite
Rules
105902×log1p-expm1-u
73995×expm1-log1p-u
38175×pow1
36130×add-exp-log
34923×add-log-exp
Stop Event
156×node limit
4×unsound
Counts
1497 → 47600

bsearch15.4s (0.7%)

Algorithm
243×binary-search
74×left-value
Stop Event
9×predicate-same
234×narrow-enough
Results
6.1s23493×256valid
3.4s4651×512valid
632.0ms2381×256invalid
1.1s1244×2048valid
726.0ms985×1024valid
928.0ms909×4096valid
110.0ms459×256infinite
71.0ms131×512infinite
46.0ms103×512invalid
133.0ms88×2048invalid
61.0ms86×1024invalid
2.0ms29×256unsamplable
Compiler

Compiled 71230 to 52888 computations (25.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
Operation ival-mult, time spent: 1.7s, 20.0% of total-time
Operation ival-sin, time spent: 1.1s, 13.0% of total-time
Operation ival-cos, time spent: 1.1s, 13.0% of total-time
Operation ival-pow, time spent: 884.0ms, 11.0% of total-time
Operation ival-sub, time spent: 718.0ms, 9.0% of total-time
Operation ival-div, time spent: 511.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 499.0ms, 6.0% of total-time
Operation ival-add, time spent: 471.0ms, 6.0% of total-time
Operation ival-atan, time spent: 303.0ms, 4.0% of total-time
Operation ival-acos, time spent: 275.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 186.0ms, 2.0% of total-time
Operation const, time spent: 176.0ms, 2.0% of total-time
Operation ival-log, time spent: 152.0ms, 2.0% of total-time
Operation ival-exp, time spent: 127.0ms, 2.0% of total-time
Operation ival-neg, time spent: 110.0ms, 1.0% of total-time
Operation ival-pi, time spent: 74.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 22.0ms, 0.0% of total-time
Operation ival-tan, time spent: 6.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time

series11.6s (0.5%)

Counts
1497 → 33826
Calls

8316 calls:

TimeVariablePointExpression
102.0ms
x
@-inf
(log (sqrt (+ 1 (exp x))))
84.0ms
a
@inf
(log (+ (+ 1 (exp a)) (* b (+ 1 (* b 1/2)))))
84.0ms
B
@0
(log (* 2 (/ F B)))
75.0ms
x
@inf
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 3/40 (* -5/112 (pow x 2)))) 1/6))))
73.0ms
b
@-inf
(log (+ (exp a) (exp b)))

end24.0ms (0%)

Profiling

Loading profile data...