Herbie run

Date:Thursday, April 4th, 2024
Commit:9887997d on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024095
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.7min)

localize2.6min (24.7%)

Compiler

Compiled 42359 to 21794 computations (48.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-pow, time spent: 31.2s, 25.0% of total-time
Operation ival-tan, time spent: 24.0s, 19.0% of total-time
Operation ival-mult, time spent: 21.5s, 17.0% of total-time
Operation composed, time spent: 10.8s, 9.0% of total-time
Operation ival-div, time spent: 10.3s, 8.0% of total-time
Operation ival-add, time spent: 6.1s, 5.0% of total-time
Operation ival-log, time spent: 4.0s, 3.0% of total-time
Operation ival-sub, time spent: 3.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 2.0% of total-time
Operation ival-exp, time spent: 2.3s, 2.0% of total-time
Operation ival-cos, time spent: 2.3s, 2.0% of total-time
Operation const, time spent: 2.0s, 2.0% of total-time
Operation ival-acos, time spent: 1.4s, 1.0% of total-time
Operation ival-sin, time spent: 885.0ms, 1.0% of total-time
Operation ival-asin, time spent: 557.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 544.0ms, 0.0% of total-time
Operation ival-neg, time spent: 541.0ms, 0.0% of total-time
Operation ival-pi, time spent: 157.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 154.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 44.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

sample2.0min (19%)

Results
48.3s179891×256valid
15.9s68618×256invalid
10.2s42622×256infinite
7.0s10794×1024valid
7.7s9344×2048valid
4.0s8339×512valid
6.2s7748×1024invalid
1.9s4092×512invalid
2.5s1948×4096valid
895.0ms758×8192valid
2.7s719×4096infinite
2.6s707×2048infinite
289.0ms421×1024infinite
197.0ms393×512infinite
30.0ms164×256unsamplable
67.0ms106×2048invalid
12.0ms14×8192exit
Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-mult, time spent: 18.0s, 26.0% of total-time
Operation ival-div, time spent: 10.6s, 15.0% of total-time
Operation ival-pow, time spent: 7.7s, 11.0% of total-time
Operation ival-tan, time spent: 5.6s, 8.0% of total-time
Operation ival-sub, time spent: 4.4s, 6.0% of total-time
Operation ival-sin, time spent: 4.0s, 6.0% of total-time
Operation ival-add, time spent: 3.5s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.4s, 5.0% of total-time
Operation ival-exp, time spent: 2.5s, 4.0% of total-time
Operation ival-cos, time spent: 1.6s, 2.0% of total-time
Operation ival-acos, time spent: 1.5s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-neg, time spent: 1.3s, 2.0% of total-time
Operation ival-pi, time spent: 1.0s, 2.0% of total-time
Operation composed, time spent: 651.0ms, 1.0% of total-time
Operation ival-log, time spent: 605.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 314.0ms, 0.0% of total-time
Operation ival-asin, time spent: 175.0ms, 0.0% of total-time
Operation ival-<, time spent: 119.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Bogosity

eval1.8min (17%)

Compiler

Compiled 3755212 to 2471914 computations (34.2% saved)

simplify50.4s (7.8%)

Algorithm
148×egg-herbie
Rules
49252×fma-define
39761×times-frac
39030×associate-*r*
38727×*-commutative
32520×distribute-lft-in
Stop Event
31×saturated
117×node limit
28×fuel
3×done
Counts
65058 → 54785
Compiler

Compiled 14349 to 9500 computations (33.8% saved)

soundness46.8s (7.3%)

Rules
55641×fma-define
44205×log1p-expm1-u
41807×associate-*r*
38882×times-frac
33999×expm1-log1p-u
Stop Event
8×saturated
175×node limit
1×unsound
Compiler

Compiled 37319 to 23202 computations (37.8% saved)

regimes30.5s (4.8%)

Counts
10024 → 788
Calls

152 calls:

2.4s
l
1.9s
t
1.3s
F
1.3s
Vef
1.2s
k
Compiler

Compiled 9080 to 7009 computations (22.8% saved)

preprocess29.3s (4.6%)

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 78894 to 50480 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.8s
Operation ival-mult, time spent: 2.3s, 27.0% of total-time
Operation ival-div, time spent: 1.3s, 14.0% of total-time
Operation ival-pow, time spent: 1.1s, 13.0% of total-time
Operation ival-tan, time spent: 825.0ms, 9.0% of total-time
Operation ival-add, time spent: 654.0ms, 7.0% of total-time
Operation ival-sub, time spent: 466.0ms, 5.0% of total-time
Operation ival-exp, time spent: 397.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 344.0ms, 4.0% of total-time
Operation ival-cos, time spent: 296.0ms, 3.0% of total-time
Operation composed, time spent: 250.0ms, 3.0% of total-time
Operation const, time spent: 238.0ms, 3.0% of total-time
Operation ival-sin, time spent: 191.0ms, 2.0% of total-time
Operation ival-log, time spent: 174.0ms, 2.0% of total-time
Operation ival-neg, time spent: 130.0ms, 1.0% of total-time
Operation ival-acos, time spent: 47.0ms, 1.0% of total-time
Operation ival-pi, time spent: 40.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time
Operation ival-asin, time spent: 7.0ms, 0.0% of total-time

prune26.9s (4.2%)

Counts
92636 → 3074
Compiler

Compiled 148174 to 103252 computations (30.3% saved)

rewrite25.1s (3.9%)

Algorithm
117×batch-egg-rewrite
Rules
67416×log1p-expm1-u
48579×expm1-log1p-u
29889×add-exp-log
29745×add-log-exp
29485×pow1
Stop Event
116×node limit
1×unsound
Counts
1210 → 33689

bsearch18.0s (2.8%)

Algorithm
359×binary-search
84×left-value
Stop Event
8×predicate-same
351×narrow-enough
Results
10.5s35046×256valid
2.1s7325×256invalid
2.0s6838×256infinite
472.0ms567×1024valid
222.0ms459×512valid
150.0ms261×2048valid
109.0ms178×1024invalid
69.0ms88×4096valid
24.0ms86×512invalid
25.0ms60×512infinite
16.0ms14×8192valid
4.0ms7×1024infinite
3.0ms4×2048infinite
Compiler

Compiled 112865 to 85512 computations (24.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
Operation ival-mult, time spent: 2.3s, 24.0% of total-time
Operation ival-div, time spent: 2.1s, 23.0% of total-time
Operation ival-pow, time spent: 1.4s, 15.0% of total-time
Operation ival-add, time spent: 807.0ms, 9.0% of total-time
Operation ival-sin, time spent: 582.0ms, 6.0% of total-time
Operation ival-sub, time spent: 516.0ms, 6.0% of total-time
Operation ival-tan, time spent: 454.0ms, 5.0% of total-time
Operation ival-cos, time spent: 310.0ms, 3.0% of total-time
Operation ival-neg, time spent: 219.0ms, 2.0% of total-time
Operation ival-exp, time spent: 195.0ms, 2.0% of total-time
Operation const, time spent: 190.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 173.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time
Operation composed, time spent: 11.0ms, 0.0% of total-time
Operation ival-asin, time spent: 5.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

analyze13.6s (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.7s
Operation ival-mult, time spent: 2.6s, 33.0% of total-time
Operation ival-pow, time spent: 1.4s, 18.0% of total-time
Operation ival-div, time spent: 1.1s, 14.0% of total-time
Operation ival-sqrt, time spent: 475.0ms, 6.0% of total-time
Operation ival-add, time spent: 467.0ms, 6.0% of total-time
Operation ival-sub, time spent: 388.0ms, 5.0% of total-time
Operation ival-sin, time spent: 292.0ms, 4.0% of total-time
Operation ival-tan, time spent: 242.0ms, 3.0% of total-time
Operation const, time spent: 176.0ms, 2.0% of total-time
Operation ival-<, time spent: 175.0ms, 2.0% of total-time
Operation ival-cos, time spent: 99.0ms, 1.0% of total-time
Operation ival-neg, time spent: 96.0ms, 1.0% of total-time
Operation ival-exp, time spent: 74.0ms, 1.0% of total-time
Operation ival-acos, time spent: 69.0ms, 1.0% of total-time
Operation ival-pi, time spent: 43.0ms, 1.0% of total-time
Operation ival-asin, time spent: 25.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 21.0ms, 0.0% of total-time
Operation ival-log, time spent: 14.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.5s (1.8%)

Counts
1210 → 31369
Calls

8043 calls:

TimeVariablePointExpression
179.0ms
k
@0
(log (/ 2 (* t (pow k 4))))
150.0ms
a
@0
(* a (/ (pow k m) (+ 1 (* k (+ 10 k)))))
139.0ms
ky
@inf
(log (+ 1 (sin ky)))
125.0ms
x
@0
(/ t (sqrt (- (* (/ (+ x 1) (+ x -1)) (+ (* l l) (* 2 (* t t)))) (* l l))))
115.0ms
v
@0
(log (pow (exp 5) (pow v 2)))

end40.0ms (0%)

Profiling

Loading profile data...