Herbie run

Date:Thursday, July 6th, 2023
Commit:5fbe2106 on server-status
Hostname:nightly with Racket 8.6
Seed:2023187
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

Details

Time bar (total: 13.7min)

sample3.5min (25.3%)

Results
1.4min365691×body256valid
1.3min7718×body8192exit
15.8s64677×body256infinite
10.5s16244×body1024valid
6.7s8083×body1024infinite
3.3s8629×body512valid
2.5s3922×body512infinite
1.5s2187×body2048valid
1.4s4698×body256invalid
1.3s5222×body256unsamplable
749.0ms1046×body4096valid
228.0ms143×body2048infinite
Bogosity

localize2.3min (17.1%)

Compiler

Compiled 50254 to 28451 computations (43.4% saved)

eval2.0min (14.7%)

Compiler

Compiled 3366575 to 2113552 computations (37.2% saved)

soundness1.8min (13%)

Rules
256736×fma-def
170452×associate-*r*
148464×fma-neg
141864×log-prod
131800×associate-*l*
Stop Event
15×unsound
20×saturated
377×node limit
Compiler

Compiled 44560 to 27055 computations (39.3% saved)

simplify1.0min (7.6%)

Algorithm
283×egg-herbie
Rules
165936×fma-def
102248×associate-*r*
92408×fma-neg
88154×associate-*l*
85986×log-prod
Stop Event
5×unsound
84×saturated
20×done
37×fuel
194×node limit
Counts
66639 → 58697
Compiler

Compiled 13230 to 8570 computations (35.2% saved)

regimes52.0s (6.3%)

Counts
7160 → 920
Calls

132 calls:

6.6s
im
4.3s
x.im
4.3s
y.im
4.0s
y.re
3.9s
re
Compiler

Compiled 129650 to 81250 computations (37.3% saved)

prune39.3s (4.8%)

Counts
84015 → 3045
Compiler

Compiled 219441 to 154457 computations (29.6% saved)

rewrite35.6s (4.3%)

Algorithm
169×batch-egg-rewrite
Rules
110430×pow1
105128×add-exp-log
104948×log1p-expm1-u
104922×expm1-log1p-u
102790×add-log-exp
Stop Event
4×unsound
165×node limit
Counts
1346 → 40902

bsearch21.1s (2.6%)

Algorithm
452×binary-search
53×left-value
Stop Event
433×narrow-enough
19×predicate-same
Results
9.5s34002×body256valid
3.2s3614×body1024infinite
2.9s10741×body256infinite
1.3s2094×body1024valid
998.0ms1980×body512infinite
467.0ms1121×body512valid
420.0ms580×body2048valid
141.0ms174×body4096valid
21.0ms14×body2048infinite
Compiler

Compiled 98865 to 71502 computations (27.7% saved)

series14.9s (1.8%)

Counts
1346 → 25680
Calls

6810 calls:

TimeVariablePointExpression
407.0ms
alpha
@inf
(+.f64 (/.f64 1 (/.f64 (+.f64 (+.f64 beta alpha) (fma.f64 2 i 2)) (/.f64 (+.f64 beta alpha) (/.f64 (fma.f64 2 i (+.f64 beta alpha)) (-.f64 beta alpha))))) 1)
320.0ms
im
@0
(log.f64 (sqrt.f64 (pow.f64 im (/.f64 1 (log.f64 base)))))
241.0ms
x.re
@inf
(sin.f64 (pow.f64 (pow.f64 (cbrt.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) 3))
215.0ms
u1
@-inf
(log1p.f64 (+.f64 1/2 (sqrt.f64 (*.f64 -1/18 (log.f64 u1)))))
204.0ms
x
@0
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3275911/10000000 x))))

end11.4s (1.4%)

Compiler

Compiled 28918 to 16100 computations (44.3% saved)

preprocess6.2s (0.7%)

Algorithm
114×egg-herbie
Rules
35032×fma-def
16312×associate-*r*
15382×sqr-pow
15088×distribute-lft-in
14640×distribute-rgt-in
Stop Event
70×saturated
14×unsound
30×node limit
Compiler

Compiled 1510 to 967 computations (36% saved)

analyze2.3s (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)

Profiling

Loading profile data...