Herbie run

Date:Saturday, May 18th, 2024
Commit:fffc84a6 on zane-better-job-hash
Hostname:nightly with Racket 8.11.1
Seed:2024139
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: 10.0min)

simplify2.5min (25.3%)

Algorithm
270×egg-herbie
Rules
213368×fma-define
120358×fma-neg
119132×distribute-lft-in
118128×times-frac
114268×*-commutative
Stop Event
70×saturated
200×node limit
Counts
106195 → 76028

soundness1.8min (18.1%)

Rules
105158×fma-define
67496×*-commutative
67436×associate-*r*
67266×times-frac
55410×distribute-lft-in
Stop Event
8×saturated
176×node limit
29×fuel
1×done
Compiler

Compiled 62539 to 12603 computations (79.8% saved)

sample1.6min (15.7%)

Results
1.2min247625×0valid
1.2s8399×0invalid
834.0ms2021×0precondition
11.0ms55×1valid
Precisions
Click to see histograms. Total time spent on operations: 58.9s
ival-mult: 12.5s (21.3% of total)
ival-<=: 11.5s (19.5% of total)
...c/correct-round.rkt:121:19: 8.5s (14.4% of total)
ival-div: 5.0s (8.5% of total)
ival-log: 2.2s (3.8% of total)
ival-add: 2.2s (3.8% of total)
ival-sub: 2.1s (3.6% of total)
ival-sin: 1.9s (3.2% of total)
ival-fabs: 1.7s (2.9% of total)
ival-and: 1.6s (2.7% of total)
ival-sqrt: 1.4s (2.4% of total)
ival-floor: 1.1s (1.8% of total)
ival-cos: 920.0ms (1.6% of total)
ival-neg: 893.0ms (1.5% of total)
ival-exp: 828.0ms (1.4% of total)
ival-pi: 811.0ms (1.4% of total)
ival-if: 591.0ms (1% of total)
ival-tan: 504.0ms (0.9% of total)
const: 446.0ms (0.8% of total)
ival-fmax: 388.0ms (0.7% of total)
ival-log2: 350.0ms (0.6% of total)
ival->: 347.0ms (0.6% of total)
ival-<: 317.0ms (0.5% of total)
ival-==: 219.0ms (0.4% of total)
ival-atan: 146.0ms (0.2% of total)
ival-asin: 142.0ms (0.2% of total)
ival->=: 89.0ms (0.2% of total)
ival-sinh: 87.0ms (0.1% of total)
backward-pass: 67.0ms (0.1% of total)
Bogosity

localize41.8s (7%)

Results
18.1s26981×0valid
6.3s1114×5exit
1.8s1769×0invalid
766.0ms422×1valid
326.0ms434×0unsamplable
Compiler

Compiled 106653 to 5507 computations (94.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.9s
ival-mult: 4.1s (25.5% of total)
ival-div: 2.1s (13.2% of total)
ival-pow: 1.6s (9.7% of total)
ival-tan: 1.0s (6.3% of total)
ival-add: 827.0ms (5.2% of total)
ival-sqrt: 760.0ms (4.8% of total)
backward-pass: 644.0ms (4% of total)
ival-fma: 573.0ms (3.6% of total)
ival-neg: 540.0ms (3.4% of total)
ival-sin: 536.0ms (3.4% of total)
ival-log1p: 432.0ms (2.7% of total)
ival-sub: 367.0ms (2.3% of total)
ival-log: 364.0ms (2.3% of total)
ival-exp: 289.0ms (1.8% of total)
...c/correct-round.rkt:121:19: 275.0ms (1.7% of total)
ival-hypot: 249.0ms (1.6% of total)
ival-fmax: 173.0ms (1.1% of total)
ival-if: 162.0ms (1% of total)
ival-floor: 153.0ms (1% of total)
ival-atan: 139.0ms (0.9% of total)
ival-cos: 121.0ms (0.8% of total)
ival-log2: 102.0ms (0.6% of total)
const: 99.0ms (0.6% of total)
ival-cbrt: 77.0ms (0.5% of total)
ival-pi: 66.0ms (0.4% of total)
ival->=: 47.0ms (0.3% of total)
ival-asin: 44.0ms (0.3% of total)
ival-expm1: 42.0ms (0.3% of total)
ival->: 36.0ms (0.2% of total)
ival-fabs: 34.0ms (0.2% of total)
ival-<: 15.0ms (0.1% of total)
ival-sinh: 12.0ms (0.1% of total)
ival-e: 8.0ms (0.1% of total)

prune39.0s (6.5%)

Counts
140948 → 4099
Compiler

Compiled 376752 to 135319 computations (64.1% saved)

series32.3s (5.4%)

Counts
2053 → 59361
Calls

14658 calls:

TimeVariablePointExpression
348.0ms
v
@-inf
(/ (* cosTheta_i cosTheta_O) (exp (+ (* sinTheta_i (/ sinTheta_O v)) (log (* (sinh (/ 1 v)) (* v (* v 2)))))))
274.0ms
r
@-inf
(/ (+ (/ 1 (PI)) (/ (exp (* -1/3 (/ r s))) (PI))) (* r s))
239.0ms
s
@inf
(+ (- 1 (* s (log (+ -1 (/ 1 (+ (/ u (+ 1 (exp (/ (PI) (neg s))))) (/ (- 1 u) (+ 1 (exp (/ (PI) s)))))))))) -1)
233.0ms
h
@-inf
(* (log (fmax (pow (* dX.v (floor h)) 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))) 1/2)
178.0ms
s
@0
(* (neg s) (neg (log (/ (+ (/ 1 (+ (/ u (+ 1 (exp (/ (PI) (neg s))))) (/ (- 1 u) (+ 1 (exp (/ (PI) s)))))) 1) (+ (pow (+ (/ u (+ 1 (exp (/ (PI) (neg s))))) (/ (- 1 u) (+ 1 (exp (/ (PI) s))))) -2) -1)))))

rewrite31.0s (5.2%)

Algorithm
120×batch-egg-rewrite
Rules
59806×log1p-expm1-u
50572×expm1-log1p-u
36733×pow1
36698×log-prod
35494×add-exp-log
Stop Event
120×node limit
Counts
2053 → 46834

analyze30.9s (5.2%)

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: 20.3s
ival-mult: 4.8s (23.7% of total)
ival-<=: 3.2s (16% of total)
...c/correct-round.rkt:121:19: 2.1s (10.4% of total)
ival-fabs: 1.5s (7.5% of total)
ival-div: 1.2s (6% of total)
ival-floor: 1.2s (5.7% of total)
ival-add: 889.0ms (4.4% of total)
ival-and: 668.0ms (3.3% of total)
ival-sqrt: 641.0ms (3.2% of total)
ival-if: 568.0ms (2.8% of total)
ival-log: 448.0ms (2.2% of total)
ival-sub: 447.0ms (2.2% of total)
ival-sin: 418.0ms (2.1% of total)
ival-fmax: 404.0ms (2% of total)
ival-cos: 285.0ms (1.4% of total)
ival-==: 273.0ms (1.3% of total)
ival-log2: 231.0ms (1.1% of total)
ival-tan: 172.0ms (0.8% of total)
ival->: 136.0ms (0.7% of total)
const: 133.0ms (0.7% of total)
ival-pi: 97.0ms (0.5% of total)
ival->=: 93.0ms (0.5% of total)
ival-exp: 80.0ms (0.4% of total)
ival-neg: 80.0ms (0.4% of total)
ival-<: 55.0ms (0.3% of total)
ival-atan: 50.0ms (0.2% of total)
ival-sinh: 30.0ms (0.1% of total)
backward-pass: 21.0ms (0.1% of total)
ival-asin: 19.0ms (0.1% of total)

regimes27.5s (4.6%)

Counts
9809 → 363
Calls

145 calls:

1.5s
s
828.0ms
(*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))
724.0ms
uy
698.0ms
ux
638.0ms
cosTheta_i
Compiler

Compiled 13563 to 9401 computations (30.7% saved)

eval26.6s (4.4%)

Compiler

Compiled 12159244 to 596704 computations (95.1% saved)

preprocess8.4s (1.4%)

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 46646 to 14966 computations (67.9% saved)

explain7.3s (1.2%)

Results
4.3s15266×0valid
64.0ms94×1valid
Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 693.0ms (31.8% of total)
ival-div: 525.0ms (24.1% of total)
ival-sub: 176.0ms (8.1% of total)
ival-sqrt: 137.0ms (6.3% of total)
ival-add: 96.0ms (4.4% of total)
ival-log: 86.0ms (3.9% of total)
ival-sin: 79.0ms (3.6% of total)
ival-floor: 45.0ms (2.1% of total)
ival-cos: 43.0ms (2% of total)
ival-exp: 37.0ms (1.7% of total)
ival-neg: 35.0ms (1.6% of total)
ival-pi: 34.0ms (1.6% of total)
...c/correct-round.rkt:121:19: 32.0ms (1.5% of total)
const: 27.0ms (1.2% of total)
ival-fmax: 19.0ms (0.9% of total)
ival-tan: 19.0ms (0.9% of total)
ival-if: 18.0ms (0.8% of total)
ival-log2: 17.0ms (0.8% of total)
ival-asin: 13.0ms (0.6% of total)
backward-pass: 11.0ms (0.5% of total)
ival-fabs: 11.0ms (0.5% of total)
ival->=: 10.0ms (0.5% of total)
ival->: 7.0ms (0.3% of total)
ival-atan: 7.0ms (0.3% of total)
ival-sinh: 5.0ms (0.2% of total)
ival-<: 2.0ms (0.1% of total)

bsearch93.0ms (0%)

Algorithm
37×binary-search
22×left-value
Stop Event
37×narrow-enough
Compiler

Compiled 3369 to 1465 computations (56.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...