Herbie run

Date:Friday, November 17th, 2023
Commit:5660b943 on zane-show-dirty-equal
Hostname:nightly with Racket 8.6
Seed:2023321
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.4min (27%)

Results
57.2s365576×body256valid
54.0s7842×body8192exit
9.8s64477×body256infinite
8.1s15901×body1024valid
4.4s8481×body1024infinite
3.5s8984×body512valid
1.4s2279×body2048valid
1.3s3767×body512infinite
839.0ms5142×body256unsamplable
805.0ms4659×body256invalid
517.0ms1026×body4096valid
163.0ms135×body2048infinite
Bogosity

localize1.4min (15.7%)

Compiler

Compiled 47870 to 27857 computations (41.8% saved)

eval1.3min (14.9%)

Compiler

Compiled 3603523 to 2458031 computations (31.8% saved)

soundness1.3min (14.2%)

Rules
232652×fma-def
126146×associate-*r*
104124×log-prod
99952×fma-neg
98886×distribute-lft-in
Stop Event
12×unsound
16×saturated
331×node limit
Compiler

Compiled 37797 to 22691 computations (40% saved)

simplify38.7s (7.3%)

Algorithm
212×egg-herbie
Rules
118284×fma-def
74436×log-prod
72220×associate-*r*
70134×times-frac
66042×*-commutative
Stop Event
6×unsound
57×saturated
22×done
35×fuel
149×node limit
Counts
63886 → 57738
Compiler

Compiled 9852 to 6357 computations (35.5% saved)

regimes26.4s (5%)

Counts
5925 → 699
Calls

132 calls:

4.2s
y.im
3.6s
y.re
2.8s
x.im
2.5s
x.re
1.4s
x
Compiler

Compiled 100332 to 57755 computations (42.4% saved)

prune25.6s (4.8%)

Counts
90451 → 2867
Compiler

Compiled 223734 to 157922 computations (29.4% saved)

rewrite22.6s (4.3%)

Algorithm
155×batch-egg-rewrite
Rules
91164×log1p-expm1-u
74365×expm1-log1p-u
51976×expm1-udef
51138×log-prod
50416×log1p-udef
Stop Event
4×unsound
151×node limit
Counts
1281 → 40413

preprocess19.2s (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 31660 to 17056 computations (46.1% saved)

bsearch7.8s (1.5%)

Algorithm
307×binary-search
39×left-value
Stop Event
296×narrow-enough
11×predicate-same
Results
4.2s26513×body256valid
849.0ms3899×body256infinite
828.0ms1433×body1024infinite
688.0ms1151×body512infinite
255.0ms715×body1024valid
179.0ms681×body512valid
74.0ms68×body2048infinite
54.0ms146×body2048valid
14.0ms34×body4096valid
Compiler

Compiled 67108 to 46441 computations (30.8% saved)

series7.5s (1.4%)

Counts
1281 → 23473
Calls

6507 calls:

TimeVariablePointExpression
106.0ms
im
@-inf
(log1p.f64 (-.f64 (pow.f64 im (/.f64 1 (log.f64 base))) 1))
102.0ms
x
@0
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
101.0ms
im
@inf
(log.f64 (/.f64 (log.f64 im) (log.f64 10)))
95.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))
93.0ms
x.im
@0
(sin.f64 (+.f64 (*.f64 (log.f64 (neg.f64 x.re)) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))

analyze1.7s (0.3%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.8%48.1%38.2%13.7%0%0%0%1
64.2%54.3%30.3%13.7%0%1.7%0%2
82%67.3%14.7%13.7%0%4.3%0%3
85.4%69.8%11.9%13.7%0%4.5%0%4
90%73.5%8.1%13.7%0%4.6%0%5
91.3%74.3%7.1%13.7%0%4.9%0%6
93.8%75.5%5%13.7%0%5.8%0%7
94.8%76.2%4.2%13.7%0%5.9%0%8
95.2%76.5%3.9%13.7%0%5.9%0%9
96.4%77.1%2.8%13.7%0%6.4%0%10
96.5%77.1%2.8%13.7%0%6.4%0%11
96.7%77.3%2.6%13.7%0%6.4%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

end7.0ms (0%)

Profiling

Loading profile data...