Herbie run

Date:Friday, May 10th, 2024
Commit:91aa108c on varun10p-platforms
Hostname:nightly with Racket 8.11.1
Seed:2024131
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: 9.2min)

localize2.1min (23.2%)

Compiler

Compiled 38341 to 19501 computations (49.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-pow, time spent: 21.3s, 23.0% of total-time
Operation ival-mult, time spent: 19.3s, 21.0% of total-time
Operation composed, time spent: 9.7s, 10.0% of total-time
Operation ival-div, time spent: 8.9s, 10.0% of total-time
Operation ival-cos, time spent: 6.6s, 7.0% of total-time
Operation ival-add, time spent: 6.5s, 7.0% of total-time
Operation ival-sub, time spent: 3.7s, 4.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 3.0% of total-time
Operation ival-exp, time spent: 2.6s, 3.0% of total-time
Operation ival-tan, time spent: 2.3s, 2.0% of total-time
Operation ival-sin, time spent: 2.2s, 2.0% of total-time
Operation ival-log, time spent: 2.2s, 2.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-asin, time spent: 1.2s, 1.0% of total-time
Operation ival-acos, time spent: 757.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 642.0ms, 1.0% of total-time
Operation ival-neg, time spent: 399.0ms, 0.0% of total-time
Operation ival-pi, time spent: 122.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 44.0ms, 0.0% of total-time

sample1.9min (20.7%)

Results
43.5s179554×256valid
14.7s67716×256invalid
10.2s42710×256infinite
8.3s10997×1024valid
7.7s9408×2048valid
3.7s8215×512valid
5.2s7604×1024invalid
1.6s4134×512invalid
3.1s1908×4096valid
2.7s808×4096infinite
979.0ms799×8192valid
1.6s715×2048infinite
287.0ms412×1024infinite
236.0ms410×512infinite
38.0ms176×256unsamplable
75.0ms115×2048invalid
12.0ms12×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 17.6s, 26.0% of total-time
Operation ival-div, time spent: 11.3s, 17.0% of total-time
Operation ival-pow, time spent: 6.1s, 9.0% of total-time
Operation ival-tan, time spent: 5.4s, 8.0% of total-time
Operation ival-sin, time spent: 4.2s, 6.0% of total-time
Operation ival-sub, time spent: 3.8s, 6.0% of total-time
Operation ival-add, time spent: 3.3s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 5.0% of total-time
Operation ival-exp, time spent: 2.8s, 4.0% of total-time
Operation ival-cos, time spent: 1.6s, 2.0% of total-time
Operation ival-neg, time spent: 1.5s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-acos, time spent: 1.2s, 2.0% of total-time
Operation composed, time spent: 997.0ms, 2.0% of total-time
Operation ival-log, time spent: 749.0ms, 1.0% of total-time
Operation ival-pi, time spent: 627.0ms, 1.0% of total-time
Operation ival-asin, time spent: 161.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 147.0ms, 0.0% of total-time
Operation ival-<, time spent: 130.0ms, 0.0% of total-time
Operation ival-and, time spent: 17.0ms, 0.0% of total-time
Bogosity

eval1.0min (11.4%)

Compiler

Compiled 2846836 to 1832359 computations (35.6% saved)

simplify49.8s (9%)

Algorithm
150×egg-herbie
Rules
50498×fma-define
39364×*-commutative
38616×times-frac
37147×associate-*r*
32078×distribute-lft-in
Stop Event
31×saturated
119×node limit
27×fuel
4×done
Counts
66704 → 57002
Compiler

Compiled 13149 to 8781 computations (33.2% saved)

soundness46.0s (8.3%)

Rules
51804×fma-define
37690×times-frac
37070×associate-*r*
36230×log1p-expm1-u
30082×*-commutative
Stop Event
7×saturated
159×node limit
1×unsound
Compiler

Compiled 33198 to 20489 computations (38.3% saved)

preprocess29.4s (5.3%)

Algorithm
31×egg-herbie
Rules
19755×fma-define
13180×fmm-def
8487×times-frac
7201×distribute-lft-in
7123×unsub-neg
Stop Event
8×saturated
23×node limit
Compiler

Compiled 57348 to 33916 computations (40.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0s
Operation ival-mult, time spent: 2.3s, 25.0% of total-time
Operation ival-div, time spent: 1.2s, 13.0% of total-time
Operation ival-pow, time spent: 1.1s, 12.0% of total-time
Operation ival-tan, time spent: 798.0ms, 9.0% of total-time
Operation ival-add, time spent: 659.0ms, 7.0% of total-time
Operation ival-sub, time spent: 509.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 480.0ms, 5.0% of total-time
Operation ival-exp, time spent: 451.0ms, 5.0% of total-time
Operation composed, time spent: 426.0ms, 5.0% of total-time
Operation ival-cos, time spent: 252.0ms, 3.0% of total-time
Operation ival-sin, time spent: 248.0ms, 3.0% of total-time
Operation const, time spent: 234.0ms, 3.0% of total-time
Operation ival-neg, time spent: 146.0ms, 2.0% of total-time
Operation ival-log, time spent: 88.0ms, 1.0% of total-time
Operation ival-acos, time spent: 47.0ms, 1.0% of total-time
Operation ival-pi, time spent: 37.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 (5%)

Counts
10152 → 776
Calls

152 calls:

2.5s
l
1.9s
t
1.3s
h
1.1s
k
1.1s
F
Compiler

Compiled 8093 to 6314 computations (22% saved)

rewrite26.7s (4.8%)

Algorithm
119×batch-egg-rewrite
Rules
68513×log1p-expm1-u
47738×expm1-log1p-u
30849×pow1
30357×add-exp-log
29801×add-log-exp
Stop Event
118×node limit
1×unsound
Counts
1251 → 33935

prune24.0s (4.3%)

Counts
84965 → 3236
Compiler

Compiled 149068 to 105120 computations (29.5% saved)

bsearch19.9s (3.6%)

Algorithm
346×binary-search
91×left-value
Stop Event
12×predicate-same
333×narrow-enough
1×predicate-failed
Results
9.5s30058×256valid
2.6s8839×256infinite
1.8s7189×256invalid
673.0ms912×1024valid
151.0ms385×512valid
624.0ms374×2048valid
331.0ms242×4096valid
986.0ms184×4096infinite
90.0ms181×1024invalid
83.0ms101×8192exit
24.0ms79×512invalid
30.0ms67×512infinite
113.0ms55×2048infinite
32.0ms32×8192valid
12.0ms20×1024infinite
Compiler

Compiled 112625 to 84709 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.2s
Operation ival-div, time spent: 2.3s, 20.0% of total-time
Operation ival-mult, time spent: 2.2s, 20.0% of total-time
Operation ival-pow, time spent: 2.1s, 19.0% of total-time
Operation ival-sin, time spent: 1.3s, 11.0% of total-time
Operation ival-tan, time spent: 954.0ms, 9.0% of total-time
Operation ival-add, time spent: 792.0ms, 7.0% of total-time
Operation ival-sub, time spent: 491.0ms, 4.0% of total-time
Operation ival-exp, time spent: 264.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 215.0ms, 2.0% of total-time
Operation const, time spent: 191.0ms, 2.0% of total-time
Operation ival-neg, time spent: 189.0ms, 2.0% of total-time
Operation ival-cos, time spent: 178.0ms, 2.0% of total-time
Operation composed, time spent: 51.0ms, 0.0% of total-time
Operation ival-pi, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time
Operation ival-asin, time spent: 1.0ms, 0.0% of total-time

analyze11.8s (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.3s, 32.0% of total-time
Operation ival-pow, time spent: 1.3s, 19.0% of total-time
Operation ival-div, time spent: 1.1s, 15.0% of total-time
Operation ival-add, time spent: 449.0ms, 6.0% of total-time
Operation ival-sub, time spent: 396.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 324.0ms, 5.0% of total-time
Operation ival-sin, time spent: 242.0ms, 3.0% of total-time
Operation ival-tan, time spent: 212.0ms, 3.0% of total-time
Operation const, time spent: 170.0ms, 2.0% of total-time
Operation ival-cos, time spent: 166.0ms, 2.0% of total-time
Operation ival-neg, time spent: 125.0ms, 2.0% of total-time
Operation ival-exp, time spent: 93.0ms, 1.0% of total-time
Operation ival-acos, time spent: 71.0ms, 1.0% of total-time
Operation ival-pi, time spent: 39.0ms, 1.0% of total-time
Operation ival-asin, time spent: 26.0ms, 0.0% of total-time
Operation ival-<, time spent: 24.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 21.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

series11.7s (2.1%)

Counts
1251 → 32769
Calls

8670 calls:

TimeVariablePointExpression
259.0ms
l
@-inf
(/ (* (/ (sqrt 2) k) t) (pow (* (/ t (pow (cbrt l) 2)) (cbrt (* (sin k) (tan k)))) 2))
230.0ms
F
@0
(* (neg F) (/ 1 (sin B)))
150.0ms
n
@inf
(* (* (pow k -1/2) (pow (* 2 (PI)) (- 1/2 (* k 1/2)))) (pow n (- 1/2 (* k 1/2))))
141.0ms
n
@-inf
(* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (neg (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))
119.0ms
h
@0
(* h (/ w (pow (/ d D) 2)))

end33.0ms (0%)

Profiling

Loading profile data...