Herbie run

Date:Thursday, July 20th, 2023
Commit:48201210 on js-report-page
Hostname:nightly with Racket 8.6
Seed:2023201
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: 7.9min)

sample2.4min (30.6%)

Results
59.0s365550×body256valid
55.4s7804×body8192exit
10.8s64761×body256infinite
8.0s15866×body1024valid
4.5s8364×body1024infinite
2.4s8752×body512valid
1.2s3827×body512infinite
1.1s4775×body256invalid
1.1s2275×body2048valid
535.0ms4218×body256unsamplable
512.0ms1056×body4096valid
153.0ms148×body2048infinite
Bogosity

localize1.2min (14.6%)

Compiler

Compiled 46213 to 25288 computations (45.3% saved)

soundness1.1min (14.1%)

Rules
271576×fma-def
157494×associate-*r*
138836×log-prod
124236×fma-neg
119288×*-commutative
Stop Event
16×unsound
20×saturated
377×node limit
Compiler

Compiled 40871 to 23949 computations (41.4% saved)

eval57.5s (12.1%)

Compiler

Compiled 2871401 to 1726229 computations (39.9% saved)

simplify37.1s (7.8%)

Algorithm
279×egg-herbie
Rules
174956×fma-def
94552×associate-*r*
89290×fma-neg
77490×log-prod
77188×associate-*l*
Stop Event
5×unsound
84×saturated
20×done
37×fuel
190×node limit
Counts
64100 → 56649
Compiler

Compiled 11158 to 6829 computations (38.8% saved)

regimes26.5s (5.6%)

Counts
6953 → 844
Calls

130 calls:

2.7s
x.im
2.7s
y.im
2.6s
x.re
1.9s
y.re
1.9s
re
Compiler

Compiled 101554 to 55204 computations (45.6% saved)

prune22.8s (4.8%)

Counts
83097 → 3027
Compiler

Compiled 192288 to 131008 computations (31.9% saved)

rewrite19.9s (4.2%)

Algorithm
165×batch-egg-rewrite
Rules
105548×pow1
100540×add-exp-log
100296×log1p-expm1-u
100284×expm1-log1p-u
95202×add-log-exp
Stop Event
5×unsound
160×node limit
Counts
1312 → 39138

preprocess10.8s (2.3%)

Algorithm
57×egg-herbie
Rules
55988×fma-def
22788×fma-neg
19448×distribute-lft-in
18620×distribute-rgt-in
16356×sub-neg
Stop Event
23×saturated
34×node limit
Compiler

Compiled 27092 to 14373 computations (46.9% saved)

bsearch9.7s (2%)

Algorithm
397×binary-search
49×left-value
Stop Event
380×narrow-enough
17×predicate-same
Results
4.4s29038×body256valid
1.6s9103×body256infinite
1.3s2934×body1024infinite
720.0ms1786×body1024valid
528.0ms1697×body512infinite
269.0ms1134×body512valid
59.0ms154×body2048valid
22.0ms58×body4096valid
18.0ms16×body2048infinite
Compiler

Compiled 78459 to 54820 computations (30.1% saved)

series7.5s (1.6%)

Counts
1312 → 24905
Calls

6489 calls:

TimeVariablePointExpression
273.0ms
x.re
@0
(pow.f64 (cbrt.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 (atan2.f64 x.im x.re) y.re))) 3)
231.0ms
beta
@inf
(/.f64 (-.f64 (*.f64 -1 beta) (+.f64 beta (+.f64 (*.f64 4 i) 2))) alpha)
172.0ms
x
@0
(log.f64 (cbrt.f64 (exp.f64 (fma.f64 1/2 (PI.f64) (*.f64 (asin.f64 (sqrt.f64 (+.f64 1/2 (*.f64 x -1/2)))) -2)))))
150.0ms
d2
@-inf
(*.f64 d1 (+.f64 d2 d3))
116.0ms
u1
@-inf
(log1p.f64 (fma.f64 (sqrt.f64 (*.f64 (log.f64 u1) -2)) 1/6 1/2))

analyze2.2s (0.5%)

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)

end9.0ms (0%)

Profiling

Loading profile data...