Herbie run

Date:Friday, March 29th, 2024
Commit:815bfa57 on platforms-nightlies
Hostname:nightly with Racket 8.11.1
Seed:2024089
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: 7.0min)

sample3.1min (44.3%)

Results
33.1s142639×256precondition
16.1s95757×256valid
27.7s57961×1024valid
45.4s36392×2048valid
10.0s34625×512valid
33.6s7142×8192exit
687.0ms4288×256invalid
858.0ms4171×256infinite
724.0ms4159×256unsamplable
1.5s1939×4096valid
108.0ms185×512infinite
143.0ms138×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 32.8s, 26.0% of total-time
Operation ival-tan, time spent: 14.6s, 11.0% of total-time
Operation ival-exp, time spent: 12.4s, 10.0% of total-time
Operation ival-mult, time spent: 9.9s, 8.0% of total-time
Operation ival-sub, time spent: 7.7s, 6.0% of total-time
Operation ival-div, time spent: 6.5s, 5.0% of total-time
Operation ival-log, time spent: 6.3s, 5.0% of total-time
Operation ival-cos, time spent: 6.2s, 5.0% of total-time
Operation ival-<=, time spent: 5.7s, 4.0% of total-time
Operation ival-sin, time spent: 5.3s, 4.0% of total-time
Operation ival-add, time spent: 5.0s, 4.0% of total-time
Operation ival-fabs, time spent: 3.8s, 3.0% of total-time
Operation ival-<, time spent: 2.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.1s, 2.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-and, time spent: 1.0s, 1.0% of total-time
Operation ival->, time spent: 956.0ms, 1.0% of total-time
Operation ival-fmin, time spent: 910.0ms, 1.0% of total-time
Operation ival-neg, time spent: 651.0ms, 1.0% of total-time
Operation ival-atan, time spent: 651.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 370.0ms, 0.0% of total-time
Bogosity

localize1.4min (20%)

Compiler

Compiled 20177 to 11956 computations (40.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-pow, time spent: 19.6s, 31.0% of total-time
Operation ival-mult, time spent: 9.0s, 14.0% of total-time
Operation ival-exp, time spent: 6.2s, 10.0% of total-time
Operation ival-div, time spent: 5.2s, 8.0% of total-time
Operation composed, time spent: 4.9s, 8.0% of total-time
Operation ival-add, time spent: 4.7s, 8.0% of total-time
Operation ival-log, time spent: 3.3s, 5.0% of total-time
Operation ival-sub, time spent: 3.0s, 5.0% of total-time
Operation ival-cbrt, time spent: 1.6s, 3.0% of total-time
Operation const, time spent: 1.3s, 2.0% of total-time
Operation ival-sin, time spent: 1.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 899.0ms, 1.0% of total-time
Operation ival-tan, time spent: 619.0ms, 1.0% of total-time
Operation ival-cos, time spent: 435.0ms, 1.0% of total-time
Operation ival-neg, time spent: 191.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 142.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 35.0ms, 0.0% of total-time
Operation ival-e, time spent: 24.0ms, 0.0% of total-time
Operation ival-atan, time spent: 17.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time

eval34.9s (8.3%)

Compiler

Compiled 1611143 to 1029127 computations (36.1% saved)

simplify26.5s (6.3%)

Algorithm
125×egg-herbie
Rules
31985×fmm-def
31707×fma-define
27572×distribute-lft-in
26964×associate-*r*
25900×*-commutative
Stop Event
28×saturated
96×node limit
19×fuel
1×unsound
9×done
Counts
38726 → 43056
Compiler

Compiled 3477 to 2440 computations (29.8% saved)

soundness22.8s (5.5%)

Rules
29298×fma-define
27901×fmm-def
27778×log1p-expm1-u
22433×expm1-log1p-u
17861×associate-*r*
Stop Event
9×saturated
101×node limit
Compiler

Compiled 20093 to 13289 computations (33.9% saved)

rewrite19.7s (4.7%)

Algorithm
97×batch-egg-rewrite
Rules
59573×log1p-expm1-u
47543×expm1-log1p-u
20869×pow1
20222×add-exp-log
19739×add-log-exp
Stop Event
97×node limit
Counts
771 → 25664

preprocess15.1s (3.6%)

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 11645 to 7262 computations (37.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.5s
Operation ival-exp, time spent: 877.0ms, 16.0% of total-time
Operation ival-tan, time spent: 815.0ms, 15.0% of total-time
Operation ival-log, time spent: 672.0ms, 12.0% of total-time
Operation ival-sub, time spent: 475.0ms, 9.0% of total-time
Operation ival-mult, time spent: 446.0ms, 8.0% of total-time
Operation ival-div, time spent: 446.0ms, 8.0% of total-time
Operation ival-add, time spent: 401.0ms, 7.0% of total-time
Operation ival-pow, time spent: 348.0ms, 6.0% of total-time
Operation ival-cos, time spent: 335.0ms, 6.0% of total-time
Operation ival-sin, time spent: 261.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 208.0ms, 4.0% of total-time
Operation const, time spent: 126.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 37.0ms, 1.0% of total-time
Operation ival-atan, time spent: 34.0ms, 1.0% of total-time
Operation ival-neg, time spent: 29.0ms, 1.0% of total-time

prune13.6s (3.2%)

Counts
58750 → 1964
Compiler

Compiled 67361 to 48538 computations (27.9% saved)

regimes4.6s (1.1%)

Counts
3453 → 270
Calls

43 calls:

1.4s
x
570.0ms
(/.f64 #s(literal 1 binary64) n)
377.0ms
a
366.0ms
n
352.0ms
b
Compiler

Compiled 1497 to 1047 computations (30.1% saved)

series4.5s (1.1%)

Counts
771 → 13062
Calls

3567 calls:

TimeVariablePointExpression
125.0ms
x
@inf
(pow (pow (pow (E) (log (- (exp (* a x)) 1))) 5/2) 1/3)
101.0ms
c
@0
(pow (- (pow b_2 2) (* a c)) 1/4)
66.0ms
b
@inf
(* (- (exp (* eps (+ a b))) 1) (/ (/ 1 a) (* b eps)))
65.0ms
a
@-inf
(exp (* (- (log (* a -4)) (neg (log c))) 1/2))
64.0ms
x
@inf
(* eps (- (+ 1/3 (* -1 (* eps (+ (* -1 (/ (* (sin x) (- 1/3 (* -1 (/ (pow (sin x) 2) (pow (cos x) 2))))) (cos x))) (+ (* -1/3 (/ (sin x) (cos x))) (+ (* -1/3 (/ (pow (sin x) 3) (pow (cos x) 3))) (/ (* (sin x) (+ (* -1 (/ (pow (sin x) 4) (pow (cos x) 4))) (* -1/3 (/ (pow (sin x) 2) (pow (cos x) 2))))) (cos x)))))))) (+ (* -1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (* -1 (/ (pow (sin x) 4) (pow (cos x) 4))) (* -1/3 (/ (pow (sin x) 2) (pow (cos x) 2)))))))

bsearch4.5s (1.1%)

Algorithm
86×binary-search
16×left-value
Stop Event
2×predicate-same
84×narrow-enough
Results
1.0s5626×256valid
1.4s1909×1024valid
422.0ms1071×256infinite
175.0ms1070×256invalid
393.0ms951×512valid
454.0ms579×2048valid
196.0ms132×512infinite
14.0ms69×256unsamplable
17.0ms18×1024infinite
1.0ms2×4096valid
Compiler

Compiled 16364 to 12151 computations (25.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
Operation ival-pow, time spent: 989.0ms, 38.0% of total-time
Operation ival-div, time spent: 831.0ms, 32.0% of total-time
Operation ival-mult, time spent: 227.0ms, 9.0% of total-time
Operation ival-sub, time spent: 178.0ms, 7.0% of total-time
Operation ival-add, time spent: 97.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 79.0ms, 3.0% of total-time
Operation ival-exp, time spent: 75.0ms, 3.0% of total-time
Operation ival-neg, time spent: 51.0ms, 2.0% of total-time
Operation const, time spent: 40.0ms, 2.0% of total-time
Operation ival-cbrt, time spent: 25.0ms, 1.0% of total-time
Operation ival-cos, time spent: 10.0ms, 0.0% of total-time

analyze3.0s (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: 230.0ms, 14.0% of total-time
Operation ival-mult, time spent: 210.0ms, 13.0% of total-time
Operation ival-pow, time spent: 180.0ms, 11.0% of total-time
Operation ival-<=, time spent: 154.0ms, 9.0% of total-time
Operation ival-log, time spent: 146.0ms, 9.0% of total-time
Operation ival-div, time spent: 132.0ms, 8.0% of total-time
Operation ival-exp, time spent: 84.0ms, 5.0% of total-time
Operation ival-add, time spent: 82.0ms, 5.0% of total-time
Operation ival-sin, time spent: 77.0ms, 5.0% of total-time
Operation ival-tan, time spent: 64.0ms, 4.0% of total-time
Operation ival-fabs, time spent: 59.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 57.0ms, 3.0% of total-time
Operation const, time spent: 45.0ms, 3.0% of total-time
Operation ival-neg, time spent: 34.0ms, 2.0% of total-time
Operation ival-cos, time spent: 31.0ms, 2.0% of total-time
Operation ival->, time spent: 18.0ms, 1.0% of total-time
Operation ival-and, time spent: 13.0ms, 1.0% of total-time
Operation ival-<, time spent: 10.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

end6.0ms (0%)

Profiling

Loading profile data...