Herbie run

Date:Sunday, March 24th, 2024
Commit:faf2684d on zane-regimes-inverted
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: 10.2min)

localize2.7min (26.8%)

Results
25.1s17918×256valid
5.2s3845×256infinite
7.8s3648×256invalid
37.3s1687×2048valid
5.0s1360×512valid
8.3s1201×1024valid
40.9s946×8192exit
3.0s208×4096valid
2.6s135×4096infinite
243.0ms103×512infinite
355.0ms84×1024infinite
295.0ms37×2048infinite
1.6s36×8192infinite
122.0ms24×8192valid
Compiler

Compiled 38925 to 20901 computations (46.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2min
Operation ival-tan, time spent: 27.1s, 21.0% of total-time
Operation ival-pow, time spent: 22.2s, 17.0% of total-time
Operation ival-mult, time spent: 19.3s, 15.0% of total-time
Operation composed, time spent: 12.8s, 10.0% of total-time
Operation ival-div, time spent: 11.6s, 9.0% of total-time
Operation ival-add, time spent: 7.3s, 6.0% of total-time
Operation ival-sqrt, time spent: 4.2s, 3.0% of total-time
Operation ival-asin, time spent: 4.2s, 3.0% of total-time
Operation ival-exp, time spent: 3.3s, 3.0% of total-time
Operation ival-log, time spent: 2.8s, 2.0% of total-time
Operation ival-acos, time spent: 2.7s, 2.0% of total-time
Operation ival-sub, time spent: 2.7s, 2.0% of total-time
Operation ival-cbrt, time spent: 2.6s, 2.0% of total-time
Operation ival-sin, time spent: 2.5s, 2.0% of total-time
Operation const, time spent: 2.0s, 2.0% of total-time
Operation ival-cos, time spent: 1.9s, 1.0% of total-time
Operation ival-neg, time spent: 776.0ms, 1.0% of total-time
Operation ival-tanh, time spent: 209.0ms, 0.0% of total-time
Operation ival-pi, time spent: 103.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 33.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time

sample1.9min (18.7%)

Results
40.1s179679×256valid
11.6s68580×256invalid
8.6s42614×256infinite
7.8s10808×1024valid
5.9s9364×2048valid
3.6s8454×512valid
4.7s7631×1024invalid
1.9s4112×512invalid
2.4s1943×4096valid
822.0ms766×8192valid
2.9s762×4096infinite
1.6s740×2048infinite
269.0ms430×1024infinite
284.0ms376×512infinite
36.0ms197×256unsamplable
77.0ms127×2048invalid
11.0ms12×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 18.0s, 28.0% of total-time
Operation ival-div, time spent: 10.9s, 17.0% of total-time
Operation ival-pow, time spent: 7.0s, 11.0% of total-time
Operation ival-tan, time spent: 4.7s, 7.0% of total-time
Operation ival-sub, time spent: 3.9s, 6.0% of total-time
Operation ival-sin, time spent: 3.7s, 6.0% of total-time
Operation ival-sqrt, time spent: 3.4s, 5.0% of total-time
Operation ival-add, time spent: 3.3s, 5.0% of total-time
Operation ival-exp, time spent: 2.7s, 4.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-cos, time spent: 1.2s, 2.0% of total-time
Operation ival-neg, time spent: 1.1s, 2.0% of total-time
Operation ival-log, time spent: 927.0ms, 1.0% of total-time
Operation ival-acos, time spent: 820.0ms, 1.0% of total-time
Operation ival-pi, time spent: 723.0ms, 1.0% of total-time
Operation composed, time spent: 654.0ms, 1.0% of total-time
Operation ival-asin, time spent: 195.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 136.0ms, 0.0% of total-time
Operation ival-<, time spent: 115.0ms, 0.0% of total-time
Operation ival-and, time spent: 17.0ms, 0.0% of total-time
Bogosity

eval1.2min (12.1%)

Compiler

Compiled 3260385 to 2073399 computations (36.4% saved)

simplify50.3s (8.2%)

Algorithm
152×egg-herbie
Rules
52128×fma-define
40380×times-frac
37420×*-commutative
36907×distribute-lft-in
35995×associate-*r*
Stop Event
31×saturated
120×node limit
28×fuel
1×unsound
3×done
Counts
66133 → 56136
Compiler

Compiled 12287 to 8315 computations (32.3% saved)

soundness49.1s (8%)

Rules
55661×fma-define
38319×times-frac
37037×associate-*r*
36906×log1p-expm1-u
32103×distribute-lft-in
Stop Event
7×saturated
167×node limit
1×unsound
Compiler

Compiled 32661 to 20932 computations (35.9% saved)

regimes36.0s (5.9%)

Counts
9977 → 770
Calls

152 calls:

3.5s
l
2.1s
k
1.9s
t
1.6s
n
1.3s
F
Compiler

Compiled 8110 to 6297 computations (22.4% saved)

preprocess28.9s (4.7%)

Algorithm
31×egg-herbie
Rules
19726×fma-define
13180×fma-neg
8487×times-frac
7911×unsub-neg
7216×distribute-lft-in
Stop Event
8×saturated
23×node limit
Results
5.6s10726×256valid
1.2s2474×256infinite
1.4s764×2048valid
1.6s738×1024valid
1.2s734×512valid
588.0ms202×4096valid
85.0ms50×1024infinite
181.0ms50×2048infinite
68.0ms46×8192valid
240.0ms46×4096infinite
34.0ms42×512infinite
Compiler

Compiled 61278 to 38178 computations (37.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
Operation ival-mult, time spent: 2.3s, 25.0% of total-time
Operation ival-div, time spent: 1.3s, 15.0% of total-time
Operation ival-pow, time spent: 1.1s, 12.0% of total-time
Operation ival-tan, time spent: 694.0ms, 8.0% of total-time
Operation ival-sub, time spent: 631.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 602.0ms, 7.0% of total-time
Operation composed, time spent: 598.0ms, 6.0% of total-time
Operation ival-add, time spent: 511.0ms, 6.0% of total-time
Operation ival-exp, time spent: 423.0ms, 5.0% of total-time
Operation ival-cos, time spent: 257.0ms, 3.0% of total-time
Operation const, time spent: 240.0ms, 3.0% of total-time
Operation ival-sin, time spent: 218.0ms, 2.0% of total-time
Operation ival-neg, time spent: 125.0ms, 1.0% of total-time
Operation ival-log, time spent: 78.0ms, 1.0% of total-time
Operation ival-pi, time spent: 47.0ms, 1.0% of total-time
Operation ival-acos, time spent: 46.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

prune26.1s (4.3%)

Counts
91178 → 3173
Compiler

Compiled 148437 to 103520 computations (30.3% saved)

rewrite25.4s (4.2%)

Algorithm
121×batch-egg-rewrite
Rules
69400×log1p-expm1-u
50767×expm1-log1p-u
30285×add-exp-log
29820×pow1
29725×add-log-exp
Stop Event
120×node limit
1×unsound
Counts
1232 → 34233

bsearch16.4s (2.7%)

Algorithm
364×binary-search
81×left-value
Stop Event
8×predicate-same
356×narrow-enough
Results
8.2s33729×256valid
2.1s9247×256infinite
1.1s5026×256invalid
450.0ms787×1024valid
226.0ms522×512valid
184.0ms161×2048valid
46.0ms122×512infinite
31.0ms89×512invalid
39.0ms82×1024invalid
63.0ms53×4096valid
95.0ms41×2048infinite
105.0ms39×4096infinite
23.0ms23×1024infinite
11.0ms12×8192valid
Compiler

Compiled 102989 to 79027 computations (23.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
Operation ival-mult, time spent: 1.9s, 22.0% of total-time
Operation ival-div, time spent: 1.3s, 16.0% of total-time
Operation ival-pow, time spent: 1.1s, 13.0% of total-time
Operation ival-sub, time spent: 811.0ms, 10.0% of total-time
Operation ival-add, time spent: 807.0ms, 10.0% of total-time
Operation ival-tan, time spent: 569.0ms, 7.0% of total-time
Operation ival-sin, time spent: 533.0ms, 6.0% of total-time
Operation ival-cos, time spent: 292.0ms, 4.0% of total-time
Operation ival-exp, time spent: 272.0ms, 3.0% of total-time
Operation ival-neg, time spent: 252.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 182.0ms, 2.0% of total-time
Operation const, time spent: 175.0ms, 2.0% of total-time
Operation composed, time spent: 45.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 29.0ms, 0.0% of total-time
Operation ival-log, time spent: 27.0ms, 0.0% of total-time
Operation ival-asin, time spent: 9.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.0ms, 0.0% of total-time

series13.9s (2.3%)

Counts
1232 → 31900
Calls

8328 calls:

TimeVariablePointExpression
242.0ms
t
@-inf
(pow (* 2 (* n (* U t))) 1/6)
203.0ms
f
@-inf
(* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (log (* 2 (sinh (* (* (PI) 1/4) f))))))))
192.0ms
a2
@0
(* (pow 1/2 1/4) a2)
114.0ms
ky
@0
(/ 1 (* 2 (* (/ l Om) (sqrt (+ (* (sin kx) (sin kx)) (* (sin ky) (sin ky)))))))
112.0ms
n
@-inf
(pow (* 2 (/ (* (PI) n) k)) 1/4)

analyze12.7s (2.1%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
19.7%19.3%78.9%1.8%0%0%0%1
23.3%22.6%74%1.8%0%1.6%0%2
28.7%26.6%66%1.8%0%5.6%0%3
32.5%29.4%61.1%1.8%0%7.3%0.4%4
35.3%31.9%58.4%1.8%0%7.3%0.6%5
39.6%35.7%54.5%1.8%0%7.4%0.7%6
44.7%40%49.4%1.8%0%8%0.8%7
47%41.5%46.7%1.8%0%9.2%0.9%8
50.1%44%43.9%1.8%0%9.5%0.9%9
51.2%44.8%42.8%1.8%0%9.7%1%10
52.9%46%41%1.8%0%10.2%1%11
54.6%47.2%39.2%1.8%0%10.8%1%12
Compiler

Compiled 845 to 607 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0s
Operation ival-mult, time spent: 2.0s, 28.0% of total-time
Operation ival-pow, time spent: 1.6s, 22.0% of total-time
Operation ival-div, time spent: 979.0ms, 14.0% of total-time
Operation ival-add, time spent: 690.0ms, 10.0% of total-time
Operation ival-sub, time spent: 414.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 353.0ms, 5.0% of total-time
Operation ival-sin, time spent: 254.0ms, 4.0% of total-time
Operation ival-tan, time spent: 225.0ms, 3.0% of total-time
Operation const, time spent: 169.0ms, 2.0% of total-time
Operation ival-cos, time spent: 97.0ms, 1.0% of total-time
Operation ival-neg, time spent: 83.0ms, 1.0% of total-time
Operation ival-exp, time spent: 68.0ms, 1.0% of total-time
Operation ival-acos, time spent: 62.0ms, 1.0% of total-time
Operation ival-pi, time spent: 43.0ms, 1.0% of total-time
Operation ival-<, time spent: 26.0ms, 0.0% of total-time
Operation ival-asin, time spent: 22.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 21.0ms, 0.0% of total-time
Operation ival-log, time spent: 13.0ms, 0.0% of total-time
Operation ival-and, time spent: 4.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

end78.0ms (0%)

Profiling

Loading profile data...