Herbie run

Date:Saturday, March 16th, 2024
Commit:110598d9 on longer-taylor
Hostname:nightly with Racket 8.11.1
Seed:2024076
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: 12.8min)

localize4.4min (34.8%)

Results
1.4min27493×256valid
10.4s1674×256invalid
1.4s634×256unsamplable
2.2min287×8192exit
Compiler

Compiled 120907 to 28667 computations (76.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0min
Operation ival-sin, time spent: 1.3min, 44.0% of total-time
Operation ival-mult, time spent: 17.8s, 10.0% of total-time
Operation ival-tan, time spent: 16.7s, 9.0% of total-time
Operation ival-cos, time spent: 16.5s, 9.0% of total-time
Operation ival-atan, time spent: 10.5s, 6.0% of total-time
Operation ival-pow, time spent: 10.4s, 6.0% of total-time
Operation ival-div, time spent: 5.9s, 3.0% of total-time
Operation ival-add, time spent: 5.1s, 3.0% of total-time
Operation composed, time spent: 4.5s, 2.0% of total-time
Operation ival-sub, time spent: 3.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.2s, 1.0% of total-time
Operation ival-log, time spent: 2.1s, 1.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-exp, time spent: 1.6s, 1.0% of total-time
Operation ival-fmax, time spent: 926.0ms, 1.0% of total-time
Operation ival-neg, time spent: 797.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 327.0ms, 0.0% of total-time
Operation ival-if, time spent: 272.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 247.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 191.0ms, 0.0% of total-time
Operation ival-pi, time spent: 167.0ms, 0.0% of total-time
Operation ival-log2, time spent: 157.0ms, 0.0% of total-time
Operation ival->, time spent: 125.0ms, 0.0% of total-time
Operation ival-asin, time spent: 122.0ms, 0.0% of total-time
Operation ival-floor, time spent: 103.0ms, 0.0% of total-time
Operation ival->=, time spent: 69.0ms, 0.0% of total-time
Operation ival-<, time spent: 39.0ms, 0.0% of total-time
Operation ival-e, time spent: 18.0ms, 0.0% of total-time
Operation ival-acos, time spent: 13.0ms, 0.0% of total-time

sample2.1min (16.6%)

Results
1.5min247680×256valid
1.9s8252×256invalid
748.0ms2011×256precondition
Precisions
Click to see histograms. Total time spent on operations: 59.1s
Operation ival-mult, time spent: 14.1s, 24.0% of total-time
Operation ival-<=, time spent: 10.2s, 17.0% of total-time
Operation ival-div, time spent: 5.6s, 9.0% of total-time
Operation ival-sub, time spent: 3.1s, 5.0% of total-time
Operation ival-sin, time spent: 3.0s, 5.0% of total-time
Operation ival-add, time spent: 2.7s, 5.0% of total-time
Operation ival-log, time spent: 2.4s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 3.0% of total-time
Operation ival-and, time spent: 1.9s, 3.0% of total-time
Operation ival-fabs, time spent: 1.8s, 3.0% of total-time
Operation ival-tan, time spent: 1.6s, 3.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-cos, time spent: 1.6s, 3.0% of total-time
Operation ival-exp, time spent: 1.3s, 2.0% of total-time
Operation ival-floor, time spent: 1.1s, 2.0% of total-time
Operation ival-pi, time spent: 873.0ms, 1.0% of total-time
Operation ival-atan, time spent: 755.0ms, 1.0% of total-time
Operation ival-neg, time spent: 681.0ms, 1.0% of total-time
Operation ival->, time spent: 639.0ms, 1.0% of total-time
Operation ival-<, time spent: 427.0ms, 1.0% of total-time
Operation ival-asin, time spent: 405.0ms, 1.0% of total-time
Operation ival-log2, time spent: 392.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 381.0ms, 1.0% of total-time
Operation ival-if, time spent: 328.0ms, 1.0% of total-time
Operation ival-==, time spent: 200.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 122.0ms, 0.0% of total-time
Operation ival->=, time spent: 93.0ms, 0.0% of total-time
Bogosity

eval1.7min (13.7%)

Compiler

Compiled 13506591 to 2492101 computations (81.5% saved)

simplify52.3s (6.8%)

Algorithm
142×egg-herbie
Rules
49355×fma-define
37556×*-commutative
33197×associate-*r*
32155×times-frac
32012×distribute-lft-in
Stop Event
29×saturated
113×node limit
28×fuel
1×done
Counts
65468 → 53519
Compiler

Compiled 8417 to 4900 computations (41.8% saved)

analyze43.8s (5.7%)

Algorithm
30×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%2.6%97.4%0%0%0%0
0.2%0%2.6%97.4%0%0%0%1
9.3%0.2%2.4%97.4%0%0%0%2
43.2%1.1%1.5%97.4%0%0%0%3
48.1%1.3%1.4%97.4%0%0%0%4
65.1%1.7%0.9%97.4%0%0%0%5
70.3%1.8%0.8%97.4%0%0%0%6
79.1%2%0.5%97.4%0%0%0%7
81.1%2.1%0.5%97.4%0%0.1%0%8
86.1%2.2%0.4%97.4%0%0.1%0%9
87.6%2.2%0.3%97.4%0%0.1%0%10
91.9%2.3%0.2%97.4%0%0.1%0%11
92.6%2.3%0.2%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1270 computations (52.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.3s
Operation ival-mult, time spent: 4.9s, 30.0% of total-time
Operation ival-<=, time spent: 2.6s, 16.0% of total-time
Operation ival-fabs, time spent: 1.7s, 10.0% of total-time
Operation ival-div, time spent: 1.2s, 7.0% of total-time
Operation ival-floor, time spent: 811.0ms, 5.0% of total-time
Operation ival-and, time spent: 582.0ms, 4.0% of total-time
Operation ival-if, time spent: 576.0ms, 4.0% of total-time
Operation ival-add, time spent: 534.0ms, 3.0% of total-time
Operation ival-==, time spent: 494.0ms, 3.0% of total-time
Operation ival-sub, time spent: 416.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 416.0ms, 3.0% of total-time
Operation const, time spent: 392.0ms, 2.0% of total-time
Operation ival-fmax, time spent: 375.0ms, 2.0% of total-time
Operation ival-tan, time spent: 224.0ms, 1.0% of total-time
Operation ival-sin, time spent: 215.0ms, 1.0% of total-time
Operation ival-log2, time spent: 214.0ms, 1.0% of total-time
Operation ival->, time spent: 203.0ms, 1.0% of total-time
Operation ival-cos, time spent: 189.0ms, 1.0% of total-time
Operation ival-<, time spent: 112.0ms, 1.0% of total-time
Operation ival-log, time spent: 73.0ms, 0.0% of total-time
Operation ival-atan, time spent: 53.0ms, 0.0% of total-time
Operation ival-pi, time spent: 39.0ms, 0.0% of total-time
Operation ival-exp, time spent: 25.0ms, 0.0% of total-time
Operation ival-neg, time spent: 24.0ms, 0.0% of total-time
Operation ival-asin, time spent: 22.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 0.0ms, 0.0% of total-time

soundness41.1s (5.4%)

Rules
46272×fma-define
30530×associate-*r*
29690×times-frac
27754×log1p-expm1-u
27173×*-commutative
Stop Event
7×saturated
137×node limit
Compiler

Compiled 30072 to 15771 computations (47.6% saved)

prune32.1s (4.2%)

Counts
110655 → 3680
Compiler

Compiled 273975 to 143472 computations (47.6% saved)

preprocess31.9s (4.2%)

Algorithm
30×egg-herbie
Rules
15315×fma-define
10891×fma-neg
7946×unsub-neg
7353×distribute-lft-neg-in
5929×distribute-rgt-neg-in
Stop Event
11×saturated
19×node limit
Results
14.8s15360×256valid
Compiler

Compiled 60826 to 26770 computations (56% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
Operation ival-mult, time spent: 2.5s, 31.0% of total-time
Operation ival-tan, time spent: 1.2s, 15.0% of total-time
Operation ival-div, time spent: 787.0ms, 9.0% of total-time
Operation ival-sub, time spent: 701.0ms, 8.0% of total-time
Operation ival-sin, time spent: 577.0ms, 7.0% of total-time
Operation ival-cos, time spent: 558.0ms, 7.0% of total-time
Operation ival-add, time spent: 453.0ms, 5.0% of total-time
Operation ival-atan, time spent: 395.0ms, 5.0% of total-time
Operation ival-log, time spent: 281.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 248.0ms, 3.0% of total-time
Operation const, time spent: 168.0ms, 2.0% of total-time
Operation ival-exp, time spent: 107.0ms, 1.0% of total-time
Operation ival-floor, time spent: 52.0ms, 1.0% of total-time
Operation ival-neg, time spent: 45.0ms, 1.0% of total-time
Operation ival-pi, time spent: 43.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 25.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 25.0ms, 0.0% of total-time
Operation ival-log2, time spent: 20.0ms, 0.0% of total-time
Operation ival-asin, time spent: 20.0ms, 0.0% of total-time
Operation ival-if, time spent: 18.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time
Operation ival->=, time spent: 8.0ms, 0.0% of total-time
Operation ival->, time spent: 5.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time

regimes28.8s (3.8%)

Counts
7368 → 332
Calls

136 calls:

1.1s
u1
971.0ms
cosTheta_i
963.0ms
s
879.0ms
u
787.0ms
u2
Compiler

Compiled 11083 to 7517 computations (32.2% saved)

rewrite23.5s (3.1%)

Algorithm
113×batch-egg-rewrite
Rules
60429×log1p-expm1-u
45448×expm1-log1p-u
31625×add-exp-log
31566×pow1
30577×add-log-exp
Stop Event
113×node limit
Counts
1294 → 32027

series13.9s (1.8%)

Counts
1294 → 33441
Calls

7830 calls:

TimeVariablePointExpression
309.0ms
h
@inf
(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)
150.0ms
cosTheta_i
@inf
(exp (* cosTheta_i (neg (+ (/ cosTheta_O v) (/ (- 6931/10000 (+ (/ 1 v) (* sinTheta_O (/ sinTheta_i v)))) cosTheta_i)))))
150.0ms
u
@inf
(+ 1 (* v (* 2 (log (sqrt (+ (* (- 1 u) (exp (/ -2 v))) u))))))
139.0ms
v
@0
(log (* v (* 2 (sinh (/ 1 v)))))
110.0ms
dY.v
@inf
(log (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)))

bsearch28.0ms (0%)

Algorithm
31×binary-search
24×left-value
Stop Event
31×narrow-enough
Compiler

Compiled 1892 to 1176 computations (37.8% saved)

end14.0ms (0%)

Profiling

Loading profile data...