Herbie run

Date:Sunday, March 24th, 2024
Commit:5a8b346c on main
Hostname:nightly with Racket 8.11.1
Seed:2024084
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: 16.8min)

analyze5.4min (32.3%)

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
Compiler

Compiled 2668 to 1270 computations (52.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-mult, time spent: 34.5s, 27.0% of total-time
Operation ival-<=, time spent: 30.4s, 24.0% of total-time
Operation ival-fabs, time spent: 18.5s, 15.0% of total-time
Operation ival-floor, time spent: 8.0s, 6.0% of total-time
Operation ival-add, time spent: 6.3s, 5.0% of total-time
Operation ival-and, time spent: 5.4s, 4.0% of total-time
Operation ival-log2, time spent: 3.9s, 3.0% of total-time
Operation ival-fmax, time spent: 3.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.2s, 3.0% of total-time
Operation const, time spent: 2.9s, 2.0% of total-time
Operation ival-div, time spent: 2.9s, 2.0% of total-time
Operation ival-==, time spent: 2.1s, 2.0% of total-time
Operation ival-if, time spent: 1.7s, 1.0% of total-time
Operation ival-sub, time spent: 671.0ms, 1.0% of total-time
Operation ival->, time spent: 416.0ms, 0.0% of total-time
Operation ival->=, time spent: 315.0ms, 0.0% of total-time
Operation ival-sin, time spent: 240.0ms, 0.0% of total-time
Operation ival-<, time spent: 211.0ms, 0.0% of total-time
Operation ival-cos, time spent: 204.0ms, 0.0% of total-time
Operation ival-tan, time spent: 166.0ms, 0.0% of total-time
Operation ival-log, time spent: 107.0ms, 0.0% of total-time
Operation ival-exp, time spent: 57.0ms, 0.0% of total-time
Operation ival-atan, time spent: 49.0ms, 0.0% of total-time
Operation ival-neg, time spent: 39.0ms, 0.0% of total-time
Operation ival-pi, time spent: 34.0ms, 0.0% of total-time
Operation ival-asin, time spent: 27.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 16.0ms, 0.0% of total-time

localize3.6min (21.7%)

Results
1.3min25271×256valid
16.2s2542×256invalid
2.6s1114×256unsamplable
1.4min513×8192exit
Compiler

Compiled 107433 to 26461 computations (75.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2min
Operation ival-tan, time spent: 30.7s, 24.0% of total-time
Operation ival-mult, time spent: 21.2s, 16.0% of total-time
Operation ival-sin, time spent: 19.7s, 15.0% of total-time
Operation ival-atan, time spent: 17.3s, 13.0% of total-time
Operation ival-pow, time spent: 10.7s, 8.0% of total-time
Operation ival-div, time spent: 6.7s, 5.0% of total-time
Operation ival-add, time spent: 4.7s, 4.0% of total-time
Operation composed, time spent: 3.9s, 3.0% of total-time
Operation ival-sub, time spent: 3.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 2.0% of total-time
Operation ival-log, time spent: 2.0s, 2.0% of total-time
Operation ival-exp, time spent: 1.6s, 1.0% of total-time
Operation ival-cos, time spent: 1.5s, 1.0% of total-time
Operation const, time spent: 1.5s, 1.0% of total-time
Operation ival-fmax, time spent: 930.0ms, 1.0% of total-time
Operation ival-neg, time spent: 463.0ms, 0.0% of total-time
Operation ival-if, time spent: 321.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 224.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 183.0ms, 0.0% of total-time
Operation ival->, time spent: 128.0ms, 0.0% of total-time
Operation ival-pi, time spent: 108.0ms, 0.0% of total-time
Operation ival-floor, time spent: 102.0ms, 0.0% of total-time
Operation ival-asin, time spent: 82.0ms, 0.0% of total-time
Operation ival-log2, time spent: 73.0ms, 0.0% of total-time
Operation ival->=, time spent: 62.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 55.0ms, 0.0% of total-time
Operation ival-e, time spent: 41.0ms, 0.0% of total-time
Operation ival-<, time spent: 38.0ms, 0.0% of total-time
Operation ival-acos, time spent: 30.0ms, 0.0% of total-time

sample1.9min (11.6%)

Results
1.3min239424×256valid
1.5s8353×256invalid
902.0ms2054×256precondition
Precisions
Click to see histograms. Total time spent on operations: 52.8s
Operation ival-mult, time spent: 11.6s, 22.0% of total-time
Operation ival-<=, time spent: 9.6s, 18.0% of total-time
Operation ival-div, time spent: 4.5s, 9.0% of total-time
Operation ival-sub, time spent: 4.2s, 8.0% of total-time
Operation ival-sin, time spent: 2.8s, 5.0% of total-time
Operation ival-log, time spent: 2.4s, 5.0% of total-time
Operation ival-add, time spent: 2.0s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 3.0% of total-time
Operation ival-and, time spent: 1.6s, 3.0% of total-time
Operation ival-tan, time spent: 1.5s, 3.0% of total-time
Operation const, time spent: 1.4s, 3.0% of total-time
Operation ival-cos, time spent: 1.4s, 3.0% of total-time
Operation ival-fabs, time spent: 1.2s, 2.0% of total-time
Operation ival-exp, time spent: 1.2s, 2.0% of total-time
Operation ival-atan, time spent: 1.1s, 2.0% of total-time
Operation ival-neg, time spent: 1.1s, 2.0% of total-time
Operation ival-pi, time spent: 849.0ms, 2.0% of total-time
Operation ival-floor, time spent: 588.0ms, 1.0% of total-time
Operation ival->, time spent: 389.0ms, 1.0% of total-time
Operation ival-<, time spent: 333.0ms, 1.0% of total-time
Operation ival-if, time spent: 320.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 311.0ms, 1.0% of total-time
Operation ival-asin, time spent: 253.0ms, 0.0% of total-time
Operation ival-==, time spent: 188.0ms, 0.0% of total-time
Operation ival-log2, time spent: 172.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 120.0ms, 0.0% of total-time
Operation ival->=, time spent: 92.0ms, 0.0% of total-time
Bogosity

eval1.5min (8.7%)

Compiler

Compiled 9166486 to 2283061 computations (75.1% saved)

simplify56.7s (5.6%)

Algorithm
141×egg-herbie
Rules
94578×fma-define
68180×*-commutative
62842×associate-*r*
60190×distribute-lft-in
59236×times-frac
Stop Event
29×saturated
111×node limit
1×unsound
Counts
61972 → 49421

end52.1s (5.2%)

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

soundness44.6s (4.4%)

Rules
91940×fma-define
62352×associate-*r*
51916×fma-neg
50352×times-frac
49524×*-commutative
Stop Event
8×saturated
130×node limit
27×fuel
2×done
Compiler

Compiled 34704 to 16035 computations (53.8% saved)

preprocess30.0s (3%)

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
15.7s14848×256valid
Compiler

Compiled 44112 to 19491 computations (55.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0s
Operation ival-mult, time spent: 2.2s, 28.0% of total-time
Operation ival-tan, time spent: 1.0s, 13.0% of total-time
Operation ival-div, time spent: 826.0ms, 10.0% of total-time
Operation ival-sin, time spent: 794.0ms, 10.0% of total-time
Operation ival-sub, time spent: 649.0ms, 8.0% of total-time
Operation ival-cos, time spent: 563.0ms, 7.0% of total-time
Operation ival-add, time spent: 462.0ms, 6.0% of total-time
Operation ival-atan, time spent: 439.0ms, 5.0% of total-time
Operation ival-log, time spent: 289.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 220.0ms, 3.0% of total-time
Operation const, time spent: 160.0ms, 2.0% of total-time
Operation ival-exp, time spent: 102.0ms, 1.0% of total-time
Operation ival-pi, time spent: 60.0ms, 1.0% of total-time
Operation ival-neg, time spent: 45.0ms, 1.0% of total-time
Operation ival-floor, time spent: 44.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 29.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 25.0ms, 0.0% of total-time
Operation ival-if, time spent: 17.0ms, 0.0% of total-time
Operation ival-log2, time spent: 10.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time
Operation ival-asin, time spent: 10.0ms, 0.0% of total-time
Operation ival->, time spent: 8.0ms, 0.0% of total-time
Operation ival->=, time spent: 6.0ms, 0.0% of total-time
Operation ival-<, time spent: 5.0ms, 0.0% of total-time

prune29.6s (2.9%)

Counts
100926 → 3475
Compiler

Compiled 242222 to 130474 computations (46.1% saved)

rewrite22.8s (2.3%)

Algorithm
112×batch-egg-rewrite
Rules
61018×log1p-expm1-u
46588×expm1-log1p-u
35540×log-prod
32792×prod-diff
30597×add-exp-log
Stop Event
112×node limit
Counts
1256 → 31468

series12.0s (1.2%)

Counts
1256 → 30504
Calls

6804 calls:

TimeVariablePointExpression
916.0ms
u
@inf
(* u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))))
142.0ms
dY.u
@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)
137.0ms
s
@inf
(pow (pow (E) (/ -1 (pow (cbrt s) 2))) (/ x (cbrt s)))
110.0ms
uy
@inf
(log (* (sin (* uy (* 2 (PI)))) yi))
100.0ms
s
@0
(* -3 (* s (- (log (+ 1 (* (pow (+ u -1/4) 2) -16/9))) (log (+ 1 (+ (* 4/3 u) -1/3))))))

regimes11.4s (1.1%)

Counts
5589 → 273
Calls

138 calls:

471.0ms
s
447.0ms
x
418.0ms
cosTheta_i
374.0ms
v
364.0ms
u1
Compiler

Compiled 8663 to 5860 computations (32.4% saved)

bsearch18.0ms (0%)

Algorithm
32×binary-search
14×left-value
Stop Event
32×narrow-enough
Compiler

Compiled 1276 to 786 computations (38.4% saved)

Profiling

Loading profile data...