Herbie run

Date:Thursday, February 15th, 2024
Commit:b0004ff3 on sound-rules
Hostname:nightly with Racket 8.11.1
Seed:2024046
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: 6.0min)

sample2.4min (39.6%)

Results
27.5s141598×256precondition
15.3s95087×256valid
26.6s58504×1024valid
41.9s36109×2048valid
9.0s34942×512valid
17.9s7472×8192exit
765.0ms4245×256infinite
618.0ms4064×256invalid
628.0ms4049×256unsamplable
1.2s1967×4096valid
96.0ms177×512infinite
137.0ms137×1024infinite
Bogosity

localize51.6s (14.4%)

Compiler

Compiled 14290 to 8289 computations (42% saved)

soundness41.6s (11.7%)

Rules
80004×fma-define
75774×fma-neg
58098×associate-*r*
48905×log1p-expm1-u
48452×times-frac
Stop Event
8×saturated
163×node limit
Compiler

Compiled 15712 to 10573 computations (32.7% saved)

eval30.7s (8.6%)

Compiler

Compiled 1381718 to 873381 computations (36.8% saved)

simplify25.7s (7.2%)

Algorithm
123×egg-herbie
Rules
62014×fma-define
58460×fma-neg
44426×associate-*r*
43394×times-frac
40358×distribute-lft-in
Stop Event
28×saturated
92×node limit
22×fuel
3×unsound
6×done
Counts
36449 → 36158
Compiler

Compiled 2628 to 1840 computations (30% saved)

rewrite19.1s (5.3%)

Algorithm
95×batch-egg-rewrite
Rules
63825×log1p-expm1-u
46814×expm1-log1p-u
32760×prod-diff
28710×fma-define
28250×unpow-prod-down
Stop Event
95×node limit
Counts
671 → 25559

preprocess15.4s (4.3%)

Algorithm
28×egg-herbie
Rules
16616×fma-neg
13326×fma-define
8558×div-sub
5338×sub-neg
5242×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 10101 to 6106 computations (39.6% saved)

prune13.3s (3.7%)

Counts
55807 → 1696
Compiler

Compiled 52171 to 38402 computations (26.4% saved)

regimes7.5s (2.1%)

Counts
2598 → 236
Calls

43 calls:

1.4s
x
1.1s
a
1.1s
b
1.0s
c
796.0ms
b_2
Compiler

Compiled 1357 to 950 computations (30% saved)

series4.7s (1.3%)

Counts
671 → 10890
Calls

2931 calls:

TimeVariablePointExpression
122.0ms
b_2
@0
(/.f64 (-.f64 (-.f64 (pow.f64 b_2 2) (*.f64 a c)) (*.f64 (neg.f64 b_2) (neg.f64 b_2))) (-.f64 (hypot.f64 b_2 (sqrt.f64 (*.f64 c (neg.f64 a)))) (neg.f64 b_2)))
88.0ms
n
@0
(-.f64 (/.f64 (pow.f64 (log1p.f64 x) 2) n) (/.f64 (pow.f64 (log.f64 x) 2) n))
66.0ms
x
@0
(-.f64 (pow.f64 x -1/2) (*.f64 (cbrt.f64 (pow.f64 (+.f64 1 x) -1/2)) (cbrt.f64 (/.f64 1 (+.f64 1 x)))))
63.0ms
N
@0
(pow.f64 (E.f64) (log.f64 (atan2.f64 1 (fma.f64 N (+.f64 1 N) 1))))
62.0ms
x
@inf
(log1p.f64 (neg.f64 (cos.f64 x)))

bsearch3.4s (1%)

Algorithm
77×binary-search
12×left-value
Stop Event
1×predicate-same
76×narrow-enough
Results
1.2s7799×256valid
329.0ms2204×256invalid
713.0ms1409×1024valid
493.0ms575×512valid
465.0ms567×2048valid
53.0ms273×256infinite
26.0ms16×1024infinite
0.0ms1×4096valid
Compiler

Compiled 17540 to 12928 computations (26.3% saved)

analyze2.5s (0.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
18.1%11.1%50%38.9%0%0%0%1
25.4%15.5%45.6%38.9%0%0%0%2
40.7%23.8%34.6%41.6%0%0%0%3
49.4%28.8%29.5%41.7%0%0%0%4
56.4%32.5%25.1%42.4%0%0%0%5
58.7%33.4%23.5%43.1%0%0%0%6
62.4%34.4%20.7%44%0%0.8%0.1%7
65.4%35.7%18.9%44.5%0%0.8%0.1%8
67.8%36.4%17.3%44.9%0%1.2%0.3%9
69.8%36.8%15.9%45.2%0%1.7%0.3%10
72.3%37.8%14.5%45.4%0%1.9%0.4%11
73.5%38.1%13.7%45.6%0%2.2%0.4%12
Compiler

Compiled 505 to 355 computations (29.7% saved)

end3.0ms (0%)

Profiling

Loading profile data...