Herbie run

Date:Wednesday, March 13th, 2024
Commit:7f261a46 on tuning-128start
Hostname:nightly with Racket 8.11.1
Seed:2024073
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: 33.2min)

analyze17.0min (51.2%)

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
Results
Compiler

Compiled 1919 to 1338 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.8min
Operation ival-cos, time spent: 8.5min, 50.0% of total-time
Operation ival-sin, time spent: 7.9min, 47.0% of total-time
Operation ival-mult, time spent: 8.6s, 1.0% of total-time
Operation ival-tan, time spent: 5.0s, 0.0% of total-time
Operation ival-div, time spent: 4.4s, 0.0% of total-time
Operation ival-pow, time spent: 4.0s, 0.0% of total-time
Operation ival-add, time spent: 1.4s, 0.0% of total-time
Operation ival-sub, time spent: 1.3s, 0.0% of total-time
Operation const, time spent: 708.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 607.0ms, 0.0% of total-time
Operation ival-<, time spent: 455.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 403.0ms, 0.0% of total-time
Operation ival-neg, time spent: 308.0ms, 0.0% of total-time
Operation ival-exp, time spent: 256.0ms, 0.0% of total-time
Operation ival-asin, time spent: 101.0ms, 0.0% of total-time
Operation ival-acos, time spent: 78.0ms, 0.0% of total-time
Operation ival-pi, time spent: 62.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 57.0ms, 0.0% of total-time
Operation ival-log, time spent: 57.0ms, 0.0% of total-time
Operation ival-atan, time spent: 56.0ms, 0.0% of total-time
Operation ival-and, time spent: 40.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 23.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

sample4.3min (13%)

Results
1.1min281486×0valid
1.0min83979×1valid
16.4s49164×0unsamplable
6.0s27738×0invalid
44.8s25500×5exit
5.4s25043×0infinite
10.3s5723×2valid
4.6s5566×1infinite
3.0s3660×1invalid
6.9s1375×3valid
100.0ms906×0precondition
4.3s883×2infinite
818.0ms664×2invalid
4.1s464×3infinite
19.0ms21×1unsamplable
52.0ms20×4valid
11.0ms5×5valid
1.0ms1×2unsamplable
Precisions
Click to see histograms. Total time spent on operations: 2.8min
Operation ival-pow, time spent: 25.3s, 15.0% of total-time
Operation ival-mult, time spent: 23.4s, 14.0% of total-time
Operation ival-sin, time spent: 19.6s, 12.0% of total-time
Operation ival-div, time spent: 18.2s, 11.0% of total-time
Operation backward-pass, time spent: 15.5s, 9.0% of total-time
Operation ival-cos, time spent: 15.1s, 9.0% of total-time
Operation ival-exp, time spent: 10.3s, 6.0% of total-time
Operation ival-add, time spent: 10.2s, 6.0% of total-time
Operation ival-sub, time spent: 8.2s, 5.0% of total-time
Operation ival-log, time spent: 4.6s, 3.0% of total-time
Operation ival-neg, time spent: 3.7s, 2.0% of total-time
Operation ival-<, time spent: 3.5s, 2.0% of total-time
Operation const, time spent: 3.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.2s, 2.0% of total-time
Operation ival-atan2, time spent: 1.2s, 1.0% of total-time
Operation ival-acos, time spent: 958.0ms, 1.0% of total-time
Operation ival-and, time spent: 652.0ms, 0.0% of total-time
Operation ival-tan, time spent: 615.0ms, 0.0% of total-time
Operation ival-pi, time spent: 421.0ms, 0.0% of total-time
Operation ival-atan, time spent: 409.0ms, 0.0% of total-time
Operation ival-asin, time spent: 296.0ms, 0.0% of total-time
Operation ival-<=, time spent: 285.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 202.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 154.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
Bogosity

localize4.0min (11.9%)

Results
Compiler

Compiled 58972 to 29173 computations (50.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2min
Operation ival-sin, time spent: 1.2min, 37.0% of total-time
Operation ival-mult, time spent: 27.5s, 14.0% of total-time
Operation ival-pow, time spent: 25.5s, 13.0% of total-time
Operation ival-cos, time spent: 13.5s, 7.0% of total-time
Operation ival-div, time spent: 11.5s, 6.0% of total-time
Operation composed, time spent: 11.2s, 6.0% of total-time
Operation ival-log, time spent: 7.1s, 4.0% of total-time
Operation ival-add, time spent: 5.9s, 3.0% of total-time
Operation ival-exp, time spent: 4.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.1s, 2.0% of total-time
Operation ival-sub, time spent: 3.0s, 2.0% of total-time
Operation const, time spent: 2.4s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.2s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 1.0% of total-time
Operation ival-neg, time spent: 456.0ms, 0.0% of total-time
Operation ival-atan, time spent: 403.0ms, 0.0% of total-time
Operation ival-acos, time spent: 334.0ms, 0.0% of total-time
Operation ival-tan, time spent: 327.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 144.0ms, 0.0% of total-time
Operation ival-pi, time spent: 59.0ms, 0.0% of total-time
Operation ival-asin, time spent: 24.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.7min (5.2%)

Compiler

Compiled 4574553 to 2621826 computations (42.7% saved)

regimes1.3min (4%)

Counts
14446 → 744
Calls

140 calls:

7.7s
phi1
6.6s
phi2
5.9s
lambda2
5.9s
b
5.7s
lambda1
Results
Compiler

Compiled 8773 to 6456 computations (26.4% saved)

simplify1.1min (3.2%)

Algorithm
218×egg-herbie
Rules
70831×fma-define
57245×associate-*r*
48239×distribute-lft-in
47456×fma-neg
47131×*-commutative
Stop Event
47×saturated
37×fuel
170×node limit
1×unsound
9×done
Counts
85273 → 74098
Compiler

Compiled 12253 to 8238 computations (32.8% saved)

soundness59.6s (3%)

Rules
73543×fma-define
51120×log1p-expm1-u
49440×associate-*r*
43775×fma-neg
41728×expm1-log1p-u
Stop Event
15×saturated
196×node limit
3×unsound
Compiler

Compiled 39681 to 23017 computations (42% saved)

preprocess53.3s (2.7%)

Algorithm
49×egg-herbie
Rules
30393×fma-define
19101×fma-neg
12813×div-sub
11492×unsub-neg
10938×sub-neg
Stop Event
22×saturated
27×node limit
Compiler

Compiled 57339 to 33575 computations (41.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 25.1s
Operation ival-sin, time spent: 6.0s, 24.0% of total-time
Operation ival-mult, time spent: 4.9s, 19.0% of total-time
Operation ival-cos, time spent: 4.0s, 16.0% of total-time
Operation ival-div, time spent: 3.1s, 12.0% of total-time
Operation ival-pow, time spent: 2.5s, 10.0% of total-time
Operation ival-sub, time spent: 942.0ms, 4.0% of total-time
Operation ival-add, time spent: 913.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 563.0ms, 2.0% of total-time
Operation ival-log, time spent: 563.0ms, 2.0% of total-time
Operation const, time spent: 406.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 401.0ms, 2.0% of total-time
Operation ival-exp, time spent: 284.0ms, 1.0% of total-time
Operation ival-tan, time spent: 160.0ms, 1.0% of total-time
Operation ival-atan, time spent: 98.0ms, 0.0% of total-time
Operation ival-neg, time spent: 95.0ms, 0.0% of total-time
Operation ival-acos, time spent: 82.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 75.0ms, 0.0% of total-time
Operation ival-pi, time spent: 38.0ms, 0.0% of total-time
Operation ival-asin, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time

prune44.2s (2.2%)

Counts
137784 → 5726
Compiler

Compiled 307263 to 209988 computations (31.7% saved)

rewrite36.7s (1.8%)

Algorithm
172×batch-egg-rewrite
Rules
108154×log1p-expm1-u
82345×expm1-log1p-u
40629×pow1
40363×add-exp-log
38866×add-log-exp
Stop Event
168×node limit
4×unsound
Counts
1628 → 48156

bsearch18.7s (0.9%)

Algorithm
273×binary-search
59×left-value
Stop Event
12×predicate-same
260×narrow-enough
1×predicate-failed
Results
5.1s22522×0valid
4.5s6135×1valid
4.1s1852×5exit
1.1s1558×2valid
459.0ms1136×0invalid
704.0ms844×3valid
88.0ms388×0infinite
23.0ms49×1infinite
Compiler

Compiled 67151 to 50499 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.3s
Operation ival-mult, time spent: 1.6s, 14.0% of total-time
Operation ival-pow, time spent: 1.5s, 13.0% of total-time
Operation backward-pass, time spent: 1.3s, 11.0% of total-time
Operation ival-cos, time spent: 1.3s, 11.0% of total-time
Operation ival-div, time spent: 1.3s, 11.0% of total-time
Operation ival-sin, time spent: 1.2s, 10.0% of total-time
Operation ival-sub, time spent: 776.0ms, 7.0% of total-time
Operation ival-add, time spent: 675.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 332.0ms, 3.0% of total-time
Operation ival-neg, time spent: 314.0ms, 3.0% of total-time
Operation ival-exp, time spent: 283.0ms, 2.0% of total-time
Operation ival-acos, time spent: 207.0ms, 2.0% of total-time
Operation const, time spent: 195.0ms, 2.0% of total-time
Operation ival-pi, time spent: 172.0ms, 2.0% of total-time
Operation ival-atan, time spent: 114.0ms, 1.0% of total-time
Operation ival-log, time spent: 109.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 100.0ms, 1.0% of total-time
Operation ival-tan, time spent: 8.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 1.0ms, 0.0% of total-time

series15.2s (0.8%)

Counts
1628 → 37117
Calls

9177 calls:

TimeVariablePointExpression
180.0ms
theta
@-inf
(log (pow (exp (sin theta)) (* (cos phi1) (sin delta))))
151.0ms
g
@inf
(* (+ g (sqrt (- (* g g) (* h h)))) (/ -1/2 a))
143.0ms
a
@inf
(log (+ 1 (log (+ 1 (+ (log (+ 1 (exp a))) (/ b (+ (exp a) 1)))))))
114.0ms
c_p
@0
(- (+ (* c_p (neg (log (+ 1 (exp s))))) (* c_n (- (log (+ 1 (/ 1 (+ 1 (exp s))))) (log (+ 1 (/ 1 (+ 1 (exp t)))))))) (* c_p (neg (log (+ 1 (exp t))))))
91.0ms
a
@-inf
(log (* a (sin (* angle (* (PI) 1/180)))))

end27.0ms (0%)

Profiling

Loading profile data...