Herbie run

Date:Monday, March 25th, 2024
Commit:f03d6b38 on main
Hostname:nightly with Racket 8.11.1
Seed:2024085
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: 15.8min)

analyze5.3min (33.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
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.8s, 28.0% of total-time
Operation ival-<=, time spent: 29.2s, 23.0% of total-time
Operation ival-fabs, time spent: 19.6s, 16.0% of total-time
Operation ival-floor, time spent: 7.6s, 6.0% of total-time
Operation ival-add, time spent: 7.0s, 6.0% of total-time
Operation ival-and, time spent: 5.5s, 4.0% of total-time
Operation ival-log2, time spent: 5.1s, 4.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 3.0% of total-time
Operation const, time spent: 3.2s, 3.0% of total-time
Operation ival-div, time spent: 2.8s, 2.0% of total-time
Operation ival-fmax, time spent: 2.7s, 2.0% of total-time
Operation ival-if, time spent: 1.6s, 1.0% of total-time
Operation ival-==, time spent: 939.0ms, 1.0% of total-time
Operation ival->, time spent: 591.0ms, 0.0% of total-time
Operation ival-sub, time spent: 504.0ms, 0.0% of total-time
Operation ival->=, time spent: 347.0ms, 0.0% of total-time
Operation ival-sin, time spent: 244.0ms, 0.0% of total-time
Operation ival-<, time spent: 185.0ms, 0.0% of total-time
Operation ival-cos, time spent: 171.0ms, 0.0% of total-time
Operation ival-tan, time spent: 170.0ms, 0.0% of total-time
Operation ival-log, time spent: 141.0ms, 0.0% of total-time
Operation ival-exp, time spent: 60.0ms, 0.0% of total-time
Operation ival-atan, time spent: 52.0ms, 0.0% of total-time
Operation ival-neg, time spent: 41.0ms, 0.0% of total-time
Operation ival-pi, time spent: 35.0ms, 0.0% of total-time
Operation ival-asin, time spent: 22.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 16.0ms, 0.0% of total-time

localize3.9min (24.8%)

Results
1.3min26305×256valid
8.8s1444×256invalid
3.4s1108×256unsamplable
1.7min583×8192exit
Compiler

Compiled 93259 to 26713 computations (71.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4min
Operation ival-tan, time spent: 28.7s, 20.0% of total-time
Operation ival-sin, time spent: 22.0s, 15.0% of total-time
Operation ival-mult, time spent: 21.1s, 15.0% of total-time
Operation ival-pow, time spent: 18.2s, 13.0% of total-time
Operation ival-atan, time spent: 16.9s, 12.0% of total-time
Operation ival-div, time spent: 6.5s, 5.0% of total-time
Operation ival-add, time spent: 5.7s, 4.0% of total-time
Operation composed, time spent: 4.5s, 3.0% of total-time
Operation ival-cos, time spent: 4.4s, 3.0% of total-time
Operation ival-sub, time spent: 3.7s, 3.0% of total-time
Operation ival-log, time spent: 2.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.2s, 2.0% of total-time
Operation ival-exp, time spent: 1.9s, 1.0% of total-time
Operation const, time spent: 1.7s, 1.0% of total-time
Operation ival-fmax, time spent: 805.0ms, 1.0% of total-time
Operation ival-neg, time spent: 487.0ms, 0.0% of total-time
Operation ival-log2, time spent: 389.0ms, 0.0% of total-time
Operation ival-if, time spent: 248.0ms, 0.0% of total-time
Operation ival->=, time spent: 211.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 202.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 149.0ms, 0.0% of total-time
Operation ival-pi, time spent: 133.0ms, 0.0% of total-time
Operation ival-floor, time spent: 117.0ms, 0.0% of total-time
Operation ival->, time spent: 103.0ms, 0.0% of total-time
Operation ival-asin, time spent: 66.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 57.0ms, 0.0% of total-time
Operation ival-acos, time spent: 46.0ms, 0.0% of total-time
Operation ival-<, time spent: 21.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time

sample2.0min (12.6%)

Results
1.4min239424×256valid
1.5s8381×256invalid
710.0ms2090×256precondition
Precisions
Click to see histograms. Total time spent on operations: 51.8s
Operation ival-mult, time spent: 12.5s, 24.0% of total-time
Operation ival-<=, time spent: 8.3s, 16.0% of total-time
Operation ival-div, time spent: 4.8s, 9.0% of total-time
Operation ival-sin, time spent: 3.1s, 6.0% of total-time
Operation ival-fabs, time spent: 2.8s, 5.0% of total-time
Operation ival-sub, time spent: 2.7s, 5.0% of total-time
Operation ival-add, time spent: 2.1s, 4.0% of total-time
Operation ival-log, time spent: 2.0s, 4.0% of total-time
Operation ival-tan, time spent: 1.7s, 3.0% of total-time
Operation ival-and, time spent: 1.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 3.0% of total-time
Operation const, time spent: 1.5s, 3.0% of total-time
Operation ival-cos, time spent: 1.5s, 3.0% of total-time
Operation ival-exp, time spent: 835.0ms, 2.0% of total-time
Operation ival-atan, time spent: 712.0ms, 1.0% of total-time
Operation ival-neg, time spent: 694.0ms, 1.0% of total-time
Operation ival-pi, time spent: 602.0ms, 1.0% of total-time
Operation ival-floor, time spent: 584.0ms, 1.0% of total-time
Operation ival-<, time spent: 325.0ms, 1.0% of total-time
Operation ival-if, time spent: 306.0ms, 1.0% of total-time
Operation ival->, time spent: 304.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 294.0ms, 1.0% of total-time
Operation ival-asin, time spent: 237.0ms, 0.0% of total-time
Operation ival-==, time spent: 234.0ms, 0.0% of total-time
Operation ival-log2, time spent: 158.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 115.0ms, 0.0% of total-time
Operation ival->=, time spent: 102.0ms, 0.0% of total-time
Bogosity

eval1.2min (7.4%)

Compiler

Compiled 6145781 to 2041729 computations (66.8% saved)

simplify54.9s (5.8%)

Algorithm
140×egg-herbie
Rules
101284×fma-define
68280×*-commutative
66994×distribute-lft-in
65632×times-frac
58238×associate-*r*
Stop Event
29×saturated
111×node limit
Counts
63181 → 50805

soundness37.9s (4%)

Rules
92472×fma-define
60094×times-frac
52358×associate-*r*
48886×distribute-lft-in
48212×*-commutative
Stop Event
7×saturated
131×node limit
26×fuel
3×done
Compiler

Compiled 44786 to 18989 computations (57.6% saved)

preprocess28.3s (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
14.2s14848×256valid
Compiler

Compiled 53050 to 22181 computations (58.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
Operation ival-mult, time spent: 2.4s, 29.0% of total-time
Operation ival-tan, time spent: 1.0s, 13.0% of total-time
Operation ival-div, time spent: 820.0ms, 10.0% of total-time
Operation ival-sin, time spent: 665.0ms, 8.0% of total-time
Operation ival-sub, time spent: 635.0ms, 8.0% of total-time
Operation ival-add, time spent: 570.0ms, 7.0% of total-time
Operation ival-cos, time spent: 556.0ms, 7.0% of total-time
Operation ival-atan, time spent: 399.0ms, 5.0% of total-time
Operation ival-log, time spent: 278.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 193.0ms, 2.0% of total-time
Operation const, time spent: 171.0ms, 2.0% of total-time
Operation ival-exp, time spent: 97.0ms, 1.0% of total-time
Operation ival-floor, time spent: 55.0ms, 1.0% of total-time
Operation ival-neg, time spent: 52.0ms, 1.0% of total-time
Operation ival-pi, time spent: 46.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 39.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 28.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 21.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-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: 6.0ms, 0.0% of total-time

prune27.5s (2.9%)

Counts
97465 → 3568
Compiler

Compiled 244352 to 134858 computations (44.8% saved)

rewrite22.1s (2.3%)

Algorithm
111×batch-egg-rewrite
Rules
58887×log1p-expm1-u
45715×expm1-log1p-u
34158×log-prod
30433×add-exp-log
29899×pow1
Stop Event
111×node limit
Counts
1269 → 31983

regimes17.0s (1.8%)

Counts
6437 → 276
Calls

138 calls:

1.4s
sin2phi
722.0ms
cosTheta_i
530.0ms
s
490.0ms
u2
464.0ms
uy
Compiler

Compiled 11500 to 7403 computations (35.6% saved)

series15.2s (1.6%)

Counts
1269 → 31198
Calls

6918 calls:

TimeVariablePointExpression
2.0s
dX.v
@-inf
(sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* dX.v (* dX.v (* (floor h) (floor h))))) (+ (* (floor w) (* (* dY.u dY.u) (floor w))) (* (* (floor h) (floor h)) (* dY.v dY.v)))))
392.0ms
dY.u
@inf
(pow (exp (sqrt (log (+ 1 (sqrt (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))))))) (sqrt (log (+ 1 (sqrt (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)))))))
319.0ms
s
@inf
(/ (/ (/ 1 (sqrt (exp (/ x s)))) (sqrt (exp (/ x s)))) (* s (* (+ 1 (exp (/ (fabs x) (neg s)))) (+ 1 (exp (/ (fabs x) (neg s)))))))
221.0ms
dY.u
@inf
(log (pow (exp (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/2)) (fabs (* (floor w) (* (floor h) (- (* dX.u dY.v) (* dX.v dY.u)))))))
169.0ms
u2
@inf
(* (sqrt (neg (log (+ 1 (neg u1))))) (cos (* (* 2 (PI)) u2)))

bsearch13.0ms (0%)

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

Compiled 992 to 691 computations (30.3% saved)

end0.0ms (0%)

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

Profiling

Loading profile data...