Herbie run

Date:Wednesday, April 10th, 2024
Commit:66a2a2df on artem-no-repeats-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024101
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: 9.3min)

localize2.4min (25.8%)

Results
28.2s34533×0valid
6.8s4814×0invalid
33.5s4037×1valid
23.3s1625×5exit
22.6s1412×2valid
114.0ms120×0unsamplable
560.0ms51×3valid
Compiler

Compiled 49860 to 29057 computations (41.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-pow: 15.0s (15.6% of total)
ival-mult: 13.6s (14.2% of total)
backward-pass: 11.4s (11.9% of total)
ival-log: 9.3s (9.7% of total)
ival-add: 8.3s (8.7% of total)
ival-div: 8.1s (8.4% of total)
ival-sub: 6.5s (6.8% of total)
ival-fma: 5.0s (5.2% of total)
ival-asin: 4.6s (4.8% of total)
ival-sqrt: 2.8s (2.9% of total)
ival-exp: 2.4s (2.5% of total)
const: 2.1s (2.2% of total)
ival-acos: 1.4s (1.5% of total)
ival-cbrt: 1.3s (1.3% of total)
ival-hypot: 958.0ms (1% of total)
ival-log1p: 819.0ms (0.9% of total)
ival-sin: 767.0ms (0.8% of total)
ival-cos: 605.0ms (0.6% of total)
ival-expm1: 368.0ms (0.4% of total)
ival-neg: 336.0ms (0.4% of total)
ival-copysign: 104.0ms (0.1% of total)
ival-fabs: 101.0ms (0.1% of total)
ival-atan2: 100.0ms (0.1% of total)
ival-pi: 83.0ms (0.1% of total)

sample2.2min (24.1%)

Results
55.3s438979×0valid
10.7s25887×1valid
38.1s7759×5exit
2.8s5735×2valid
486.0ms4321×0unsamplable
45.0ms482×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-sin: 24.8s (28.2% of total)
ival-mult: 19.4s (22% of total)
ival-add: 8.3s (9.4% of total)
backward-pass: 8.1s (9.2% of total)
ival-div: 6.4s (7.3% of total)
ival-sub: 4.8s (5.5% of total)
ival-exp: 3.1s (3.5% of total)
ival-log: 2.5s (2.8% of total)
ival-sqrt: 2.0s (2.3% of total)
const: 1.4s (1.6% of total)
ival-cos: 1.0s (1.2% of total)
ival-asin: 1.0s (1.1% of total)
ival-pow: 946.0ms (1.1% of total)
ival-atan2: 908.0ms (1% of total)
ival->: 595.0ms (0.7% of total)
ival-pi: 561.0ms (0.6% of total)
ival-acosh: 450.0ms (0.5% of total)
ival-<=: 409.0ms (0.5% of total)
ival->=: 372.0ms (0.4% of total)
ival-neg: 250.0ms (0.3% of total)
ival-asinh: 229.0ms (0.3% of total)
ival-fabs: 194.0ms (0.2% of total)
ival-atanh: 144.0ms (0.2% of total)
ival-and: 83.0ms (0.1% of total)
Bogosity

simplify52.0s (9.3%)

Algorithm
221×egg-herbie
Rules
59662×fma-define
49105×distribute-lft-in
46313×*-commutative
45319×fma-neg
44475×distribute-rgt-in
Stop Event
57×saturated
158×node limit
6×unsound
Counts
68200 → 63138

eval47.1s (8.4%)

Compiler

Compiled 3193077 to 2039572 computations (36.1% saved)

soundness45.7s (8.2%)

Rules
57286×fma-define
46487×fma-neg
42695×log1p-expm1-u
38035×associate-*r*
35861×distribute-lft-in
Stop Event
21×saturated
177×node limit
34×fuel
8×unsound
23×done
Compiler

Compiled 48985 to 29458 computations (39.9% saved)

rewrite35.3s (6.3%)

Algorithm
164×batch-egg-rewrite
Rules
108665×log1p-expm1-u
80306×expm1-log1p-u
36965×pow1
33983×add-exp-log
31594×add-log-exp
Stop Event
157×node limit
7×unsound
Counts
1323 → 41682

prune26.1s (4.7%)

Counts
92802 → 2867
Compiler

Compiled 129971 to 89719 computations (31% saved)

explain21.2s (3.8%)

Results
7.3s25978×0valid
7.5s2648×1valid
637.0ms550×2valid
13.0ms8×5exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.3s
ival-add: 2.7s (22.3% of total)
ival-mult: 2.5s (20.7% of total)
ival-div: 2.0s (16.1% of total)
backward-pass: 1.5s (12.4% of total)
ival-sub: 1.4s (11.6% of total)
ival-sqrt: 491.0ms (4% of total)
const: 377.0ms (3.1% of total)
ival-exp: 301.0ms (2.4% of total)
ival-log: 241.0ms (2% of total)
ival-pow: 193.0ms (1.6% of total)
ival-cos: 142.0ms (1.2% of total)
ival-sin: 96.0ms (0.8% of total)
ival-asin: 86.0ms (0.7% of total)
ival-atan2: 51.0ms (0.4% of total)
ival-neg: 36.0ms (0.3% of total)
ival-pi: 25.0ms (0.2% of total)
ival-fabs: 24.0ms (0.2% of total)
ival-log1p: 23.0ms (0.2% of total)
ival-copysign: 13.0ms (0.1% of total)

regimes14.8s (2.6%)

Counts
6414 → 795
Calls

132 calls:

1.9s
y.im
1.8s
y.re
1.3s
im
832.0ms
x.re
826.0ms
x.im
Compiler

Compiled 6357 to 4293 computations (32.5% saved)

series12.6s (2.3%)

Counts
1323 → 26518
Calls

6723 calls:

TimeVariablePointExpression
301.0ms
im
@0
(/ (log im) (log base))
300.0ms
base
@-inf
(exp (neg (log (log base))))
202.0ms
u1
@0
(log (sqrt (* (log u1) -1/18)))
110.0ms
im
@-inf
(exp (+ re (log (sin im))))
107.0ms
base
@0
(exp (neg (log (log base))))

preprocess11.9s (2.1%)

Algorithm
57×egg-herbie
Rules
20546×fma-neg
20224×fma-define
10466×unsub-neg
9196×sub-neg
8861×distribute-lft-in
Stop Event
32×saturated
25×node limit
Compiler

Compiled 31598 to 17884 computations (43.4% saved)

bsearch9.9s (1.8%)

Algorithm
381×binary-search
36×left-value
Stop Event
21×predicate-same
360×narrow-enough
Results
5.0s40228×0valid
1.5s2798×1valid
113.0ms270×2valid
Compiler

Compiled 78600 to 55708 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.5s
ival-mult: 1.5s (33.2% of total)
ival-sin: 671.0ms (14.9% of total)
ival-add: 569.0ms (12.7% of total)
ival-div: 305.0ms (6.8% of total)
ival-log: 292.0ms (6.5% of total)
ival-exp: 283.0ms (6.3% of total)
ival-sub: 212.0ms (4.7% of total)
ival-sqrt: 156.0ms (3.5% of total)
backward-pass: 124.0ms (2.8% of total)
ival-cos: 122.0ms (2.7% of total)
ival-atan2: 104.0ms (2.3% of total)
const: 78.0ms (1.7% of total)
ival-asin: 26.0ms (0.6% of total)
ival-fabs: 22.0ms (0.5% of total)
ival-neg: 20.0ms (0.4% of total)
ival-copysign: 12.0ms (0.3% of total)
ival-pi: 4.0ms (0.1% of total)

analyze3.8s (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%54.1%30.5%13.7%0%1.7%0%2
71.8%58.9%23.1%13.7%0%4.3%0%3
77.7%62.2%17.8%13.7%0%6.2%0%4
83.7%66.9%13%13.7%0%6.3%0%5
85.8%68.4%11.3%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.5%8%13.7%0%6.8%0%8
91.1%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 994 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 923.0ms (37.4% of total)
ival-add: 317.0ms (12.8% of total)
ival-sub: 302.0ms (12.2% of total)
ival-log: 226.0ms (9.2% of total)
ival-div: 153.0ms (6.2% of total)
ival-sqrt: 135.0ms (5.5% of total)
ival-sin: 81.0ms (3.3% of total)
ival-pow: 78.0ms (3.2% of total)
ival-atan2: 77.0ms (3.1% of total)
ival-exp: 56.0ms (2.3% of total)
const: 47.0ms (1.9% of total)
ival-cos: 19.0ms (0.8% of total)
ival->: 13.0ms (0.5% of total)
ival-pi: 12.0ms (0.5% of total)
ival-<=: 10.0ms (0.4% of total)
ival-neg: 8.0ms (0.3% of total)
backward-pass: 6.0ms (0.2% of total)
ival-and: 2.0ms (0.1% of total)
ival-asin: 1.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival->=: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...