Herbie run

Date:Sunday, January 21st, 2024
Commit:4a418bc7 on main
Hostname:nightly with Racket 8.6
Seed:2024021
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: 10.3min)

sample3.0min (28.8%)

Results
1.2min7918×body8192exit
1.2min373585×body256valid
14.2s71722×body256infinite
6.2s10600×body1024valid
4.1s4513×body512infinite
2.5s7192×body512valid
1.0s1879×body2048valid
804.0ms4485×body256unsamplable
647.0ms1034×body4096valid
86.0ms80×body1024infinite
62.0ms526×body256invalid
Bogosity

localize1.7min (16.6%)

Compiler

Compiled 48891 to 28426 computations (41.9% saved)

soundness1.4min (13.9%)

Rules
191903×fma-def
125985×associate-*r*
112148×log-prod
100600×associate-*l*
92207×fma-neg
Stop Event
13×unsound
17×saturated
339×node limit
Compiler

Compiled 33316 to 19167 computations (42.5% saved)

eval1.2min (11.7%)

Compiler

Compiled 3276148 to 2149462 computations (34.4% saved)

simplify47.4s (7.7%)

Algorithm
217×egg-herbie
Rules
113455×fma-def
81543×log-prod
64667×*-commutative
64103×associate-*r*
60813×fma-neg
Stop Event
5×unsound
57×saturated
21×done
36×fuel
155×node limit
Counts
62208 → 56072
Compiler

Compiled 10603 to 6934 computations (34.6% saved)

rewrite33.0s (5.4%)

Algorithm
160×batch-egg-rewrite
Rules
89043×log1p-expm1-u
71840×expm1-log1p-u
54906×expm1-udef
50785×log1p-udef
50036×log-prod
Stop Event
6×unsound
154×node limit
Counts
1260 → 39756

regimes25.9s (4.2%)

Counts
6207 → 770
Calls

130 calls:

3.0s
y.re
2.0s
x.im
2.0s
y.im
1.9s
x
1.8s
x.re
Compiler

Compiled 99126 to 60669 computations (38.8% saved)

preprocess23.8s (3.9%)

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 39394 to 22765 computations (42.2% saved)

prune23.6s (3.8%)

Counts
84329 → 2850
Compiler

Compiled 222025 to 158946 computations (28.4% saved)

series10.8s (1.8%)

Counts
1260 → 22452
Calls

6132 calls:

TimeVariablePointExpression
281.0ms
x.re
@0
(cos.f64 (pow.f64 (cbrt.f64 (fma.f64 y.im (log.f64 (hypot.f64 x.re x.im)) (*.f64 (atan2.f64 x.im x.re) y.re))) 3))
267.0ms
u1
@-inf
(pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 -2 (log.f64 u1)))) 3)
154.0ms
alpha
@inf
(+.f64 (/.f64 (+.f64 (-.f64 beta alpha) (*.f64 -2 i)) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1)
152.0ms
d1
@inf
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))
142.0ms
x
@inf
(-.f64 (exp.f64 (log1p.f64 (*.f64 1/2 (pow.f64 x -3)))) 1)

bsearch10.4s (1.7%)

Algorithm
357×binary-search
36×left-value
Stop Event
344×narrow-enough
13×predicate-same
Results
7.3s32149×body256valid
1.2s6118×body256infinite
632.0ms786×body512infinite
308.0ms1366×body512valid
127.0ms365×body1024valid
62.0ms141×body2048valid
17.0ms36×body4096valid
16.0ms15×body1024infinite
Compiler

Compiled 74273 to 52373 computations (29.5% saved)

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

end14.0ms (0%)

Profiling

Loading profile data...