Herbie run

Date:Tuesday, May 14th, 2024
Commit:5881b183 on artem-safe-sampling
Hostname:nightly with Racket 8.11.1
Seed:2024135
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: 9.4min)

simplify1.9min (20.7%)

Algorithm
148×egg-herbie
Rules
101010×fma-define
79722×*-commutative
64368×distribute-lft-in
62768×associate-*r*
60052×times-frac
Stop Event
30×saturated
118×node limit
Counts
98878 → 72399

sample1.6min (16.8%)

Results
1.2min247607×0valid
1.2s8505×0invalid
800.0ms2025×0precondition
13.0ms73×1valid
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 12.4s (20.6% of total)
ival-<=: 10.7s (17.9% of total)
...c/correct-round.rkt:121:19: 8.6s (14.3% of total)
ival-div: 5.0s (8.3% of total)
ival-add: 2.5s (4.1% of total)
ival-fabs: 2.4s (4% of total)
ival-sub: 2.4s (4% of total)
ival-log: 2.3s (3.8% of total)
ival-sin: 2.2s (3.7% of total)
ival-sqrt: 1.9s (3.2% of total)
ival-and: 1.6s (2.7% of total)
ival-exp: 1.0s (1.7% of total)
ival-cos: 844.0ms (1.4% of total)
ival-neg: 726.0ms (1.2% of total)
ival-floor: 682.0ms (1.1% of total)
ival-pi: 666.0ms (1.1% of total)
const: 466.0ms (0.8% of total)
ival-<: 464.0ms (0.8% of total)
ival-asin: 440.0ms (0.7% of total)
ival-tan: 392.0ms (0.7% of total)
ival-fmax: 375.0ms (0.6% of total)
ival->: 366.0ms (0.6% of total)
ival-sinh: 324.0ms (0.5% of total)
ival-log2: 300.0ms (0.5% of total)
ival-if: 292.0ms (0.5% of total)
ival->=: 261.0ms (0.4% of total)
ival-atan: 220.0ms (0.4% of total)
ival-==: 182.0ms (0.3% of total)
backward-pass: 118.0ms (0.2% of total)
Bogosity

soundness1.4min (15.3%)

Rules
98096×fma-define
63190×*-commutative
62016×associate-*r*
59880×times-frac
54050×distribute-lft-in
Stop Event
8×saturated
169×node limit
29×fuel
1×done
Compiler

Compiled 71178 to 13972 computations (80.4% saved)

localize55.7s (9.9%)

Algorithm
119×egg-herbie
Rules
112884×fma-define
74644×fma-neg
54592×associate-+r-
50714×unsub-neg
50252×distribute-lft-in
Stop Event
41×saturated
78×node limit
Results
19.3s27468×0valid
2.1s475×5exit
1.1s927×0invalid
908.0ms485×1valid
709.0ms1109×0unsamplable
Compiler

Compiled 100133 to 5430 computations (94.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0s
ival-mult: 4.2s (29.8% of total)
ival-pow: 1.9s (13.7% of total)
ival-div: 1.8s (13% of total)
ival-add: 699.0ms (5% of total)
ival-log1p: 487.0ms (3.5% of total)
ival-sqrt: 463.0ms (3.3% of total)
ival-fma: 457.0ms (3.3% of total)
ival-log: 372.0ms (2.7% of total)
backward-pass: 361.0ms (2.6% of total)
...c/correct-round.rkt:121:19: 356.0ms (2.5% of total)
ival-exp: 342.0ms (2.4% of total)
ival-sub: 333.0ms (2.4% of total)
ival-hypot: 277.0ms (2% of total)
ival-sin: 276.0ms (2% of total)
ival-neg: 215.0ms (1.5% of total)
ival-expm1: 203.0ms (1.5% of total)
ival-fmax: 176.0ms (1.3% of total)
ival-if: 171.0ms (1.2% of total)
ival-cos: 134.0ms (1% of total)
ival-log2: 121.0ms (0.9% of total)
ival-floor: 101.0ms (0.7% of total)
const: 99.0ms (0.7% of total)
ival-pi: 94.0ms (0.7% of total)
ival-tan: 58.0ms (0.4% of total)
ival-cbrt: 52.0ms (0.4% of total)
ival-asin: 44.0ms (0.3% of total)
ival-fabs: 41.0ms (0.3% of total)
ival->: 40.0ms (0.3% of total)
ival->=: 39.0ms (0.3% of total)
ival-atan: 17.0ms (0.1% of total)
ival-sinh: 16.0ms (0.1% of total)
ival-<: 13.0ms (0.1% of total)
ival-e: 8.0ms (0.1% of total)

prune44.8s (8%)

Counts
141028 → 3923
Compiler

Compiled 342043 to 127399 computations (62.8% saved)

analyze32.0s (5.7%)

Algorithm
30×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%2.6%97.4%0%0%0%0
0%0%2.6%97.4%0%0%0%1
7.8%0.2%2.4%97.4%0%0%0%2
8.5%0.2%2.4%97.4%0%0%0%3
12.8%0.3%2.3%97.4%0%0%0%4
47%1.2%1.4%97.4%0%0%0%5
51.8%1.3%1.2%97.4%0%0%0%6
69.5%1.8%0.8%97.4%0%0%0%7
71.6%1.8%0.7%97.4%0%0.1%0%8
81.1%2.1%0.5%97.4%0%0.1%0%9
82.6%2.1%0.4%97.4%0%0.1%0%10
88.3%2.2%0.3%97.4%0%0.1%0%11
89.1%2.2%0.3%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1046 computations (60.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.5s
ival-mult: 4.9s (22.8% of total)
ival-<=: 4.4s (20.4% of total)
...c/correct-round.rkt:121:19: 2.2s (10.3% of total)
ival-fabs: 1.4s (6.6% of total)
ival-div: 1.3s (6% of total)
ival-floor: 1.0s (4.9% of total)
ival-sqrt: 834.0ms (3.9% of total)
ival-add: 728.0ms (3.4% of total)
ival-and: 685.0ms (3.2% of total)
ival-==: 549.0ms (2.6% of total)
ival-if: 518.0ms (2.4% of total)
ival-sub: 438.0ms (2% of total)
ival-sin: 364.0ms (1.7% of total)
ival-fmax: 361.0ms (1.7% of total)
ival-cos: 331.0ms (1.5% of total)
ival-log: 196.0ms (0.9% of total)
ival-log2: 175.0ms (0.8% of total)
ival-<: 144.0ms (0.7% of total)
ival->: 138.0ms (0.6% of total)
const: 135.0ms (0.6% of total)
ival-neg: 134.0ms (0.6% of total)
ival-tan: 129.0ms (0.6% of total)
ival->=: 88.0ms (0.4% of total)
ival-pi: 86.0ms (0.4% of total)
ival-exp: 77.0ms (0.4% of total)
ival-atan: 41.0ms (0.2% of total)
backward-pass: 37.0ms (0.2% of total)
ival-sinh: 31.0ms (0.1% of total)
ival-asin: 18.0ms (0.1% of total)

rewrite30.6s (5.4%)

Algorithm
118×batch-egg-rewrite
Rules
61120×log1p-expm1-u
50347×expm1-log1p-u
36602×log-prod
35716×pow1
34766×add-exp-log
Stop Event
118×node limit
Counts
1953 → 43976

regimes30.1s (5.3%)

Counts
9939 → 404
Calls

145 calls:

856.0ms
s
855.0ms
sinTheta_O
842.0ms
cosTheta_i
711.0ms
u2
645.0ms
uy
Compiler

Compiled 15497 to 10420 computations (32.8% saved)

series28.5s (5.1%)

Counts
1953 → 54902
Calls

13200 calls:

TimeVariablePointExpression
337.0ms
s
@-inf
(cbrt (/ (exp (/ x s)) (* s (pow (+ (exp (/ x s)) 1) 2))))
295.0ms
w
@inf
(* (/ 1 (pow (pow (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) 1/4) 2)) (* (floor h) dY.v))
251.0ms
d
@-inf
(log (+ 1 (log2 (sqrt (fmax (pow (* dX.u (floor w)) 2) (pow (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))))))
247.0ms
u
@inf
(* u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))))
244.0ms
w
@inf
(sqrt (fmax (pow (sqrt (+ (* (* dX.w (floor d)) (* dX.w (floor d))) (* (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h))))) (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h)))))))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)))

eval27.5s (4.9%)

Compiler

Compiled 13505214 to 597164 computations (95.6% saved)

preprocess9.1s (1.6%)

Algorithm
30×egg-herbie
Rules
30630×fma-define
21782×fma-neg
15892×unsub-neg
14706×distribute-lft-neg-in
11858×distribute-rgt-neg-in
Stop Event
11×saturated
19×node limit
Compiler

Compiled 54950 to 18370 computations (66.6% saved)

explain7.1s (1.3%)

Results
4.0s15316×0valid
16.0ms44×1valid
Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 996.0ms (40.6% of total)
ival-div: 287.0ms (11.7% of total)
ival-log: 196.0ms (8% of total)
ival-sin: 141.0ms (5.7% of total)
ival-neg: 96.0ms (3.9% of total)
ival-sub: 95.0ms (3.9% of total)
ival-add: 95.0ms (3.9% of total)
ival-atan: 78.0ms (3.2% of total)
ival-sqrt: 77.0ms (3.1% of total)
ival-tan: 75.0ms (3.1% of total)
ival-cos: 49.0ms (2% of total)
ival-floor: 46.0ms (1.9% of total)
ival-exp: 38.0ms (1.5% of total)
const: 29.0ms (1.2% of total)
ival-pi: 27.0ms (1.1% of total)
...c/correct-round.rkt:121:19: 26.0ms (1.1% of total)
ival-fmax: 18.0ms (0.7% of total)
ival-log2: 16.0ms (0.7% of total)
ival-if: 15.0ms (0.6% of total)
ival-asin: 13.0ms (0.5% of total)
ival-fabs: 9.0ms (0.4% of total)
ival->: 9.0ms (0.4% of total)
backward-pass: 8.0ms (0.3% of total)
ival->=: 6.0ms (0.2% of total)
ival-sinh: 5.0ms (0.2% of total)
ival-<: 2.0ms (0.1% of total)

bsearch45.0ms (0%)

Algorithm
48×binary-search
20×left-value
Stop Event
48×narrow-enough
Compiler

Compiled 3926 to 1713 computations (56.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...