Herbie run

Date:Tuesday, April 16th, 2024
Commit:97bdded0 on zane-regimes-8-iters
Hostname:nightly with Racket 8.11.1
Seed:2024107
Parameters:256 points for 8 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: 2.3hr)

localize31.6min (23%)

Results
8.8min594028×0valid
6.0min68741×1valid
1.3min48767×0invalid
5.8min18609×5exit
2.1min18285×2valid
5.4s4269×0unsamplable
1.1min2811×3valid
15.7s1273×1invalid
15.5s191×4valid
528.0ms68×3invalid
705.0ms56×4invalid
308.0ms48×2invalid
70.0ms7×5valid
Compiler

Compiled 812632 to 377447 computations (53.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.3min
ival-mult: 4.4min (20.7% of total)
ival-pow: 4.1min (19.5% of total)
ival-div: 2.2min (10.5% of total)
backward-pass: 1.8min (8.6% of total)
ival-sin: 1.6min (7.7% of total)
ival-add: 1.2min (5.5% of total)
ival-cos: 1.1min (5.1% of total)
ival-sub: 47.8s (3.7% of total)
ival-fma: 34.9s (2.7% of total)
ival-log: 34.0s (2.7% of total)
ival-sqrt: 31.6s (2.5% of total)
const: 22.6s (1.8% of total)
ival-exp: 20.0s (1.6% of total)
ival-asin: 14.1s (1.1% of total)
ival-tan: 13.7s (1.1% of total)
ival-cbrt: 13.0s (1% of total)
ival-hypot: 11.1s (0.9% of total)
ival-log1p: 9.0s (0.7% of total)
ival-expm1: 6.0s (0.5% of total)
ival-neg: 4.8s (0.4% of total)
ival-acos: 4.3s (0.3% of total)
ival-fmax: 3.9s (0.3% of total)
ival-fmod: 3.7s (0.3% of total)
ival-atan: 2.8s (0.2% of total)
ival-atan2: 2.5s (0.2% of total)
ival-pi: 1.0s (0.1% of total)
ival-if: 916.0ms (0.1% of total)
ival-fabs: 717.0ms (0.1% of total)
ival-log2: 469.0ms (0% of total)
ival-sinh: 466.0ms (0% of total)
ival->: 413.0ms (0% of total)
ival->=: 409.0ms (0% of total)
ival-e: 382.0ms (0% of total)
ival-floor: 290.0ms (0% of total)
ival-cosh: 193.0ms (0% of total)
ival-copysign: 99.0ms (0% of total)
ival-<: 54.0ms (0% of total)
ival-tanh: 13.0ms (0% of total)

sample22.7min (16.5%)

Results
8.2min3879822×0valid
3.4min464454×1valid
31.8s181049×0invalid
24.8s143988×0precondition
1.5min111459×2valid
2.1min63736×5exit
16.0s63020×0unsamplable
57.7s17240×3valid
8.3s14970×1invalid
19.2s1819×4valid
922.0ms1354×2invalid
42.0ms52×1unsamplable
13.0ms8×5valid
2.0ms1×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 13.8min
ival-mult: 2.7min (19.7% of total)
ival-sin: 1.5min (10.9% of total)
ival-div: 1.4min (9.9% of total)
ival-pow: 1.4min (9.8% of total)
ival-add: 1.1min (7.7% of total)
ival-sub: 56.0s (6.8% of total)
backward-pass: 52.0s (6.3% of total)
ival-cos: 51.9s (6.3% of total)
ival-<=: 32.1s (3.9% of total)
ival-exp: 28.6s (3.4% of total)
ival-log: 25.6s (3.1% of total)
ival-sqrt: 22.9s (2.8% of total)
ival-tan: 21.5s (2.6% of total)
const: 13.3s (1.6% of total)
ival-neg: 7.9s (1% of total)
ival-fabs: 6.8s (0.8% of total)
ival-<: 4.6s (0.6% of total)
ival-and: 3.3s (0.4% of total)
ival-pi: 3.1s (0.4% of total)
ival-atan2: 2.0s (0.2% of total)
ival-atan: 2.0s (0.2% of total)
ival-asin: 1.6s (0.2% of total)
ival-acos: 1.6s (0.2% of total)
ival-fmod: 1.5s (0.2% of total)
ival->: 1.4s (0.2% of total)
ival-cbrt: 1.2s (0.1% of total)
ival-floor: 949.0ms (0.1% of total)
ival-fmin: 841.0ms (0.1% of total)
ival-==: 776.0ms (0.1% of total)
ival-sinh: 657.0ms (0.1% of total)
ival->=: 439.0ms (0.1% of total)
ival-fma: 406.0ms (0% of total)
ival-fmax: 406.0ms (0% of total)
ival-acosh: 396.0ms (0% of total)
ival-if: 395.0ms (0% of total)
ival-asinh: 301.0ms (0% of total)
ival-hypot: 299.0ms (0% of total)
ival-log2: 233.0ms (0% of total)
ival-atanh: 212.0ms (0% of total)
ival-cosh: 205.0ms (0% of total)
ival-tanh: 99.0ms (0% of total)
ival-or: 54.0ms (0% of total)
Bogosity

simplify16.1min (11.8%)

Algorithm
3363×egg-herbie
Rules
1184766×fma-define
867011×associate-*r*
845918×*-commutative
822826×fma-neg
765855×times-frac
Stop Event
542×saturated
2798×node limit
23×unsound
Counts
1350638 → 1170632

eval13.9min (10.1%)

Compiler

Compiled 63842876 to 33614458 computations (47.3% saved)

soundness11.8min (8.6%)

Rules
831757×fma-define
646735×log1p-expm1-u
583349×associate-*r*
565862×fma-neg
506281×times-frac
Stop Event
160×saturated
226×fuel
2542×node limit
30×unsound
313×done
Compiler

Compiled 611569 to 328042 computations (46.4% saved)

rewrite9.4min (6.8%)

Algorithm
2824×batch-egg-rewrite
Rules
1714834×log1p-expm1-u
1264282×expm1-log1p-u
647866×pow1
629449×add-exp-log
609917×add-log-exp
Stop Event
2798×node limit
26×unsound
Counts
23864 → 751645

prune9.3min (6.8%)

Counts
1849696 → 81737
Compiler

Compiled 3552578 to 2429767 computations (31.6% saved)

regimes5.6min (4.1%)

Counts
168102 → 14511
Calls

1190 calls:

30.7s
x
22.6s
z
22.2s
y
16.5s
t
14.6s
a
Compiler

Compiled 93477 to 70278 computations (24.8% saved)

bsearch5.3min (3.9%)

Algorithm
8985×binary-search
858×left-value
Stop Event
132×predicate-same
8848×narrow-enough
5×predicate-failed
Results
3.1min993603×0valid
32.4s66043×1valid
5.2s36986×0invalid
5.6s9220×2valid
3.6s2553×5exit
1.4s1281×3valid
121.0ms852×0unsamplable
382.0ms185×1invalid
29.0ms67×2invalid
24.0ms29×4valid
1.0ms1×1unsamplable
Compiler

Compiled 2096850 to 1562134 computations (25.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7min
ival-mult: 1.0min (38.2% of total)
ival-sub: 25.5s (16% of total)
ival-div: 16.0s (10% of total)
ival-add: 15.8s (9.9% of total)
ival-pow: 9.8s (6.1% of total)
ival-sin: 6.2s (3.9% of total)
backward-pass: 4.7s (3% of total)
ival-log: 4.5s (2.8% of total)
ival-cos: 4.3s (2.7% of total)
ival-sqrt: 3.4s (2.1% of total)
const: 2.2s (1.4% of total)
ival-exp: 2.0s (1.3% of total)
ival-neg: 2.0s (1.3% of total)
ival-tan: 829.0ms (0.5% of total)
ival-atan2: 576.0ms (0.4% of total)
ival-atan: 214.0ms (0.1% of total)
ival-pi: 154.0ms (0.1% of total)
ival-acos: 143.0ms (0.1% of total)
ival-fabs: 98.0ms (0.1% of total)
ival-sinh: 78.0ms (0% of total)
ival-asin: 74.0ms (0% of total)
ival-fmod: 60.0ms (0% of total)
ival-tanh: 27.0ms (0% of total)
ival-cosh: 22.0ms (0% of total)
ival-hypot: 19.0ms (0% of total)
ival->=: 19.0ms (0% of total)
ival-if: 18.0ms (0% of total)
ival-cbrt: 8.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)

explain3.7min (2.7%)

Results
1.0min232120×0valid
48.7s34220×1valid
22.0s9488×2valid
23.1s1348×3valid
441.0ms194×5exit
9.7s132×4valid
5.0ms2×5valid
Compiler

Compiled 97157 to 47036 computations (51.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2min
ival-mult: 31.3s (23.4% of total)
ival-sin: 17.6s (13.1% of total)
ival-div: 16.2s (12.1% of total)
ival-cos: 12.3s (9.2% of total)
ival-pow: 12.0s (8.9% of total)
backward-pass: 9.9s (7.4% of total)
ival-add: 9.7s (7.2% of total)
ival-sub: 8.7s (6.5% of total)
ival-log: 4.1s (3% of total)
ival-sqrt: 3.7s (2.8% of total)
const: 2.3s (1.7% of total)
ival-exp: 2.0s (1.5% of total)
ival-tan: 1.8s (1.3% of total)
ival-neg: 585.0ms (0.4% of total)
ival-atan: 524.0ms (0.4% of total)
ival-asin: 210.0ms (0.2% of total)
ival-acos: 201.0ms (0.2% of total)
ival-atan2: 125.0ms (0.1% of total)
ival-pi: 120.0ms (0.1% of total)
ival-fabs: 91.0ms (0.1% of total)
ival-hypot: 81.0ms (0.1% of total)
ival-cbrt: 59.0ms (0% of total)
ival-sinh: 57.0ms (0% of total)
ival-floor: 51.0ms (0% of total)
ival-if: 38.0ms (0% of total)
ival-fmod: 38.0ms (0% of total)
ival->=: 32.0ms (0% of total)
ival-fmax: 22.0ms (0% of total)
ival-fma: 19.0ms (0% of total)
ival-log1p: 16.0ms (0% of total)
ival-cosh: 14.0ms (0% of total)
ival-log2: 14.0ms (0% of total)
ival-copysign: 13.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->: 6.0ms (0% of total)
ival-<: 4.0ms (0% of total)

series3.5min (2.6%)

Counts
23864 → 598993
Calls

146706 calls:

TimeVariablePointExpression
1.1s
h
@-inf
(pow (pow (exp 2) (pow (cbrt (log (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))))) 2)) (cbrt (log (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))))))
651.0ms
x
@0
(- (log x) (log y))
473.0ms
a
@inf
(* (neg a) (+ b z))
463.0ms
d
@inf
(pow (log2 (sqrt (fmax (pow (* (floor w) dX.u) 2) (pow (* (floor d) dY.w) 2)))) 3)
441.0ms
lambda2
@0
(+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) 2))

preprocess2.4min (1.8%)

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 515832 to 269190 computations (47.8% saved)

analyze1.8min (1.3%)

Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.4%33.3%51.2%15.6%0%0%0%1
45.1%37.7%46%15.6%0%0.7%0%2
54.3%44.3%37.3%15.7%0%2.7%0%3
61%49.2%31.4%15.8%0%3.6%0%4
67.2%53.9%26.3%15.8%0%4%0%5
71.1%56.7%23%15.8%0%4.3%0%6
75.1%59.5%19.7%15.9%0%4.8%0.1%7
77.1%60.8%18.1%15.9%0%5.2%0.1%8
79.7%62.6%15.9%15.9%0%5.5%0.1%9
81.2%63.5%14.7%16%0%5.7%0.1%10
83.5%65.2%12.9%16%0%5.8%0.1%11
84.6%65.8%12%16%0%6.1%0.1%12
Compiler

Compiled 13446 to 8689 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 18.5s (27.5% of total)
ival-div: 7.4s (11% of total)
ival-pow: 7.0s (10.3% of total)
ival-add: 6.8s (10.1% of total)
ival-sub: 4.4s (6.5% of total)
ival-<=: 4.3s (6.3% of total)
ival-sin: 3.0s (4.4% of total)
ival-sqrt: 2.8s (4.2% of total)
ival-cos: 2.4s (3.6% of total)
ival-fabs: 1.9s (2.8% of total)
const: 1.2s (1.8% of total)
ival-floor: 750.0ms (1.1% of total)
ival-exp: 744.0ms (1.1% of total)
ival-tan: 694.0ms (1% of total)
ival-log: 685.0ms (1% of total)
ival-and: 672.0ms (1% of total)
ival-fmax: 649.0ms (1% of total)
ival-if: 584.0ms (0.9% of total)
ival-neg: 499.0ms (0.7% of total)
ival-==: 343.0ms (0.5% of total)
ival-<: 333.0ms (0.5% of total)
ival-log2: 306.0ms (0.5% of total)
ival-atan: 280.0ms (0.4% of total)
ival-atan2: 211.0ms (0.3% of total)
backward-pass: 170.0ms (0.3% of total)
ival-acos: 144.0ms (0.2% of total)
ival-pi: 140.0ms (0.2% of total)
ival->: 137.0ms (0.2% of total)
ival->=: 104.0ms (0.2% of total)
ival-asin: 103.0ms (0.2% of total)
ival-fmod: 45.0ms (0.1% of total)
ival-sinh: 32.0ms (0% of total)
ival-or: 24.0ms (0% of total)
ival-cbrt: 18.0ms (0% of total)
ival-cosh: 15.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival-fmin: 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)

end3.0ms (0%)

Profiling

Loading profile data...