Herbie run

Date:Monday, March 25th, 2024
Commit:6042a029 on zane-regimes-loops
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: 26.1min)

sample7.7min (29.6%)

Results
1.1min298457×256valid
36.0s46068×512valid
4.5s27943×256invalid
6.0s27653×256infinite
6.7s26594×256unsamplable
19.5s25302×1024valid
2.6min16589×8192exit
28.2s11081×2048valid
52.5s7331×4096valid
5.7s5821×512infinite
1.3s1663×1024invalid
1.2s1167×2048invalid
20.0s1157×8192valid
997.0ms1132×512invalid
96.0ms887×256precondition
3.2s661×2048infinite
1.4s523×1024infinite
2.9s371×4096infinite
8.0ms9×512unsamplable
3.0ms2×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.0min
Operation ival-pow, time spent: 2.5min, 42.0% of total-time
Operation ival-sin, time spent: 44.4s, 12.0% of total-time
Operation ival-mult, time spent: 39.4s, 11.0% of total-time
Operation ival-cos, time spent: 34.2s, 10.0% of total-time
Operation ival-div, time spent: 30.1s, 8.0% of total-time
Operation ival-exp, time spent: 11.8s, 3.0% of total-time
Operation ival-add, time spent: 10.3s, 3.0% of total-time
Operation ival-log, time spent: 9.3s, 3.0% of total-time
Operation ival-sub, time spent: 8.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.5s, 1.0% of total-time
Operation const, time spent: 3.4s, 1.0% of total-time
Operation ival-neg, time spent: 2.7s, 1.0% of total-time
Operation ival-<, time spent: 2.5s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 0.0% of total-time
Operation ival-atan, time spent: 1.1s, 0.0% of total-time
Operation ival-pi, time spent: 1.0s, 0.0% of total-time
Operation ival-acos, time spent: 832.0ms, 0.0% of total-time
Operation ival-tan, time spent: 753.0ms, 0.0% of total-time
Operation ival-and, time spent: 485.0ms, 0.0% of total-time
Operation ival-asin, time spent: 294.0ms, 0.0% of total-time
Operation ival-<=, time spent: 248.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 240.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 182.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

localize7.6min (29.2%)

Results
50.8s27841×256valid
44.5s3993×512valid
8.5s3802×256invalid
17.4s2839×1024valid
5.1s2552×256infinite
3.1min2511×8192exit
34.3s2458×2048valid
28.1s485×4096valid
3.7s344×512infinite
889.0ms151×512invalid
2.9s143×2048infinite
76.0ms102×256unsamplable
2.0s97×1024infinite
2.2s37×4096infinite
8.5s24×8192valid
34.0ms7×1024invalid
10.0ms1×2048invalid
Compiler

Compiled 85439 to 47718 computations (44.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4min
Operation ival-sin, time spent: 1.3min, 20.0% of total-time
Operation ival-pow, time spent: 1.1min, 17.0% of total-time
Operation ival-mult, time spent: 1.1min, 17.0% of total-time
Operation ival-cos, time spent: 58.3s, 15.0% of total-time
Operation composed, time spent: 27.5s, 7.0% of total-time
Operation ival-div, time spent: 27.3s, 7.0% of total-time
Operation ival-log, time spent: 15.6s, 4.0% of total-time
Operation ival-exp, time spent: 12.7s, 3.0% of total-time
Operation ival-add, time spent: 9.9s, 3.0% of total-time
Operation ival-sub, time spent: 6.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 5.7s, 2.0% of total-time
Operation const, time spent: 4.7s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.8s, 1.0% of total-time
Operation ival-atan2, time spent: 2.0s, 1.0% of total-time
Operation ival-atan, time spent: 1.5s, 0.0% of total-time
Operation ival-tan, time spent: 625.0ms, 0.0% of total-time
Operation ival-neg, time spent: 599.0ms, 0.0% of total-time
Operation ival-acos, time spent: 279.0ms, 0.0% of total-time
Operation ival-pi, time spent: 239.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 128.0ms, 0.0% of total-time
Operation ival-asin, time spent: 78.0ms, 0.0% of total-time

eval2.5min (9.5%)

Compiler

Compiled 6721844 to 4018040 computations (40.2% saved)

preprocess2.0min (7.8%)

Algorithm
51×egg-herbie
Rules
31500×fma-define
18832×fma-neg
12964×div-sub
11458×unsub-neg
11133×sub-neg
Stop Event
21×saturated
30×node limit
Results
9.9s17074×256valid
11.5s3230×512valid
5.3s1744×1024valid
1.6s1600×256infinite
14.3s1166×2048valid
30.2s590×4096valid
1.9s450×512infinite
1.2s120×2048infinite
12.5s82×8192valid
436.0ms30×1024infinite
919.0ms26×4096infinite
Compiler

Compiled 81074 to 49266 computations (39.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-sin, time spent: 19.9s, 25.0% of total-time
Operation ival-cos, time spent: 16.5s, 21.0% of total-time
Operation ival-mult, time spent: 14.5s, 18.0% of total-time
Operation ival-div, time spent: 10.9s, 14.0% of total-time
Operation ival-pow, time spent: 9.6s, 12.0% of total-time
Operation ival-add, time spent: 2.2s, 3.0% of total-time
Operation ival-sub, time spent: 1.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.3s, 2.0% of total-time
Operation const, time spent: 996.0ms, 1.0% of total-time
Operation ival-log, time spent: 615.0ms, 1.0% of total-time
Operation ival-tan, time spent: 406.0ms, 1.0% of total-time
Operation ival-exp, time spent: 230.0ms, 0.0% of total-time
Operation ival-atan, time spent: 216.0ms, 0.0% of total-time
Operation ival-neg, time spent: 198.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 177.0ms, 0.0% of total-time
Operation ival-pi, time spent: 94.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 72.0ms, 0.0% of total-time
Operation ival-acos, time spent: 47.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 43.0ms, 0.0% of total-time
Operation ival-asin, time spent: 41.0ms, 0.0% of total-time

regimes1.3min (4.8%)

Counts
18223 → 897
Calls

138 calls:

6.6s
phi2
6.6s
lambda2
6.3s
phi1
5.7s
lambda1
3.6s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11772 to 8709 computations (26% saved)

simplify1.2min (4.5%)

Algorithm
227×egg-herbie
Rules
73582×fma-define
57707×distribute-lft-in
53876×*-commutative
52843×associate-*r*
48586×distribute-rgt-in
Stop Event
50×saturated
40×fuel
176×node limit
1×unsound
9×done
Counts
84894 → 74281
Compiler

Compiled 16761 to 11395 computations (32% saved)

soundness1.0min (3.9%)

Rules
80672×fma-define
58533×log1p-expm1-u
49145×associate-*r*
46260×fma-neg
46185×expm1-log1p-u
Stop Event
14×saturated
221×node limit
2×unsound
Compiler

Compiled 46758 to 28405 computations (39.3% saved)

prune55.3s (3.5%)

Counts
162643 → 6833
Compiler

Compiled 457463 to 320254 computations (30% saved)

rewrite36.7s (2.3%)

Algorithm
178×batch-egg-rewrite
Rules
116316×log1p-expm1-u
86364×expm1-log1p-u
44823×pow1
41795×add-exp-log
39915×add-log-exp
Stop Event
174×node limit
4×unsound
Counts
1636 → 46774

analyze35.3s (2.3%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 24.7s
Operation ival-mult, time spent: 7.7s, 31.0% of total-time
Operation ival-div, time spent: 3.8s, 15.0% of total-time
Operation ival-sin, time spent: 3.3s, 14.0% of total-time
Operation ival-pow, time spent: 3.0s, 12.0% of total-time
Operation ival-cos, time spent: 2.5s, 10.0% of total-time
Operation ival-add, time spent: 1.0s, 4.0% of total-time
Operation ival-sub, time spent: 964.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 568.0ms, 2.0% of total-time
Operation const, time spent: 420.0ms, 2.0% of total-time
Operation ival-<, time spent: 346.0ms, 1.0% of total-time
Operation ival-neg, time spent: 270.0ms, 1.0% of total-time
Operation ival-log, time spent: 150.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 141.0ms, 1.0% of total-time
Operation ival-pi, time spent: 102.0ms, 0.0% of total-time
Operation ival-exp, time spent: 88.0ms, 0.0% of total-time
Operation ival-tan, time spent: 73.0ms, 0.0% of total-time
Operation ival-atan, time spent: 62.0ms, 0.0% of total-time
Operation ival-and, time spent: 62.0ms, 0.0% of total-time
Operation ival-acos, time spent: 55.0ms, 0.0% of total-time
Operation ival-asin, time spent: 38.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 37.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 26.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

bsearch23.7s (1.5%)

Algorithm
348×binary-search
64×left-value
Stop Event
18×predicate-same
330×narrow-enough
Results
7.6s29858×256valid
6.3s7154×512valid
1.7s1548×2048valid
700.0ms1237×256infinite
737.0ms1154×1024valid
1.4s1137×4096valid
200.0ms1069×256invalid
640.0ms568×512infinite
2.0ms35×256unsamplable
1.0ms2×512invalid
Compiler

Compiled 116995 to 88095 computations (24.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.5s
Operation ival-mult, time spent: 2.6s, 18.0% of total-time
Operation ival-sin, time spent: 2.5s, 17.0% of total-time
Operation ival-cos, time spent: 2.0s, 14.0% of total-time
Operation ival-pow, time spent: 1.9s, 13.0% of total-time
Operation ival-div, time spent: 1.5s, 11.0% of total-time
Operation ival-sub, time spent: 844.0ms, 6.0% of total-time
Operation ival-atan, time spent: 767.0ms, 5.0% of total-time
Operation ival-add, time spent: 551.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 527.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 426.0ms, 3.0% of total-time
Operation const, time spent: 219.0ms, 2.0% of total-time
Operation ival-acos, time spent: 181.0ms, 1.0% of total-time
Operation ival-neg, time spent: 119.0ms, 1.0% of total-time
Operation ival-pi, time spent: 109.0ms, 1.0% of total-time
Operation ival-exp, time spent: 102.0ms, 1.0% of total-time
Operation ival-log, time spent: 88.0ms, 1.0% of total-time
Operation ival-asin, time spent: 43.0ms, 0.0% of total-time
Operation ival-tan, time spent: 15.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

series15.4s (1%)

Counts
1636 → 38120
Calls

9444 calls:

TimeVariablePointExpression
335.0ms
a
@-inf
(/ (+ (neg b) (sqrt (- (* b b) (* 3 (* a c))))) (* 3 a))
125.0ms
v
@inf
(/ m (/ (neg v) m))
119.0ms
b
@0
(- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (exp (log (sin (* (* angle 1/180) (PI)))))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)))
118.0ms
x-scale
@0
(/ (neg (sqrt (* (* 2 (* (* 4 (/ (* a (* b (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* a (* b (* b (neg a)))))) (+ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow x-scale 2)) (+ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)) (sqrt (+ (pow (- (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2))) 2) (pow (/ (* (* 2 (- (pow b 2) (pow a 2))) (* (sin (* (/ angle 180) (PI))) (cos (* (/ angle 180) (PI))))) (* x-scale y-scale)) 2)))))))) (* 4 (* a (* b (* b (neg a))))))
76.0ms
x
@inf
(log (+ 1 (exp x)))

end42.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 5.1s
Operation ival-pow, time spent: 2.7s, 53.0% of total-time
Operation ival-sin, time spent: 2.4s, 47.0% of total-time

Profiling

Loading profile data...