Herbie run

Date:Saturday, May 11th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024132
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: 9.5min)

simplify2.3min (24.6%)

Algorithm
267×egg-herbie
Rules
223378×fma-define
117616×distribute-lft-in
116274×times-frac
110746×associate-*r*
109188×*-commutative
Stop Event
71×saturated
196×node limit
Counts
99615 → 71297

sample1.6min (16.8%)

Results
1.2min247680×0valid
1.2s8539×0invalid
741.0ms2069×0precondition
26.0ms80×5exit
Precisions
Click to see histograms. Total time spent on operations: 1.0min
ival-mult: 14.2s (23.1% of total)
ival-<=: 10.4s (16.9% of total)
...c/correct-round.rkt:119:19: 9.5s (15.5% of total)
ival-div: 5.4s (8.7% of total)
ival-sub: 2.2s (3.6% of total)
ival-add: 2.0s (3.3% of total)
ival-log: 2.0s (3.3% of total)
ival-sqrt: 2.0s (3.2% of total)
ival-sin: 1.9s (3% of total)
ival-fabs: 1.6s (2.7% of total)
ival-and: 1.6s (2.6% of total)
ival-cos: 1.2s (1.9% of total)
ival-floor: 1.1s (1.7% of total)
ival-exp: 995.0ms (1.6% of total)
ival-pi: 989.0ms (1.6% of total)
ival-neg: 932.0ms (1.5% of total)
ival-fmax: 542.0ms (0.9% of total)
const: 501.0ms (0.8% of total)
ival-<: 409.0ms (0.7% of total)
ival-if: 375.0ms (0.6% of total)
ival-tan: 340.0ms (0.6% of total)
ival->: 326.0ms (0.5% of total)
ival-log2: 240.0ms (0.4% of total)
ival-asin: 172.0ms (0.3% of total)
ival-==: 148.0ms (0.2% of total)
ival-atan: 128.0ms (0.2% of total)
backward-pass: 120.0ms (0.2% of total)
ival-sinh: 87.0ms (0.1% of total)
ival->=: 82.0ms (0.1% of total)
Bogosity

soundness1.5min (16%)

Rules
106820×fma-define
66458×associate-*r*
65058×*-commutative
64812×times-frac
57730×distribute-lft-in
Stop Event
7×saturated
166×node limit
29×fuel
1×done
Compiler

Compiled 52604 to 12118 computations (77% saved)

prune41.0s (7.2%)

Counts
143201 → 3986
Compiler

Compiled 348657 to 129846 computations (62.8% saved)

localize38.9s (6.9%)

Results
19.3s26883×0valid
2.0s1691×0invalid
1.8s429×5exit
599.0ms986×0unsamplable
533.0ms475×1valid
Compiler

Compiled 105167 to 5541 computations (94.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.8s
ival-mult: 4.6s (31.2% of total)
ival-div: 2.2s (14.8% of total)
ival-pow: 1.5s (10.3% of total)
ival-add: 731.0ms (4.9% of total)
ival-log: 652.0ms (4.4% of total)
ival-fma: 506.0ms (3.4% of total)
...c/correct-round.rkt:119:19: 505.0ms (3.4% of total)
ival-sqrt: 461.0ms (3.1% of total)
ival-exp: 450.0ms (3% of total)
ival-sub: 433.0ms (2.9% of total)
ival-sin: 337.0ms (2.3% of total)
backward-pass: 307.0ms (2.1% of total)
ival-hypot: 285.0ms (1.9% of total)
ival-if: 242.0ms (1.6% of total)
ival-log1p: 211.0ms (1.4% of total)
ival-log2: 177.0ms (1.2% of total)
ival-fmax: 176.0ms (1.2% of total)
ival-neg: 166.0ms (1.1% of total)
ival->: 127.0ms (0.9% of total)
ival-cos: 117.0ms (0.8% of total)
ival-floor: 102.0ms (0.7% of total)
const: 95.0ms (0.6% of total)
ival-pi: 63.0ms (0.4% of total)
ival-tan: 57.0ms (0.4% of total)
ival-cbrt: 52.0ms (0.4% of total)
ival-asin: 45.0ms (0.3% of total)
ival-expm1: 45.0ms (0.3% of total)
ival-fabs: 41.0ms (0.3% of total)
ival->=: 35.0ms (0.2% of total)
ival-atan: 19.0ms (0.1% of total)
ival-<: 18.0ms (0.1% of total)
ival-sinh: 14.0ms (0.1% of total)
ival-acos: 6.0ms (0% of total)
ival-e: 2.0ms (0% of total)

analyze33.7s (5.9%)

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: 22.5s
ival-mult: 5.1s (22.9% of total)
ival-<=: 4.1s (18.1% of total)
...c/correct-round.rkt:119:19: 2.8s (12.3% of total)
ival-fabs: 1.6s (7.3% of total)
ival-floor: 1.5s (6.5% of total)
ival-div: 1.4s (6.3% of total)
ival-add: 724.0ms (3.2% of total)
ival-and: 692.0ms (3.1% of total)
ival-sqrt: 630.0ms (2.8% of total)
ival-==: 554.0ms (2.5% of total)
ival-if: 438.0ms (2% of total)
ival-fmax: 375.0ms (1.7% of total)
ival-sub: 363.0ms (1.6% of total)
ival-cos: 336.0ms (1.5% of total)
ival-sin: 323.0ms (1.4% of total)
ival-log2: 265.0ms (1.2% of total)
ival-neg: 239.0ms (1.1% of total)
ival-log: 233.0ms (1% of total)
const: 133.0ms (0.6% of total)
ival->: 126.0ms (0.6% of total)
ival-tan: 121.0ms (0.5% of total)
ival->=: 87.0ms (0.4% of total)
ival-exp: 85.0ms (0.4% of total)
ival-pi: 70.0ms (0.3% of total)
ival-<: 65.0ms (0.3% of total)
ival-atan: 39.0ms (0.2% of total)
ival-sinh: 37.0ms (0.2% of total)
backward-pass: 36.0ms (0.2% of total)
ival-asin: 17.0ms (0.1% of total)

rewrite32.0s (5.6%)

Algorithm
118×batch-egg-rewrite
Rules
62638×log1p-expm1-u
49675×expm1-log1p-u
36232×log-prod
35378×pow1
35152×add-exp-log
Stop Event
118×node limit
Counts
1963 → 44289

eval28.2s (5%)

Compiler

Compiled 13159556 to 607542 computations (95.4% saved)

series27.7s (4.9%)

Counts
1963 → 55326
Calls

13647 calls:

TimeVariablePointExpression
313.0ms
s
@inf
(* (neg s) (log (/ (+ -1 (pow (+ (/ u (+ 1 (exp (/ (PI) (neg s))))) (/ (- 1 u) (+ 1 (exp (/ (PI) s))))) -3)) (+ (pow (+ (/ u (+ 1 (exp (/ (PI) (neg s))))) (/ (- 1 u) (+ 1 (exp (/ (PI) s))))) -2) (- 1 (/ -1 (+ (/ u (+ 1 (exp (/ (PI) (neg s))))) (/ (- 1 u) (+ 1 (exp (/ (PI) s)))))))))))
310.0ms
d
@-inf
(log2 (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 (* (floor h) dY.v) 2))))
276.0ms
normAngle
@inf
(+ (* (sin (* (- 1 u) normAngle)) n0_i) (* (sin (* u normAngle)) n1_i))
242.0ms
v
@0
(* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))
229.0ms
u2
@-inf
(* -98696044010906577398881/5000000000000000000000 (pow u2 2))

regimes25.1s (4.4%)

Counts
9291 → 376
Calls

145 calls:

779.0ms
cosTheta_i
643.0ms
s
638.0ms
u2
601.0ms
dX.v
572.0ms
uy
Compiler

Compiled 12990 to 9005 computations (30.7% saved)

preprocess8.6s (1.5%)

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 49494 to 16442 computations (66.8% saved)

explain6.5s (1.1%)

Results
3.7s15288×0valid
91.0ms68×5exit
3.0ms4×1valid
Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 706.0ms (36.3% of total)
ival-div: 242.0ms (12.4% of total)
ival-sqrt: 124.0ms (6.4% of total)
ival-add: 97.0ms (5% of total)
ival-sub: 92.0ms (4.7% of total)
ival-log: 89.0ms (4.6% of total)
ival-sin: 82.0ms (4.2% of total)
ival-if: 81.0ms (4.2% of total)
ival-floor: 46.0ms (2.4% of total)
ival-cos: 44.0ms (2.3% of total)
ival-exp: 38.0ms (2% of total)
const: 35.0ms (1.8% of total)
ival-asin: 34.0ms (1.7% of total)
ival-neg: 32.0ms (1.6% of total)
ival-pi: 30.0ms (1.5% of total)
...c/correct-round.rkt:119:19: 28.0ms (1.4% of total)
ival-atan: 26.0ms (1.3% of total)
ival-fmax: 24.0ms (1.2% of total)
ival-log2: 24.0ms (1.2% of total)
backward-pass: 23.0ms (1.2% of total)
ival-tan: 20.0ms (1% of total)
ival-fabs: 10.0ms (0.5% of total)
ival->: 8.0ms (0.4% of total)
ival->=: 6.0ms (0.3% of total)
ival-sinh: 5.0ms (0.3% of total)
ival-<: 2.0ms (0.1% of total)

bsearch41.0ms (0%)

Algorithm
53×binary-search
17×left-value
Stop Event
53×narrow-enough
Compiler

Compiled 3766 to 1614 computations (57.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...