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

sample9.0min (32.4%)

Results
1.1min263773×0valid
1.8min112058×1valid
17.0s51445×0unsamplable
1.7min33271×5exit
5.4s28151×0invalid
6.9s26263×0infinite
47.0s10233×2valid
1.5min7399×3valid
10.7s6851×1infinite
3.9s3568×1invalid
31.2s1327×4valid
115.0ms929×0precondition
6.9s861×2infinite
1.6s850×2invalid
7.2s534×3infinite
63.0ms52×1unsamplable
38.0ms8×5valid
123.0ms5×4infinite
4.0ms1×4unsamplable
2.0ms1×2unsamplable
3.0ms1×3unsamplable
Precisions
Click to see histograms. Total time spent on operations: 7.1min
Operation backward-pass, time spent: 2.8min, 39.0% of total-time
Operation ival-sin, time spent: 46.0s, 11.0% of total-time
Operation ival-mult, time spent: 43.6s, 10.0% of total-time
Operation ival-pow, time spent: 36.5s, 9.0% of total-time
Operation ival-cos, time spent: 36.1s, 8.0% of total-time
Operation ival-div, time spent: 34.4s, 8.0% of total-time
Operation ival-add, time spent: 13.3s, 3.0% of total-time
Operation ival-exp, time spent: 9.6s, 2.0% of total-time
Operation ival-sub, time spent: 9.6s, 2.0% of total-time
Operation ival-neg, time spent: 5.5s, 1.0% of total-time
Operation ival-<, time spent: 5.3s, 1.0% of total-time
Operation ival-sqrt, time spent: 4.6s, 1.0% of total-time
Operation ival-log, time spent: 4.5s, 1.0% of total-time
Operation const, time spent: 3.9s, 1.0% of total-time
Operation ival-cbrt, time spent: 894.0ms, 0.0% of total-time
Operation ival-and, time spent: 782.0ms, 0.0% of total-time
Operation ival-pi, time spent: 759.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 709.0ms, 0.0% of total-time
Operation ival-tan, time spent: 618.0ms, 0.0% of total-time
Operation ival-atan, time spent: 558.0ms, 0.0% of total-time
Operation ival-acos, time spent: 449.0ms, 0.0% of total-time
Operation ival-asin, time spent: 333.0ms, 0.0% of total-time
Operation ival-<=, time spent: 208.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 143.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

localize7.4min (26.5%)

Results
Compiler

Compiled 82874 to 45132 computations (45.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.2min
Operation ival-sin, time spent: 2.6min, 41.0% of total-time
Operation ival-mult, time spent: 53.3s, 14.0% of total-time
Operation ival-pow, time spent: 51.6s, 14.0% of total-time
Operation ival-cos, time spent: 31.3s, 8.0% of total-time
Operation ival-div, time spent: 23.3s, 6.0% of total-time
Operation composed, time spent: 14.6s, 4.0% of total-time
Operation ival-add, time spent: 8.1s, 2.0% of total-time
Operation ival-log, time spent: 7.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.4s, 2.0% of total-time
Operation ival-sub, time spent: 5.4s, 1.0% of total-time
Operation ival-exp, time spent: 4.6s, 1.0% of total-time
Operation const, time spent: 3.8s, 1.0% of total-time
Operation ival-atan2, time spent: 2.7s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.8s, 0.0% of total-time
Operation ival-atan, time spent: 1.3s, 0.0% of total-time
Operation ival-neg, time spent: 495.0ms, 0.0% of total-time
Operation ival-tan, time spent: 455.0ms, 0.0% of total-time
Operation ival-acos, time spent: 367.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 217.0ms, 0.0% of total-time
Operation ival-asin, time spent: 179.0ms, 0.0% of total-time
Operation ival-pi, time spent: 118.0ms, 0.0% of total-time

eval3.1min (11.2%)

Compiler

Compiled 6667346 to 4034453 computations (39.5% saved)

preprocess2.0min (7.1%)

Algorithm
52×egg-herbie
Rules
32328×fma-define
19274×fma-neg
13234×div-sub
11584×unsub-neg
11427×sub-neg
Stop Event
22×saturated
30×node limit
Results
Compiler

Compiled 62675 to 36633 computations (41.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 21.6s, 26.0% of total-time
Operation ival-cos, time spent: 15.9s, 19.0% of total-time
Operation ival-mult, time spent: 14.8s, 18.0% of total-time
Operation ival-div, time spent: 12.5s, 15.0% of total-time
Operation ival-pow, time spent: 10.4s, 13.0% of total-time
Operation ival-add, time spent: 2.2s, 3.0% of total-time
Operation ival-sub, time spent: 1.7s, 2.0% of total-time
Operation const, time spent: 951.0ms, 1.0% of total-time
Operation ival-sqrt, time spent: 927.0ms, 1.0% of total-time
Operation ival-log, time spent: 479.0ms, 1.0% of total-time
Operation ival-exp, time spent: 300.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 265.0ms, 0.0% of total-time
Operation ival-neg, time spent: 219.0ms, 0.0% of total-time
Operation ival-atan, time spent: 196.0ms, 0.0% of total-time
Operation ival-tan, time spent: 175.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 70.0ms, 0.0% of total-time
Operation ival-acos, time spent: 61.0ms, 0.0% of total-time
Operation ival-pi, time spent: 50.0ms, 0.0% of total-time
Operation ival-asin, time spent: 16.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 15.0ms, 0.0% of total-time

simplify1.3min (4.7%)

Algorithm
231×egg-herbie
Rules
72129×fma-define
54826×distribute-lft-in
54783×associate-*r*
53945×*-commutative
48324×distribute-rgt-in
Stop Event
48×saturated
38×fuel
181×node limit
2×unsound
9×done
Counts
90930 → 79811
Compiler

Compiled 12910 to 8665 computations (32.9% saved)

regimes1.3min (4.6%)

Counts
15579 → 798
Calls

146 calls:

6.5s
lambda1
6.0s
phi1
5.6s
phi2
5.2s
lambda2
5.2s
b
Results
Compiler

Compiled 9427 to 6920 computations (26.6% saved)

soundness57.8s (3.5%)

Rules
80927×fma-define
49383×associate-*r*
48475×log1p-expm1-u
44153×distribute-lft-in
44086×fma-neg
Stop Event
16×saturated
208×node limit
2×unsound
Compiler

Compiled 43891 to 24450 computations (44.3% saved)

prune55.2s (3.3%)

Counts
154979 → 6417
Compiler

Compiled 405344 to 279893 computations (30.9% saved)

rewrite39.1s (2.3%)

Algorithm
184×batch-egg-rewrite
Rules
119857×log1p-expm1-u
90621×expm1-log1p-u
45003×pow1
43167×add-exp-log
41661×add-log-exp
Stop Event
181×node limit
3×unsound
Counts
1763 → 50474

analyze31.9s (1.9%)

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
Compiler

Compiled 1919 to 1338 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.4s
Operation ival-mult, time spent: 6.9s, 32.0% of total-time
Operation ival-div, time spent: 3.2s, 15.0% of total-time
Operation ival-pow, time spent: 3.2s, 15.0% of total-time
Operation ival-sin, time spent: 2.3s, 11.0% of total-time
Operation ival-cos, time spent: 2.1s, 10.0% of total-time
Operation ival-add, time spent: 952.0ms, 4.0% of total-time
Operation ival-sub, time spent: 755.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 426.0ms, 2.0% of total-time
Operation const, time spent: 333.0ms, 2.0% of total-time
Operation ival-<, time spent: 318.0ms, 1.0% of total-time
Operation ival-neg, time spent: 308.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 161.0ms, 1.0% of total-time
Operation ival-exp, time spent: 98.0ms, 0.0% of total-time
Operation ival-pi, time spent: 85.0ms, 0.0% of total-time
Operation ival-log, time spent: 62.0ms, 0.0% of total-time
Operation ival-tan, time spent: 57.0ms, 0.0% of total-time
Operation ival-atan, time spent: 52.0ms, 0.0% of total-time
Operation ival-asin, time spent: 40.0ms, 0.0% of total-time
Operation ival-and, time spent: 39.0ms, 0.0% of total-time
Operation ival-acos, time spent: 35.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 33.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 18.0ms, 0.0% of total-time
Operation ival-<=, time spent: 6.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

bsearch23.4s (1.4%)

Algorithm
306×binary-search
56×left-value
Stop Event
7×predicate-same
299×narrow-enough
Results
5.7s24114×0valid
7.4s8742×1valid
2.6s2190×2valid
2.0s1048×3valid
180.0ms968×0invalid
2.9s777×5exit
143.0ms722×0infinite
262.0ms380×1infinite
12.0ms4×4valid
Compiler

Compiled 80040 to 60181 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.8s
Operation backward-pass, time spent: 5.8s, 37.0% of total-time
Operation ival-mult, time spent: 1.7s, 11.0% of total-time
Operation ival-pow, time spent: 1.5s, 9.0% of total-time
Operation ival-cos, time spent: 1.3s, 8.0% of total-time
Operation ival-sin, time spent: 1.2s, 7.0% of total-time
Operation ival-sub, time spent: 1.0s, 7.0% of total-time
Operation ival-div, time spent: 838.0ms, 5.0% of total-time
Operation ival-acos, time spent: 646.0ms, 4.0% of total-time
Operation ival-add, time spent: 625.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 318.0ms, 2.0% of total-time
Operation ival-atan, time spent: 189.0ms, 1.0% of total-time
Operation const, time spent: 144.0ms, 1.0% of total-time
Operation ival-exp, time spent: 133.0ms, 1.0% of total-time
Operation ival-neg, time spent: 129.0ms, 1.0% of total-time
Operation ival-pi, time spent: 97.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 96.0ms, 1.0% of total-time
Operation ival-log, time spent: 64.0ms, 0.0% of total-time
Operation ival-asin, time spent: 25.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 18.0ms, 0.0% of total-time
Operation ival-tan, time spent: 14.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

series18.3s (1.1%)

Counts
1763 → 40456
Calls

9822 calls:

TimeVariablePointExpression
144.0ms
angle
@inf
(* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale))
128.0ms
t
@-inf
(/ (pow (+ 1 (exp s)) (neg c_p)) (pow (+ 1 (exp t)) (neg c_p)))
127.0ms
angle
@inf
(log (* 2 (+ (pow (* (sin (* (* 1/180 angle) (PI))) a) 2) (pow (* b (cos (* (* 1/180 angle) (PI)))) 2))))
110.0ms
lambda2
@-inf
(cbrt (* (cos (- lambda1 lambda2)) (sin phi1)))
110.0ms
x
@0
(pow (pow (+ (* x x) -1) 3) 1/6)

end35.0ms (0%)

Profiling

Loading profile data...