Herbie run

Date:Saturday, December 16th, 2023
Commit:665878db on main
Hostname:nightly with Racket 8.6
Seed:2023350
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: 8.8min)

sample2.3min (26.2%)

Results
58.6s372171×body256valid
54.0s7739×body8192exit
11.7s72320×body256infinite
5.1s11128×body1024valid
2.4s3271×body1024infinite
2.0s7007×body512valid
1.3s2251×body2048valid
560.0ms1079×body4096valid
544.0ms4155×body256unsamplable
534.0ms1238×body512infinite
140.0ms131×body2048infinite
52.0ms522×body256invalid
Bogosity

eval1.3min (14.8%)

Compiler

Compiled 3396591 to 2245263 computations (33.9% saved)

localize1.3min (14.7%)

Compiler

Compiled 46653 to 26831 computations (42.5% saved)

soundness1.2min (14.2%)

Rules
207214×fma-def
139680×associate-*r*
115234×log-prod
101202×*-commutative
99138×associate-*l*
Stop Event
8×unsound
15×saturated
337×node limit
Compiler

Compiled 36822 to 21998 computations (40.3% saved)

simplify42.6s (8.1%)

Algorithm
223×egg-herbie
Rules
120516×fma-def
86634×log-prod
84174×associate-*r*
72722×fma-neg
69756×associate-*l*
Stop Event
4×unsound
57×saturated
22×done
35×fuel
162×node limit
Counts
64016 → 58695
Compiler

Compiled 10162 to 6535 computations (35.7% saved)

regimes29.0s (5.5%)

Counts
6569 → 695
Calls

129 calls:

4.2s
y.re
3.1s
x.im
3.0s
x.re
2.6s
y.im
1.7s
im
Compiler

Compiled 113218 to 64978 computations (42.6% saved)

rewrite24.0s (4.6%)

Algorithm
166×batch-egg-rewrite
Rules
97726×log1p-expm1-u
76607×expm1-log1p-u
59478×log1p-udef
59478×expm1-udef
52748×prod-diff
Stop Event
5×unsound
161×node limit
Counts
1286 → 40378

prune23.9s (4.5%)

Counts
84960 → 2813
Compiler

Compiled 204416 to 143342 computations (29.9% saved)

preprocess18.9s (3.6%)

Algorithm
57×egg-herbie
Rules
63808×fma-def
22196×distribute-lft-in
22062×fma-neg
21792×distribute-rgt-in
21548×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 40412 to 23172 computations (42.7% saved)

series9.5s (1.8%)

Counts
1286 → 23638
Calls

6612 calls:

TimeVariablePointExpression
185.0ms
y.re
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re)
155.0ms
x.im
@-inf
(/.f64 (pow.f64 x.im y.re) (exp.f64 (*.f64 y.im (atan2.f64 x.im x.re))))
125.0ms
x.im
@0
(sin.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (/.f64 -1 x.re)))))
118.0ms
x.re
@0
(cos.f64 (+.f64 (*.f64 y.im (log.f64 x.im)) (*.f64 y.re (atan2.f64 x.im x.re))))
112.0ms
im
@inf
(log1p.f64 (/.f64 (log.f64 im) (log.f64 base)))

bsearch8.3s (1.6%)

Algorithm
289×binary-search
44×left-value
Stop Event
277×narrow-enough
12×predicate-same
Results
5.2s25134×body256valid
946.0ms4945×body256infinite
605.0ms912×body1024infinite
244.0ms486×body512valid
158.0ms514×body1024valid
141.0ms299×body512infinite
123.0ms292×body2048valid
46.0ms42×body2048infinite
22.0ms48×body4096valid
Compiler

Compiled 63340 to 43444 computations (31.4% saved)

analyze2.4s (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.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 994 computations (36.2% saved)

end9.0ms (0%)

Profiling

Loading profile data...