Herbie run

Date:Thursday, May 9th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024130
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 3.8min)

sample1.2min (31.9%)

Results
32.0s48587×1valid
20.2s109158×0valid
9.5s16782×5exit
3.1s7375×2valid
442.0ms4058×0invalid
136.0ms1423×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 52.8s
...c/correct-round.rkt:119:19: 14.4s (27.3% of total)
ival-cos: 9.7s (18.4% of total)
ival-sin: 6.7s (12.7% of total)
ival-mult: 3.7s (7% of total)
backward-pass: 3.3s (6.3% of total)
ival-pow: 2.1s (4% of total)
ival-log: 1.7s (3.2% of total)
ival-sqrt: 1.4s (2.6% of total)
ival-exp: 1.3s (2.5% of total)
ival-add: 1.3s (2.4% of total)
ival-tan: 1.3s (2.4% of total)
ival-fmod: 1.1s (2% of total)
ival-<=: 994.0ms (1.9% of total)
ival-div: 815.0ms (1.5% of total)
ival-sub: 683.0ms (1.3% of total)
ival-sinh: 651.0ms (1.2% of total)
ival-neg: 438.0ms (0.8% of total)
ival-acos: 388.0ms (0.7% of total)
const: 212.0ms (0.4% of total)
ival-==: 154.0ms (0.3% of total)
ival-and: 136.0ms (0.3% of total)
ival-<: 118.0ms (0.2% of total)
ival->: 110.0ms (0.2% of total)
ival-or: 63.0ms (0.1% of total)
ival-atan: 53.0ms (0.1% of total)
ival->=: 47.0ms (0.1% of total)
Bogosity

soundness29.2s (12.8%)

Rules
14874×log1p-expm1-u
14335×fma-define
13834×fma-neg
12739×expm1-log1p-u
12059×associate-*r*
Stop Event
6×saturated
58×node limit
12×fuel
3×unsound
8×done
Compiler

Compiled 11493 to 3275 computations (71.5% saved)

simplify29.0s (12.7%)

Algorithm
153×egg-herbie
Rules
47270×fma-define
41991×fma-neg
25214×distribute-lft-in
22435×*-commutative
22370×distribute-rgt-in
Stop Event
54×saturated
92×node limit
7×unsound
Counts
33315 → 29987

regimes19.2s (8.4%)

Counts
4485 → 177
Calls

53 calls:

5.4s
lo
4.8s
hi
1.2s
b
1.1s
a
1.1s
x
Compiler

Compiled 1761 to 1241 computations (29.5% saved)

rewrite16.4s (7.2%)

Algorithm
66×batch-egg-rewrite
Rules
34324×log1p-expm1-u
28893×expm1-log1p-u
16438×pow1
14891×add-exp-log
14647×add-log-exp
Stop Event
66×node limit
Counts
654 → 22191

prune16.2s (7.1%)

Counts
48166 → 2060
Compiler

Compiled 76494 to 40570 computations (47% saved)

localize16.0s (7%)

Results
5.4s4758×1valid
3.1s10453×0valid
2.2s1090×2valid
1.8s235×5exit
246.0ms178×1invalid
100.0ms264×0invalid
55.0ms38×3valid
49.0ms135×0unsamplable
4.0ms1×4valid
Compiler

Compiled 8823 to 1333 computations (84.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
ival-cos: 1.2s (13.3% of total)
ival-pow: 1.1s (11.7% of total)
ival-mult: 853.0ms (9.4% of total)
backward-pass: 848.0ms (9.3% of total)
ival-log: 838.0ms (9.2% of total)
ival-div: 644.0ms (7.1% of total)
ival-sin: 493.0ms (5.4% of total)
ival-tan: 445.0ms (4.9% of total)
ival-fmod: 378.0ms (4.1% of total)
ival-exp: 328.0ms (3.6% of total)
...c/correct-round.rkt:119:19: 303.0ms (3.3% of total)
ival-sub: 289.0ms (3.2% of total)
ival-fma: 287.0ms (3.1% of total)
ival-add: 266.0ms (2.9% of total)
ival-hypot: 257.0ms (2.8% of total)
ival-sqrt: 184.0ms (2% of total)
ival-asin: 88.0ms (1% of total)
ival-acos: 71.0ms (0.8% of total)
ival-cbrt: 69.0ms (0.8% of total)
ival-sinh: 55.0ms (0.6% of total)
ival-neg: 49.0ms (0.5% of total)
const: 46.0ms (0.5% of total)
ival-log1p: 19.0ms (0.2% of total)
ival-expm1: 11.0ms (0.1% of total)
ival-pi: 6.0ms (0.1% of total)
ival-atan: 3.0ms (0% of total)

eval9.4s (4.1%)

Compiler

Compiled 1026073 to 164314 computations (84% saved)

analyze6.4s (2.8%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.9s
...c/correct-round.rkt:119:19: 2.0s (51.6% of total)
ival-<=: 625.0ms (16.1% of total)
ival-add: 198.0ms (5.1% of total)
ival-tan: 172.0ms (4.4% of total)
ival-mult: 121.0ms (3.1% of total)
ival-div: 115.0ms (3% of total)
ival-pow: 115.0ms (3% of total)
ival-cos: 78.0ms (2% of total)
ival-sin: 72.0ms (1.9% of total)
ival-exp: 62.0ms (1.6% of total)
ival-sub: 55.0ms (1.4% of total)
ival-and: 55.0ms (1.4% of total)
ival-fmod: 44.0ms (1.1% of total)
ival-==: 38.0ms (1% of total)
ival-or: 30.0ms (0.8% of total)
ival-sqrt: 18.0ms (0.5% of total)
ival-log: 18.0ms (0.5% of total)
ival-neg: 17.0ms (0.4% of total)
const: 13.0ms (0.3% of total)
ival-sinh: 11.0ms (0.3% of total)
backward-pass: 9.0ms (0.2% of total)
ival->: 4.0ms (0.1% of total)
ival-<: 4.0ms (0.1% of total)
ival-atan: 3.0ms (0.1% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

series5.4s (2.4%)

Counts
654 → 11124
Calls

2736 calls:

TimeVariablePointExpression
304.0ms
x
@inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))
167.0ms
x
@-inf
(- (log (* 2 (/ (sinh x) x))) (log 2))
150.0ms
a
@0
(/ (sin b) (cos (+ b a)))
121.0ms
l
@0
(* w (+ (* -1 l) (* w (+ (* -1/6 (* l w)) (* -1/2 l)))))
99.0ms
x
@-inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))

preprocess3.3s (1.5%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 6568 to 3088 computations (53% saved)

explain3.2s (1.4%)

Results
684.0ms2994×1valid
681.0ms6712×0valid
641.0ms112×5exit
181.0ms422×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-cos: 507.0ms (31.5% of total)
ival-mult: 245.0ms (15.2% of total)
ival-sqrt: 173.0ms (10.7% of total)
ival-exp: 109.0ms (6.8% of total)
ival-log: 90.0ms (5.6% of total)
backward-pass: 77.0ms (4.8% of total)
ival-sin: 65.0ms (4% of total)
ival-pow: 56.0ms (3.5% of total)
ival-tan: 49.0ms (3% of total)
ival-fmod: 43.0ms (2.7% of total)
ival-sub: 40.0ms (2.5% of total)
ival-add: 38.0ms (2.4% of total)
ival-div: 32.0ms (2% of total)
ival-acos: 27.0ms (1.7% of total)
ival-sinh: 24.0ms (1.5% of total)
ival-neg: 22.0ms (1.4% of total)
const: 12.0ms (0.7% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch1.8s (0.8%)

Algorithm
51×binary-search
5×left-value
Stop Event
4×predicate-same
45×narrow-enough
2×predicate-failed
Results
604.0ms2563×1valid
291.0ms2973×0valid
129.0ms240×2valid
20.0ms202×0invalid
Compiler

Compiled 8724 to 6340 computations (27.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 762.0ms
ival-tan: 121.0ms (15.9% of total)
ival-sin: 111.0ms (14.6% of total)
ival-cos: 109.0ms (14.3% of total)
ival-exp: 99.0ms (13% of total)
ival-fmod: 62.0ms (8.1% of total)
ival-mult: 56.0ms (7.4% of total)
ival-add: 48.0ms (6.3% of total)
backward-pass: 47.0ms (6.2% of total)
ival-div: 24.0ms (3.2% of total)
ival-pow: 24.0ms (3.2% of total)
ival-sub: 15.0ms (2% of total)
ival-sqrt: 15.0ms (2% of total)
ival-neg: 11.0ms (1.4% of total)
ival-acos: 9.0ms (1.2% of total)
const: 6.0ms (0.8% of total)
ival-log: 4.0ms (0.5% of total)
ival-sinh: 1.0ms (0.1% of total)

end0.0ms (0%)

Profiling

Loading profile data...