Herbie run

Date:Friday, March 15th, 2024
Commit:099d23a3 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024075
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: 8.2min)

sample2.0min (24.6%)

Results
44.7s252060×0valid
21.8s54500×1valid
8.1s31400×0infinite
24.8s24160×5exit
5.9s8274×2valid
519.0ms4159×0invalid
175.0ms948×0unsamplable
337.0ms514×1infinite
3.0ms4×2infinite
Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation ival-mult, time spent: 15.2s, 22.0% of total-time
Operation ival-add, time spent: 9.7s, 14.0% of total-time
Operation backward-pass, time spent: 8.8s, 13.0% of total-time
Operation ival-pow, time spent: 7.8s, 11.0% of total-time
Operation ival-div, time spent: 6.1s, 9.0% of total-time
Operation ival-sub, time spent: 5.4s, 8.0% of total-time
Operation composed, time spent: 4.4s, 6.0% of total-time
Operation ival-<=, time spent: 3.6s, 5.0% of total-time
Operation ival-sin, time spent: 2.5s, 4.0% of total-time
Operation const, time spent: 1.6s, 2.0% of total-time
Operation ival-exp, time spent: 912.0ms, 1.0% of total-time
Operation ival-neg, time spent: 754.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 721.0ms, 1.0% of total-time
Operation ival-log, time spent: 684.0ms, 1.0% of total-time
Operation ival-cos, time spent: 617.0ms, 1.0% of total-time
Operation ival-and, time spent: 512.0ms, 1.0% of total-time
Operation ival-==, time spent: 314.0ms, 0.0% of total-time
Operation ival-tan, time spent: 209.0ms, 0.0% of total-time
Operation ival-<, time spent: 134.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 101.0ms, 0.0% of total-time
Operation ival-atan, time spent: 82.0ms, 0.0% of total-time
Operation ival-pi, time spent: 39.0ms, 0.0% of total-time
Operation ival-if, time spent: 8.0ms, 0.0% of total-time
Bogosity

localize1.4min (17.5%)

Compiler

Compiled 30317 to 18214 computations (39.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 16.6s, 28.0% of total-time
Operation ival-pow, time spent: 9.8s, 16.0% of total-time
Operation ival-add, time spent: 8.3s, 14.0% of total-time
Operation ival-div, time spent: 8.0s, 13.0% of total-time
Operation composed, time spent: 5.9s, 10.0% of total-time
Operation ival-sub, time spent: 5.0s, 8.0% of total-time
Operation ival-exp, time spent: 2.4s, 4.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-log, time spent: 955.0ms, 2.0% of total-time
Operation ival-tan, time spent: 540.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 382.0ms, 1.0% of total-time
Operation ival-sin, time spent: 304.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 199.0ms, 0.0% of total-time
Operation ival-atan, time spent: 184.0ms, 0.0% of total-time
Operation ival-neg, time spent: 161.0ms, 0.0% of total-time
Operation ival-cos, time spent: 84.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time

eval1.4min (17.5%)

Compiler

Compiled 2876154 to 1909589 computations (33.6% saved)

simplify38.6s (7.9%)

Algorithm
167×egg-herbie
Rules
46584×fma-define
38188×distribute-lft-in
35335×distribute-rgt-in
33577×fma-neg
32395×*-commutative
Stop Event
42×saturated
125×node limit
23×fuel
19×done
Counts
57589 → 54929
Compiler

Compiled 9635 to 6472 computations (32.8% saved)

preprocess31.7s (6.5%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 33477 to 21277 computations (36.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.6s
Operation ival-mult, time spent: 3.6s, 34.0% of total-time
Operation ival-pow, time spent: 1.9s, 18.0% of total-time
Operation ival-div, time spent: 1.6s, 15.0% of total-time
Operation ival-add, time spent: 1.4s, 13.0% of total-time
Operation ival-sub, time spent: 924.0ms, 9.0% of total-time
Operation ival-tan, time spent: 293.0ms, 3.0% of total-time
Operation const, time spent: 283.0ms, 3.0% of total-time
Operation ival-sin, time spent: 130.0ms, 1.0% of total-time
Operation ival-exp, time spent: 122.0ms, 1.0% of total-time
Operation ival-cos, time spent: 108.0ms, 1.0% of total-time
Operation ival-neg, time spent: 88.0ms, 1.0% of total-time
Operation ival-log, time spent: 73.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 71.0ms, 1.0% of total-time
Operation ival-atan, time spent: 24.0ms, 0.0% of total-time
Operation composed, time spent: 14.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

soundness29.4s (6%)

Rules
44020×fma-define
32686×log1p-expm1-u
28039×fma-neg
27135×expm1-log1p-u
26097×distribute-lft-in
Stop Event
9×saturated
132×node limit
Compiler

Compiled 23796 to 14817 computations (37.7% saved)

rewrite25.3s (5.2%)

Algorithm
125×batch-egg-rewrite
Rules
74502×log1p-expm1-u
61762×expm1-log1p-u
25502×pow1
24653×add-exp-log
23781×add-log-exp
Stop Event
125×node limit
Counts
1033 → 36428

prune22.9s (4.7%)

Counts
81653 → 1983
Compiler

Compiled 74391 to 51631 computations (30.6% saved)

bsearch18.1s (3.7%)

Algorithm
293×binary-search
26×left-value
Stop Event
31×predicate-same
262×narrow-enough
Results
5.7s21376×0valid
4.9s8066×0infinite
2.1s5575×1valid
314.0ms3077×0invalid
1.8s481×5exit
278.0ms239×2valid
42.0ms198×0unsamplable
36.0ms88×1infinite
33.0ms16×2infinite
Compiler

Compiled 89444 to 64468 computations (27.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.4s
Operation ival-mult, time spent: 3.2s, 31.0% of total-time
Operation ival-add, time spent: 2.1s, 20.0% of total-time
Operation ival-div, time spent: 1.6s, 15.0% of total-time
Operation ival-pow, time spent: 1.4s, 13.0% of total-time
Operation ival-sub, time spent: 1.1s, 10.0% of total-time
Operation backward-pass, time spent: 550.0ms, 5.0% of total-time
Operation const, time spent: 229.0ms, 2.0% of total-time
Operation ival-neg, time spent: 129.0ms, 1.0% of total-time
Operation ival-exp, time spent: 90.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 28.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

regimes16.6s (3.4%)

Counts
4558 → 591
Calls

94 calls:

2.9s
x1
1.6s
c
1.6s
b
1.1s
x
1.0s
d
Compiler

Compiled 3962 to 2823 computations (28.7% saved)

analyze10.3s (2.1%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
37.4%20.4%34.1%45.5%0%0%0%2
49.2%26.2%27.1%45.5%0%1.2%0%3
58%30.7%22.3%45.5%0%1.5%0%4
71.4%37.7%15.1%45.6%0%1.7%0%5
73%38.4%14.2%45.6%0%1.7%0%6
77.9%40.7%11.5%45.6%0%2.1%0%7
81.5%42.6%9.7%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.2%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.5s
Operation ival-add, time spent: 1.6s, 21.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 16.0% of total-time
Operation ival-mult, time spent: 1.1s, 14.0% of total-time
Operation ival-pow, time spent: 1.0s, 13.0% of total-time
Operation ival-div, time spent: 804.0ms, 11.0% of total-time
Operation ival-sub, time spent: 768.0ms, 10.0% of total-time
Operation ival-fabs, time spent: 408.0ms, 5.0% of total-time
Operation const, time spent: 195.0ms, 3.0% of total-time
Operation ival-exp, time spent: 162.0ms, 2.0% of total-time
Operation ival-<=, time spent: 106.0ms, 1.0% of total-time
Operation ival-if, time spent: 71.0ms, 1.0% of total-time
Operation ival-==, time spent: 55.0ms, 1.0% of total-time
Operation ival-<, time spent: 31.0ms, 0.0% of total-time
Operation ival-neg, time spent: 24.0ms, 0.0% of total-time
Operation ival-and, time spent: 16.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival-log, time spent: 1.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time
Operation ival-tan, time spent: 0.0ms, 0.0% of total-time
Operation ival-cos, time spent: 0.0ms, 0.0% of total-time
Operation ival-sin, time spent: 0.0ms, 0.0% of total-time

series4.7s (1%)

Counts
1033 → 21161
Calls

5337 calls:

TimeVariablePointExpression
145.0ms
b
@0
(* (+ (* b (/ d c)) a) (/ 1 c))
70.0ms
x2
@0
(* 3 (+ (* -2 x2) (* x1 (- (* x1 (- 3 (* -2 x2))) 1))))
69.0ms
eps
@0
(/ (* (pow eps 2) -10) x)
62.0ms
x
@0
(* x (- 238732414637843/250000000000000 (* 6450306886639899/50000000000000000 (pow x 2))))
44.0ms
x
@-inf
(+ (* (+ 1 (/ 1 eps)) (pow (exp x) (+ eps -1))) (/ (+ 1 (/ -1 eps)) (exp (+ (* eps x) x))))

end31.0ms (0%)

Profiling

Loading profile data...