Herbie run

Date:Friday, May 24th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024145
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.5min (24.2%)

Results
8.9min3840215×0valid
3.4min482713×1valid
3.4min58935×5exit
1.4min129767×2valid
35.7s140235×0precondition
31.8s19322×3valid
30.9s171240×0invalid
14.5s60583×0unsamplable
7.8s26524×1invalid
7.4s2169×4valid
1.7s2671×2invalid
200.0ms14×5valid
55.0ms68×1unsamplable
12.0ms20×3invalid
12.0ms1×3unsamplable
5.0ms1×2unsamplable
Precisions
Click to see histograms. Total time spent on operations: 14.9min
ival-mult: 2.8min (18.5% of total)
ival-pow: 2.6min (17.6% of total)
ival-sin: 1.3min (8.6% of total)
ival-div: 1.2min (7.9% of total)
ival-add: 1.1min (7.1% of total)
ival-sub: 57.2s (6.4% of total)
...c/correct-round.rkt:121:19: 42.7s (4.8% of total)
backward-pass: 39.3s (4.4% of total)
ival-cos: 37.6s (4.2% of total)
ival-exp: 32.1s (3.6% of total)
ival-log: 29.0s (3.2% of total)
ival-sqrt: 24.0s (2.7% of total)
ival-<=: 22.3s (2.5% of total)
ival-tan: 20.4s (2.3% of total)
ival-neg: 7.9s (0.9% of total)
const: 7.6s (0.8% of total)
ival-fabs: 6.5s (0.7% of total)
ival-<: 6.0s (0.7% of total)
ival-and: 3.4s (0.4% of total)
ival-pi: 3.0s (0.3% of total)
ival-acos: 2.1s (0.2% of total)
ival-atan2: 2.1s (0.2% of total)
ival-asin: 2.0s (0.2% of total)
ival->: 1.8s (0.2% of total)
ival-atan: 1.4s (0.2% of total)
ival-fmod: 1.2s (0.1% of total)
ival-==: 987.0ms (0.1% of total)
ival->=: 945.0ms (0.1% of total)
ival-floor: 914.0ms (0.1% of total)
ival-if: 897.0ms (0.1% of total)
ival-sinh: 808.0ms (0.1% of total)
ival-fmin: 738.0ms (0.1% of total)
ival-cbrt: 688.0ms (0.1% of total)
ival-asinh: 687.0ms (0.1% of total)
ival-fma: 605.0ms (0.1% of total)
ival-cosh: 512.0ms (0.1% of total)
ival-hypot: 474.0ms (0.1% of total)
ival-fmax: 368.0ms (0% of total)
ival-acosh: 316.0ms (0% of total)
ival-atanh: 260.0ms (0% of total)
ival-log2: 241.0ms (0% of total)
ival-tanh: 194.0ms (0% of total)
ival-or: 62.0ms (0% of total)
Bogosity

simplify18.8min (19.4%)

Algorithm
4348×egg-herbie
Rules
1639100×fma-define
1246420×fma-neg
883590×distribute-lft-in
854156×times-frac
786597×distribute-rgt-in
Stop Event
1470×saturated
2853×node limit
25×unsound
Counts
1135527 → 981138

soundness11.6min (11.9%)

Rules
664062×fma-define
501692×fma-neg
464350×log1p-expm1-u
394363×times-frac
391402×associate-*r*
Stop Event
164×saturated
354×fuel
1918×node limit
26×unsound
187×done
Compiler

Compiled 431932 to 127318 computations (70.5% saved)

rewrite8.0min (8.2%)

Algorithm
1883×batch-egg-rewrite
Rules
1204644×log1p-expm1-u
906513×expm1-log1p-u
425927×pow1
403528×add-exp-log
384824×add-log-exp
Stop Event
1×saturated
1869×node limit
13×unsound
Counts
21638 → 650092

localize7.6min (7.8%)

Results
2.6min394626×0valid
1.1min47528×1valid
1.0min8969×5exit
23.7s12159×2valid
15.7s24577×0invalid
6.8s1659×3valid
1.3s648×1invalid
929.0ms121×4valid
923.0ms2147×0unsamplable
127.0ms8×5valid
94.0ms63×1unsamplable
43.0ms15×3unsamplable
37.0ms17×2unsamplable
11.0ms7×2invalid
Compiler

Compiled 467028 to 49009 computations (89.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3min
ival-mult: 41.3s (20.6% of total)
ival-pow: 25.4s (12.7% of total)
ival-div: 20.4s (10.2% of total)
backward-pass: 14.6s (7.3% of total)
ival-add: 12.1s (6% of total)
ival-sin: 10.9s (5.4% of total)
ival-tan: 10.5s (5.3% of total)
ival-sub: 9.3s (4.6% of total)
ival-cos: 9.0s (4.5% of total)
...c/correct-round.rkt:121:19: 7.7s (3.9% of total)
ival-log: 6.7s (3.4% of total)
ival-sqrt: 5.5s (2.7% of total)
ival-fma: 4.8s (2.4% of total)
ival-exp: 4.1s (2.1% of total)
ival-expm1: 3.1s (1.5% of total)
ival-log1p: 2.9s (1.5% of total)
ival-hypot: 2.3s (1.1% of total)
ival-neg: 1.7s (0.9% of total)
ival-cbrt: 1.5s (0.8% of total)
const: 1.3s (0.7% of total)
ival-asin: 670.0ms (0.3% of total)
ival-acos: 607.0ms (0.3% of total)
ival-atan2: 543.0ms (0.3% of total)
ival-atan: 423.0ms (0.2% of total)
ival-fmod: 415.0ms (0.2% of total)
ival-pi: 410.0ms (0.2% of total)
ival-if: 397.0ms (0.2% of total)
ival-fabs: 338.0ms (0.2% of total)
ival-e: 286.0ms (0.1% of total)
ival-fmax: 167.0ms (0.1% of total)
ival-copysign: 150.0ms (0.1% of total)
ival->=: 118.0ms (0.1% of total)
ival-log2: 114.0ms (0.1% of total)
ival-cosh: 113.0ms (0.1% of total)
ival-floor: 108.0ms (0.1% of total)
ival-sinh: 73.0ms (0% of total)
ival->: 37.0ms (0% of total)
ival-tanh: 24.0ms (0% of total)
ival-<: 11.0ms (0% of total)

prune6.6min (6.8%)

Counts
1445238 → 39848
Compiler

Compiled 1977006 to 988378 computations (50% saved)

eval5.4min (5.6%)

Compiler

Compiled 50564417 to 5568386 computations (89% saved)

regimes3.7min (3.8%)

Counts
103311 → 9042
Calls

1223 calls:

18.7s
x
14.3s
y
12.1s
z
7.9s
t
7.6s
a
Compiler

Compiled 97643 to 71360 computations (26.9% saved)

series3.6min (3.7%)

Counts
21638 → 485435
Calls

118182 calls:

TimeVariablePointExpression
6.7s
x1
@inf
(/ (- (- (* (* 3 x1) x1) (- (exp (log (+ 1 (* 2 x2)))) 1)) x1) (+ (* x1 x1) 1))
719.0ms
d
@0
(pow (cbrt (sqrt (fmax (pow (sqrt (+ (* (* (floor d) dX.w) (* (floor d) dX.w)) (* (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))))))) 2) (pow (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (* (floor w) dY.u) (* (floor w) dY.u)))) 2)))) 3)
521.0ms
y
@inf
(* x (+ (log (pow (cbrt y) 2)) (log (cbrt y))))
506.0ms
n
@0
(* (- (exp (* n (log (+ 1 (/ i n))))) 1) 100)
452.0ms
x
@inf
(log (log (/ x y)))

bsearch2.4min (2.5%)

Algorithm
4130×binary-search
508×left-value
Stop Event
120×predicate-same
4006×narrow-enough
4×predicate-failed
Results
1.3min469962×0valid
16.4s33528×1valid
3.6s20216×0invalid
2.6s4773×2valid
959.0ms821×3valid
90.0ms689×0unsamplable
44.0ms36×4valid
36.0ms155×1invalid
22.0ms68×2invalid
1.0ms1×5exit
Compiler

Compiled 984375 to 698488 computations (29% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 24.1s (34.5% of total)
ival-sub: 9.0s (12.9% of total)
ival-add: 7.7s (11% of total)
ival-div: 7.1s (10.2% of total)
ival-pow: 4.0s (5.7% of total)
ival-sin: 3.8s (5.4% of total)
ival-cos: 3.6s (5.2% of total)
...c/correct-round.rkt:121:19: 1.9s (2.7% of total)
ival-log: 1.8s (2.5% of total)
backward-pass: 1.7s (2.4% of total)
ival-sqrt: 1.4s (2.1% of total)
ival-exp: 1.1s (1.5% of total)
ival-tan: 773.0ms (1.1% of total)
const: 715.0ms (1% of total)
ival-neg: 473.0ms (0.7% of total)
ival-atan2: 270.0ms (0.4% of total)
ival-acos: 140.0ms (0.2% of total)
ival-atan: 99.0ms (0.1% of total)
ival-fabs: 77.0ms (0.1% of total)
ival-asin: 53.0ms (0.1% of total)
ival-pi: 46.0ms (0.1% of total)
ival-fmod: 18.0ms (0% of total)
ival-cbrt: 13.0ms (0% of total)
ival-copysign: 12.0ms (0% of total)
ival-hypot: 11.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival->=: 8.0ms (0% of total)
ival-if: 8.0ms (0% of total)
ival-sinh: 4.0ms (0% of total)
ival-cosh: 3.0ms (0% of total)

preprocess2.3min (2.4%)

Algorithm
541×egg-herbie
Rules
253885×fma-define
252088×fma-neg
118851×unsub-neg
100910×sub-neg
94217×distribute-lft-in
Stop Event
294×saturated
247×node limit
Compiler

Compiled 370268 to 140512 computations (62.1% saved)

analyze2.0min (2%)

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.0s (26.4% of total)
...c/correct-round.rkt:121:19: 5.6s (8.3% of total)
ival-pow: 5.4s (8% of total)
ival-add: 5.4s (7.9% of total)
ival-div: 5.4s (7.9% of total)
ival-<=: 5.2s (7.7% of total)
ival-sub: 4.6s (6.8% of total)
ival-cos: 2.8s (4.1% of total)
ival-sqrt: 2.6s (3.8% of total)
ival-sin: 2.0s (3% of total)
ival-fabs: 1.5s (2.2% of total)
ival-exp: 1.1s (1.6% of total)
ival-log: 1.1s (1.6% of total)
ival-floor: 917.0ms (1.3% of total)
ival-and: 867.0ms (1.3% of total)
ival-neg: 666.0ms (1% of total)
ival-tan: 630.0ms (0.9% of total)
ival-<: 594.0ms (0.9% of total)
const: 561.0ms (0.8% of total)
ival-if: 539.0ms (0.8% of total)
ival-fmax: 403.0ms (0.6% of total)
ival-==: 397.0ms (0.6% of total)
ival->=: 334.0ms (0.5% of total)
ival-atan2: 255.0ms (0.4% of total)
ival-pi: 217.0ms (0.3% of total)
ival->: 205.0ms (0.3% of total)
ival-log2: 201.0ms (0.3% of total)
backward-pass: 127.0ms (0.2% of total)
ival-acos: 107.0ms (0.2% of total)
ival-atan: 98.0ms (0.1% of total)
ival-asin: 83.0ms (0.1% of total)
ival-sinh: 58.0ms (0.1% of total)
ival-fmod: 48.0ms (0.1% of total)
ival-or: 29.0ms (0% of total)
ival-cosh: 25.0ms (0% of total)
ival-cbrt: 17.0ms (0% of total)
ival-fmin: 11.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.7min (1.8%)

Results
36.6s230750×0valid
17.0s34644×1valid
8.5s9936×2valid
2.6s1412×3valid
631.0ms128×4valid
306.0ms120×5exit
131.0ms2×5valid
Compiler

Compiled 96924 to 18533 computations (80.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.9s
ival-mult: 8.6s (23.3% of total)
ival-div: 4.3s (11.7% of total)
ival-add: 3.2s (8.7% of total)
ival-sub: 3.0s (8% of total)
ival-sin: 2.8s (7.5% of total)
ival-log: 2.8s (7.5% of total)
backward-pass: 2.5s (6.8% of total)
ival-cos: 2.1s (5.8% of total)
ival-pow: 1.7s (4.7% of total)
ival-sqrt: 1.2s (3.2% of total)
ival-exp: 1.1s (3% of total)
ival-tan: 1.1s (2.9% of total)
...c/correct-round.rkt:121:19: 740.0ms (2% of total)
const: 459.0ms (1.2% of total)
ival-neg: 352.0ms (1% of total)
ival-fabs: 123.0ms (0.3% of total)
ival-acos: 112.0ms (0.3% of total)
ival-atan2: 107.0ms (0.3% of total)
ival-pi: 106.0ms (0.3% of total)
ival-asin: 89.0ms (0.2% of total)
ival-floor: 79.0ms (0.2% of total)
ival-atan: 75.0ms (0.2% of total)
ival-cosh: 56.0ms (0.2% of total)
ival-cbrt: 42.0ms (0.1% of total)
ival-fmod: 38.0ms (0.1% of total)
ival-sinh: 30.0ms (0.1% of total)
ival-if: 27.0ms (0.1% of total)
ival-hypot: 22.0ms (0.1% of total)
ival-fmax: 21.0ms (0.1% of total)
ival-fma: 17.0ms (0% of total)
ival-copysign: 14.0ms (0% of total)
ival-log2: 14.0ms (0% of total)
ival->=: 12.0ms (0% of total)
ival-log1p: 9.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->: 5.0ms (0% of total)
ival-<: 2.0ms (0% of total)

end3.0ms (0%)

Profiling

Loading profile data...