Herbie run

Date:Sunday, March 17th, 2024
Commit:614f1775 on main
Hostname:nightly with Racket 8.11.1
Seed:2024077
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.3min)

localize8.8min (32.1%)

Results
51.0s28103×256valid
38.9s4349×512valid
12.4s4260×256invalid
4.5min3265×8192exit
18.1s2954×1024valid
3.9s2590×256infinite
23.3s1863×2048valid
26.7s509×4096valid
4.5s374×512infinite
897.0ms117×512invalid
1.1s94×1024infinite
2.6s79×2048infinite
22.0ms71×256unsamplable
2.8s52×4096infinite
6.1s15×8192valid
Compiler

Compiled 88850 to 49457 computations (44.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4min
Operation ival-sin, time spent: 1.8min, 24.0% of total-time
Operation ival-cos, time spent: 1.7min, 22.0% of total-time
Operation ival-mult, time spent: 1.2min, 17.0% of total-time
Operation ival-pow, time spent: 57.6s, 13.0% of total-time
Operation ival-div, time spent: 29.8s, 7.0% of total-time
Operation composed, time spent: 24.5s, 6.0% of total-time
Operation ival-log, time spent: 9.9s, 2.0% of total-time
Operation ival-add, time spent: 8.6s, 2.0% of total-time
Operation ival-exp, time spent: 8.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.5s, 1.0% of total-time
Operation ival-sub, time spent: 6.0s, 1.0% of total-time
Operation const, time spent: 5.2s, 1.0% of total-time
Operation ival-cbrt, time spent: 2.1s, 0.0% of total-time
Operation ival-atan, time spent: 1.6s, 0.0% of total-time
Operation ival-atan2, time spent: 1.4s, 0.0% of total-time
Operation ival-tan, time spent: 865.0ms, 0.0% of total-time
Operation ival-acos, time spent: 850.0ms, 0.0% of total-time
Operation ival-pi, time spent: 582.0ms, 0.0% of total-time
Operation ival-neg, time spent: 436.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 201.0ms, 0.0% of total-time
Operation ival-asin, time spent: 93.0ms, 0.0% of total-time

sample7.7min (28.3%)

Results
1.1min298998×256valid
39.1s45780×512valid
4.7s27973×256invalid
5.9s27102×256infinite
6.6s25964×256unsamplable
19.5s25473×1024valid
2.6min16434×8192exit
29.7s11056×2048valid
52.2s7303×4096valid
5.3s5829×512infinite
1.5s1624×1024invalid
582.0ms1215×512invalid
21.6s1133×8192valid
1.1s1119×2048invalid
85.0ms891×256precondition
3.4s712×2048infinite
1.4s507×1024infinite
2.9s402×4096infinite
4.0ms5×512unsamplable
5.0ms3×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.1min
Operation ival-pow, time spent: 2.5min, 42.0% of total-time
Operation ival-sin, time spent: 43.5s, 12.0% of total-time
Operation ival-mult, time spent: 41.2s, 11.0% of total-time
Operation ival-cos, time spent: 34.2s, 9.0% of total-time
Operation ival-div, time spent: 32.6s, 9.0% of total-time
Operation ival-exp, time spent: 10.6s, 3.0% of total-time
Operation ival-add, time spent: 9.3s, 3.0% of total-time
Operation ival-log, time spent: 9.2s, 3.0% of total-time
Operation ival-sub, time spent: 8.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.3s, 1.0% of total-time
Operation const, time spent: 3.5s, 1.0% of total-time
Operation ival-neg, time spent: 3.2s, 1.0% of total-time
Operation ival-<, time spent: 2.8s, 1.0% of total-time
Operation ival-atan2, time spent: 1.6s, 0.0% of total-time
Operation ival-pi, time spent: 1.2s, 0.0% of total-time
Operation ival-atan, time spent: 1.0s, 0.0% of total-time
Operation ival-tan, time spent: 960.0ms, 0.0% of total-time
Operation ival-acos, time spent: 804.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 551.0ms, 0.0% of total-time
Operation ival-and, time spent: 495.0ms, 0.0% of total-time
Operation ival-asin, time spent: 329.0ms, 0.0% of total-time
Operation ival-<=, time spent: 217.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 156.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 (9.5%)

Compiler

Compiled 6664819 to 3999331 computations (40% saved)

preprocess2.1min (7.6%)

Algorithm
51×egg-herbie
Rules
31500×fma-define
18832×fma-neg
12964×div-sub
11458×unsub-neg
11133×sub-neg
Stop Event
21×saturated
30×node limit
Results
11.3s16964×256valid
12.2s3262×512valid
7.4s1882×1024valid
1.3s1548×256infinite
12.7s1142×2048valid
28.9s578×4096valid
2.5s520×512infinite
1.5s96×2048infinite
11.7s68×8192valid
1.6s32×4096infinite
287.0ms20×1024infinite
Compiler

Compiled 81284 to 48536 computations (40.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 19.9s, 24.0% of total-time
Operation ival-cos, time spent: 15.8s, 19.0% of total-time
Operation ival-mult, time spent: 15.1s, 19.0% of total-time
Operation ival-div, time spent: 11.2s, 14.0% of total-time
Operation ival-pow, time spent: 10.5s, 13.0% of total-time
Operation ival-add, time spent: 2.6s, 3.0% of total-time
Operation ival-sub, time spent: 1.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 2.0% of total-time
Operation const, time spent: 1.0s, 1.0% of total-time
Operation ival-log, time spent: 504.0ms, 1.0% of total-time
Operation ival-exp, time spent: 378.0ms, 0.0% of total-time
Operation ival-tan, time spent: 360.0ms, 0.0% of total-time
Operation ival-neg, time spent: 302.0ms, 0.0% of total-time
Operation ival-atan, time spent: 204.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 172.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 148.0ms, 0.0% of total-time
Operation ival-pi, time spent: 97.0ms, 0.0% of total-time
Operation ival-acos, time spent: 54.0ms, 0.0% of total-time
Operation ival-asin, time spent: 32.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 20.0ms, 0.0% of total-time

simplify1.2min (4.4%)

Algorithm
234×egg-herbie
Rules
75254×fma-define
58874×associate-*r*
54699×*-commutative
52556×distribute-lft-in
46684×distribute-rgt-in
Stop Event
50×saturated
40×fuel
182×node limit
2×unsound
9×done
Counts
90611 → 77615
Compiler

Compiled 18247 to 12444 computations (31.8% saved)

regimes1.1min (3.9%)

Counts
21010 → 934
Calls

138 calls:

5.1s
phi2
5.1s
phi1
3.9s
lambda1
3.9s
lambda2
3.3s
b
Compiler

Compiled 11836 to 8732 computations (26.2% saved)

soundness1.0min (3.8%)

Rules
78002×fma-define
55829×log1p-expm1-u
52186×associate-*r*
44625×expm1-log1p-u
44120×fma-neg
Stop Event
14×saturated
214×node limit
2×unsound
Compiler

Compiled 49515 to 28955 computations (41.5% saved)

prune53.1s (3.2%)

Counts
155955 → 6630
Compiler

Compiled 438313 to 303375 computations (30.8% saved)

analyze38.3s (2.3%)

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 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 27.2s
Operation ival-mult, time spent: 7.9s, 29.0% of total-time
Operation ival-pow, time spent: 3.9s, 14.0% of total-time
Operation ival-div, time spent: 3.7s, 14.0% of total-time
Operation ival-cos, time spent: 3.5s, 13.0% of total-time
Operation ival-sin, time spent: 3.5s, 13.0% of total-time
Operation ival-add, time spent: 1.2s, 4.0% of total-time
Operation ival-sub, time spent: 943.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 521.0ms, 2.0% of total-time
Operation ival-neg, time spent: 462.0ms, 2.0% of total-time
Operation const, time spent: 423.0ms, 2.0% of total-time
Operation ival-<, time spent: 293.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 228.0ms, 1.0% of total-time
Operation ival-log, time spent: 102.0ms, 0.0% of total-time
Operation ival-pi, time spent: 96.0ms, 0.0% of total-time
Operation ival-exp, time spent: 80.0ms, 0.0% of total-time
Operation ival-tan, time spent: 72.0ms, 0.0% of total-time
Operation ival-and, time spent: 64.0ms, 0.0% of total-time
Operation ival-atan, time spent: 57.0ms, 0.0% of total-time
Operation ival-asin, time spent: 47.0ms, 0.0% of total-time
Operation ival-acos, time spent: 39.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 38.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 26.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

rewrite37.3s (2.3%)

Algorithm
185×batch-egg-rewrite
Rules
119409×log1p-expm1-u
90110×expm1-log1p-u
44897×pow1
43385×add-exp-log
40962×add-log-exp
Stop Event
181×node limit
4×unsound
Counts
1734 → 49571

bsearch23.5s (1.4%)

Algorithm
346×binary-search
108×left-value
Stop Event
10×predicate-same
336×narrow-enough
Results
8.3s29465×256valid
5.5s6137×512valid
2.1s2029×2048valid
1.5s1493×4096valid
1.2s1440×1024valid
172.0ms1165×256invalid
180.0ms420×256infinite
238.0ms130×512infinite
1.0ms12×256unsamplable
22.0ms5×2048infinite
5.0ms1×1024infinite
Compiler

Compiled 109965 to 83501 computations (24.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.4s
Operation ival-mult, time spent: 2.8s, 20.0% of total-time
Operation ival-sin, time spent: 2.7s, 19.0% of total-time
Operation ival-cos, time spent: 1.8s, 12.0% of total-time
Operation ival-pow, time spent: 1.6s, 11.0% of total-time
Operation ival-div, time spent: 1.4s, 10.0% of total-time
Operation ival-sub, time spent: 1.1s, 7.0% of total-time
Operation ival-atan, time spent: 596.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 571.0ms, 4.0% of total-time
Operation ival-add, time spent: 570.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 382.0ms, 3.0% of total-time
Operation const, time spent: 225.0ms, 2.0% of total-time
Operation ival-acos, time spent: 216.0ms, 2.0% of total-time
Operation ival-neg, time spent: 122.0ms, 1.0% of total-time
Operation ival-pi, time spent: 115.0ms, 1.0% of total-time
Operation ival-log, time spent: 80.0ms, 1.0% of total-time
Operation ival-exp, time spent: 65.0ms, 0.0% of total-time
Operation ival-tan, time spent: 43.0ms, 0.0% of total-time
Operation ival-asin, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time

series17.1s (1%)

Counts
1734 → 41040
Calls

9951 calls:

TimeVariablePointExpression
365.0ms
angle
@-inf
(log (+ 1 (* 1/4 (* (* (* (sqrt 2) (sqrt (+ (* (* a (cos (* 1/180 (* (PI) angle)))) (* a (cos (* 1/180 (* (PI) angle))))) (* (* (sin (* 1/180 (* (PI) angle))) b) (* (sin (* 1/180 (* (PI) angle))) b))))) (* (/ (sqrt 8) x-scale) (pow y-scale -2))) (pow (* x-scale y-scale) 2)))))
225.0ms
a
@inf
(/ (neg (sqrt (* (* 2 (* (* 4 (/ (* a (* b (* b (neg a)))) (pow (* x-scale y-scale) 2))) (* a (* b (* b (neg a)))))) (+ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow x-scale 2)) (+ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)) (sqrt (+ (pow (- (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2))) 2) (pow (/ (* (* 2 (- (pow b 2) (pow a 2))) (* (sin (* (/ angle 180) (PI))) (cos (* (/ angle 180) (PI))))) (* x-scale y-scale)) 2)))))))) (* 4 (* a (* b (* b (neg a))))))
217.0ms
lambda1
@inf
(log (+ (cos phi1) (cos (- lambda1 lambda2))))
215.0ms
C
@-inf
(log (* 4 (* A C)))
198.0ms
b
@inf
(exp (neg (log (+ 1 (exp (- b a))))))

end43.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 6.6s
Operation ival-sin, time spent: 4.3s, 66.0% of total-time
Operation ival-pow, time spent: 2.2s, 34.0% of total-time

Profiling

Loading profile data...