Herbie run

Date:Saturday, March 16th, 2024
Commit:1bed614a on main
Hostname:nightly with Racket 8.11.1
Seed:2024076
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.8%)

Results
31.6s140186×256precondition
17.0s95103×256valid
28.3s58814×1024valid
45.0s36131×2048valid
9.1s34455×512valid
34.3s7110×8192exit
1.2s4343×256infinite
689.0ms4289×256unsamplable
504.0ms3972×256invalid
1.3s2017×4096valid
112.0ms197×512infinite
126.0ms108×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 33.0s, 26.0% of total-time
Operation ival-tan, time spent: 14.7s, 12.0% of total-time
Operation ival-exp, time spent: 12.7s, 10.0% of total-time
Operation ival-mult, time spent: 10.2s, 8.0% of total-time
Operation ival-sub, time spent: 7.7s, 6.0% of total-time
Operation ival-log, time spent: 6.3s, 5.0% of total-time
Operation ival-div, time spent: 5.9s, 5.0% of total-time
Operation ival-sin, time spent: 5.8s, 5.0% of total-time
Operation ival-cos, time spent: 5.3s, 4.0% of total-time
Operation ival-add, time spent: 5.2s, 4.0% of total-time
Operation ival-<=, time spent: 4.6s, 4.0% of total-time
Operation ival-fabs, time spent: 3.8s, 3.0% of total-time
Operation ival-<, time spent: 2.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-fmin, time spent: 1.2s, 1.0% of total-time
Operation ival-and, time spent: 1.1s, 1.0% of total-time
Operation ival->, time spent: 1.1s, 1.0% of total-time
Operation ival-cbrt, time spent: 618.0ms, 0.0% of total-time
Operation ival-neg, time spent: 529.0ms, 0.0% of total-time
Operation ival-atan, time spent: 440.0ms, 0.0% of total-time
Bogosity

localize1.3min (18.8%)

Compiler

Compiled 16394 to 9417 computations (42.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 55.7s
Operation ival-pow, time spent: 18.0s, 32.0% of total-time
Operation ival-mult, time spent: 7.1s, 13.0% of total-time
Operation ival-exp, time spent: 4.8s, 9.0% of total-time
Operation ival-div, time spent: 4.6s, 8.0% of total-time
Operation composed, time spent: 4.2s, 8.0% of total-time
Operation ival-add, time spent: 4.2s, 7.0% of total-time
Operation ival-log, time spent: 3.2s, 6.0% of total-time
Operation ival-sub, time spent: 2.1s, 4.0% of total-time
Operation ival-cbrt, time spent: 1.6s, 3.0% of total-time
Operation ival-tan, time spent: 1.5s, 3.0% of total-time
Operation const, time spent: 1.2s, 2.0% of total-time
Operation ival-sin, time spent: 1.1s, 2.0% of total-time
Operation ival-cos, time spent: 846.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 807.0ms, 1.0% of total-time
Operation ival-neg, time spent: 285.0ms, 1.0% of total-time
Operation ival-cosh, time spent: 100.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 40.0ms, 0.0% of total-time
Operation ival-atan, time spent: 20.0ms, 0.0% of total-time

eval33.1s (8.2%)

Compiler

Compiled 1486955 to 938555 computations (36.9% saved)

simplify25.5s (6.3%)

Algorithm
126×egg-herbie
Rules
33650×fma-define
32344×fma-neg
28814×associate-*r*
26357×distribute-lft-in
24828×*-commutative
Stop Event
28×saturated
97×node limit
20×fuel
1×unsound
8×done
Counts
38659 → 40589
Compiler

Compiled 3314 to 2371 computations (28.5% saved)

soundness21.6s (5.3%)

Rules
29449×fma-define
29382×log1p-expm1-u
26775×fma-neg
24556×expm1-log1p-u
19090×associate-*r*
Stop Event
8×saturated
101×node limit
Compiler

Compiled 15021 to 10184 computations (32.2% saved)

rewrite19.8s (4.9%)

Algorithm
98×batch-egg-rewrite
Rules
61837×log1p-expm1-u
47291×expm1-log1p-u
19559×pow1
19131×prod-diff
18914×add-exp-log
Stop Event
98×node limit
Counts
736 → 26446

preprocess16.1s (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 12175 to 7698 computations (36.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.1s
Operation ival-exp, time spent: 986.0ms, 16.0% of total-time
Operation ival-tan, time spent: 870.0ms, 14.0% of total-time
Operation ival-sub, time spent: 772.0ms, 13.0% of total-time
Operation ival-log, time spent: 743.0ms, 12.0% of total-time
Operation ival-mult, time spent: 467.0ms, 8.0% of total-time
Operation ival-add, time spent: 448.0ms, 7.0% of total-time
Operation ival-pow, time spent: 446.0ms, 7.0% of total-time
Operation ival-div, time spent: 354.0ms, 6.0% of total-time
Operation ival-sin, time spent: 311.0ms, 5.0% of total-time
Operation ival-cos, time spent: 262.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 173.0ms, 3.0% of total-time
Operation const, time spent: 125.0ms, 2.0% of total-time
Operation ival-neg, time spent: 40.0ms, 1.0% of total-time
Operation ival-atan, time spent: 37.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 27.0ms, 0.0% of total-time

prune12.8s (3.1%)

Counts
59900 → 1978
Compiler

Compiled 63924 to 45766 computations (28.4% saved)

regimes5.4s (1.3%)

Counts
3545 → 274
Calls

43 calls:

1.4s
(/.f64 #s(literal 1 binary64) n)
1.0s
x
717.0ms
n
286.0ms
a
257.0ms
c
Compiler

Compiled 1585 to 1113 computations (29.8% saved)

series3.9s (1%)

Counts
736 → 12213
Calls

3270 calls:

TimeVariablePointExpression
111.0ms
eps
@0
(- (+ 1 (* (tan x) (tan eps))) 1)
93.0ms
n
@0
(* n (log n))
61.0ms
x
@inf
(/ (log (+ 1 (neg x))) (log (+ 1 x)))
53.0ms
x
@inf
(log (pow (tan x) 2))
45.0ms
x
@0
(+ (exp x) (+ (exp (neg x)) -2))

analyze2.9s (0.7%)

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.6s
Operation ival-mult, time spent: 226.0ms, 14.0% of total-time
Operation ival-sub, time spent: 215.0ms, 14.0% of total-time
Operation ival-pow, time spent: 191.0ms, 12.0% of total-time
Operation ival-div, time spent: 166.0ms, 11.0% of total-time
Operation ival-log, time spent: 150.0ms, 10.0% of total-time
Operation ival-<=, time spent: 96.0ms, 6.0% of total-time
Operation ival-sin, time spent: 72.0ms, 5.0% of total-time
Operation ival-exp, time spent: 68.0ms, 4.0% of total-time
Operation ival-add, time spent: 68.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 59.0ms, 4.0% of total-time
Operation ival-tan, time spent: 55.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 52.0ms, 3.0% of total-time
Operation const, time spent: 47.0ms, 3.0% of total-time
Operation ival-neg, time spent: 38.0ms, 2.0% of total-time
Operation ival-cos, time spent: 24.0ms, 2.0% of total-time
Operation ival->, time spent: 15.0ms, 1.0% of total-time
Operation ival-and, time spent: 14.0ms, 1.0% of total-time
Operation ival-<, time spent: 9.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

bsearch2.7s (0.7%)

Algorithm
64×binary-search
38×left-value
Stop Event
7×predicate-same
57×narrow-enough
Results
868.0ms4432×256valid
666.0ms1005×1024valid
156.0ms877×256invalid
220.0ms573×512valid
121.0ms493×256infinite
202.0ms279×2048valid
31.0ms146×256unsamplable
44.0ms68×512infinite
54.0ms58×1024infinite
3.0ms4×4096valid
Compiler

Compiled 11442 to 8588 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
Operation ival-pow, time spent: 599.0ms, 45.0% of total-time
Operation ival-div, time spent: 190.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 130.0ms, 10.0% of total-time
Operation ival-mult, time spent: 118.0ms, 9.0% of total-time
Operation ival-sub, time spent: 97.0ms, 7.0% of total-time
Operation ival-add, time spent: 71.0ms, 5.0% of total-time
Operation ival-exp, time spent: 43.0ms, 3.0% of total-time
Operation ival-neg, time spent: 27.0ms, 2.0% of total-time
Operation const, time spent: 25.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 18.0ms, 1.0% of total-time
Operation ival-cos, time spent: 9.0ms, 1.0% of total-time

end6.0ms (0%)

Profiling

Loading profile data...