Herbie run

Date:Saturday, March 16th, 2024
Commit:c82a51c3 on always-compact
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: 25.9min)

analyze6.9min (26.8%)

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.2%0.2%2.4%97.4%0%0%0%2
10.8%0.3%2.3%97.4%0%0%0%3
15.5%0.4%2.2%97.4%0%0%0%4
48.8%1.3%1.3%97.4%0%0%0%5
53.6%1.4%1.2%97.4%0%0%0%6
70.7%1.8%0.8%97.4%0%0%0%7
72.6%1.9%0.7%97.4%0%0.1%0%8
81.8%2.1%0.5%97.4%0%0.1%0%9
83.3%2.1%0.4%97.4%0%0.1%0%10
88.8%2.2%0.3%97.4%0%0.1%0%11
89.5%2.2%0.3%97.4%0%0.1%0%12
Results
Compiler

Compiled 2668 to 1270 computations (52.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7min
Operation ival-mult, time spent: 42.5s, 26.0% of total-time
Operation ival-<=, time spent: 38.4s, 24.0% of total-time
Operation ival-fabs, time spent: 24.6s, 15.0% of total-time
Operation ival-floor, time spent: 9.5s, 6.0% of total-time
Operation ival-add, time spent: 7.6s, 5.0% of total-time
Operation ival-and, time spent: 7.5s, 5.0% of total-time
Operation ival-sqrt, time spent: 5.4s, 3.0% of total-time
Operation ival-div, time spent: 5.0s, 3.0% of total-time
Operation ival-log2, time spent: 5.0s, 3.0% of total-time
Operation ival-fmax, time spent: 4.3s, 3.0% of total-time
Operation const, time spent: 4.2s, 3.0% of total-time
Operation ival-if, time spent: 2.7s, 2.0% of total-time
Operation ival-==, time spent: 1.4s, 1.0% of total-time
Operation ival-sub, time spent: 1.2s, 1.0% of total-time
Operation ival->=, time spent: 625.0ms, 0.0% of total-time
Operation ival->, time spent: 567.0ms, 0.0% of total-time
Operation ival-tan, time spent: 366.0ms, 0.0% of total-time
Operation ival-<, time spent: 338.0ms, 0.0% of total-time
Operation ival-sin, time spent: 298.0ms, 0.0% of total-time
Operation ival-cos, time spent: 271.0ms, 0.0% of total-time
Operation ival-log, time spent: 194.0ms, 0.0% of total-time
Operation ival-atan, time spent: 183.0ms, 0.0% of total-time
Operation ival-exp, time spent: 110.0ms, 0.0% of total-time
Operation ival-neg, time spent: 71.0ms, 0.0% of total-time
Operation ival-pi, time spent: 56.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 33.0ms, 0.0% of total-time
Operation ival-asin, time spent: 30.0ms, 0.0% of total-time

localize6.0min (22.9%)

Results
Compiler

Compiled 110958 to 27901 computations (74.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4min
Operation ival-sin, time spent: 1.1min, 33.0% of total-time
Operation ival-mult, time spent: 27.6s, 13.0% of total-time
Operation ival-pow, time spent: 18.7s, 9.0% of total-time
Operation ival-tan, time spent: 16.0s, 8.0% of total-time
Operation ival-cos, time spent: 15.8s, 8.0% of total-time
Operation ival-div, time spent: 10.5s, 5.0% of total-time
Operation ival-atan, time spent: 10.0s, 5.0% of total-time
Operation ival-add, time spent: 7.0s, 3.0% of total-time
Operation composed, time spent: 6.3s, 3.0% of total-time
Operation ival-sub, time spent: 5.5s, 3.0% of total-time
Operation ival-log, time spent: 4.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.2s, 2.0% of total-time
Operation ival-exp, time spent: 2.9s, 1.0% of total-time
Operation const, time spent: 2.5s, 1.0% of total-time
Operation ival-fmax, time spent: 1.5s, 1.0% of total-time
Operation ival-neg, time spent: 948.0ms, 0.0% of total-time
Operation ival-if, time spent: 657.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 545.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 529.0ms, 0.0% of total-time
Operation ival->, time spent: 233.0ms, 0.0% of total-time
Operation ival-pi, time spent: 165.0ms, 0.0% of total-time
Operation ival-log2, time spent: 155.0ms, 0.0% of total-time
Operation ival-asin, time spent: 150.0ms, 0.0% of total-time
Operation ival-floor, time spent: 148.0ms, 0.0% of total-time
Operation ival->=, time spent: 130.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 86.0ms, 0.0% of total-time
Operation ival-<, time spent: 72.0ms, 0.0% of total-time
Operation ival-e, time spent: 29.0ms, 0.0% of total-time
Operation ival-acos, time spent: 21.0ms, 0.0% of total-time

sample3.3min (12.9%)

Results
2.9min239424×256valid
3.4s8277×256invalid
1.7s2011×256precondition
Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 22.1s, 24.0% of total-time
Operation ival-<=, time spent: 14.4s, 16.0% of total-time
Operation ival-div, time spent: 9.1s, 10.0% of total-time
Operation ival-sin, time spent: 4.6s, 5.0% of total-time
Operation ival-sub, time spent: 4.4s, 5.0% of total-time
Operation ival-add, time spent: 4.0s, 4.0% of total-time
Operation ival-log, time spent: 3.1s, 3.0% of total-time
Operation ival-and, time spent: 3.1s, 3.0% of total-time
Operation ival-tan, time spent: 2.8s, 3.0% of total-time
Operation ival-exp, time spent: 2.8s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 3.0% of total-time
Operation const, time spent: 2.6s, 3.0% of total-time
Operation ival-cos, time spent: 2.4s, 3.0% of total-time
Operation ival-fabs, time spent: 2.2s, 2.0% of total-time
Operation ival-pi, time spent: 1.6s, 2.0% of total-time
Operation ival-if, time spent: 1.6s, 2.0% of total-time
Operation ival-atan, time spent: 1.2s, 1.0% of total-time
Operation ival-neg, time spent: 1.2s, 1.0% of total-time
Operation ival-floor, time spent: 1.1s, 1.0% of total-time
Operation ival-asin, time spent: 857.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 617.0ms, 1.0% of total-time
Operation ival-<, time spent: 613.0ms, 1.0% of total-time
Operation ival->, time spent: 562.0ms, 1.0% of total-time
Operation ival-log2, time spent: 506.0ms, 1.0% of total-time
Operation ival-==, time spent: 445.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 215.0ms, 0.0% of total-time
Operation ival->=, time spent: 163.0ms, 0.0% of total-time
Bogosity

eval2.5min (9.7%)

Results
Compiler

Compiled 8827858 to 2172573 computations (75.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

preprocess2.0min (7.7%)

Algorithm
29×egg-herbie
Rules
30510×fma-define
21782×fma-neg
14260×unsub-neg
14136×distribute-lft-neg-in
11384×distribute-rgt-neg-in
Stop Event
11×saturated
18×node limit
Results
Compiler

Compiled 48266 to 23847 computations (50.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.3s
Operation ival-mult, time spent: 4.6s, 32.0% of total-time
Operation ival-div, time spent: 1.7s, 12.0% of total-time
Operation ival-tan, time spent: 1.6s, 11.0% of total-time
Operation ival-sin, time spent: 1.0s, 7.0% of total-time
Operation ival-sub, time spent: 1.0s, 7.0% of total-time
Operation ival-log, time spent: 907.0ms, 6.0% of total-time
Operation ival-cos, time spent: 851.0ms, 6.0% of total-time
Operation ival-add, time spent: 741.0ms, 5.0% of total-time
Operation ival-atan, time spent: 701.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 344.0ms, 2.0% of total-time
Operation const, time spent: 279.0ms, 2.0% of total-time
Operation ival-exp, time spent: 143.0ms, 1.0% of total-time
Operation ival-neg, time spent: 78.0ms, 1.0% of total-time
Operation ival-floor, time spent: 75.0ms, 1.0% of total-time
Operation ival-pi, time spent: 75.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 62.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 47.0ms, 0.0% of total-time
Operation ival-if, time spent: 31.0ms, 0.0% of total-time
Operation ival-log2, time spent: 24.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 20.0ms, 0.0% of total-time
Operation ival-asin, time spent: 17.0ms, 0.0% of total-time
Operation ival->=, time spent: 10.0ms, 0.0% of total-time
Operation ival->, time spent: 10.0ms, 0.0% of total-time
Operation ival-<, time spent: 7.0ms, 0.0% of total-time

simplify1.6min (6.1%)

Algorithm
137×egg-herbie
Rules
93216×fma-define
73240×*-commutative
62064×associate-*r*
59930×times-frac
56728×distribute-lft-in
Stop Event
27×saturated
110×node limit
26×fuel
1×done
Counts
62643 → 51057
Results
Compiler

Compiled 6562 to 4240 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

soundness1.3min (5.1%)

Rules
95394×fma-define
62826×associate-*r*
57618×*-commutative
57200×times-frac
48002×fma-neg
Stop Event
7×saturated
139×node limit
Results
Compiler

Compiled 28620 to 15213 computations (46.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

prune49.8s (3.2%)

Counts
95432 → 3478
Results
Compiler

Compiled 232313 to 132536 computations (42.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

rewrite37.8s (2.4%)

Algorithm
110×batch-egg-rewrite
Rules
61129×log1p-expm1-u
42759×expm1-log1p-u
32454×log-prod
29722×pow1
29267×add-exp-log
Stop Event
110×node limit
Counts
1262 → 31156
Results
Precisions
Click to see histograms. Total time spent on operations: 0ms

regimes28.0s (1.8%)

Counts
6634 → 309
Calls

128 calls:

1.3s
u
1.3s
s
1.1s
cosTheta_i
922.0ms
u2
888.0ms
maxCos
Results
Compiler

Compiled 8708 to 6330 computations (27.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

series21.0s (1.4%)

Counts
1262 → 31487
Calls

7242 calls:

TimeVariablePointExpression
672.0ms
cosTheta_i
@0
(/ (* cosTheta_i (+ (* -1/2 (/ (* cosTheta_O (* sinTheta_O sinTheta_i)) v)) (* 1/2 cosTheta_O))) v)
177.0ms
s
@0
(* (neg s) (log (+ (/ 1 (+ (/ u (+ 1 (exp (/ (PI) (neg s))))) (/ (- 1 u) (+ 1 (exp (/ (PI) s)))))) -1)))
175.0ms
dY.u
@inf
(pow (fmax (pow (sqrt (+ (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dX.u) (* (floor w) dX.u)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) 1/4)
167.0ms
s
@0
(* s (- (log (+ 1 (* u (+ (* u 16) 4)))) (log (+ 1 (* (pow u 3) -64)))))
156.0ms
sinTheta_O
@-inf
(* (/ (pow (exp sinTheta_O) (/ sinTheta_i v)) v) (* cosTheta_i (/ (/ cosTheta_O v) (* 2 (sinh (/ 1 v))))))
Results
Precisions
Click to see histograms. Total time spent on operations: 0ms

bsearch22.0ms (0%)

Algorithm
25×binary-search
19×left-value
Stop Event
25×narrow-enough
Results
Compiler

Compiled 1278 to 768 computations (39.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 0ms

end14.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
Operation ival-mult, time spent: 1.2s, 100.0% of total-time

Profiling

Loading profile data...