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

sample2.7min (32.4%)

Results
47.3s252036×0valid
36.1s54474×1valid
7.1s31442×0infinite
47.0s24239×5exit
8.6s8287×2valid
518.0ms4255×0invalid
195.0ms997×0unsamplable
350.0ms506×1infinite
5.0ms4×2infinite
15.0ms3×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation backward-pass, time spent: 43.3s, 39.0% of total-time
Operation ival-mult, time spent: 15.2s, 14.0% of total-time
Operation ival-add, time spent: 9.8s, 9.0% of total-time
Operation composed, time spent: 8.9s, 8.0% of total-time
Operation ival-pow, time spent: 8.0s, 7.0% of total-time
Operation ival-div, time spent: 6.4s, 6.0% of total-time
Operation ival-sub, time spent: 5.1s, 5.0% of total-time
Operation ival-<=, time spent: 3.9s, 3.0% of total-time
Operation ival-sin, time spent: 2.6s, 2.0% of total-time
Operation const, time spent: 1.6s, 1.0% of total-time
Operation ival-log, time spent: 1.1s, 1.0% of total-time
Operation ival-exp, time spent: 1.0s, 1.0% of total-time
Operation ival-cos, time spent: 777.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 761.0ms, 1.0% of total-time
Operation ival-neg, time spent: 599.0ms, 1.0% of total-time
Operation ival-and, time spent: 503.0ms, 0.0% of total-time
Operation ival-==, time spent: 312.0ms, 0.0% of total-time
Operation ival-tan, time spent: 283.0ms, 0.0% of total-time
Operation ival-<, time spent: 109.0ms, 0.0% of total-time
Operation ival-atan, time spent: 87.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 62.0ms, 0.0% of total-time
Operation ival-pi, time spent: 49.0ms, 0.0% of total-time
Operation ival-if, time spent: 9.0ms, 0.0% of total-time
Bogosity

localize1.3min (15.3%)

Compiler

Compiled 28809 to 17395 computations (39.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 50.6s
Operation ival-mult, time spent: 16.8s, 33.0% of total-time
Operation ival-div, time spent: 8.0s, 16.0% of total-time
Operation ival-add, time spent: 7.5s, 15.0% of total-time
Operation ival-pow, time spent: 6.5s, 13.0% of total-time
Operation composed, time spent: 4.0s, 8.0% of total-time
Operation ival-sub, time spent: 3.4s, 7.0% of total-time
Operation const, time spent: 1.3s, 2.0% of total-time
Operation ival-exp, time spent: 930.0ms, 2.0% of total-time
Operation ival-tan, time spent: 760.0ms, 2.0% of total-time
Operation ival-log, time spent: 452.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 421.0ms, 1.0% of total-time
Operation ival-sin, time spent: 219.0ms, 0.0% of total-time
Operation ival-cos, time spent: 165.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 121.0ms, 0.0% of total-time
Operation ival-atan, time spent: 115.0ms, 0.0% of total-time
Operation ival-neg, time spent: 76.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.0ms, 0.0% of total-time
Operation ival-e, time spent: 2.0ms, 0.0% of total-time

eval1.0min (12.2%)

Compiler

Compiled 2664537 to 1838228 computations (31% saved)

simplify36.5s (7.3%)

Algorithm
160×egg-herbie
Rules
45777×fma-define
37411×distribute-lft-in
34121×distribute-rgt-in
32598×fma-neg
31580×*-commutative
Stop Event
42×saturated
118×node limit
21×fuel
21×done
Counts
53504 → 51946
Compiler

Compiled 10282 to 6944 computations (32.5% saved)

preprocess31.3s (6.3%)

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 36353 to 22959 computations (36.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.3s
Operation ival-mult, time spent: 3.3s, 32.0% of total-time
Operation ival-pow, time spent: 1.9s, 18.0% of total-time
Operation ival-div, time spent: 1.4s, 14.0% of total-time
Operation ival-add, time spent: 1.4s, 14.0% of total-time
Operation ival-sub, time spent: 839.0ms, 8.0% of total-time
Operation ival-tan, time spent: 551.0ms, 5.0% of total-time
Operation const, time spent: 266.0ms, 3.0% of total-time
Operation ival-sin, time spent: 157.0ms, 2.0% of total-time
Operation ival-exp, time spent: 112.0ms, 1.0% of total-time
Operation ival-cos, time spent: 91.0ms, 1.0% of total-time
Operation ival-neg, time spent: 72.0ms, 1.0% of total-time
Operation ival-log, time spent: 68.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 62.0ms, 1.0% of total-time
Operation ival-atan, time spent: 23.0ms, 0.0% of total-time
Operation composed, time spent: 17.0ms, 0.0% of total-time
Operation ival-pi, time spent: 2.0ms, 0.0% of total-time

soundness30.3s (6.1%)

Rules
44179×fma-define
30095×log1p-expm1-u
29281×fma-neg
27597×distribute-lft-in
25826×distribute-rgt-in
Stop Event
9×saturated
134×node limit
Compiler

Compiled 25337 to 15683 computations (38.1% saved)

rewrite24.8s (5%)

Algorithm
118×batch-egg-rewrite
Rules
67457×log1p-expm1-u
53992×expm1-log1p-u
24953×pow1
24390×prod-diff
22648×add-exp-log
Stop Event
118×node limit
Counts
952 → 33886

bsearch22.0s (4.4%)

Algorithm
330×binary-search
33×left-value
Stop Event
15×predicate-same
315×narrow-enough
Results
8.2s28683×0valid
3.1s7990×0infinite
1.8s3514×1valid
161.0ms1218×0invalid
5.3s498×5exit
330.0ms314×2valid
65.0ms105×1infinite
6.0ms40×0unsamplable
33.0ms26×2infinite
39.0ms8×3valid
Compiler

Compiled 96979 to 70472 computations (27.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.6s
Operation backward-pass, time spent: 4.1s, 30.0% of total-time
Operation ival-mult, time spent: 4.0s, 29.0% of total-time
Operation ival-add, time spent: 1.7s, 13.0% of total-time
Operation ival-div, time spent: 1.7s, 12.0% of total-time
Operation ival-sub, time spent: 1.0s, 7.0% of total-time
Operation ival-pow, time spent: 654.0ms, 5.0% of total-time
Operation const, time spent: 235.0ms, 2.0% of total-time
Operation ival-exp, time spent: 119.0ms, 1.0% of total-time
Operation ival-neg, time spent: 116.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 39.0ms, 0.0% of total-time
Operation ival-pi, time spent: 8.0ms, 0.0% of total-time

prune20.1s (4%)

Counts
80484 → 2039
Compiler

Compiled 79784 to 55602 computations (30.3% saved)

regimes18.7s (3.8%)

Counts
5134 → 651
Calls

94 calls:

2.0s
x
2.0s
x1
1.6s
c
1.4s
t1
1.3s
u
Compiler

Compiled 4252 to 3028 computations (28.8% saved)

analyze10.5s (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.2s, 16.0% of total-time
Operation ival-pow, time spent: 1.2s, 15.0% of total-time
Operation ival-mult, time spent: 1.1s, 15.0% of total-time
Operation ival-div, time spent: 1.1s, 14.0% of total-time
Operation ival-sub, time spent: 854.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 849.0ms, 11.0% of total-time
Operation ival-<=, time spent: 417.0ms, 6.0% of total-time
Operation ival-fabs, time spent: 361.0ms, 5.0% of total-time
Operation const, time spent: 154.0ms, 2.0% of total-time
Operation ival-exp, time spent: 104.0ms, 1.0% of total-time
Operation ival-if, time spent: 91.0ms, 1.0% of total-time
Operation ival-==, time spent: 48.0ms, 1.0% of total-time
Operation ival-neg, time spent: 28.0ms, 0.0% of total-time
Operation ival-<, time spent: 22.0ms, 0.0% of total-time
Operation ival-and, time spent: 16.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.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

series5.4s (1.1%)

Counts
952 → 19618
Calls

5019 calls:

TimeVariablePointExpression
246.0ms
c
@inf
(pow (/ (neg c) a) 1/6)
152.0ms
eps
@0
(/ (* (pow eps 2) -10) x)
149.0ms
x
@inf
(* eps (/ -1/2 x))
133.0ms
d
@inf
(+ (* c (+ 1 (+ (/ d c) (/ e c)))) (+ b a))
108.0ms
x
@inf
(log (+ 1 (cos x)))

end27.0ms (0%)

Profiling

Loading profile data...