Herbie run

Date:Monday, March 25th, 2024
Commit:4c2804f6 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024085
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: 24.4min)

localize7.7min (31.5%)

Results
44.6s28141×256valid
55.5s4579×1024valid
7.9s3801×256invalid
40.2s2895×2048valid
4.3s2545×256infinite
2.9min2530×8192exit
12.8s2471×512valid
32.3s539×4096valid
3.7s284×1024infinite
2.6s160×2048infinite
1.7s144×512infinite
131.0ms109×256unsamplable
1.2s104×1024invalid
361.0ms55×512invalid
3.7s52×4096infinite
10.6s33×8192valid
9.0ms1×2048invalid
Compiler

Compiled 86883 to 48365 computations (44.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5min
Operation ival-sin, time spent: 1.4min, 21.0% of total-time
Operation ival-mult, time spent: 1.1min, 16.0% of total-time
Operation ival-pow, time spent: 1.1min, 16.0% of total-time
Operation ival-cos, time spent: 59.5s, 15.0% of total-time
Operation ival-div, time spent: 30.4s, 8.0% of total-time
Operation composed, time spent: 26.4s, 7.0% of total-time
Operation ival-log, time spent: 15.5s, 4.0% of total-time
Operation ival-exp, time spent: 11.5s, 3.0% of total-time
Operation ival-add, time spent: 9.6s, 2.0% of total-time
Operation ival-sub, time spent: 7.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 5.4s, 1.0% of total-time
Operation const, time spent: 4.2s, 1.0% of total-time
Operation ival-atan2, time spent: 3.4s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.6s, 1.0% of total-time
Operation ival-atan, time spent: 1.2s, 0.0% of total-time
Operation ival-neg, time spent: 537.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 397.0ms, 0.0% of total-time
Operation ival-tan, time spent: 362.0ms, 0.0% of total-time
Operation ival-acos, time spent: 336.0ms, 0.0% of total-time
Operation ival-pi, time spent: 166.0ms, 0.0% of total-time
Operation ival-asin, time spent: 44.0ms, 0.0% of total-time

sample6.1min (24.9%)

Results
50.0s262664×0valid
1.1min112933×1valid
13.0s49516×0unsamplable
4.3s27397×0invalid
5.2s26912×0infinite
55.6s25729×5exit
25.9s10158×2valid
52.4s7133×3valid
6.1s6711×1infinite
2.2s3694×1invalid
23.6s1378×4valid
3.2s909×2infinite
73.0ms887×0precondition
833.0ms814×2invalid
3.4s506×3infinite
38.0ms47×1unsamplable
19.0ms5×5valid
36.0ms3×4infinite
Precisions
Click to see histograms. Total time spent on operations: 4.4min
Operation ival-sin, time spent: 44.5s, 17.0% of total-time
Operation ival-mult, time spent: 36.1s, 14.0% of total-time
Operation ival-cos, time spent: 34.4s, 13.0% of total-time
Operation ival-pow, time spent: 32.9s, 12.0% of total-time
Operation ival-div, time spent: 29.7s, 11.0% of total-time
Operation backward-pass, time spent: 24.5s, 9.0% of total-time
Operation ival-exp, time spent: 18.9s, 7.0% of total-time
Operation ival-add, time spent: 10.8s, 4.0% of total-time
Operation ival-sub, time spent: 8.5s, 3.0% of total-time
Operation ival-<, time spent: 4.0s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.9s, 1.0% of total-time
Operation ival-log, time spent: 3.9s, 1.0% of total-time
Operation ival-neg, time spent: 3.9s, 1.0% of total-time
Operation const, time spent: 3.4s, 1.0% of total-time
Operation ival-pi, time spent: 772.0ms, 0.0% of total-time
Operation ival-acos, time spent: 743.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 690.0ms, 0.0% of total-time
Operation ival-and, time spent: 632.0ms, 0.0% of total-time
Operation ival-tan, time spent: 615.0ms, 0.0% of total-time
Operation ival-<=, time spent: 458.0ms, 0.0% of total-time
Operation ival-atan, time spent: 376.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 301.0ms, 0.0% of total-time
Operation ival-asin, time spent: 227.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 155.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

eval2.6min (10.5%)

Compiler

Compiled 6829986 to 4089918 computations (40.1% saved)

preprocess2.1min (8.8%)

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
9.2s17418×256valid
12.9s3008×1024valid
3.5s1870×512valid
1.7s1592×256infinite
12.2s1330×2048valid
32.5s654×4096valid
1.4s306×1024infinite
598.0ms144×512infinite
1.3s134×2048infinite
17.5s114×8192valid
1.7s54×4096infinite
Compiler

Compiled 79393 to 48103 computations (39.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 22.9s, 27.0% of total-time
Operation ival-cos, time spent: 17.1s, 20.0% of total-time
Operation ival-mult, time spent: 14.7s, 17.0% of total-time
Operation ival-div, time spent: 12.9s, 15.0% of total-time
Operation ival-pow, time spent: 10.4s, 12.0% of total-time
Operation ival-add, time spent: 2.2s, 3.0% of total-time
Operation ival-sub, time spent: 2.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 1.0% of total-time
Operation const, time spent: 896.0ms, 1.0% of total-time
Operation ival-log, time spent: 550.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 323.0ms, 0.0% of total-time
Operation ival-exp, time spent: 219.0ms, 0.0% of total-time
Operation ival-neg, time spent: 215.0ms, 0.0% of total-time
Operation ival-atan, time spent: 179.0ms, 0.0% of total-time
Operation ival-tan, time spent: 131.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 65.0ms, 0.0% of total-time
Operation ival-acos, time spent: 60.0ms, 0.0% of total-time
Operation ival-pi, time spent: 53.0ms, 0.0% of total-time
Operation ival-asin, time spent: 18.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time

simplify1.2min (5%)

Algorithm
232×egg-herbie
Rules
74973×fma-define
59839×distribute-lft-in
55238×*-commutative
53870×associate-*r*
50151×distribute-rgt-in
Stop Event
51×saturated
180×node limit
1×unsound
Counts
86407 → 75999

soundness1.0min (4.2%)

Rules
82602×fma-define
58818×log1p-expm1-u
50263×associate-*r*
47698×fma-neg
46516×distribute-lft-in
Stop Event
15×saturated
41×fuel
225×node limit
2×unsound
9×done
Compiler

Compiled 63101 to 37034 computations (41.3% saved)

prune54.5s (3.7%)

Counts
165219 → 6869
Compiler

Compiled 459301 to 321676 computations (30% saved)

regimes52.0s (3.6%)

Counts
18407 → 912
Calls

150 calls:

4.3s
phi1
4.0s
lambda1
3.9s
lambda2
3.5s
phi2
2.5s
(-.f64 lambda1 lambda2)
Compiler

Compiled 12051 to 8937 computations (25.8% saved)

rewrite37.9s (2.6%)

Algorithm
182×batch-egg-rewrite
Rules
117892×log1p-expm1-u
87940×expm1-log1p-u
46338×pow1
43322×add-exp-log
40891×add-log-exp
Stop Event
178×node limit
4×unsound
Counts
1673 → 47571

analyze30.4s (2.1%)

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: 20.6s
Operation ival-mult, time spent: 6.3s, 30.0% of total-time
Operation ival-div, time spent: 3.2s, 16.0% of total-time
Operation ival-pow, time spent: 3.1s, 15.0% of total-time
Operation ival-cos, time spent: 1.9s, 9.0% of total-time
Operation ival-sin, time spent: 1.9s, 9.0% of total-time
Operation ival-sub, time spent: 1.1s, 5.0% of total-time
Operation ival-add, time spent: 869.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 598.0ms, 3.0% of total-time
Operation ival-neg, time spent: 373.0ms, 2.0% of total-time
Operation const, time spent: 320.0ms, 2.0% of total-time
Operation ival-<, time spent: 267.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 142.0ms, 1.0% of total-time
Operation ival-exp, time spent: 94.0ms, 0.0% of total-time
Operation ival-pi, time spent: 75.0ms, 0.0% of total-time
Operation ival-tan, time spent: 64.0ms, 0.0% of total-time
Operation ival-atan, time spent: 56.0ms, 0.0% of total-time
Operation ival-log, time spent: 56.0ms, 0.0% of total-time
Operation ival-and, time spent: 53.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 40.0ms, 0.0% of total-time
Operation ival-asin, time spent: 38.0ms, 0.0% of total-time
Operation ival-acos, time spent: 36.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 22.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
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

bsearch22.9s (1.6%)

Algorithm
353×binary-search
65×left-value
Stop Event
18×predicate-same
335×narrow-enough
Results
6.4s28776×0valid
8.0s9839×1valid
1.1s1769×2valid
660.0ms1280×0infinite
510.0ms1069×0invalid
1.2s943×3valid
586.0ms593×1infinite
2.0ms35×0unsamplable
1.0ms2×1invalid
Compiler

Compiled 119034 to 89737 computations (24.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.8s
Operation ival-mult, time spent: 2.6s, 19.0% of total-time
Operation ival-sin, time spent: 2.4s, 18.0% of total-time
Operation ival-cos, time spent: 1.7s, 12.0% of total-time
Operation ival-div, time spent: 1.4s, 10.0% of total-time
Operation ival-pow, time spent: 1.3s, 10.0% of total-time
Operation backward-pass, time spent: 1.1s, 8.0% of total-time
Operation ival-sub, time spent: 846.0ms, 6.0% of total-time
Operation ival-add, time spent: 599.0ms, 4.0% of total-time
Operation ival-neg, time spent: 439.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 435.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 194.0ms, 1.0% of total-time
Operation const, time spent: 190.0ms, 1.0% of total-time
Operation ival-atan, time spent: 123.0ms, 1.0% of total-time
Operation ival-exp, time spent: 115.0ms, 1.0% of total-time
Operation ival-acos, time spent: 91.0ms, 1.0% of total-time
Operation ival-pi, time spent: 88.0ms, 1.0% of total-time
Operation ival-log, time spent: 70.0ms, 1.0% of total-time
Operation ival-asin, time spent: 38.0ms, 0.0% of total-time
Operation ival-tan, time spent: 12.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

series17.0s (1.2%)

Counts
1673 → 38836
Calls

9657 calls:

TimeVariablePointExpression
348.0ms
b
@0
(/ (pow c 4) (pow b 6))
306.0ms
A
@inf
(/ (neg (sqrt (* (* 2 (* (- (pow B 2) (* (* 4 A) C)) F)) (- (+ A C) (sqrt (+ (pow (- A C) 2) (pow B 2))))))) (- (pow B 2) (* (* 4 A) C)))
163.0ms
a
@-inf
(* -3/8 (/ (* a c) (pow b 3)))
120.0ms
y-scale
@-inf
(- (- (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)) (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2))) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* angle (/ (PI) 180)))) 2) (pow (* (cos (* angle (/ (PI) 180))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* angle (/ (PI) 180)))) 2) (pow (* b (sin (* angle (/ (PI) 180)))) 2)) (pow y-scale 2)))) (* (/ (* 2 (* (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) (cos (* angle (/ (PI) 180))))) (* y-scale x-scale)) (/ (* 2 (* (* (sin (* angle (/ (PI) 180))) (- (pow b 2) (pow a 2))) (cos (* angle (/ (PI) 180))))) (* y-scale x-scale))))))
112.0ms
s
@inf
(/ (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (+ 1 (/ 1 (- -1 (exp (neg s))))) c_n)) (pow (+ 1 (/ 1 (- -1 (exp (neg t))))) c_n)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))

end6.3s (0.4%)

Precisions
Click to see histograms. Total time spent on operations: 6.4s
Operation ival-mult, time spent: 3.8s, 59.0% of total-time
Operation ival-pow, time spent: 2.6s, 41.0% of total-time

Profiling

Loading profile data...