Herbie run

Date:Tuesday, March 19th, 2024
Commit:a8759e55 on avx-platform
Hostname:nightly with Racket 8.11.1
Seed:2024079
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.9min)

sample3.1min (45.2%)

Results
34.7s143022×256precondition
16.3s95371×256valid
28.1s58499×1024valid
46.3s36188×2048valid
10.4s34712×512valid
33.4s7078×8192exit
874.0ms4219×256infinite
773.0ms4172×256unsamplable
490.0ms4110×256invalid
1.2s1896×4096valid
256.0ms147×512infinite
167.0ms136×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 31.5s, 25.0% of total-time
Operation ival-tan, time spent: 14.4s, 11.0% of total-time
Operation ival-exp, time spent: 11.9s, 9.0% of total-time
Operation ival-mult, time spent: 10.1s, 8.0% of total-time
Operation ival-sub, time spent: 9.1s, 7.0% of total-time
Operation ival-log, time spent: 6.7s, 5.0% of total-time
Operation ival-div, time spent: 6.4s, 5.0% of total-time
Operation ival-cos, time spent: 5.6s, 4.0% of total-time
Operation ival-sin, time spent: 5.5s, 4.0% of total-time
Operation ival-add, time spent: 5.5s, 4.0% of total-time
Operation ival-<=, time spent: 5.1s, 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: 1.7s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-and, time spent: 1.1s, 1.0% of total-time
Operation ival-fmin, time spent: 935.0ms, 1.0% of total-time
Operation ival->, time spent: 879.0ms, 1.0% of total-time
Operation ival-neg, time spent: 518.0ms, 0.0% of total-time
Operation ival-atan, time spent: 461.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 400.0ms, 0.0% of total-time
Bogosity

localize1.2min (17.9%)

Compiler

Compiled 16006 to 9525 computations (40.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 55.4s
Operation ival-pow, time spent: 18.1s, 33.0% of total-time
Operation ival-mult, time spent: 7.2s, 13.0% of total-time
Operation composed, time spent: 5.2s, 9.0% of total-time
Operation ival-div, time spent: 4.6s, 8.0% of total-time
Operation ival-add, time spent: 4.1s, 7.0% of total-time
Operation ival-exp, time spent: 3.5s, 6.0% of total-time
Operation ival-log, time spent: 2.4s, 4.0% of total-time
Operation ival-sin, time spent: 2.2s, 4.0% of total-time
Operation ival-sub, time spent: 2.1s, 4.0% of total-time
Operation ival-cbrt, time spent: 1.5s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 2.0% of total-time
Operation const, time spent: 1.2s, 2.0% of total-time
Operation ival-tan, time spent: 719.0ms, 1.0% of total-time
Operation ival-cos, time spent: 591.0ms, 1.0% of total-time
Operation ival-neg, time spent: 249.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 211.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 162.0ms, 0.0% of total-time
Operation ival-atan, time spent: 21.0ms, 0.0% of total-time

eval38.0s (9.1%)

Compiler

Compiled 1717603 to 1130601 computations (34.2% saved)

simplify27.4s (6.6%)

Algorithm
127×egg-herbie
Rules
33052×fma-define
31542×fmm-def
27038×distribute-lft-in
26805×times-frac
26288×associate-*r*
Stop Event
28×saturated
98×node limit
20×fuel
1×unsound
8×done
Counts
40208 → 42992
Compiler

Compiled 3102 to 2208 computations (28.8% saved)

soundness23.6s (5.7%)

Rules
32630×log1p-expm1-u
28937×fma-define
27271×fmm-def
24682×expm1-log1p-u
17855×times-frac
Stop Event
8×saturated
104×node limit
1×unsound
Compiler

Compiled 16874 to 10764 computations (36.2% saved)

rewrite19.3s (4.6%)

Algorithm
99×batch-egg-rewrite
Rules
63592×log1p-expm1-u
48444×expm1-log1p-u
18895×pow1
18875×add-exp-log
18742×add-log-exp
Stop Event
98×node limit
1×unsound
Counts
781 → 26636

preprocess15.4s (3.7%)

Algorithm
28×egg-herbie
Rules
8308×fmm-def
6663×fma-define
4254×div-sub
2652×sub-neg
2620×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 11687 to 7506 computations (35.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.6s
Operation ival-tan, time spent: 834.0ms, 15.0% of total-time
Operation ival-log, time spent: 822.0ms, 15.0% of total-time
Operation ival-exp, time spent: 702.0ms, 13.0% of total-time
Operation ival-sub, time spent: 622.0ms, 11.0% of total-time
Operation ival-div, time spent: 510.0ms, 9.0% of total-time
Operation ival-mult, time spent: 434.0ms, 8.0% of total-time
Operation ival-add, time spent: 369.0ms, 7.0% of total-time
Operation ival-pow, time spent: 330.0ms, 6.0% of total-time
Operation ival-sin, time spent: 276.0ms, 5.0% of total-time
Operation ival-cos, time spent: 240.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 187.0ms, 3.0% of total-time
Operation const, time spent: 124.0ms, 2.0% of total-time
Operation ival-neg, time spent: 41.0ms, 1.0% of total-time
Operation ival-atan, time spent: 41.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 28.0ms, 1.0% of total-time

prune13.6s (3.3%)

Counts
62006 → 2000
Compiler

Compiled 64270 to 46205 computations (28.1% saved)

series4.7s (1.1%)

Counts
781 → 13572
Calls

3594 calls:

TimeVariablePointExpression
274.0ms
x
@-inf
(pow (- (exp (* a x)) 1) 1/6)
238.0ms
x
@inf
(* x (+ 1/27 (* (pow x 6) (pow (+ (* (pow x 2) 2/945) 1/45) 3))))
99.0ms
a
@inf
(pow (pow (exp (pow (cbrt (log (- (exp (* a x)) 1))) 2)) (cbrt (log (- (exp (* a x)) 1)))) 1/6)
77.0ms
n
@0
(/ (- (neg (/ (- (/ 1/4 (* x n)) (/ 1/3 n)) x)) (/ 1/2 n)) x)
49.0ms
a
@-inf
(pow (pow (exp (pow (cbrt (log (- (exp (* a x)) 1))) 2)) (cbrt (log (- (exp (* a x)) 1)))) 1/6)

regimes4.3s (1%)

Counts
3027 → 282
Calls

43 calls:

1.0s
x
557.0ms
(/.f64 #s(literal 1 binary64) n)
527.0ms
a
385.0ms
c
352.0ms
b_2
Compiler

Compiled 1439 to 997 computations (30.7% saved)

bsearch4.1s (1%)

Algorithm
86×binary-search
19×left-value
Stop Event
3×predicate-same
83×narrow-enough
Results
1.1s7270×256valid
1.2s1652×1024valid
182.0ms1483×256invalid
286.0ms620×512valid
165.0ms493×256infinite
300.0ms419×2048valid
27.0ms137×256unsamplable
226.0ms96×512infinite
19.0ms19×1024infinite
4.0ms7×4096valid
Compiler

Compiled 15844 to 11916 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
Operation ival-pow, time spent: 626.0ms, 35.0% of total-time
Operation ival-div, time spent: 330.0ms, 18.0% of total-time
Operation ival-mult, time spent: 235.0ms, 13.0% of total-time
Operation ival-add, time spent: 176.0ms, 10.0% of total-time
Operation ival-sub, time spent: 152.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 90.0ms, 5.0% of total-time
Operation ival-neg, time spent: 62.0ms, 3.0% of total-time
Operation ival-exp, time spent: 57.0ms, 3.0% of total-time
Operation ival-cbrt, time spent: 37.0ms, 2.0% of total-time
Operation const, time spent: 34.0ms, 2.0% of total-time
Operation ival-cos, time spent: 15.0ms, 1.0% of total-time

analyze3.1s (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-sub, time spent: 217.0ms, 13.0% of total-time
Operation ival-mult, time spent: 207.0ms, 13.0% of total-time
Operation ival-pow, time spent: 198.0ms, 12.0% of total-time
Operation ival-log, time spent: 144.0ms, 9.0% of total-time
Operation ival-div, time spent: 126.0ms, 8.0% of total-time
Operation ival-add, time spent: 110.0ms, 7.0% of total-time
Operation ival-<=, time spent: 110.0ms, 7.0% of total-time
Operation ival-exp, time spent: 92.0ms, 6.0% of total-time
Operation ival-sin, time spent: 76.0ms, 5.0% of total-time
Operation ival-tan, time spent: 60.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 60.0ms, 4.0% of total-time
Operation ival-fabs, time spent: 57.0ms, 4.0% of total-time
Operation const, time spent: 46.0ms, 3.0% of total-time
Operation ival-cos, time spent: 34.0ms, 2.0% of total-time
Operation ival-neg, time spent: 33.0ms, 2.0% of total-time
Operation ival-and, time spent: 14.0ms, 1.0% of total-time
Operation ival->, time spent: 13.0ms, 1.0% of total-time
Operation ival-<, time spent: 11.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 9.0ms, 1.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...