Herbie run

Date:Monday, April 15th, 2024
Commit:d87fb667 on main
Hostname:nightly with Racket 8.11.1
Seed:2024106
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: 21.5min)

localize6.4min (29.7%)

Results
41.8s27996×0valid
1.4min11390×1valid
5.7s2931×0invalid
2.2min2810×5exit
27.3s2501×2valid
27.7s361×3valid
4.0s277×1invalid
31.0ms70×0unsamplable
12.4s47×4valid
38.0ms7×2invalid
11.0ms2×3invalid
10.0ms1×5valid
Compiler

Compiled 91753 to 51098 computations (44.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.1min
ival-pow: 59.3s (19.4% of total)
ival-mult: 56.7s (18.5% of total)
ival-sin: 55.8s (18.3% of total)
ival-cos: 38.1s (12.5% of total)
backward-pass: 24.6s (8.1% of total)
ival-div: 24.1s (7.9% of total)
ival-log: 7.2s (2.4% of total)
ival-add: 7.0s (2.3% of total)
ival-expm1: 5.1s (1.7% of total)
ival-exp: 4.3s (1.4% of total)
ival-sub: 4.2s (1.4% of total)
const: 3.6s (1.2% of total)
ival-hypot: 3.5s (1.1% of total)
ival-sqrt: 3.4s (1.1% of total)
ival-fma: 2.8s (0.9% of total)
ival-log1p: 2.3s (0.7% of total)
ival-cbrt: 1.2s (0.4% of total)
ival-atan2: 995.0ms (0.3% of total)
ival-neg: 469.0ms (0.2% of total)
ival-atan: 348.0ms (0.1% of total)
ival-tan: 340.0ms (0.1% of total)
ival-acos: 142.0ms (0% of total)
ival-pi: 138.0ms (0% of total)
ival-fabs: 112.0ms (0% of total)
ival-asin: 59.0ms (0% of total)

sample5.3min (24.8%)

Results
52.1s288916×0valid
1.1min116750×1valid
12.6s50268×0unsamplable
4.9s27538×0invalid
33.8s26036×5exit
29.2s15072×2valid
53.9s7620×3valid
2.6s3713×1invalid
15.5s952×4valid
73.0ms876×0precondition
641.0ms824×2invalid
38.0ms50×1unsamplable
6.0ms2×5valid
Precisions
Click to see histograms. Total time spent on operations: 4.0min
ival-sin: 44.7s (18.8% of total)
ival-mult: 35.8s (15.1% of total)
ival-cos: 34.7s (14.6% of total)
ival-pow: 30.1s (12.6% of total)
ival-div: 26.7s (11.2% of total)
backward-pass: 19.1s (8% of total)
ival-add: 10.0s (4.2% of total)
ival-sub: 7.9s (3.3% of total)
ival-exp: 6.0s (2.5% of total)
ival-sqrt: 5.0s (2.1% of total)
ival-log: 4.5s (1.9% of total)
ival-neg: 3.3s (1.4% of total)
const: 2.9s (1.2% of total)
ival-<: 2.6s (1.1% of total)
ival-pi: 767.0ms (0.3% of total)
ival-atan2: 753.0ms (0.3% of total)
ival-tan: 636.0ms (0.3% of total)
ival-atan: 430.0ms (0.2% of total)
ival-acos: 426.0ms (0.2% of total)
ival-and: 419.0ms (0.2% of total)
ival-cbrt: 288.0ms (0.1% of total)
ival-<=: 262.0ms (0.1% of total)
ival-fabs: 252.0ms (0.1% of total)
ival-asin: 220.0ms (0.1% of total)
ival-==: 2.0ms (0% of total)
ival-or: 0.0ms (0% of total)
Bogosity

eval1.9min (8.6%)

Compiler

Compiled 7493632 to 4596895 computations (38.7% saved)

explain1.4min (6.7%)

Results
8.1s16148×0valid
20.3s8320×1valid
13.2s1508×2valid
21.3s556×3valid
10.3s92×4valid
Compiler

Compiled 20263 to 11933 computations (41.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-sin: 14.5s (21.5% of total)
ival-mult: 12.9s (19.1% of total)
ival-cos: 11.6s (17.2% of total)
ival-div: 8.8s (13% of total)
ival-pow: 8.8s (13% of total)
backward-pass: 5.2s (7.7% of total)
ival-add: 1.8s (2.6% of total)
ival-sub: 1.3s (1.9% of total)
ival-sqrt: 756.0ms (1.1% of total)
const: 693.0ms (1% of total)
ival-log: 355.0ms (0.5% of total)
ival-exp: 221.0ms (0.3% of total)
ival-tan: 200.0ms (0.3% of total)
ival-neg: 191.0ms (0.3% of total)
ival-atan2: 82.0ms (0.1% of total)
ival-cbrt: 80.0ms (0.1% of total)
ival-atan: 64.0ms (0.1% of total)
ival-pi: 46.0ms (0.1% of total)
ival-acos: 24.0ms (0% of total)
ival-fabs: 17.0ms (0% of total)
ival-asin: 12.0ms (0% of total)

simplify1.4min (6.4%)

Algorithm
233×egg-herbie
Rules
73370×fma-define
55414×associate-*r*
55271×*-commutative
54365×distribute-lft-in
47553×distribute-rgt-in
Stop Event
51×saturated
182×node limit
Counts
91073 → 79669

soundness1.1min (5.1%)

Rules
80823×fma-define
58313×log1p-expm1-u
47320×associate-*r*
46127×fma-neg
44798×expm1-log1p-u
Stop Event
15×saturated
39×fuel
217×node limit
11×done
Compiler

Compiled 66978 to 38702 computations (42.2% saved)

regimes1.0min (4.7%)

Counts
19135 → 876
Calls

148 calls:

4.7s
phi1
4.6s
phi2
3.7s
lambda2
3.4s
lambda1
2.9s
b
Compiler

Compiled 11830 to 8794 computations (25.7% saved)

prune55.3s (4.3%)

Counts
167685 → 6751
Compiler

Compiled 446926 to 310997 computations (30.4% saved)

rewrite39.2s (3%)

Algorithm
183×batch-egg-rewrite
Rules
117979×log1p-expm1-u
87232×expm1-log1p-u
45778×pow1
43748×add-exp-log
40501×add-log-exp
Stop Event
180×node limit
3×unsound
Counts
1737 → 50070

analyze32.2s (2.5%)

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: 22.7s
ival-mult: 6.4s (28.1% of total)
ival-pow: 4.6s (20.3% of total)
ival-div: 3.3s (14.5% of total)
ival-cos: 2.5s (10.8% of total)
ival-sin: 2.1s (9.1% of total)
ival-add: 893.0ms (3.9% of total)
ival-sub: 796.0ms (3.5% of total)
ival-sqrt: 637.0ms (2.8% of total)
const: 315.0ms (1.4% of total)
ival-neg: 263.0ms (1.2% of total)
ival-<: 239.0ms (1.1% of total)
ival-atan2: 144.0ms (0.6% of total)
ival-log: 102.0ms (0.4% of total)
ival-pi: 94.0ms (0.4% of total)
ival-exp: 75.0ms (0.3% of total)
ival-tan: 58.0ms (0.3% of total)
ival-atan: 57.0ms (0.3% of total)
ival-and: 51.0ms (0.2% of total)
ival-asin: 46.0ms (0.2% of total)
backward-pass: 36.0ms (0.2% of total)
ival-acos: 36.0ms (0.2% of total)
ival-fabs: 34.0ms (0.1% of total)
ival-cbrt: 17.0ms (0.1% of total)
ival-<=: 3.0ms (0% of total)
ival-or: 0.0ms (0% of total)
ival-==: 0.0ms (0% of total)

series22.2s (1.7%)

Counts
1737 → 41003
Calls

10282 calls:

TimeVariablePointExpression
364.0ms
c
@inf
(/ 1 (/ (* a 3) (+ (* -1 b) (sqrt (* (+ b (sqrt (* a (* c 3)))) (- b (sqrt (* a (* c 3)))))))))
240.0ms
B
@-inf
(log (+ 1 (sqrt (* 2 (/ F B)))))
239.0ms
a
@0
(* a (- 1/2 (* 1/4 b)))
169.0ms
F
@0
(* (sqrt 2) (neg (pow (pow (/ F B) 3/2) 1/3)))
159.0ms
B
@-inf
(pow (/ F B) 1/6)

bsearch18.0s (1.4%)

Algorithm
307×binary-search
101×left-value
Stop Event
12×predicate-same
295×narrow-enough
Results
4.2s24072×0valid
8.0s10880×1valid
741.0ms1237×2valid
124.0ms1121×0invalid
1.0s756×5exit
367.0ms482×3valid
1.0ms14×0unsamplable
2.0ms1×4valid
Compiler

Compiled 97415 to 71551 computations (26.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0s
ival-sin: 2.6s (22% of total)
ival-cos: 2.1s (17.6% of total)
ival-mult: 1.9s (15.9% of total)
ival-div: 1.1s (9% of total)
ival-pow: 984.0ms (8.2% of total)
backward-pass: 860.0ms (7.2% of total)
ival-sub: 687.0ms (5.7% of total)
ival-add: 403.0ms (3.4% of total)
ival-sqrt: 297.0ms (2.5% of total)
ival-atan2: 214.0ms (1.8% of total)
ival-exp: 165.0ms (1.4% of total)
ival-acos: 145.0ms (1.2% of total)
const: 120.0ms (1% of total)
ival-neg: 108.0ms (0.9% of total)
ival-pi: 104.0ms (0.9% of total)
ival-atan: 75.0ms (0.6% of total)
ival-log: 71.0ms (0.6% of total)
ival-asin: 39.0ms (0.3% of total)
ival-tan: 7.0ms (0.1% of total)
ival-fabs: 1.0ms (0% of total)

preprocess14.9s (1.2%)

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
Compiler

Compiled 55994 to 32970 computations (41.1% saved)

end0.0ms (0%)

Calls

1 calls:

TimeVariablePointExpression
0.0ms
angle
@inf
(+ (* -2 (* (+ (* (pow a 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (* (pow b 2) (pow (cos (* 1/180 (* angle (PI)))) 2))) (+ (/ (* (pow a 2) (pow (cos (* 1/180 (* angle (PI)))) 2)) (pow y-scale 2)) (/ (* (pow b 2) (pow (sin (* 1/180 (* angle (PI)))) 2)) (pow y-scale 2))))) (* 4 (/ (* (pow (cos (* 1/180 (* angle (PI)))) 2) (* (pow (sin (* 1/180 (* angle (PI)))) 2) (pow (- (pow b 2) (pow a 2)) 2))) (pow y-scale 2))))

Profiling

Loading profile data...