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: 10.1min)

localize2.7min (27.2%)

Results
24.1s17918×256valid
5.6s3845×256infinite
7.6s3648×256invalid
37.9s1687×2048valid
5.5s1360×512valid
8.5s1201×1024valid
40.1s946×8192exit
3.2s208×4096valid
2.8s135×4096infinite
259.0ms103×512infinite
426.0ms84×1024infinite
269.0ms37×2048infinite
1.2s36×8192infinite
192.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: 26.1s, 20.0% of total-time
Operation ival-pow, time spent: 22.1s, 17.0% of total-time
Operation ival-mult, time spent: 18.8s, 15.0% of total-time
Operation composed, time spent: 13.5s, 10.0% of total-time
Operation ival-div, time spent: 11.1s, 9.0% of total-time
Operation ival-add, time spent: 7.6s, 6.0% of total-time
Operation ival-asin, time spent: 4.2s, 3.0% of total-time
Operation ival-exp, time spent: 3.9s, 3.0% of total-time
Operation ival-cbrt, time spent: 3.5s, 3.0% of total-time
Operation ival-sqrt, 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.6s, 2.0% of total-time
Operation ival-sin, time spent: 2.2s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-neg, time spent: 801.0ms, 1.0% of total-time
Operation ival-tanh, time spent: 219.0ms, 0.0% of total-time
Operation ival-pi, time spent: 206.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 30.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time

sample1.9min (19.3%)

Results
40.6s179679×256valid
12.6s68580×256invalid
9.6s42614×256infinite
7.2s10808×1024valid
6.7s9364×2048valid
3.3s8454×512valid
4.9s7631×1024invalid
1.7s4112×512invalid
2.5s1943×4096valid
869.0ms766×8192valid
2.8s762×4096infinite
1.8s740×2048infinite
265.0ms430×1024infinite
153.0ms376×512infinite
36.0ms197×256unsamplable
82.0ms127×2048invalid
10.0ms12×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 18.4s, 27.0% of total-time
Operation ival-div, time spent: 11.3s, 17.0% of total-time
Operation ival-pow, time spent: 6.8s, 10.0% of total-time
Operation ival-tan, time spent: 5.1s, 7.0% of total-time
Operation ival-sub, time spent: 4.4s, 7.0% of total-time
Operation ival-sin, time spent: 4.2s, 6.0% of total-time
Operation ival-sqrt, time spent: 3.6s, 5.0% of total-time
Operation ival-add, time spent: 3.5s, 5.0% of total-time
Operation ival-exp, time spent: 2.8s, 4.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-neg, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 1.2s, 2.0% of total-time
Operation ival-acos, time spent: 840.0ms, 1.0% of total-time
Operation ival-pi, time spent: 778.0ms, 1.0% of total-time
Operation composed, time spent: 761.0ms, 1.0% of total-time
Operation ival-log, time spent: 549.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 214.0ms, 0.0% of total-time
Operation ival-asin, time spent: 211.0ms, 0.0% of total-time
Operation ival-<, time spent: 111.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Bogosity

eval1.2min (11.9%)

Compiler

Compiled 3260385 to 2073399 computations (36.4% saved)

simplify52.0s (8.6%)

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
1×unsound
Counts
66133 → 56136

soundness47.3s (7.8%)

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

Compiled 43914 to 27352 computations (37.7% saved)

preprocess28.5s (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
6.0s10726×256valid
1.0s2474×256infinite
1.3s764×2048valid
1.4s738×1024valid
942.0ms734×512valid
707.0ms202×4096valid
67.0ms50×1024infinite
196.0ms50×2048infinite
96.0ms46×8192valid
241.0ms46×4096infinite
37.0ms42×512infinite
Compiler

Compiled 56566 to 35006 computations (38.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
Operation ival-mult, time spent: 2.5s, 28.0% of total-time
Operation ival-div, time spent: 1.3s, 15.0% of total-time
Operation ival-pow, time spent: 1.2s, 13.0% of total-time
Operation ival-tan, time spent: 861.0ms, 9.0% of total-time
Operation ival-add, time spent: 600.0ms, 7.0% of total-time
Operation ival-sub, time spent: 463.0ms, 5.0% of total-time
Operation ival-exp, time spent: 402.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 324.0ms, 4.0% of total-time
Operation ival-cos, time spent: 319.0ms, 4.0% of total-time
Operation composed, time spent: 266.0ms, 3.0% of total-time
Operation const, time spent: 242.0ms, 3.0% of total-time
Operation ival-sin, time spent: 220.0ms, 2.0% of total-time
Operation ival-neg, time spent: 145.0ms, 2.0% of total-time
Operation ival-log, time spent: 91.0ms, 1.0% of total-time
Operation ival-acos, time spent: 87.0ms, 1.0% of total-time
Operation ival-pi, time spent: 27.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

regimes27.9s (4.6%)

Counts
9977 → 770
Calls

152 calls:

2.5s
l
1.6s
k
1.4s
t
1.2s
n
1.0s
EAccept
Compiler

Compiled 8110 to 6297 computations (22.4% saved)

prune27.2s (4.5%)

Counts
91178 → 3173
Compiler

Compiled 148437 to 103520 computations (30.3% saved)

rewrite25.7s (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

bsearch17.1s (2.8%)

Algorithm
364×binary-search
81×left-value
Stop Event
8×predicate-same
356×narrow-enough
Results
8.6s33729×256valid
1.9s9247×256infinite
1.2s5026×256invalid
452.0ms787×1024valid
208.0ms522×512valid
139.0ms161×2048valid
49.0ms122×512infinite
74.0ms89×512invalid
37.0ms82×1024invalid
58.0ms53×4096valid
130.0ms41×2048infinite
106.0ms39×4096infinite
154.0ms23×1024infinite
14.0ms12×8192valid
Compiler

Compiled 102989 to 79027 computations (23.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.6s
Operation ival-mult, time spent: 2.0s, 24.0% of total-time
Operation ival-div, time spent: 1.5s, 18.0% of total-time
Operation ival-pow, time spent: 1.3s, 15.0% of total-time
Operation ival-sin, time spent: 672.0ms, 8.0% of total-time
Operation ival-add, time spent: 657.0ms, 8.0% of total-time
Operation ival-tan, time spent: 561.0ms, 7.0% of total-time
Operation ival-sub, time spent: 511.0ms, 6.0% of total-time
Operation ival-cos, time spent: 317.0ms, 4.0% of total-time
Operation ival-exp, time spent: 255.0ms, 3.0% of total-time
Operation ival-neg, time spent: 226.0ms, 3.0% of total-time
Operation const, time spent: 182.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 175.0ms, 2.0% of total-time
Operation ival-log, time spent: 59.0ms, 1.0% of total-time
Operation composed, time spent: 47.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 30.0ms, 0.0% of total-time
Operation ival-asin, time spent: 9.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

series14.2s (2.3%)

Counts
1232 → 31900
Calls

8328 calls:

TimeVariablePointExpression
457.0ms
t
@-inf
(pow (* 2 (* n (* U t))) 1/6)
199.0ms
f
@-inf
(* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (log (* 2 (sinh (* (* (PI) 1/4) f))))))))
149.0ms
ky
@0
(* (sin ky) (- (exp (log (+ 1 (/ (sin th) (sqrt (+ (* (sin ky) (sin ky)) (* (sin kx) (sin kx)))))))) 1))
142.0ms
h
@-inf
(log (/ d (* w (* h (pow D 2)))))
102.0ms
d
@0
(log (/ d (* w (* h (pow D 2)))))

analyze12.4s (2%)

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.1s
Operation ival-mult, time spent: 2.1s, 30.0% of total-time
Operation ival-pow, time spent: 1.4s, 20.0% of total-time
Operation ival-div, time spent: 1.0s, 15.0% of total-time
Operation ival-sqrt, time spent: 497.0ms, 7.0% of total-time
Operation ival-add, time spent: 406.0ms, 6.0% of total-time
Operation ival-sub, time spent: 316.0ms, 4.0% of total-time
Operation ival-sin, time spent: 311.0ms, 4.0% of total-time
Operation ival-tan, time spent: 218.0ms, 3.0% of total-time
Operation const, time spent: 177.0ms, 3.0% of total-time
Operation ival-neg, time spent: 107.0ms, 2.0% of total-time
Operation ival-cos, time spent: 95.0ms, 1.0% of total-time
Operation ival-exp, time spent: 94.0ms, 1.0% of total-time
Operation ival-asin, time spent: 78.0ms, 1.0% of total-time
Operation ival-acos, time spent: 75.0ms, 1.0% of total-time
Operation ival-pi, time spent: 40.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 26.0ms, 0.0% of total-time
Operation ival-<, time spent: 26.0ms, 0.0% of total-time
Operation ival-log, time spent: 11.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

end0.0ms (0%)

Profiling

Loading profile data...