Herbie run

Date:Wednesday, March 20th, 2024
Commit:0f421560 on main
Hostname:nightly with Racket 8.11.1
Seed:2024080
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.8min)

sample3.1min (45%)

Results
27.1s142266×256precondition
15.3s95073×256valid
26.6s58738×1024valid
43.5s35874×2048valid
9.8s35040×512valid
33.4s7130×8192exit
723.0ms4226×256infinite
535.0ms4218×256unsamplable
392.0ms4046×256invalid
1.2s1916×4096valid
105.0ms173×512infinite
203.0ms128×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 32.6s, 26.0% of total-time
Operation ival-tan, time spent: 13.3s, 11.0% of total-time
Operation ival-exp, time spent: 11.9s, 9.0% of total-time
Operation ival-mult, time spent: 9.5s, 8.0% of total-time
Operation ival-sub, time spent: 8.5s, 7.0% of total-time
Operation ival-log, time spent: 6.7s, 5.0% of total-time
Operation ival-div, time spent: 5.8s, 5.0% of total-time
Operation ival-add, time spent: 5.7s, 5.0% of total-time
Operation ival-cos, time spent: 5.7s, 5.0% of total-time
Operation ival-sin, time spent: 5.1s, 4.0% of total-time
Operation ival-<=, time spent: 4.9s, 4.0% of total-time
Operation ival-fabs, time spent: 4.2s, 3.0% of total-time
Operation ival-<, time spent: 3.3s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.5s, 2.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-fmin, time spent: 1.3s, 1.0% of total-time
Operation ival->, time spent: 1.2s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival-neg, time spent: 807.0ms, 1.0% of total-time
Operation ival-atan, time spent: 405.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 366.0ms, 0.0% of total-time
Bogosity

localize1.4min (20.2%)

Results
12.5s12635×256valid
15.0s4189×1024valid
19.7s3416×2048valid
6.1s2475×512valid
1.1s1228×256invalid
10.6s664×8192exit
241.0ms271×256infinite
1.9s247×4096valid
511.0ms51×1024infinite
471.0ms49×2048infinite
177.0ms48×512infinite
406.0ms45×4096infinite
116.0ms16×1024invalid
74.0ms9×512invalid
5.0ms1×8192valid
Compiler

Compiled 17175 to 10305 computations (40% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-pow, time spent: 17.7s, 28.0% of total-time
Operation composed, time spent: 7.1s, 11.0% of total-time
Operation ival-mult, time spent: 7.0s, 11.0% of total-time
Operation ival-div, time spent: 6.9s, 11.0% of total-time
Operation ival-add, time spent: 4.7s, 7.0% of total-time
Operation ival-log, time spent: 4.5s, 7.0% of total-time
Operation ival-exp, time spent: 4.4s, 7.0% of total-time
Operation ival-sub, time spent: 2.2s, 3.0% of total-time
Operation ival-sin, time spent: 2.1s, 3.0% of total-time
Operation ival-tan, time spent: 1.7s, 3.0% of total-time
Operation const, time spent: 1.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.1s, 2.0% of total-time
Operation ival-cos, time spent: 868.0ms, 1.0% of total-time
Operation ival-neg, time spent: 285.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 90.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 64.0ms, 0.0% of total-time
Operation ival-atan, time spent: 21.0ms, 0.0% of total-time

eval30.0s (7.4%)

Compiler

Compiled 1411433 to 928653 computations (34.2% saved)

simplify24.4s (6%)

Algorithm
125×egg-herbie
Rules
30874×fma-define
27382×fma-neg
26049×distribute-lft-in
24459×distribute-rgt-in
24124×*-commutative
Stop Event
29×saturated
94×node limit
20×fuel
2×unsound
8×done
Counts
38225 → 40752
Compiler

Compiled 2964 to 2093 computations (29.4% saved)

soundness24.3s (6%)

Rules
31736×log1p-expm1-u
30134×fma-define
26073×expm1-log1p-u
24426×fma-neg
18264×associate-*r*
Stop Event
8×saturated
105×node limit
1×unsound
Compiler

Compiled 16840 to 10885 computations (35.4% saved)

rewrite19.0s (4.6%)

Algorithm
97×batch-egg-rewrite
Rules
61036×log1p-expm1-u
49129×expm1-log1p-u
19916×pow1
19160×add-exp-log
19022×add-log-exp
Stop Event
97×node limit
Counts
736 → 25179

preprocess17.0s (4.2%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Results
1.0s5818×256valid
2.6s3648×1024valid
930.0ms2242×512valid
4.4s2240×2048valid
52.0ms208×256infinite
93.0ms114×4096valid
50.0ms48×512infinite
36.0ms18×1024infinite
Compiler

Compiled 10751 to 6606 computations (38.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6s
Operation ival-tan, time spent: 781.0ms, 14.0% of total-time
Operation ival-exp, time spent: 722.0ms, 13.0% of total-time
Operation ival-log, time spent: 705.0ms, 13.0% of total-time
Operation ival-sub, time spent: 580.0ms, 10.0% of total-time
Operation ival-mult, time spent: 510.0ms, 9.0% of total-time
Operation ival-div, time spent: 487.0ms, 9.0% of total-time
Operation ival-add, time spent: 375.0ms, 7.0% of total-time
Operation ival-pow, time spent: 346.0ms, 6.0% of total-time
Operation ival-sin, time spent: 337.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 282.0ms, 5.0% of total-time
Operation ival-cos, time spent: 266.0ms, 5.0% of total-time
Operation const, time spent: 122.0ms, 2.0% of total-time
Operation ival-atan, time spent: 35.0ms, 1.0% of total-time
Operation ival-neg, time spent: 31.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 25.0ms, 0.0% of total-time

prune11.8s (2.9%)

Counts
54789 → 1848
Compiler

Compiled 61384 to 43775 computations (28.7% saved)

series5.0s (1.2%)

Counts
736 → 13046
Calls

3462 calls:

TimeVariablePointExpression
184.0ms
c
@inf
(/ a (- (neg b_2) (sqrt (- (pow b_2 2) (* a c)))))
133.0ms
eps
@0
(* eps (cos x))
109.0ms
a
@-inf
(/ a (- b_2 (sqrt (+ (* b_2 b_2) (* (sqrt (* a (neg c))) (sqrt (* a (neg c))))))))
71.0ms
N
@-inf
(cbrt (pow (cbrt (atan2 1 (+ (* N (+ 1 N)) 1))) 2))
62.0ms
eps
@0
(+ (log (- 1 (neg (/ (pow (sin x) 2) (pow (cos x) 2))))) (/ (* (sin x) eps) (cos x)))

regimes4.0s (1%)

Counts
2949 → 256
Calls

43 calls:

1.2s
x
459.0ms
(/.f64 #s(literal 1 binary64) n)
308.0ms
c
273.0ms
a
272.0ms
b
Compiler

Compiled 1506 to 1054 computations (30% saved)

bsearch3.6s (0.9%)

Algorithm
66×binary-search
26×left-value
Stop Event
3×predicate-same
63×narrow-enough
Results
718.0ms5685×256valid
149.0ms1610×256invalid
1.3s926×1024valid
298.0ms628×512valid
135.0ms558×256infinite
189.0ms229×2048valid
57.0ms57×1024infinite
14.0ms29×512infinite
4.0ms26×256unsamplable
Compiler

Compiled 13712 to 10013 computations (27% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
Operation ival-pow, time spent: 1.2s, 62.0% of total-time
Operation ival-mult, time spent: 185.0ms, 9.0% of total-time
Operation ival-div, time spent: 145.0ms, 7.0% of total-time
Operation ival-sub, time spent: 123.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 74.0ms, 4.0% of total-time
Operation ival-exp, time spent: 60.0ms, 3.0% of total-time
Operation ival-add, time spent: 56.0ms, 3.0% of total-time
Operation ival-neg, time spent: 44.0ms, 2.0% of total-time
Operation const, time spent: 26.0ms, 1.0% of total-time
Operation ival-cos, time spent: 22.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 3.0ms, 0.0% of total-time

analyze3.2s (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
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 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
Operation ival-sub, time spent: 226.0ms, 14.0% of total-time
Operation ival-log, time spent: 217.0ms, 13.0% of total-time
Operation ival-mult, time spent: 212.0ms, 13.0% of total-time
Operation ival-pow, time spent: 172.0ms, 10.0% of total-time
Operation ival-div, time spent: 138.0ms, 8.0% of total-time
Operation ival-<=, time spent: 104.0ms, 6.0% of total-time
Operation ival-add, time spent: 90.0ms, 5.0% of total-time
Operation ival-exp, time spent: 79.0ms, 5.0% of total-time
Operation ival-sin, time spent: 78.0ms, 5.0% of total-time
Operation ival-tan, time spent: 60.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 59.0ms, 4.0% of total-time
Operation ival-fabs, time spent: 57.0ms, 3.0% of total-time
Operation const, time spent: 46.0ms, 3.0% of total-time
Operation ival-cos, time spent: 37.0ms, 2.0% of total-time
Operation ival-neg, time spent: 34.0ms, 2.0% of total-time
Operation ival->, time spent: 16.0ms, 1.0% of total-time
Operation ival-and, time spent: 14.0ms, 1.0% of total-time
Operation ival-<, time spent: 11.0ms, 1.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 ival-cbrt, time spent: 0.0ms, 0.0% of total-time

end4.0ms (0%)

Profiling

Loading profile data...