Herbie run

Date:Wednesday, March 6th, 2024
Commit:520154c9 on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024066
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: 31.7min)

sample7.7min (24.4%)

Results
1.3min298533×256valid
40.0s46026×512valid
5.3s27605×256invalid
6.6s27089×256infinite
7.6s26263×256unsamplable
19.9s25553×1024valid
2.6min16228×8192exit
28.6s11021×2048valid
53.4s7389×4096valid
6.4s5933×512infinite
1.1s1684×1024invalid
583.0ms1206×512invalid
1.2s1172×2048invalid
20.3s1124×8192valid
117.0ms919×256precondition
3.2s699×2048infinite
1.6s522×1024infinite
3.7s417×4096infinite
8.0ms8×512unsamplable
5.0ms3×1024unsamplable
3.0ms1×2048unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.1min
Operation ival-pow, time spent: 2.5min, 41.0% of total-time
Operation ival-sin, time spent: 46.2s, 13.0% of total-time
Operation ival-mult, time spent: 40.3s, 11.0% of total-time
Operation ival-cos, time spent: 35.9s, 10.0% of total-time
Operation ival-div, time spent: 31.1s, 9.0% of total-time
Operation ival-add, time spent: 11.4s, 3.0% of total-time
Operation ival-exp, time spent: 11.1s, 3.0% of total-time
Operation ival-log, time spent: 9.4s, 3.0% of total-time
Operation ival-sub, time spent: 8.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 4.7s, 1.0% of total-time
Operation const, time spent: 3.6s, 1.0% of total-time
Operation ival-neg, time spent: 2.6s, 1.0% of total-time
Operation ival-<, time spent: 2.2s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 0.0% of total-time
Operation ival-pi, time spent: 1.4s, 0.0% of total-time
Operation ival-atan, time spent: 1.4s, 0.0% of total-time
Operation ival-acos, time spent: 773.0ms, 0.0% of total-time
Operation ival-tan, time spent: 646.0ms, 0.0% of total-time
Operation ival-and, time spent: 506.0ms, 0.0% of total-time
Operation ival-asin, time spent: 299.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 259.0ms, 0.0% of total-time
Operation ival-<=, time spent: 212.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 91.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

localize7.7min (24.2%)

Results
Compiler

Compiled 82767 to 46321 computations (44% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4min
Operation ival-sin, time spent: 2.8min, 44.0% of total-time
Operation ival-mult, time spent: 53.1s, 14.0% of total-time
Operation ival-cos, time spent: 44.7s, 12.0% of total-time
Operation ival-pow, time spent: 41.4s, 11.0% of total-time
Operation ival-div, time spent: 25.6s, 7.0% of total-time
Operation composed, time spent: 12.7s, 3.0% of total-time
Operation ival-add, time spent: 7.9s, 2.0% of total-time
Operation ival-log, time spent: 5.9s, 2.0% of total-time
Operation ival-sub, time spent: 5.2s, 1.0% of total-time
Operation ival-sqrt, time spent: 4.8s, 1.0% of total-time
Operation const, time spent: 4.1s, 1.0% of total-time
Operation ival-exp, time spent: 3.9s, 1.0% of total-time
Operation ival-cbrt, time spent: 3.0s, 1.0% of total-time
Operation ival-atan2, time spent: 1.9s, 1.0% of total-time
Operation ival-atan, time spent: 884.0ms, 0.0% of total-time
Operation ival-acos, time spent: 521.0ms, 0.0% of total-time
Operation ival-neg, time spent: 486.0ms, 0.0% of total-time
Operation ival-tan, time spent: 481.0ms, 0.0% of total-time
Operation ival-pi, time spent: 336.0ms, 0.0% of total-time
Operation ival-asin, time spent: 189.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 93.0ms, 0.0% of total-time

preprocess6.9min (21.8%)

Algorithm
49×egg-herbie
Rules
60696×fma-define
35908×fma-neg
25820×div-sub
21520×sub-neg
21084×unsub-neg
Stop Event
21×saturated
28×node limit
Results
Compiler

Compiled 64160 to 40254 computations (37.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 22.2s, 26.0% of total-time
Operation ival-cos, time spent: 17.7s, 21.0% of total-time
Operation ival-mult, time spent: 16.5s, 20.0% of total-time
Operation ival-div, time spent: 11.6s, 14.0% of total-time
Operation ival-pow, time spent: 8.4s, 10.0% of total-time
Operation ival-add, time spent: 2.3s, 3.0% of total-time
Operation ival-sub, time spent: 1.8s, 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: 517.0ms, 1.0% of total-time
Operation ival-tan, time spent: 299.0ms, 0.0% of total-time
Operation ival-exp, time spent: 250.0ms, 0.0% of total-time
Operation ival-atan, time spent: 207.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 163.0ms, 0.0% of total-time
Operation ival-neg, time spent: 142.0ms, 0.0% of total-time
Operation ival-pi, time spent: 92.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 72.0ms, 0.0% of total-time
Operation ival-acos, time spent: 56.0ms, 0.0% of total-time
Operation ival-asin, time spent: 32.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time

eval2.7min (8.4%)

Compiler

Compiled 6326981 to 3826790 computations (39.5% saved)

regimes2.2min (6.8%)

Counts
20139 → 699
Calls

134 calls:

11.5s
phi1
10.4s
lambda1
9.8s
phi2
8.1s
lambda2
7.0s
(-.f64 lambda1 lambda2)
Results
Compiler

Compiled 12312 to 9036 computations (26.6% saved)

simplify1.1min (3.6%)

Algorithm
218×egg-herbie
Rules
141626×fma-define
105758×distribute-lft-in
105458×associate-*r*
102824×*-commutative
89700×distribute-rgt-in
Stop Event
47×saturated
36×fuel
170×node limit
1×unsound
9×done
Counts
84004 → 71929
Compiler

Compiled 11174 to 7793 computations (30.3% saved)

soundness60.0s (3.2%)

Rules
155190×fma-define
94702×associate-*r*
83142×fma-neg
78062×distribute-lft-in
73250×*-commutative
Stop Event
15×saturated
213×node limit
2×unsound
Results
Compiler

Compiled 41776 to 23761 computations (43.1% saved)

prune48.6s (2.6%)

Counts
149358 → 6448
Compiler

Compiled 420198 to 291118 computations (30.7% saved)

analyze39.2s (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 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.4s
Operation ival-mult, time spent: 7.8s, 27.0% of total-time
Operation ival-sin, time spent: 4.4s, 15.0% of total-time
Operation ival-cos, time spent: 4.1s, 15.0% of total-time
Operation ival-pow, time spent: 3.9s, 14.0% of total-time
Operation ival-div, time spent: 3.7s, 13.0% of total-time
Operation ival-add, time spent: 1.4s, 5.0% of total-time
Operation ival-sub, time spent: 964.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 481.0ms, 2.0% of total-time
Operation const, time spent: 436.0ms, 2.0% of total-time
Operation ival-neg, time spent: 229.0ms, 1.0% of total-time
Operation ival-<, time spent: 199.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 168.0ms, 1.0% of total-time
Operation ival-exp, time spent: 135.0ms, 0.0% of total-time
Operation ival-pi, time spent: 109.0ms, 0.0% of total-time
Operation ival-log, time spent: 97.0ms, 0.0% of total-time
Operation ival-tan, time spent: 93.0ms, 0.0% of total-time
Operation ival-atan, time spent: 61.0ms, 0.0% of total-time
Operation ival-and, time spent: 44.0ms, 0.0% of total-time
Operation ival-acos, time spent: 42.0ms, 0.0% of total-time
Operation ival-asin, time spent: 41.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 30.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 24.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

rewrite35.9s (1.9%)

Algorithm
173×batch-egg-rewrite
Rules
111460×log1p-expm1-u
83281×expm1-log1p-u
50734×prod-diff
50518×log-prod
40742×pow1
Stop Event
170×node limit
3×unsound
Counts
1637 → 46698

series14.3s (0.8%)

Counts
1637 → 37306
Calls

9096 calls:

TimeVariablePointExpression
397.0ms
lambda1
@inf
(log (+ 1 (sin (- lambda1 lambda2))))
370.0ms
lambda1
@-inf
(+ lambda1 (atan2 (* delta (sin theta)) (cos delta)))
103.0ms
b
@0
(/ (- (- (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)) (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (pow x-scale 2))) (sqrt (+ (* (- (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2))) (- (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* (cos (* (/ angle 180) (PI))) b) 2)) (pow x-scale 2)) (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) (pow y-scale 2)))) (* (* (cos (* (/ angle 180) (PI))) (/ (* 2 (* (sin (* (/ angle 180) (PI))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))) (* (cos (* (/ angle 180) (PI))) (/ (* 2 (* (sin (* (/ angle 180) (PI))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))))))) (* (cos (* (/ angle 180) (PI))) (/ (* 2 (* (sin (* (/ angle 180) (PI))) (- (pow b 2) (pow a 2)))) (* y-scale x-scale))))
83.0ms
b
@inf
(+ (neg b) (sqrt (- (* b b) (* (* 3 a) c))))
81.0ms
angle
@inf
(cbrt (* (sqrt 2) (sqrt (+ (* (* (sin (* (* 1/180 angle) (PI))) a) (* (sin (* (* 1/180 angle) (PI))) a)) (* (* (cos (* (* 1/180 angle) (PI))) b) (* (cos (* (* 1/180 angle) (PI))) b))))))

bsearch7.7s (0.4%)

Algorithm
158×binary-search
45×left-value
Stop Event
6×predicate-same
152×narrow-enough
Results
2.9s14646×256valid
1.4s1466×512valid
841.0ms697×2048valid
95.0ms656×256invalid
899.0ms642×4096valid
190.0ms529×256infinite
295.0ms478×1024valid
172.0ms166×512infinite
Compiler

Compiled 38375 to 29062 computations (24.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.5s
Operation ival-mult, time spent: 968.0ms, 22.0% of total-time
Operation ival-sub, time spent: 675.0ms, 15.0% of total-time
Operation ival-div, time spent: 657.0ms, 15.0% of total-time
Operation ival-cos, time spent: 546.0ms, 12.0% of total-time
Operation ival-sin, time spent: 370.0ms, 8.0% of total-time
Operation ival-pow, time spent: 263.0ms, 6.0% of total-time
Operation ival-add, time spent: 216.0ms, 5.0% of total-time
Operation ival-atan, time spent: 180.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 137.0ms, 3.0% of total-time
Operation ival-log, time spent: 95.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 87.0ms, 2.0% of total-time
Operation const, time spent: 69.0ms, 2.0% of total-time
Operation ival-exp, time spent: 66.0ms, 1.0% of total-time
Operation ival-pi, time spent: 44.0ms, 1.0% of total-time
Operation ival-acos, time spent: 41.0ms, 1.0% of total-time
Operation ival-neg, time spent: 37.0ms, 1.0% of total-time
Operation ival-tan, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time
Operation ival-asin, time spent: 3.0ms, 0.0% of total-time

end23.0ms (0%)

Profiling

Loading profile data...