Herbie run

Date:Thursday, May 16th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024137
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: 1.6hr)

sample23.9min (24.3%)

Results
9.0min3839364×0valid
3.5min483183×1valid
3.5min58847×5exit
1.4min130366×2valid
35.9s146227×0precondition
32.9s172802×0invalid
31.9s19620×3valid
14.3s59809×0unsamplable
8.7s2211×4valid
7.7s26528×1invalid
1.5s2691×2invalid
38.0ms60×1unsamplable
16.0ms26×3invalid
8.0ms8×5valid
Precisions
Click to see histograms. Total time spent on operations: 15.0min
ival-mult: 2.7min (18% of total)
ival-pow: 2.7min (17.9% of total)
ival-sin: 1.3min (8.7% of total)
ival-div: 1.3min (8.5% of total)
ival-add: 1.0min (6.7% of total)
ival-sub: 60.0s (6.7% of total)
backward-pass: 47.5s (5.3% of total)
ival-cos: 39.4s (4.4% of total)
...c/correct-round.rkt:121:19: 36.2s (4% of total)
ival-exp: 31.0s (3.4% of total)
ival-log: 30.6s (3.4% of total)
ival-sqrt: 22.8s (2.5% of total)
ival-<=: 21.2s (2.4% of total)
ival-tan: 19.5s (2.2% of total)
ival-neg: 7.8s (0.9% of total)
const: 7.7s (0.9% of total)
ival-<: 6.1s (0.7% of total)
ival-fabs: 6.0s (0.7% of total)
ival-and: 3.4s (0.4% of total)
ival-pi: 3.4s (0.4% of total)
ival-acos: 2.4s (0.3% of total)
ival-asin: 2.1s (0.2% of total)
ival-atan2: 2.0s (0.2% of total)
ival->: 2.0s (0.2% of total)
ival-atan: 1.9s (0.2% of total)
ival-==: 1.2s (0.1% of total)
ival-fmod: 980.0ms (0.1% of total)
ival-sinh: 972.0ms (0.1% of total)
ival-floor: 917.0ms (0.1% of total)
ival-cbrt: 870.0ms (0.1% of total)
ival->=: 628.0ms (0.1% of total)
ival-fmin: 598.0ms (0.1% of total)
ival-if: 407.0ms (0% of total)
ival-acosh: 405.0ms (0% of total)
ival-hypot: 391.0ms (0% of total)
ival-fma: 384.0ms (0% of total)
ival-fmax: 318.0ms (0% of total)
ival-log2: 271.0ms (0% of total)
ival-asinh: 233.0ms (0% of total)
ival-cosh: 217.0ms (0% of total)
ival-atanh: 202.0ms (0% of total)
ival-tanh: 131.0ms (0% of total)
ival-or: 64.0ms (0% of total)
Bogosity

simplify19.0min (19.3%)

Algorithm
4377×egg-herbie
Rules
1683529×fma-define
1230605×fma-neg
919031×distribute-lft-in
867253×times-frac
817247×associate-*r*
Stop Event
1464×saturated
2882×node limit
31×unsound
Counts
1140968 → 987567

soundness12.3min (12.5%)

Rules
650930×fma-define
479723×fma-neg
461499×log1p-expm1-u
397122×times-frac
394288×associate-*r*
Stop Event
158×saturated
352×fuel
1921×node limit
23×unsound
190×done
Compiler

Compiled 433926 to 128736 computations (70.3% saved)

rewrite8.2min (8.3%)

Algorithm
1896×batch-egg-rewrite
Rules
1185159×log1p-expm1-u
909922×expm1-log1p-u
429325×pow1
409262×add-exp-log
389277×add-log-exp
Stop Event
1×saturated
1877×node limit
18×unsound
Counts
21750 → 654830

localize7.5min (7.6%)

Results
2.8min400516×0valid
1.1min45790×1valid
48.4s7874×5exit
22.9s11885×2valid
14.8s25340×0invalid
7.3s1857×3valid
1.4s2400×0unsamplable
1.1s528×1invalid
1.1s156×4valid
53.0ms21×2invalid
37.0ms7×5valid
17.0ms4×3invalid
9.0ms6×1unsamplable
Compiler

Compiled 465388 to 49437 computations (89.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3min
ival-mult: 39.4s (20.1% of total)
ival-div: 29.1s (14.8% of total)
ival-pow: 23.0s (11.7% of total)
backward-pass: 14.0s (7.1% of total)
ival-add: 12.7s (6.5% of total)
ival-sub: 9.5s (4.8% of total)
ival-sin: 9.2s (4.7% of total)
ival-cos: 8.2s (4.2% of total)
ival-tan: 7.2s (3.7% of total)
...c/correct-round.rkt:121:19: 6.4s (3.2% of total)
ival-fma: 6.0s (3.1% of total)
ival-log: 5.9s (3% of total)
ival-sqrt: 5.0s (2.6% of total)
ival-exp: 4.5s (2.3% of total)
ival-log1p: 3.1s (1.6% of total)
ival-hypot: 2.4s (1.2% of total)
ival-neg: 2.0s (1% of total)
ival-expm1: 1.4s (0.7% of total)
const: 1.4s (0.7% of total)
ival-cbrt: 1.3s (0.6% of total)
ival-acos: 629.0ms (0.3% of total)
ival-atan2: 616.0ms (0.3% of total)
ival-asin: 614.0ms (0.3% of total)
ival-if: 364.0ms (0.2% of total)
ival-atan: 362.0ms (0.2% of total)
ival-fabs: 334.0ms (0.2% of total)
ival-pi: 285.0ms (0.1% of total)
ival-fmod: 180.0ms (0.1% of total)
ival-fmax: 168.0ms (0.1% of total)
ival-tanh: 164.0ms (0.1% of total)
ival-e: 108.0ms (0.1% of total)
ival-copysign: 103.0ms (0.1% of total)
ival-floor: 101.0ms (0.1% of total)
ival-log2: 94.0ms (0% of total)
ival-sinh: 91.0ms (0% of total)
ival-cosh: 88.0ms (0% of total)
ival->=: 56.0ms (0% of total)
ival->: 40.0ms (0% of total)
ival-<: 12.0ms (0% of total)

prune6.4min (6.5%)

Counts
1461390 → 40141
Compiler

Compiled 1962902 to 998800 computations (49.1% saved)

eval5.3min (5.4%)

Compiler

Compiled 50944248 to 5626712 computations (89% saved)

regimes3.9min (4%)

Counts
108820 → 8932
Calls

1224 calls:

20.4s
x
14.2s
y
11.2s
z
8.6s
a
7.7s
t
Compiler

Compiled 99697 to 72201 computations (27.6% saved)

series3.4min (3.5%)

Counts
21750 → 486138
Calls

118182 calls:

TimeVariablePointExpression
1.0s
x
@inf
(- (/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))) (tan x))
543.0ms
x
@0
(+ (log 2) (log x))
537.0ms
im
@-inf
(log (+ 1 (log im)))
512.0ms
b
@0
(- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a))))
476.0ms
l
@inf
(/ t (sqrt (+ (* (+ x 1) (/ (+ (* 2 (* t t)) (* l l)) (+ x -1))) (neg (* l l)))))

bsearch2.4min (2.4%)

Algorithm
4006×binary-search
557×left-value
Stop Event
116×predicate-same
3890×narrow-enough
Results
1.4min441949×0valid
17.0s37734×1valid
4.1s19308×0invalid
2.6s3489×2valid
1.0s1020×3valid
125.0ms532×1invalid
81.0ms16×4valid
54.0ms395×0unsamplable
6.0ms18×2invalid
1.0ms1×5exit
Compiler

Compiled 910807 to 655163 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 24.1s (33.4% of total)
ival-add: 9.0s (12.5% of total)
ival-sub: 8.6s (11.9% of total)
ival-div: 7.1s (9.9% of total)
ival-sin: 4.0s (5.5% of total)
ival-pow: 3.8s (5.3% of total)
ival-cos: 3.8s (5.3% of total)
ival-log: 2.5s (3.5% of total)
...c/correct-round.rkt:121:19: 2.3s (3.2% of total)
ival-sqrt: 1.7s (2.3% of total)
backward-pass: 1.5s (2.1% of total)
ival-exp: 1.1s (1.5% of total)
const: 731.0ms (1% of total)
ival-tan: 545.0ms (0.8% of total)
ival-neg: 532.0ms (0.7% of total)
ival-atan2: 332.0ms (0.5% of total)
ival-atan: 168.0ms (0.2% of total)
ival-acos: 159.0ms (0.2% of total)
ival-fabs: 87.0ms (0.1% of total)
ival-cbrt: 65.0ms (0.1% of total)
ival-pi: 54.0ms (0.1% of total)
ival->=: 14.0ms (0% of total)
ival-asin: 14.0ms (0% of total)
ival-tanh: 12.0ms (0% of total)
ival-if: 12.0ms (0% of total)
ival-copysign: 9.0ms (0% of total)
ival-cosh: 6.0ms (0% of total)
ival-hypot: 2.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)

preprocess2.3min (2.4%)

Algorithm
542×egg-herbie
Rules
254384×fma-define
252110×fma-neg
118944×unsub-neg
101039×sub-neg
94642×distribute-lft-in
Stop Event
294×saturated
248×node limit
Compiler

Compiled 366518 to 137858 computations (62.4% saved)

analyze1.9min (1.9%)

Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
38.9%32.9%51.6%15.6%0%0%0%1
44.8%37.5%46.2%15.6%0%0.7%0%2
54%44.1%37.5%15.7%0%2.6%0%3
60.9%49.1%31.6%15.8%0%3.6%0%4
67.1%53.8%26.4%15.8%0%4%0%5
71%56.7%23.1%15.8%0%4.3%0%6
75%59.4%19.8%15.9%0%4.8%0.1%7
77%60.7%18.1%15.9%0%5.2%0.1%8
79.6%62.5%16%15.9%0%5.4%0.1%9
81.1%63.5%14.8%16%0%5.7%0.1%10
83.4%65.1%13%16%0%5.8%0.1%11
84.5%65.8%12.1%16%0%6%0.1%12
Compiler

Compiled 13446 to 7366 computations (45.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 18.9s (27.5% of total)
...c/correct-round.rkt:121:19: 6.2s (9.1% of total)
ival-div: 6.1s (8.9% of total)
ival-add: 5.6s (8.2% of total)
ival-pow: 5.0s (7.2% of total)
ival-<=: 4.5s (6.6% of total)
ival-sub: 3.8s (5.5% of total)
ival-sin: 2.3s (3.3% of total)
ival-sqrt: 2.2s (3.2% of total)
ival-cos: 2.2s (3.2% of total)
ival-fabs: 2.0s (2.9% of total)
ival-log: 1.3s (2% of total)
ival-exp: 869.0ms (1.3% of total)
ival-neg: 837.0ms (1.2% of total)
ival-floor: 835.0ms (1.2% of total)
ival-and: 821.0ms (1.2% of total)
ival-tan: 793.0ms (1.2% of total)
ival-==: 743.0ms (1.1% of total)
ival-<: 643.0ms (0.9% of total)
const: 571.0ms (0.8% of total)
ival-if: 521.0ms (0.8% of total)
ival-fmax: 310.0ms (0.5% of total)
ival-pi: 261.0ms (0.4% of total)
ival-atan2: 243.0ms (0.4% of total)
ival-log2: 190.0ms (0.3% of total)
ival->: 166.0ms (0.2% of total)
ival->=: 163.0ms (0.2% of total)
backward-pass: 131.0ms (0.2% of total)
ival-acos: 110.0ms (0.2% of total)
ival-atan: 96.0ms (0.1% of total)
ival-asin: 92.0ms (0.1% of total)
ival-sinh: 55.0ms (0.1% of total)
ival-fmod: 48.0ms (0.1% of total)
ival-or: 29.0ms (0% of total)
ival-cbrt: 19.0ms (0% of total)
ival-cosh: 15.0ms (0% of total)
ival-fmin: 7.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)
ival-fma: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

explain1.8min (1.8%)

Results
36.9s230544×0valid
18.1s34996×1valid
9.5s10306×2valid
3.0s1412×3valid
576.0ms128×4valid
471.0ms118×5exit
Compiler

Compiled 97157 to 18586 computations (80.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 37.8s
ival-mult: 8.8s (23.3% of total)
ival-add: 3.4s (9% of total)
ival-sin: 3.3s (8.8% of total)
ival-div: 3.2s (8.5% of total)
ival-sub: 3.1s (8.1% of total)
ival-cos: 2.8s (7.3% of total)
backward-pass: 2.5s (6.7% of total)
ival-log: 2.1s (5.6% of total)
ival-pow: 1.8s (4.8% of total)
ival-exp: 1.5s (4% of total)
ival-tan: 1.4s (3.6% of total)
ival-sqrt: 1.1s (2.9% of total)
...c/correct-round.rkt:121:19: 741.0ms (2% of total)
const: 471.0ms (1.2% of total)
ival-neg: 292.0ms (0.8% of total)
ival-fmod: 163.0ms (0.4% of total)
ival-atan2: 156.0ms (0.4% of total)
ival-fabs: 155.0ms (0.4% of total)
ival-atan: 124.0ms (0.3% of total)
ival-pi: 115.0ms (0.3% of total)
ival-floor: 107.0ms (0.3% of total)
ival-asin: 96.0ms (0.3% of total)
ival-acos: 79.0ms (0.2% of total)
ival-cbrt: 56.0ms (0.1% of total)
ival-if: 35.0ms (0.1% of total)
ival-sinh: 30.0ms (0.1% of total)
ival-hypot: 20.0ms (0.1% of total)
ival-fmax: 20.0ms (0.1% of total)
ival-fma: 19.0ms (0.1% of total)
ival-tanh: 18.0ms (0% of total)
ival-log2: 15.0ms (0% of total)
ival-copysign: 13.0ms (0% of total)
ival->=: 12.0ms (0% of total)
ival-cosh: 12.0ms (0% of total)
ival-log1p: 10.0ms (0% of total)
ival->: 5.0ms (0% of total)
ival-<: 2.0ms (0% of total)

end3.0ms (0%)

Profiling

Loading profile data...