Herbie run

Date:Saturday, January 27th, 2024
Commit:72aaa402 on sample-profiles-more
Hostname:nightly with Racket 8.11.1
Seed:2024027
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.6min)

sample2.8min (29%)

Results
1.2min372547×256valid
12.6s72665×256infinite
6.0s10534×1024valid
1.1min7774×8192exit
2.4s7285×512valid
4.2s4491×512infinite
635.0ms4269×256unsamplable
1.3s1933×2048valid
560.0ms1050×4096valid
61.0ms500×256invalid
93.0ms91×1024infinite
Bogosity

localize1.4min (14.8%)

Compiler

Compiled 45416 to 25825 computations (43.1% saved)

soundness1.4min (14.6%)

Rules
205963×fma-def
148076×associate-*r*
114885×associate-*l*
114369×log-prod
101537×fma-neg
Stop Event
15×saturated
355×node limit
11×unsound
Compiler

Compiled 29769 to 17319 computations (41.8% saved)

eval1.0min (10.4%)

Compiler

Compiled 2788243 to 1796509 computations (35.6% saved)

simplify43.1s (7.5%)

Algorithm
220×egg-herbie
Rules
110477×fma-def
74990×log-prod
73322×associate-*r*
71376×times-frac
64085×*-commutative
Stop Event
57×saturated
157×node limit
33×fuel
6×unsound
24×done
Counts
62385 → 56718
Compiler

Compiled 11153 to 6896 computations (38.2% saved)

preprocess33.1s (5.7%)

Algorithm
57×egg-herbie
Rules
62146×fma-def
21928×distribute-lft-in
21764×fma-neg
21538×distribute-rgt-in
20904×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 47465 to 25078 computations (47.2% saved)

rewrite32.4s (5.6%)

Algorithm
163×batch-egg-rewrite
Rules
94722×log1p-expm1-u
76467×expm1-log1p-u
54206×prod-diff
51889×expm1-udef
49740×log1p-udef
Stop Event
157×node limit
6×unsound
Counts
1292 → 39433

regimes24.7s (4.3%)

Counts
6296 → 785
Calls

132 calls:

2.8s
y.re
2.6s
x.im
2.4s
y.im
2.3s
x.re
1.5s
x
Compiler

Compiled 6470 to 4373 computations (32.4% saved)

prune21.0s (3.6%)

Counts
80828 → 2829
Compiler

Compiled 125194 to 86470 computations (30.9% saved)

bsearch11.2s (1.9%)

Algorithm
339×binary-search
49×left-value
Stop Event
9×predicate-same
330×narrow-enough
Results
6.7s28234×256valid
1.5s8312×256infinite
1.5s1616×512infinite
371.0ms691×1024valid
152.0ms274×512valid
92.0ms178×2048valid
178.0ms106×1024infinite
30.0ms61×4096valid
Compiler

Compiled 75158 to 51514 computations (31.5% saved)

series10.7s (1.8%)

Counts
1292 → 22952
Calls

6318 calls:

TimeVariablePointExpression
257.0ms
y.im
@inf
(*.f64 (pow.f64 (/.f64 (sqrt.f64 x.im) (hypot.f64 y.re y.im)) 2) y.re)
237.0ms
im
@-inf
(log1p.f64 (/.f64 (log.f64 base) (atan2.f64 im re)))
163.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
157.0ms
u1
@inf
(log1p.f64 (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))))
144.0ms
im
@0
(sqrt.f64 (-.f64 im re))

analyze3.6s (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)

end17.0ms (0%)

Profiling

Loading profile data...