Herbie run

Date:Wednesday, March 6th, 2024
Commit:790951ae on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024066
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: 11.1min)

sample3.3min (29.8%)

Results
1.3min373165×256valid
15.4s72096×256infinite
6.7s10653×1024valid
1.2min7813×8192exit
2.5s7199×512valid
4.5s4431×512infinite
746.0ms4191×256unsamplable
1.5s1878×2048valid
614.0ms1082×4096valid
163.0ms495×256invalid
103.0ms90×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 48.6s, 38.0% of total-time
Operation ival-mult, time spent: 22.3s, 17.0% of total-time
Operation ival-add, time spent: 11.8s, 9.0% of total-time
Operation ival-div, time spent: 9.3s, 7.0% of total-time
Operation ival-sub, time spent: 9.0s, 7.0% of total-time
Operation ival-pow, time spent: 5.7s, 4.0% of total-time
Operation ival-exp, time spent: 3.5s, 3.0% of total-time
Operation ival-log, time spent: 3.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-asin, time spent: 1.9s, 2.0% of total-time
Operation ival-cos, time spent: 1.8s, 1.0% of total-time
Operation ival-atan2, time spent: 1.6s, 1.0% of total-time
Operation ival->, time spent: 900.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 767.0ms, 1.0% of total-time
Operation ival-pi, time spent: 760.0ms, 1.0% of total-time
Operation ival-neg, time spent: 510.0ms, 0.0% of total-time
Operation ival-<=, time spent: 397.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 361.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 309.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 281.0ms, 0.0% of total-time
Operation ival->=, time spent: 160.0ms, 0.0% of total-time
Operation ival-and, time spent: 105.0ms, 0.0% of total-time
Bogosity

localize2.8min (25.1%)

Compiler

Compiled 47160 to 26608 computations (43.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-mult, time spent: 24.0s, 19.0% of total-time
Operation ival-pow, time spent: 17.4s, 14.0% of total-time
Operation composed, time spent: 15.3s, 12.0% of total-time
Operation ival-add, time spent: 14.9s, 12.0% of total-time
Operation ival-div, time spent: 13.6s, 11.0% of total-time
Operation ival-log, time spent: 10.0s, 8.0% of total-time
Operation ival-asin, time spent: 6.6s, 5.0% of total-time
Operation ival-sub, time spent: 6.6s, 5.0% of total-time
Operation ival-exp, time spent: 3.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.9s, 2.0% of total-time
Operation const, time spent: 2.8s, 2.0% of total-time
Operation ival-acos, time spent: 2.3s, 2.0% of total-time
Operation ival-cos, time spent: 920.0ms, 1.0% of total-time
Operation ival-sin, time spent: 916.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 761.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 410.0ms, 0.0% of total-time
Operation ival-neg, time spent: 286.0ms, 0.0% of total-time
Operation ival-pi, time spent: 73.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 60.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 38.0ms, 0.0% of total-time

eval1.1min (9.6%)

Compiler

Compiled 3026475 to 1972253 computations (34.8% saved)

simplify46.8s (7%)

Algorithm
220×egg-herbie
Rules
106347×fma-define
87457×fma-neg
81635×*-commutative
81624×distribute-lft-in
78774×associate-*r*
Stop Event
57×saturated
34×fuel
155×node limit
8×unsound
23×done
Counts
65722 → 59387
Compiler

Compiled 10125 to 6603 computations (34.8% saved)

soundness43.7s (6.5%)

Rules
107442×fma-define
90982×fma-neg
72932×associate-*r*
64871×distribute-lft-in
60029×distribute-rgt-in
Stop Event
20×saturated
180×node limit
12×unsound
Compiler

Compiled 40758 to 25780 computations (36.7% saved)

preprocess40.6s (6.1%)

Algorithm
57×egg-herbie
Rules
40033×fma-neg
38663×fma-define
19396×unsub-neg
17401×distribute-lft-in
16736×sub-neg
Stop Event
32×saturated
25×node limit
Compiler

Compiled 46461 to 25782 computations (44.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.7s
Operation ival-mult, time spent: 3.2s, 23.0% of total-time
Operation ival-add, time spent: 2.4s, 17.0% of total-time
Operation ival-div, time spent: 2.3s, 17.0% of total-time
Operation ival-sub, time spent: 1.8s, 13.0% of total-time
Operation ival-log, time spent: 665.0ms, 5.0% of total-time
Operation ival-asin, time spent: 660.0ms, 5.0% of total-time
Operation ival-pow, time spent: 508.0ms, 4.0% of total-time
Operation const, time spent: 489.0ms, 4.0% of total-time
Operation ival-exp, time spent: 442.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 380.0ms, 3.0% of total-time
Operation composed, time spent: 337.0ms, 2.0% of total-time
Operation ival-cos, time spent: 259.0ms, 2.0% of total-time
Operation ival-sin, time spent: 142.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 78.0ms, 1.0% of total-time
Operation ival-neg, time spent: 51.0ms, 0.0% of total-time
Operation ival-pi, time spent: 30.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 11.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time

rewrite32.1s (4.8%)

Algorithm
163×batch-egg-rewrite
Rules
114591×log1p-expm1-u
84720×expm1-log1p-u
46652×log-prod
43271×prod-diff
38349×unpow-prod-down
Stop Event
155×node limit
8×unsound
Counts
1296 → 40251

regimes24.4s (3.7%)

Counts
6301 → 707
Calls

130 calls:

3.5s
y.im
2.2s
y.re
1.9s
im
1.9s
x
1.7s
beta
Compiler

Compiled 6408 to 4403 computations (31.3% saved)

prune22.7s (3.4%)

Counts
87745 → 2602
Compiler

Compiled 122102 to 85984 computations (29.6% saved)

series11.1s (1.7%)

Counts
1296 → 25471
Calls

6450 calls:

TimeVariablePointExpression
285.0ms
x
@0
(- (log x) (log (log x)))
159.0ms
x.im
@inf
(pow (exp y.im) (atan2 x.im x.re))
156.0ms
im
@inf
(log (sqrt (pow im (/ 1 (log base)))))
128.0ms
base
@0
(* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (log base)))
120.0ms
u1
@-inf
(log (+ 1 (* 1/6 (sqrt (* (log u1) -2)))))

bsearch10.7s (1.6%)

Algorithm
312×binary-search
35×left-value
Stop Event
13×predicate-same
299×narrow-enough
Results
5.9s26607×256valid
1.1s5953×256infinite
1.2s1560×512infinite
540.0ms566×2048valid
271.0ms532×512valid
115.0ms321×1024valid
100.0ms189×4096valid
36.0ms32×1024infinite
Compiler

Compiled 65760 to 46919 computations (28.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0s
Operation ival-mult, time spent: 1.9s, 39.0% of total-time
Operation ival-add, time spent: 697.0ms, 14.0% of total-time
Operation ival-sin, time spent: 452.0ms, 9.0% of total-time
Operation ival-log, time spent: 431.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 329.0ms, 7.0% of total-time
Operation ival-sub, time spent: 254.0ms, 5.0% of total-time
Operation ival-div, time spent: 243.0ms, 5.0% of total-time
Operation ival-exp, time spent: 202.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 188.0ms, 4.0% of total-time
Operation ival-cos, time spent: 98.0ms, 2.0% of total-time
Operation const, time spent: 87.0ms, 2.0% of total-time
Operation ival-asin, time spent: 36.0ms, 1.0% of total-time
Operation ival-neg, time spent: 12.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time

analyze5.0s (0.7%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 1007 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
Operation ival-mult, time spent: 968.0ms, 34.0% of total-time
Operation ival-add, time spent: 445.0ms, 16.0% of total-time
Operation ival-log, time spent: 307.0ms, 11.0% of total-time
Operation ival-sub, time spent: 242.0ms, 8.0% of total-time
Operation ival-atan2, time spent: 206.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 166.0ms, 6.0% of total-time
Operation ival-div, time spent: 136.0ms, 5.0% of total-time
Operation ival-pow, time spent: 96.0ms, 3.0% of total-time
Operation ival-exp, time spent: 72.0ms, 3.0% of total-time
Operation const, time spent: 65.0ms, 2.0% of total-time
Operation ival-sin, time spent: 62.0ms, 2.0% of total-time
Operation ival-cos, time spent: 43.0ms, 1.0% of total-time
Operation ival-pi, time spent: 22.0ms, 1.0% of total-time
Operation ival-<=, time spent: 15.0ms, 1.0% of total-time
Operation ival->, time spent: 11.0ms, 0.0% of total-time
Operation ival-neg, time spent: 9.0ms, 0.0% of total-time
Operation ival-and, time spent: 2.0ms, 0.0% of total-time
Operation ival-asin, time spent: 1.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time

end14.0ms (0%)

Profiling

Loading profile data...