Herbie run

Date:Saturday, February 24th, 2024
Commit:0406aea6 on zane-regimes-2
Hostname:nightly with Racket 8.11.1
Seed:2024055
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: 11.5min)

sample3.3min (28.6%)

Results
1.3min372534×256valid
15.9s72885×256infinite
6.5s10634×1024valid
1.2min7834×8192exit
3.3s7179×512valid
3.5s4395×512infinite
527.0ms4082×256unsamplable
1.5s1833×2048valid
766.0ms1053×4096valid
66.0ms478×256invalid
97.0ms79×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 47.6s, 37.0% of total-time
Operation ival-mult, time spent: 21.9s, 17.0% of total-time
Operation ival-add, time spent: 12.0s, 9.0% of total-time
Operation ival-div, time spent: 8.9s, 7.0% of total-time
Operation ival-sub, time spent: 8.5s, 7.0% of total-time
Operation ival-pow, time spent: 5.3s, 4.0% of total-time
Operation ival-sqrt, time spent: 4.5s, 4.0% of total-time
Operation ival-log, time spent: 3.8s, 3.0% of total-time
Operation ival-exp, time spent: 3.6s, 3.0% of total-time
Operation ival-cos, time spent: 2.2s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-atan2, time spent: 1.7s, 1.0% of total-time
Operation ival-asin, time spent: 1.7s, 1.0% of total-time
Operation ival->, time spent: 759.0ms, 1.0% of total-time
Operation ival-pi, time spent: 619.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 608.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 522.0ms, 0.0% of total-time
Operation ival-<=, time spent: 423.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 393.0ms, 0.0% of total-time
Operation ival-neg, time spent: 323.0ms, 0.0% of total-time
Operation ival->=, time spent: 159.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 141.0ms, 0.0% of total-time
Operation ival-and, time spent: 109.0ms, 0.0% of total-time
Bogosity

localize3.0min (26.4%)

Compiler

Compiled 51405 to 29408 computations (42.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2min
Operation ival-pow, time spent: 25.9s, 19.0% of total-time
Operation ival-mult, time spent: 24.1s, 18.0% of total-time
Operation ival-add, time spent: 15.2s, 11.0% of total-time
Operation composed, time spent: 15.1s, 11.0% of total-time
Operation ival-div, time spent: 12.3s, 9.0% of total-time
Operation ival-log, time spent: 10.6s, 8.0% of total-time
Operation ival-asin, time spent: 8.8s, 7.0% of total-time
Operation ival-sub, time spent: 7.0s, 5.0% of total-time
Operation ival-sqrt, time spent: 5.0s, 4.0% of total-time
Operation const, time spent: 3.2s, 2.0% of total-time
Operation ival-exp, time spent: 2.8s, 2.0% of total-time
Operation ival-acos, time spent: 1.3s, 1.0% of total-time
Operation ival-sin, time spent: 896.0ms, 1.0% of total-time
Operation ival-cos, time spent: 775.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 554.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 356.0ms, 0.0% of total-time
Operation ival-neg, time spent: 338.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 81.0ms, 0.0% of total-time
Operation ival-pi, time spent: 69.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 46.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.2min (10%)

Compiler

Compiled 3082450 to 1944271 computations (36.9% saved)

simplify46.6s (6.7%)

Algorithm
218×egg-herbie
Rules
116431×fma-define
87777×fma-neg
85346×distribute-lft-in
83948×*-commutative
82322×associate-*r*
Stop Event
57×saturated
153×node limit
33×fuel
8×unsound
24×done
Counts
65453 → 61859
Compiler

Compiled 11306 to 7228 computations (36.1% saved)

soundness44.4s (6.4%)

Rules
106505×fma-define
81939×fma-neg
72516×associate-*r*
65703×distribute-lft-in
59417×distribute-rgt-in
Stop Event
18×saturated
174×node limit
10×unsound
Compiler

Compiled 39166 to 23652 computations (39.6% saved)

preprocess39.6s (5.7%)

Algorithm
57×egg-herbie
Rules
40033×fma-neg
38663×fma-define
19396×unsub-neg
17401×distribute-lft-in
16736×sub-neg
Stop Event
32×saturated
25×node limit
Compiler

Compiled 46783 to 25288 computations (45.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.7s
Operation ival-mult, time spent: 3.0s, 23.0% of total-time
Operation ival-add, time spent: 2.3s, 18.0% of total-time
Operation ival-div, time spent: 2.2s, 17.0% of total-time
Operation ival-sub, time spent: 2.0s, 16.0% of total-time
Operation ival-sqrt, time spent: 646.0ms, 5.0% of total-time
Operation ival-log, time spent: 621.0ms, 5.0% of total-time
Operation const, time spent: 459.0ms, 4.0% of total-time
Operation ival-pow, time spent: 343.0ms, 3.0% of total-time
Operation composed, time spent: 291.0ms, 2.0% of total-time
Operation ival-exp, time spent: 272.0ms, 2.0% of total-time
Operation ival-asin, time spent: 239.0ms, 2.0% of total-time
Operation ival-sin, time spent: 180.0ms, 1.0% of total-time
Operation ival-cos, time spent: 105.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 72.0ms, 1.0% of total-time
Operation ival-neg, time spent: 39.0ms, 0.0% of total-time
Operation ival-pi, time spent: 27.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 7.0ms, 0.0% of total-time

rewrite33.0s (4.8%)

Algorithm
161×batch-egg-rewrite
Rules
110875×log1p-expm1-u
78684×expm1-log1p-u
49940×prod-diff
42051×log-prod
39711×unpow-prod-down
Stop Event
151×node limit
10×unsound
Counts
1331 → 38827

regimes26.1s (3.8%)

Counts
6572 → 768
Calls

127 calls:

4.3s
y.im
3.3s
y.re
2.5s
x.im
2.2s
x.re
1.9s
im
Compiler

Compiled 5883 to 3968 computations (32.6% saved)

prune23.2s (3.4%)

Counts
88479 → 2752
Compiler

Compiled 126361 to 86126 computations (31.8% saved)

series12.4s (1.8%)

Counts
1331 → 26626
Calls

6675 calls:

TimeVariablePointExpression
298.0ms
x
@0
(- (log x) (log (log x)))
292.0ms
x
@0
(log (pow (exp x) 3275911/10000000))
191.0ms
y.im
@0
(+ (* x.re y.re) (* x.im y.im))
160.0ms
re
@-inf
(log (sqrt (pow (sqrt (exp (sin re))) (+ (* im im) 2))))
147.0ms
x.im
@inf
(cbrt (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

bsearch11.5s (1.7%)

Algorithm
349×binary-search
40×left-value
Stop Event
10×predicate-same
339×narrow-enough
Results
6.4s30237×256valid
2.0s8748×256infinite
936.0ms1090×512infinite
178.0ms447×512valid
245.0ms350×2048valid
162.0ms335×1024valid
23.0ms39×4096valid
2.0ms2×1024infinite
Compiler

Compiled 79257 to 54379 computations (31.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.2s
Operation ival-mult, time spent: 1.8s, 34.0% of total-time
Operation ival-add, time spent: 602.0ms, 12.0% of total-time
Operation ival-sin, time spent: 544.0ms, 11.0% of total-time
Operation ival-log, time spent: 488.0ms, 9.0% of total-time
Operation ival-exp, time spent: 375.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 328.0ms, 6.0% of total-time
Operation ival-div, time spent: 304.0ms, 6.0% of total-time
Operation ival-sub, time spent: 220.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 174.0ms, 3.0% of total-time
Operation ival-cos, time spent: 155.0ms, 3.0% of total-time
Operation const, time spent: 101.0ms, 2.0% of total-time
Operation ival-asin, time spent: 48.0ms, 1.0% of total-time
Operation ival-neg, time spent: 36.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 14.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time

analyze4.7s (0.7%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 1007 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
Operation ival-mult, time spent: 704.0ms, 22.0% of total-time
Operation ival-sub, time spent: 566.0ms, 17.0% of total-time
Operation ival-log, time spent: 496.0ms, 15.0% of total-time
Operation ival-add, time spent: 427.0ms, 13.0% of total-time
Operation ival-sqrt, time spent: 294.0ms, 9.0% of total-time
Operation ival-atan2, time spent: 198.0ms, 6.0% of total-time
Operation ival-div, time spent: 166.0ms, 5.0% of total-time
Operation ival-pow, time spent: 123.0ms, 4.0% of total-time
Operation ival-exp, time spent: 79.0ms, 2.0% of total-time
Operation const, time spent: 60.0ms, 2.0% of total-time
Operation ival-sin, time spent: 57.0ms, 2.0% of total-time
Operation ival-cos, time spent: 40.0ms, 1.0% of total-time
Operation ival-pi, time spent: 13.0ms, 0.0% of total-time
Operation ival->, time spent: 12.0ms, 0.0% of total-time
Operation ival-<=, time spent: 11.0ms, 0.0% of total-time
Operation ival-neg, time spent: 6.0ms, 0.0% of total-time
Operation ival-and, time spent: 2.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 2.0ms, 0.0% of total-time
Operation ival-asin, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time

end22.0ms (0%)

Profiling

Loading profile data...