Herbie run

Date:Tuesday, April 16th, 2024
Commit:97bdded0 on zane-regimes-8-iters
Hostname:nightly with Racket 8.11.1
Seed:2024107
Parameters:256 points for 8 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: 12.8min)

localize3.1min (24.5%)

Results
53.6s58238×0valid
10.5s7799×0invalid
46.0s7704×1valid
23.4s2200×5exit
8.2s1298×2valid
4.9s637×1invalid
535.0ms458×0unsamplable
4.0ms1×3valid
8.0ms1×5valid
Compiler

Compiled 75812 to 44074 computations (41.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-mult: 20.6s (17.2% of total)
ival-pow: 18.9s (15.7% of total)
ival-add: 13.4s (11.2% of total)
backward-pass: 13.3s (11.1% of total)
ival-div: 12.3s (10.2% of total)
ival-sub: 9.7s (8.1% of total)
ival-asin: 6.9s (5.7% of total)
ival-sqrt: 5.2s (4.3% of total)
ival-fma: 4.2s (3.5% of total)
ival-log: 3.8s (3.2% of total)
const: 2.7s (2.3% of total)
ival-exp: 2.6s (2.2% of total)
ival-sin: 946.0ms (0.8% of total)
ival-cbrt: 938.0ms (0.8% of total)
ival-cos: 921.0ms (0.8% of total)
ival-hypot: 850.0ms (0.7% of total)
ival-log1p: 770.0ms (0.6% of total)
ival-neg: 535.0ms (0.4% of total)
ival-expm1: 433.0ms (0.4% of total)
ival-pi: 332.0ms (0.3% of total)
ival-atan2: 289.0ms (0.2% of total)
ival-acos: 271.0ms (0.2% of total)
ival-fabs: 116.0ms (0.1% of total)
ival-copysign: 99.0ms (0.1% of total)
ival-e: 13.0ms (0% of total)

sample2.4min (18.6%)

Results
1.0min439078×0valid
10.0s25792×1valid
40.6s7845×5exit
2.9s5772×2valid
1.3s5580×0unsamplable
61.0ms507×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-sin: 26.1s (27.8% of total)
ival-mult: 20.6s (22% of total)
backward-pass: 8.9s (9.5% of total)
ival-add: 8.5s (9% of total)
ival-div: 6.5s (7% of total)
ival-sub: 6.1s (6.5% of total)
ival-exp: 2.8s (3% of total)
ival-sqrt: 2.4s (2.5% of total)
ival-log: 2.4s (2.5% of total)
ival-cos: 1.5s (1.6% of total)
const: 1.3s (1.4% of total)
ival-atan2: 1.3s (1.4% of total)
ival-pow: 1.2s (1.3% of total)
ival-asin: 1.0s (1.1% of total)
ival-pi: 801.0ms (0.9% of total)
ival->: 591.0ms (0.6% of total)
ival-acosh: 396.0ms (0.4% of total)
ival-asinh: 301.0ms (0.3% of total)
ival-neg: 271.0ms (0.3% of total)
ival-fabs: 271.0ms (0.3% of total)
ival-<=: 268.0ms (0.3% of total)
ival-atanh: 212.0ms (0.2% of total)
ival->=: 135.0ms (0.1% of total)
ival-and: 82.0ms (0.1% of total)
Bogosity

simplify1.6min (12.3%)

Algorithm
346×egg-herbie
Rules
113056×fma-define
92464×fma-neg
83599×associate-*r*
80379×distribute-lft-in
79358×*-commutative
Stop Event
57×saturated
284×node limit
5×unsound
Counts
117200 → 107351

eval1.5min (11.4%)

Compiler

Compiled 5471692 to 3610303 computations (34% saved)

soundness59.9s (7.8%)

Rules
75877×fma-define
73425×log1p-expm1-u
60473×associate-*r*
59753×fma-neg
51134×expm1-log1p-u
Stop Event
21×saturated
250×node limit
23×fuel
9×unsound
34×done
Compiler

Compiled 57116 to 32026 computations (43.9% saved)

rewrite56.5s (7.4%)

Algorithm
289×batch-egg-rewrite
Rules
188820×log1p-expm1-u
132813×expm1-log1p-u
62656×pow1
57352×add-exp-log
55230×add-log-exp
Stop Event
279×node limit
10×unsound
Counts
2319 → 71413

prune41.1s (5.4%)

Counts
159582 → 5735
Compiler

Compiled 204177 to 143312 computations (29.8% saved)

series22.7s (3%)

Counts
2319 → 45787
Calls

11898 calls:

TimeVariablePointExpression
341.0ms
y.re
@-inf
(+ (* (/ x.re y.im) (/ y.re y.im)) (/ x.im y.im))
331.0ms
base
@-inf
(log (/ (atan2 im re) (log base)))
289.0ms
u1
@inf
(pow (* (log u1) -1/18) 1/4)
285.0ms
re
@inf
(log (+ 1 (sin re)))
279.0ms
alpha
@0
(+ (* (+ alpha beta) (/ (* (- beta alpha) (/ 1 (+ alpha (+ beta (+ (* 2 i) 2))))) (+ alpha (+ (* 2 i) beta)))) 1)

explain21.4s (2.8%)

Results
7.3s26004×0valid
7.3s2610×1valid
650.0ms552×2valid
17.0ms18×5exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.9s
ival-sub: 2.2s (18.1% of total)
ival-mult: 2.2s (18.1% of total)
ival-div: 2.0s (16.3% of total)
ival-add: 1.9s (16.1% of total)
backward-pass: 1.6s (13.7% of total)
ival-log: 375.0ms (3.1% of total)
const: 354.0ms (3% of total)
ival-sqrt: 323.0ms (2.7% of total)
ival-exp: 263.0ms (2.2% of total)
ival-pow: 210.0ms (1.8% of total)
ival-sin: 192.0ms (1.6% of total)
ival-asin: 137.0ms (1.1% of total)
ival-cos: 75.0ms (0.6% of total)
ival-atan2: 46.0ms (0.4% of total)
ival-fabs: 41.0ms (0.3% of total)
ival-neg: 40.0ms (0.3% of total)
ival-pi: 21.0ms (0.2% of total)
ival-log1p: 16.0ms (0.1% of total)
ival-copysign: 13.0ms (0.1% of total)

bsearch20.4s (2.7%)

Algorithm
680×binary-search
44×left-value
Stop Event
7×predicate-same
673×narrow-enough
Results
9.1s66612×0valid
5.0s9748×1valid
818.0ms1608×2valid
Compiler

Compiled 130686 to 92850 computations (29% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.7s
ival-mult: 4.1s (38% of total)
ival-add: 1.2s (10.7% of total)
ival-sin: 876.0ms (8.2% of total)
ival-log: 824.0ms (7.7% of total)
backward-pass: 689.0ms (6.4% of total)
ival-sub: 685.0ms (6.4% of total)
ival-exp: 586.0ms (5.5% of total)
ival-sqrt: 571.0ms (5.3% of total)
ival-atan2: 433.0ms (4% of total)
ival-div: 372.0ms (3.5% of total)
ival-cos: 254.0ms (2.4% of total)
const: 134.0ms (1.3% of total)
ival-neg: 45.0ms (0.4% of total)
ival-fabs: 17.0ms (0.2% of total)
ival-pi: 3.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)

regimes15.4s (2%)

Counts
10881 → 1139
Calls

132 calls:

1.7s
y.im
1.3s
im
1.2s
y.re
1.0s
re
932.0ms
x.im
Compiler

Compiled 6275 to 4138 computations (34.1% saved)

preprocess13.3s (1.7%)

Algorithm
57×egg-herbie
Rules
20546×fma-neg
20224×fma-define
10466×unsub-neg
9196×sub-neg
8861×distribute-lft-in
Stop Event
32×saturated
25×node limit
Compiler

Compiled 35976 to 19374 computations (46.1% saved)

analyze3.6s (0.5%)

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%54.1%30.5%13.7%0%1.7%0%2
71.8%58.9%23.1%13.7%0%4.3%0%3
77.7%62.2%17.8%13.7%0%6.2%0%4
83.7%66.9%13%13.7%0%6.3%0%5
85.8%68.4%11.3%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.5%8%13.7%0%6.8%0%8
91.1%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 994 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 727.0ms (35.8% of total)
ival-add: 317.0ms (15.6% of total)
ival-sub: 234.0ms (11.5% of total)
ival-sqrt: 167.0ms (8.2% of total)
ival-log: 142.0ms (7% of total)
ival-div: 114.0ms (5.6% of total)
ival-atan2: 79.0ms (3.9% of total)
ival-pow: 73.0ms (3.6% of total)
ival-exp: 55.0ms (2.7% of total)
const: 42.0ms (2.1% of total)
ival-sin: 24.0ms (1.2% of total)
ival-cos: 15.0ms (0.7% of total)
ival->: 12.0ms (0.6% of total)
ival-<=: 10.0ms (0.5% of total)
ival-pi: 7.0ms (0.3% of total)
ival-neg: 7.0ms (0.3% of total)
backward-pass: 6.0ms (0.3% of total)
ival-and: 2.0ms (0.1% of total)
ival-asin: 1.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival->=: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...