Herbie run

Date:Thursday, February 8th, 2024
Commit:b35bd1f1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024039
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: 9.7min)

sample2.7min (27.9%)

Results
1.1min372908×256valid
13.0s72458×256infinite
5.4s10503×1024valid
1.1min7728×8192exit
2.8s7205×512valid
3.6s4571×512infinite
685.0ms4353×256unsamplable
1.2s1819×2048valid
605.0ms1074×4096valid
64.0ms558×256invalid
72.0ms67×1024infinite
Bogosity

localize1.8min (18.6%)

Compiler

Compiled 45481 to 26219 computations (42.4% saved)

soundness1.2min (12.5%)

Rules
173257×fma-define
138428×fma-neg
122173×associate-*r*
103022×associate-*l*
99960×log-prod
Stop Event
16×saturated
303×node limit
12×unsound
Compiler

Compiled 31216 to 19846 computations (36.4% saved)

eval1.0min (10.6%)

Compiler

Compiled 2795409 to 1804723 computations (35.4% saved)

simplify42.6s (7.3%)

Algorithm
220×egg-herbie
Rules
117329×fma-define
77460×times-frac
77172×fma-neg
74423×log-prod
69742×associate-*r*
Stop Event
57×saturated
154×node limit
35×fuel
9×unsound
22×done
Counts
63718 → 58160
Compiler

Compiled 9560 to 6288 computations (34.2% saved)

preprocess33.3s (5.7%)

Algorithm
57×egg-herbie
Rules
51375×fma-neg
40847×fma-define
21621×distribute-lft-in
21336×unsub-neg
20835×distribute-lft-neg-in
Stop Event
21×saturated
36×node limit
Compiler

Compiled 41745 to 23122 computations (44.6% saved)

rewrite32.4s (5.5%)

Algorithm
163×batch-egg-rewrite
Rules
103841×log1p-expm1-u
79130×expm1-log1p-u
47463×log-prod
43722×unpow-prod-down
42567×prod-diff
Stop Event
154×node limit
9×unsound
Counts
1252 → 41153

regimes23.4s (4%)

Counts
5480 → 672
Calls

130 calls:

2.9s
y.re
2.0s
x
1.8s
x.im
1.8s
x.re
1.8s
y.im
Compiler

Compiled 6079 to 4158 computations (31.6% saved)

prune21.1s (3.6%)

Counts
83339 → 2778
Compiler

Compiled 123916 to 85805 computations (30.8% saved)

series12.7s (2.2%)

Counts
1252 → 22565
Calls

6177 calls:

TimeVariablePointExpression
229.0ms
x
@inf
(fma.f64 (*.f64 -2 (pow.f64 (cbrt.f64 (asin.f64 (sqrt.f64 (-.f64 1/2 (*.f64 x 1/2))))) 2)) (cbrt.f64 (asin.f64 (sqrt.f64 (-.f64 1/2 (*.f64 x 1/2))))) (*.f64 (PI.f64) 1/2))
190.0ms
x.re
@0
(cos.f64 (+.f64 (*.f64 y.im (log.f64 x.im)) (*.f64 y.re (atan2.f64 x.im x.re))))
180.0ms
y.im
@-inf
(log1p.f64 (*.f64 (exp.f64 (*.f64 y.im (atan2.f64 x.im x.re))) (pow.f64 (hypot.f64 x.im x.re) y.re)))
149.0ms
x.im
@-inf
(sin.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))
142.0ms
alpha
@-inf
(fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 beta (+.f64 2 (+.f64 beta (*.f64 2 i)))) (+.f64 alpha (fma.f64 2 i beta))) 1)

bsearch8.8s (1.5%)

Algorithm
291×binary-search
40×left-value
Stop Event
7×predicate-same
284×narrow-enough
Results
5.6s25545×256valid
1.2s5927×256infinite
836.0ms1179×512infinite
164.0ms459×512valid
83.0ms293×1024valid
168.0ms254×2048valid
27.0ms53×4096valid
41.0ms34×1024infinite
Compiler

Compiled 63213 to 44581 computations (29.5% saved)

analyze3.7s (0.6%)

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)

end15.0ms (0%)

Profiling

Loading profile data...