Herbie run

Date:Tuesday, March 19th, 2024
Commit:f5417cea on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024079
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: 5.9min)

sample1.9min (31.5%)

Results
32.4s111747×0valid
19.3s48288×1valid
49.4s45255×5exit
2.3s13632×0invalid
1.0s5083×0infinite
174.0ms1377×0unsamplable
1.0ms2×1infinite
Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation backward-pass, time spent: 23.2s, 34.0% of total-time
Operation ival-mult, time spent: 11.4s, 17.0% of total-time
Operation ival-fmod, time spent: 5.6s, 8.0% of total-time
Operation ival-cos, time spent: 5.4s, 8.0% of total-time
Operation ival-exp, time spent: 5.4s, 8.0% of total-time
Operation ival-pow, time spent: 3.5s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.1s, 4.0% of total-time
Operation ival-neg, time spent: 1.6s, 2.0% of total-time
Operation ival-<=, time spent: 1.5s, 2.0% of total-time
Operation ival-log, time spent: 1.4s, 2.0% of total-time
Operation ival-sin, time spent: 1.1s, 2.0% of total-time
Operation ival-div, time spent: 1.1s, 2.0% of total-time
Operation ival-sinh, time spent: 847.0ms, 1.0% of total-time
Operation ival-add, time spent: 827.0ms, 1.0% of total-time
Operation ival-sub, time spent: 723.0ms, 1.0% of total-time
Operation ival-tan, time spent: 642.0ms, 1.0% of total-time
Operation const, time spent: 621.0ms, 1.0% of total-time
Operation ival-acos, time spent: 414.0ms, 1.0% of total-time
Operation ival-==, time spent: 228.0ms, 0.0% of total-time
Operation ival-and, time spent: 214.0ms, 0.0% of total-time
Operation ival-<, time spent: 197.0ms, 0.0% of total-time
Operation ival-or, time spent: 88.0ms, 0.0% of total-time
Operation ival-atan, time spent: 58.0ms, 0.0% of total-time
Operation ival->=, time spent: 49.0ms, 0.0% of total-time
Operation ival->, time spent: 30.0ms, 0.0% of total-time
Bogosity

localize48.3s (13.6%)

Compiler

Compiled 9546 to 4938 computations (48.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.6s
Operation ival-pow, time spent: 10.4s, 30.0% of total-time
Operation ival-mult, time spent: 4.1s, 12.0% of total-time
Operation ival-log, time spent: 3.1s, 9.0% of total-time
Operation composed, time spent: 2.0s, 6.0% of total-time
Operation ival-asin, time spent: 2.0s, 6.0% of total-time
Operation ival-div, time spent: 1.9s, 6.0% of total-time
Operation ival-cos, time spent: 1.9s, 5.0% of total-time
Operation ival-sub, time spent: 1.8s, 5.0% of total-time
Operation ival-add, time spent: 1.6s, 5.0% of total-time
Operation ival-exp, time spent: 1.4s, 4.0% of total-time
Operation ival-acos, time spent: 1.2s, 3.0% of total-time
Operation ival-sqrt, time spent: 729.0ms, 2.0% of total-time
Operation ival-sin, time spent: 567.0ms, 2.0% of total-time
Operation const, time spent: 558.0ms, 2.0% of total-time
Operation ival-tan, time spent: 382.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 371.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 360.0ms, 1.0% of total-time
Operation ival-neg, time spent: 184.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 33.0ms, 0.0% of total-time
Operation ival-pi, time spent: 14.0ms, 0.0% of total-time
Operation ival-atan, time spent: 2.0ms, 0.0% of total-time

soundness40.9s (11.5%)

Rules
19625×log1p-expm1-u
17329×fma-define
16385×expm1-log1p-u
13397×associate-*r*
11723×fma-neg
Stop Event
6×saturated
65×node limit
3×unsound
Compiler

Compiled 10295 to 5395 computations (47.6% saved)

analyze38.4s (10.8%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.0s
Operation ival-<=, time spent: 12.3s, 65.0% of total-time
Operation ival-tan, time spent: 4.0s, 21.0% of total-time
Operation ival-add, time spent: 575.0ms, 3.0% of total-time
Operation ival-and, time spent: 306.0ms, 2.0% of total-time
Operation ival-==, time spent: 238.0ms, 1.0% of total-time
Operation const, time spent: 225.0ms, 1.0% of total-time
Operation ival-sin, time spent: 220.0ms, 1.0% of total-time
Operation ival-cos, time spent: 204.0ms, 1.0% of total-time
Operation ival-sub, time spent: 183.0ms, 1.0% of total-time
Operation ival-or, time spent: 157.0ms, 1.0% of total-time
Operation ival-mult, time spent: 131.0ms, 1.0% of total-time
Operation ival-pow, time spent: 113.0ms, 1.0% of total-time
Operation ival-div, time spent: 76.0ms, 0.0% of total-time
Operation ival-exp, time spent: 49.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 41.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 26.0ms, 0.0% of total-time
Operation ival-log, time spent: 26.0ms, 0.0% of total-time
Operation ival-neg, time spent: 18.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 15.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival->=, time spent: 1.0ms, 0.0% of total-time
Operation ival-acos, time spent: 0.0ms, 0.0% of total-time
Operation ival->, time spent: 0.0ms, 0.0% of total-time
Operation ival-<, time spent: 0.0ms, 0.0% of total-time

eval28.4s (8%)

Compiler

Compiled 971014 to 561134 computations (42.2% saved)

prune19.8s (5.6%)

Counts
41568 → 1908
Compiler

Compiled 68825 to 43442 computations (36.9% saved)

series19.8s (5.6%)

Counts
496 → 8974
Calls

2109 calls:

TimeVariablePointExpression
4.1s
lo
@0
(log (+ 1 (- (exp (* (- x lo) (/ (+ 1 (/ lo hi)) hi))) 1)))
3.9s
lo
@inf
(- (/ x hi) (* lo (- (/ 1 hi) (/ x (pow hi 2)))))
3.3s
hi
@0
(* lo (/ (- x lo) hi))
1.1s
lo
@0
(- (* hi (/ (- x hi) lo)) hi)
250.0ms
a
@0
(exp (/ (sin b) (cos (+ b a))))

simplify17.1s (4.8%)

Algorithm
82×egg-herbie
Rules
23094×fma-define
18799×associate-*r*
16229×fma-neg
15915×distribute-lft-in
15107×associate-*l*
Stop Event
20×saturated
56×node limit
12×fuel
6×unsound
8×done
Counts
26145 → 23161
Compiler

Compiled 1889 to 1303 computations (31% saved)

rewrite11.6s (3.3%)

Algorithm
62×batch-egg-rewrite
Rules
34283×log1p-expm1-u
28750×expm1-log1p-u
14320×pow1
13633×add-exp-log
13420×add-log-exp
Stop Event
62×node limit
Counts
496 → 17171

regimes9.7s (2.7%)

Counts
3150 → 168
Calls

53 calls:

2.0s
x
1.1s
a
879.0ms
b
781.0ms
r
435.0ms
s
Compiler

Compiled 1608 to 1131 computations (29.7% saved)

preprocess8.2s (2.3%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 14149 to 9070 computations (35.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
Operation ival-cos, time spent: 511.0ms, 31.0% of total-time
Operation ival-mult, time spent: 168.0ms, 10.0% of total-time
Operation ival-log, time spent: 162.0ms, 10.0% of total-time
Operation ival-sin, time spent: 106.0ms, 6.0% of total-time
Operation ival-pow, time spent: 101.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 97.0ms, 6.0% of total-time
Operation ival-tan, time spent: 96.0ms, 6.0% of total-time
Operation ival-sub, time spent: 64.0ms, 4.0% of total-time
Operation ival-add, time spent: 56.0ms, 3.0% of total-time
Operation ival-sinh, time spent: 55.0ms, 3.0% of total-time
Operation ival-exp, time spent: 50.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 42.0ms, 3.0% of total-time
Operation ival-acos, time spent: 41.0ms, 3.0% of total-time
Operation ival-div, time spent: 38.0ms, 2.0% of total-time
Operation const, time spent: 27.0ms, 2.0% of total-time
Operation ival-neg, time spent: 16.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

bsearch1.9s (0.5%)

Algorithm
12×left-value
43×binary-search
Stop Event
29×narrow-enough
14×predicate-failed
Results
351.0ms2237×0valid
580.0ms1211×1valid
744.0ms808×5exit
73.0ms606×0invalid
51.0ms280×0infinite
10.0ms84×0unsamplable
Compiler

Compiled 6365 to 4682 computations (26.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
Operation backward-pass, time spent: 398.0ms, 36.0% of total-time
Operation ival-fmod, time spent: 145.0ms, 13.0% of total-time
Operation ival-exp, time spent: 107.0ms, 10.0% of total-time
Operation ival-cos, time spent: 94.0ms, 8.0% of total-time
Operation ival-tan, time spent: 92.0ms, 8.0% of total-time
Operation ival-mult, time spent: 64.0ms, 6.0% of total-time
Operation ival-sin, time spent: 44.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 40.0ms, 4.0% of total-time
Operation ival-pow, time spent: 35.0ms, 3.0% of total-time
Operation ival-add, time spent: 33.0ms, 3.0% of total-time
Operation ival-neg, time spent: 33.0ms, 3.0% of total-time
Operation ival-sub, time spent: 11.0ms, 1.0% of total-time
Operation ival-div, time spent: 10.0ms, 1.0% of total-time
Operation const, time spent: 9.0ms, 1.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...