Herbie run

Date:Sunday, June 9th, 2024
Commit:7e8e04d8 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024161
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.5min)

soundness1.8min (16.9%)

Rules
870942×*-lowering-*.f32
870942×*-lowering-*.f64
436832×+-lowering-+.f32
436832×+-lowering-+.f64
359002×/-lowering-/.f32
Stop Event
11×saturated
206×iter limit
195×node limit
29×fuel
1×done
Compiler

Compiled 32999 to 14406 computations (56.3% saved)

sample1.4min (13%)

Results
1.0min247680×0valid
1.3s8535×0invalid
655.0ms2162×0precondition
16.0ms45×5exit
Precisions
Click to see histograms. Total time spent on operations: 48.9s
ival-mult: 10.2s (20.9% of total)
...c/correct-round.rkt:119:19: 8.0s (16.3% of total)
ival-<=: 7.8s (15.9% of total)
ival-div: 4.0s (8.2% of total)
ival-sub: 2.1s (4.2% of total)
ival-and: 1.9s (3.9% of total)
ival-add: 1.8s (3.7% of total)
ival-sin: 1.7s (3.5% of total)
ival-sqrt: 1.6s (3.3% of total)
ival-fabs: 1.5s (3.1% of total)
ival-log: 1.4s (2.9% of total)
ival-cos: 831.0ms (1.7% of total)
ival-floor: 797.0ms (1.6% of total)
ival-exp: 659.0ms (1.3% of total)
ival-pi: 615.0ms (1.3% of total)
ival-neg: 597.0ms (1.2% of total)
ival->: 506.0ms (1% of total)
const: 444.0ms (0.9% of total)
ival-tan: 382.0ms (0.8% of total)
ival-fmax: 316.0ms (0.6% of total)
ival-log2: 310.0ms (0.6% of total)
ival-if: 301.0ms (0.6% of total)
ival-==: 246.0ms (0.5% of total)
ival-<: 225.0ms (0.5% of total)
ival-asin: 148.0ms (0.3% of total)
ival-atan: 128.0ms (0.3% of total)
ival-sinh: 127.0ms (0.3% of total)
backward-pass: 119.0ms (0.2% of total)
ival->=: 79.0ms (0.2% of total)
Bogosity

simplify1.3min (12.7%)

Algorithm
270×egg-herbie
Rules
881612×*-lowering-*.f32
881612×*-lowering-*.f64
496202×+-lowering-+.f32
496202×+-lowering-+.f64
262238×fma-lowering-fma.f64
Stop Event
242×iter limit
57×saturated
211×node limit
2×unsound
Counts
65628 → 65628

end1.1min (10.8%)

localize53.2s (8.5%)

Results
24.2s27677×0valid
10.7s1041×5exit
2.2s1327×0invalid
1.1s572×1valid
53.0ms103×0unsamplable
Compiler

Compiled 108770 to 5767 computations (94.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.4s
ival-mult: 4.0s (22% of total)
ival-pow: 3.9s (21.3% of total)
ival-div: 2.4s (13% of total)
ival-add: 1.3s (7% of total)
backward-pass: 1.1s (6% of total)
ival-log: 950.0ms (5.2% of total)
...c/correct-round.rkt:119:19: 659.0ms (3.6% of total)
compiled-spec: 546.0ms (3% of total)
ival-exp: 528.0ms (2.9% of total)
ival-cos: 445.0ms (2.4% of total)
ival-sub: 408.0ms (2.2% of total)
ival-sqrt: 352.0ms (1.9% of total)
ival-cosh: 251.0ms (1.4% of total)
ival-sin: 239.0ms (1.3% of total)
ival-if: 159.0ms (0.9% of total)
ival-neg: 156.0ms (0.8% of total)
ival-tan: 134.0ms (0.7% of total)
ival-log2: 119.0ms (0.6% of total)
ival-fmax: 118.0ms (0.6% of total)
const: 112.0ms (0.6% of total)
ival-fabs: 96.0ms (0.5% of total)
ival-floor: 91.0ms (0.5% of total)
ival-atan: 71.0ms (0.4% of total)
ival-pi: 60.0ms (0.3% of total)
ival-asin: 39.0ms (0.2% of total)
ival->=: 30.0ms (0.2% of total)
ival-e: 22.0ms (0.1% of total)
ival->: 21.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-<: 10.0ms (0.1% of total)
ival-acos: 7.0ms (0% of total)

prune53.1s (8.5%)

Counts
217918 → 5009
Compiler

Compiled 423243 to 173197 computations (59.1% saved)

eval45.5s (7.2%)

Compiler

Compiled 30111304 to 463574 computations (98.5% saved)

rewrite45.4s (7.2%)

Algorithm
120×batch-egg-rewrite
Rules
428644×*-lowering-*.f32
428644×*-lowering-*.f64
286086×/-lowering-/.f32
286086×/-lowering-/.f64
182726×fma-lowering-fma.f64
Stop Event
122×iter limit
118×node limit
2×unsound
Counts
2371 → 67916

regimes34.4s (5.5%)

Counts
16052 → 468
Calls

145 calls:

1.4s
cosTheta_i
1.3s
s
1.2s
u2
1.0s
u1
923.0ms
maxCos
Compiler

Compiled 13653 to 9513 computations (30.3% saved)

analyze30.3s (4.8%)

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: 17.8s
ival-mult: 4.2s (23.4% of total)
ival-<=: 2.7s (15.2% of total)
...c/correct-round.rkt:119:19: 2.2s (12.1% of total)
ival-fabs: 1.3s (7.2% of total)
ival-div: 1.1s (5.9% of total)
ival-sqrt: 892.0ms (5% of total)
ival-and: 784.0ms (4.4% of total)
ival-floor: 739.0ms (4.2% of total)
ival-add: 665.0ms (3.7% of total)
ival-sub: 464.0ms (2.6% of total)
ival-fmax: 399.0ms (2.2% of total)
ival-if: 371.0ms (2.1% of total)
ival-sin: 348.0ms (2% of total)
ival-cos: 256.0ms (1.4% of total)
ival-log: 183.0ms (1% of total)
ival-log2: 172.0ms (1% of total)
ival-==: 170.0ms (1% of total)
ival->: 131.0ms (0.7% of total)
const: 130.0ms (0.7% of total)
ival-tan: 122.0ms (0.7% of total)
ival-pi: 120.0ms (0.7% of total)
ival-neg: 106.0ms (0.6% of total)
ival-exp: 100.0ms (0.6% of total)
ival->=: 71.0ms (0.4% of total)
ival-asin: 53.0ms (0.3% of total)
ival-<: 44.0ms (0.2% of total)
backward-pass: 39.0ms (0.2% of total)
ival-atan: 38.0ms (0.2% of total)
ival-sinh: 30.0ms (0.2% of total)

series15.3s (2.4%)

Counts
2371 → 65628
Calls

12798 calls:

TimeVariablePointExpression
327.0ms
v
@0
(+ (* (neg (/ (- (* 2 (- 1 u)) (/ (* u (+ 2 (- (/ 4/3 v) (* u (+ 2 (/ 4 v)))))) v)) v)) v) 1)
313.0ms
w
@-inf
(log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dY.u) 2) (pow (* (floor h) dY.v) 2))))
230.0ms
w
@inf
(pow (exp 2) (log (* (floor w) dX.u)))
173.0ms
u1
@-inf
(* (log (+ 1 (/ (/ u0 (- 1 u0)) (+ (/ (/ 1 (+ 1 (pow (/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay)) 2))) (* alphax alphax)) (/ (- 1/2 (* 1/2 (cos (* 2 (atan (/ (tan (* (PI) (+ 1/2 (* 2 u1)))) (/ alphax alphay))))))) (* alphay alphay)))))) -1/2)
157.0ms
h
@inf
(* (log (fmax (pow (* (floor d) dX.w) 2) (+ (pow (* (floor w) dY.u) 2) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor d) dY.w) 2))))) 1/2)

preprocess8.4s (1.3%)

Algorithm
60×egg-herbie
Rules
49422×fma-define
44786×fnmadd-define
41132×sum3-define
37636×fmsub-define
35894×sum4-define
Stop Event
24×saturated
30×iter limit
36×node limit
Compiler

Compiled 50128 to 17550 computations (65% saved)

explain7.0s (1.1%)

Results
4.3s15326×0valid
47.0ms34×5exit
Compiler

Compiled 16652 to 1662 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult: 595.0ms (32.4% of total)
ival-div: 236.0ms (12.9% of total)
ival-cos: 137.0ms (7.5% of total)
ival-add: 112.0ms (6.1% of total)
ival-log: 89.0ms (4.8% of total)
ival-sub: 88.0ms (4.8% of total)
ival-sin: 82.0ms (4.5% of total)
ival-sqrt: 78.0ms (4.2% of total)
ival-tan: 70.0ms (3.8% of total)
ival-exp: 66.0ms (3.6% of total)
ival-floor: 48.0ms (2.6% of total)
ival-pi: 38.0ms (2.1% of total)
ival-neg: 32.0ms (1.7% of total)
...c/correct-round.rkt:119:19: 31.0ms (1.7% of total)
const: 28.0ms (1.5% of total)
ival-fmax: 21.0ms (1.1% of total)
ival-if: 20.0ms (1.1% of total)
backward-pass: 15.0ms (0.8% of total)
ival-log2: 14.0ms (0.8% of total)
ival-fabs: 9.0ms (0.5% of total)
ival-atan: 7.0ms (0.4% of total)
ival->=: 5.0ms (0.3% of total)
ival-asin: 5.0ms (0.3% of total)
ival-sinh: 5.0ms (0.3% of total)
ival->: 4.0ms (0.2% of total)
ival-<: 2.0ms (0.1% of total)

bsearch52.0ms (0%)

Algorithm
50×binary-search
34×left-value
Stop Event
50×narrow-enough
Compiler

Compiled 3218 to 1731 computations (46.2% saved)

Profiling

Loading profile data...