Herbie run

Date:Tuesday, April 9th, 2024
Commit:ec545773 on artem-tuning-cleanup-128start-5ampl
Hostname:nightly with Racket 8.11.1
Seed:2024100
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.1min)

sample2.6min (42.8%)

Results
23.0s140078×0precondition
31.6s112301×1valid
8.1s76389×0valid
39.0s41128×2valid
27.1s6951×5exit
474.0ms4208×0invalid
468.0ms4176×0unsamplable
1.5s1350×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-pow: 25.7s (22.8% of total)
ival-exp: 11.8s (10.5% of total)
ival-tan: 10.9s (9.7% of total)
backward-pass: 9.4s (8.3% of total)
ival-mult: 8.3s (7.4% of total)
ival-sub: 6.3s (5.6% of total)
ival-cos: 5.1s (4.6% of total)
ival-div: 4.7s (4.2% of total)
ival-add: 4.6s (4% of total)
ival-log: 4.5s (4% of total)
ival-<=: 4.2s (3.8% of total)
ival-fabs: 4.1s (3.7% of total)
ival-sin: 3.7s (3.2% of total)
ival-<: 1.9s (1.7% of total)
ival-sqrt: 1.5s (1.3% of total)
const: 1.3s (1.1% of total)
ival-neg: 1.1s (1% of total)
ival->: 964.0ms (0.9% of total)
ival-fmin: 956.0ms (0.8% of total)
ival-and: 855.0ms (0.8% of total)
ival-cbrt: 361.0ms (0.3% of total)
ival-atan: 348.0ms (0.3% of total)
Bogosity

localize1.2min (19.1%)

Results
10.1s12445×0valid
16.4s7009×1valid
11.2s3115×2valid
1.1s1869×0invalid
17.4s927×5exit
2.5s343×3valid
231.0ms131×0unsamplable
15.0ms12×1invalid
13.0ms5×2invalid
Compiler

Compiled 17529 to 10383 computations (40.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 50.8s
ival-pow: 17.6s (34.6% of total)
backward-pass: 6.2s (12.2% of total)
ival-mult: 5.2s (10.1% of total)
ival-div: 4.1s (8.1% of total)
ival-exp: 3.5s (6.9% of total)
ival-add: 3.0s (6% of total)
ival-sub: 1.7s (3.4% of total)
ival-tan: 1.6s (3.2% of total)
ival-log: 1.3s (2.6% of total)
ival-fma: 1.1s (2.1% of total)
const: 951.0ms (1.9% of total)
ival-sqrt: 932.0ms (1.8% of total)
ival-log1p: 929.0ms (1.8% of total)
ival-cbrt: 926.0ms (1.8% of total)
ival-sin: 748.0ms (1.5% of total)
ival-cos: 406.0ms (0.8% of total)
ival-neg: 223.0ms (0.4% of total)
ival-atan2: 192.0ms (0.4% of total)
ival-expm1: 48.0ms (0.1% of total)
ival-hypot: 31.0ms (0.1% of total)
ival-atan: 19.0ms (0% of total)
ival-cosh: 12.0ms (0% of total)

simplify26.2s (7.2%)

Algorithm
126×egg-herbie
Rules
34039×fma-define
28868×fma-neg
25661×distribute-lft-in
25562×associate-*r*
25434×*-commutative
Stop Event
28×saturated
96×node limit
2×unsound
Counts
40027 → 42651

eval25.2s (6.9%)

Compiler

Compiled 1645634 to 1016365 computations (38.2% saved)

soundness24.2s (6.7%)

Rules
33450×log1p-expm1-u
29855×fma-define
26492×fma-neg
23291×expm1-log1p-u
19190×associate-*r*
Stop Event
8×saturated
108×node limit
22×fuel
2×unsound
6×done
Compiler

Compiled 22338 to 14453 computations (35.3% saved)

rewrite19.4s (5.3%)

Algorithm
98×batch-egg-rewrite
Rules
63470×log1p-expm1-u
44403×expm1-log1p-u
20297×pow1
19712×add-exp-log
19568×add-log-exp
Stop Event
97×node limit
1×unsound
Counts
780 → 26874

prune14.2s (3.9%)

Counts
64862 → 1828
Compiler

Compiled 57577 to 40913 computations (28.9% saved)

explain8.7s (2.4%)

Results
3.2s6892×1valid
740.0ms4726×0valid
3.0s2626×2valid
154.0ms92×3valid
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6s
backward-pass: 746.0ms (13.4% of total)
ival-exp: 743.0ms (13.4% of total)
ival-tan: 740.0ms (13.3% of total)
ival-log: 589.0ms (10.6% of total)
ival-sub: 491.0ms (8.8% of total)
ival-mult: 423.0ms (7.6% of total)
ival-add: 394.0ms (7.1% of total)
ival-div: 383.0ms (6.9% of total)
ival-cos: 257.0ms (4.6% of total)
ival-pow: 243.0ms (4.4% of total)
ival-sin: 191.0ms (3.4% of total)
ival-sqrt: 163.0ms (2.9% of total)
const: 93.0ms (1.7% of total)
ival-cbrt: 39.0ms (0.7% of total)
ival-atan: 32.0ms (0.6% of total)
ival-neg: 24.0ms (0.4% of total)

preprocess5.3s (1.4%)

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
Compiler

Compiled 10264 to 6802 computations (33.7% saved)

regimes5.1s (1.4%)

Counts
3374 → 308
Calls

43 calls:

1.0s
x
674.0ms
(/.f64 #s(literal 1 binary64) n)
606.0ms
eps
427.0ms
c
387.0ms
n
Compiler

Compiled 1666 to 1164 computations (30.1% saved)

series4.5s (1.2%)

Counts
780 → 13153
Calls

3483 calls:

TimeVariablePointExpression
171.0ms
n
@inf
(/ (log (+ 1 x)) n)
131.0ms
x
@inf
(+ 2 (* x (+ 1 (* 1/2 x))))
72.0ms
b_2
@-inf
(/ a (- (sqrt (+ (* b_2 b_2) (* (sqrt (* c (neg a))) (sqrt (* c (neg a)))))) b_2))
70.0ms
a
@inf
(pow (- (exp (* a x)) 1) 5/6)
62.0ms
x
@-inf
(/ (* (pow (+ 1 x) -1/2) (/ -1 x)) (- -1 (sqrt (/ (+ 1 x) x))))

analyze2.9s (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.7%36.3%17.3%44.9%0%1.2%0.3%9
69.7%36.8%16%45.2%0%1.7%0.3%10
72.2%37.8%14.5%45.4%0%1.9%0.4%11
73.4%38.1%13.8%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.4s
ival-mult: 233.0ms (16.1% of total)
ival-sub: 197.0ms (13.6% of total)
ival-pow: 176.0ms (12.2% of total)
ival-div: 143.0ms (9.9% of total)
ival-log: 113.0ms (7.8% of total)
ival-sin: 96.0ms (6.7% of total)
ival-<=: 79.0ms (5.5% of total)
ival-exp: 67.0ms (4.6% of total)
ival-add: 64.0ms (4.4% of total)
ival-sqrt: 52.0ms (3.6% of total)
ival-fabs: 47.0ms (3.3% of total)
ival-neg: 39.0ms (2.7% of total)
ival-tan: 36.0ms (2.5% of total)
const: 30.0ms (2.1% of total)
ival-cos: 28.0ms (1.9% of total)
ival->: 12.0ms (0.8% of total)
ival-and: 11.0ms (0.8% of total)
ival-<: 8.0ms (0.6% of total)
backward-pass: 6.0ms (0.4% of total)
ival-fmin: 6.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.7s (0.7%)

Algorithm
64×binary-search
51×left-value
Stop Event
1×predicate-same
63×narrow-enough
Results
657.0ms5659×0valid
841.0ms1744×1valid
96.0ms1193×0invalid
262.0ms453×2valid
8.0ms50×0unsamplable
Compiler

Compiled 11921 to 8935 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-pow: 502.0ms (36.4% of total)
ival-add: 171.0ms (12.4% of total)
ival-sub: 148.0ms (10.7% of total)
ival-mult: 139.0ms (10.1% of total)
ival-div: 122.0ms (8.9% of total)
backward-pass: 82.0ms (5.9% of total)
ival-exp: 75.0ms (5.4% of total)
ival-sqrt: 71.0ms (5.2% of total)
ival-neg: 37.0ms (2.7% of total)
const: 20.0ms (1.5% of total)
ival-cos: 11.0ms (0.8% of total)

end0.0ms (0%)

Profiling

Loading profile data...