Herbie run

Date:Saturday, January 13th, 2024
Commit:3841fbaa on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.6
Seed:2024013
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.9min)

sample3.5min (35.8%)

Results
1.5min373339×body256valid
1.4min7947×body8192exit
17.6s71794×body256infinite
5.8s11785×body512valid
5.4s7315×body1024valid
3.8s3153×body1024infinite
1.4s4627×body256unsamplable
1.2s1312×body512infinite
777.0ms1287×body2048valid
714.0ms533×body4096valid
134.0ms90×body2048infinite
99.0ms491×body256invalid
Bogosity

localize1.7min (16.8%)

Compiler

Compiled 44145 to 25414 computations (42.4% saved)

eval1.1min (10.9%)

Compiler

Compiled 3121410 to 2022367 computations (35.2% saved)

soundness1.0min (10.2%)

Rules
179096×fma-def
101704×associate-*r*
99950×fma-neg
90154×log-prod
83904×distribute-lft-in
Stop Event
14×unsound
15×saturated
281×node limit
Compiler

Compiled 31845 to 18800 computations (41% saved)

simplify36.5s (6.2%)

Algorithm
215×egg-herbie
Rules
116802×fma-def
77780×log-prod
71976×associate-*r*
70188×fma-neg
69412×*-commutative
Stop Event
5×unsound
57×saturated
22×done
35×fuel
153×node limit
Counts
61393 → 56053
Compiler

Compiled 9655 to 5965 computations (38.2% saved)

regimes24.0s (4%)

Counts
5461 → 721
Calls

130 calls:

4.5s
y.im
2.4s
y.re
1.9s
x.im
1.9s
x.re
1.3s
x
Compiler

Compiled 94124 to 53515 computations (43.1% saved)

prune23.9s (4%)

Counts
86082 → 2711
Compiler

Compiled 201937 to 143620 computations (28.9% saved)

rewrite23.0s (3.9%)

Algorithm
158×batch-egg-rewrite
Rules
93915×log1p-expm1-u
68939×expm1-log1p-u
57154×expm1-udef
56984×prod-diff
54074×log1p-udef
Stop Event
5×unsound
153×node limit
Counts
1182 → 39430

preprocess22.0s (3.7%)

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 38768 to 20218 computations (47.8% saved)

bsearch12.1s (2%)

Algorithm
358×binary-search
29×left-value
Stop Event
344×narrow-enough
14×predicate-same
Results
7.3s31953×body256valid
1.6s6945×body256infinite
1.6s1303×body1024infinite
341.0ms516×body512infinite
198.0ms389×body512valid
197.0ms270×body1024valid
75.0ms35×body2048infinite
59.0ms93×body2048valid
42.0ms64×body4096valid
Compiler

Compiled 77587 to 53207 computations (31.4% saved)

series9.1s (1.5%)

Counts
1182 → 21963
Calls

5967 calls:

TimeVariablePointExpression
333.0ms
x.im
@0
(sin.f64 (+.f64 (*.f64 y.im (log.f64 x.im)) (*.f64 y.re (atan2.f64 x.im x.re))))
332.0ms
im
@inf
(pow.f64 (cbrt.f64 (pow.f64 (/.f64 (log.f64 base) (atan2.f64 im re)) 3)) -1)
169.0ms
y.im
@inf
(log.f64 (+.f64 1 (cos.f64 (+.f64 (*.f64 y.im (log.f64 x.re)) (*.f64 y.re (atan2.f64 x.im x.re))))))
132.0ms
alpha
@0
(log.f64 (sqrt.f64 (exp.f64 (fma.f64 -1/8 (/.f64 (+.f64 alpha beta) i) (fma.f64 1/16 (*.f64 (+.f64 alpha beta) (/.f64 2 i)) 1/16)))))
113.0ms
y.re
@0
(*.f64 (log.f64 x.im) y.re)

analyze4.3s (0.7%)

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)

end7.0ms (0%)

Profiling

Loading profile data...