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

localize2.1min (22.2%)

Results
22.7s17695×256valid
7.6s3861×256invalid
5.3s3642×256infinite
17.1s1509×2048valid
10.2s1400×1024valid
5.3s1113×512valid
22.4s917×8192exit
583.0ms319×256unsamplable
3.6s265×4096valid
572.0ms103×1024infinite
3.9s97×4096infinite
1.2s90×2048infinite
284.0ms75×512infinite
859.0ms61×8192valid
198.0ms38×2048unsamplable
88.0ms24×1024unsamplable
1.3s12×8192infinite
19.0ms8×512unsamplable
19.0ms3×4096unsamplable
Compiler

Compiled 37476 to 19049 computations (49.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6min
Operation ival-pow, time spent: 26.8s, 28.0% of total-time
Operation ival-mult, time spent: 18.6s, 20.0% of total-time
Operation composed, time spent: 10.9s, 11.0% of total-time
Operation ival-div, time spent: 10.2s, 11.0% of total-time
Operation ival-add, time spent: 5.3s, 6.0% of total-time
Operation ival-cos, time spent: 4.6s, 5.0% of total-time
Operation ival-log, time spent: 2.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 3.0% of total-time
Operation ival-sub, time spent: 2.3s, 2.0% of total-time
Operation ival-exp, time spent: 2.3s, 2.0% of total-time
Operation ival-tan, time spent: 2.0s, 2.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-acos, time spent: 1.4s, 2.0% of total-time
Operation ival-asin, time spent: 1.0s, 1.0% of total-time
Operation ival-sin, time spent: 963.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 534.0ms, 1.0% of total-time
Operation ival-neg, time spent: 420.0ms, 0.0% of total-time
Operation ival-pi, time spent: 91.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 19.0ms, 0.0% of total-time

sample2.0min (20.9%)

Results
41.4s179834×256valid
12.2s67508×256invalid
9.0s42582×256infinite
7.8s10884×1024valid
7.1s9394×2048valid
3.6s8256×512valid
5.2s7740×1024invalid
2.1s4277×512invalid
2.3s1941×4096valid
1.2s807×8192valid
2.9s734×4096infinite
1.4s704×2048infinite
250.0ms409×512infinite
359.0ms391×1024infinite
33.0ms201×256unsamplable
78.0ms127×2048invalid
5.0ms6×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 17.5s, 26.0% of total-time
Operation ival-div, time spent: 11.8s, 17.0% of total-time
Operation ival-pow, time spent: 6.5s, 10.0% of total-time
Operation ival-sub, time spent: 4.7s, 7.0% of total-time
Operation ival-tan, time spent: 4.7s, 7.0% of total-time
Operation ival-sin, time spent: 4.0s, 6.0% of total-time
Operation ival-add, time spent: 3.8s, 6.0% of total-time
Operation ival-sqrt, time spent: 3.6s, 5.0% of total-time
Operation ival-exp, time spent: 3.0s, 4.0% of total-time
Operation const, time spent: 1.7s, 2.0% of total-time
Operation ival-cos, time spent: 1.3s, 2.0% of total-time
Operation ival-neg, time spent: 1.2s, 2.0% of total-time
Operation ival-acos, time spent: 1.1s, 2.0% of total-time
Operation composed, time spent: 680.0ms, 1.0% of total-time
Operation ival-pi, time spent: 679.0ms, 1.0% of total-time
Operation ival-log, time spent: 563.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 224.0ms, 0.0% of total-time
Operation ival-asin, time spent: 169.0ms, 0.0% of total-time
Operation ival-<, time spent: 130.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Bogosity

eval1.1min (11.8%)

Compiler

Compiled 2979163 to 1860116 computations (37.6% saved)

simplify54.0s (9.4%)

Algorithm
150×egg-herbie
Rules
48603×fma-define
40184×times-frac
38686×*-commutative
38234×associate-*r*
34319×distribute-lft-in
Stop Event
31×saturated
119×node limit
Counts
68610 → 58191

soundness48.7s (8.5%)

Rules
52461×fma-define
41490×log1p-expm1-u
40919×times-frac
37361×associate-*r*
29894×distribute-lft-in
Stop Event
8×saturated
163×node limit
28×fuel
1×unsound
3×done
Compiler

Compiled 47044 to 27027 computations (42.5% saved)

regimes31.4s (5.4%)

Counts
10347 → 859
Calls

152 calls:

2.1s
l
2.0s
t
1.3s
h
1.3s
EDonor
1.3s
M
Compiler

Compiled 8083 to 6271 computations (22.4% saved)

preprocess28.2s (4.9%)

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.4s10508×256valid
1.2s2638×256infinite
1.4s784×2048valid
1.4s780×512valid
1.7s718×1024valid
553.0ms190×4096valid
190.0ms66×2048infinite
105.0ms60×8192valid
106.0ms54×1024infinite
303.0ms42×4096infinite
30.0ms32×512infinite
Compiler

Compiled 55716 to 32332 computations (42% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
Operation ival-mult, time spent: 2.1s, 22.0% of total-time
Operation ival-div, time spent: 1.4s, 15.0% of total-time
Operation ival-pow, time spent: 1.2s, 13.0% of total-time
Operation ival-tan, time spent: 937.0ms, 10.0% of total-time
Operation ival-add, time spent: 753.0ms, 8.0% of total-time
Operation ival-sub, time spent: 744.0ms, 8.0% of total-time
Operation ival-exp, time spent: 495.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 386.0ms, 4.0% of total-time
Operation ival-cos, time spent: 272.0ms, 3.0% of total-time
Operation composed, time spent: 249.0ms, 3.0% of total-time
Operation const, time spent: 238.0ms, 3.0% of total-time
Operation ival-sin, time spent: 218.0ms, 2.0% of total-time
Operation ival-neg, time spent: 177.0ms, 2.0% of total-time
Operation ival-log, time spent: 111.0ms, 1.0% of total-time
Operation ival-acos, time spent: 47.0ms, 1.0% of total-time
Operation ival-pi, time spent: 29.0ms, 0.0% of total-time
Operation ival-asin, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

rewrite26.5s (4.6%)

Algorithm
119×batch-egg-rewrite
Rules
69341×log1p-expm1-u
49087×expm1-log1p-u
28931×add-exp-log
28803×add-log-exp
28591×pow1
Stop Event
118×node limit
1×unsound
Counts
1237 → 36008

prune24.8s (4.3%)

Counts
88278 → 3193
Compiler

Compiled 145813 to 102244 computations (29.9% saved)

bsearch21.2s (3.7%)

Algorithm
438×binary-search
78×left-value
Stop Event
11×predicate-same
427×narrow-enough
Results
11.0s39623×256valid
2.5s11020×256infinite
1.7s8854×256invalid
401.0ms839×1024valid
377.0ms614×2048valid
167.0ms382×512valid
163.0ms184×4096valid
43.0ms106×512infinite
195.0ms97×2048infinite
333.0ms63×4096infinite
26.0ms48×1024infinite
17.0ms43×1024invalid
6.0ms21×512invalid
Compiler

Compiled 136362 to 101923 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.1s
Operation ival-mult, time spent: 2.4s, 22.0% of total-time
Operation ival-div, time spent: 2.4s, 21.0% of total-time
Operation ival-pow, time spent: 1.6s, 14.0% of total-time
Operation ival-sin, time spent: 1.3s, 12.0% of total-time
Operation ival-add, time spent: 946.0ms, 9.0% of total-time
Operation ival-tan, time spent: 918.0ms, 8.0% of total-time
Operation ival-sub, time spent: 427.0ms, 4.0% of total-time
Operation ival-neg, time spent: 278.0ms, 2.0% of total-time
Operation const, time spent: 234.0ms, 2.0% of total-time
Operation ival-exp, time spent: 216.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 183.0ms, 2.0% of total-time
Operation ival-cos, time spent: 166.0ms, 1.0% of total-time
Operation composed, time spent: 55.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time

series12.7s (2.2%)

Counts
1237 → 32602
Calls

8547 calls:

TimeVariablePointExpression
144.0ms
K
@-inf
(cbrt (* (sqrt (+ (* 1 1) (* (/ 1/2 (* (/ J U) (cos (* 1/2 K)))) (/ 1/2 (* (/ J U) (cos (* 1/2 K))))))) (* (cos (* 1/2 K)) (* -2 (sqrt J)))))
141.0ms
c0
@inf
(log (pow (exp (/ c0 (pow D 2))) (/ (pow d 2) (* h (pow w 2)))))
138.0ms
n
@inf
(pow (/ (* 2 (* n (PI))) k) 1/4)
137.0ms
K
@0
(* (pow (cbrt (* (sqrt (+ (* 1 1) (* (/ 1/2 (* (/ J U) (cos (* 1/2 K)))) (/ 1/2 (* (/ J U) (cos (* 1/2 K))))))) (* (cos (* 1/2 K)) (* -2 (sqrt J))))) 3) (sqrt J))
101.0ms
w
@0
(* (/ c0 (* w 2)) (* (/ c0 (* w h)) (pow (/ d D) 2)))

analyze12.3s (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.2s
Operation ival-mult, time spent: 2.2s, 31.0% of total-time
Operation ival-pow, time spent: 1.2s, 17.0% of total-time
Operation ival-div, time spent: 1.0s, 14.0% of total-time
Operation ival-add, time spent: 497.0ms, 7.0% of total-time
Operation ival-sub, time spent: 461.0ms, 6.0% of total-time
Operation ival-sin, time spent: 376.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 364.0ms, 5.0% of total-time
Operation ival-tan, time spent: 207.0ms, 3.0% of total-time
Operation const, time spent: 181.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 157.0ms, 2.0% of total-time
Operation ival-cos, time spent: 99.0ms, 1.0% of total-time
Operation ival-exp, time spent: 94.0ms, 1.0% of total-time
Operation ival-neg, time spent: 92.0ms, 1.0% of total-time
Operation ival-acos, time spent: 62.0ms, 1.0% of total-time
Operation ival-pi, time spent: 42.0ms, 1.0% of total-time
Operation ival-<, time spent: 25.0ms, 0.0% of total-time
Operation ival-asin, time spent: 24.0ms, 0.0% of total-time
Operation ival-log, time spent: 11.0ms, 0.0% of total-time
Operation ival-and, time spent: 8.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...