Herbie run

Date:Tuesday, November 28th, 2023
Commit:8360f233 on main
Hostname:nightly with Racket 8.6
Seed:2023332
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: 5.0min)

sample1.5min (30.3%)

Results
36.1s39720×body2048valid
24.4s60436×body1024valid
15.6s108663×body256valid
7.5s33846×body512valid
1.4s10740×body256infinite
1.4s2180×body4096valid
1.0s1165×body1024invalid
882.0ms3009×body256precondition
616.0ms5253×body256invalid
495.0ms3942×body256unsamplable
211.0ms563×body512invalid
162.0ms165×body1024infinite
85.0ms182×body512infinite
11.0ms8×body2048invalid
3.0ms2×body8192valid
2.0ms2×body2048infinite
Bogosity

localize42.1s (14.1%)

Compiler

Compiled 14923 to 8568 computations (42.6% saved)

soundness38.4s (12.9%)

Rules
136024×fma-def
76216×fma-neg
73926×associate-*r*
70626×times-frac
56602×log-prod
Stop Event
4×saturated
200×node limit
Compiler

Compiled 20097 to 12613 computations (37.2% saved)

eval34.3s (11.5%)

Compiler

Compiled 1525073 to 965185 computations (36.7% saved)

simplify21.2s (7.1%)

Algorithm
132×egg-herbie
Rules
79598×fma-def
58278×associate-*r*
49296×fma-neg
47550×associate-*l*
44572×times-frac
Stop Event
8×done
31×saturated
23×fuel
101×node limit
Counts
38810 → 38371
Compiler

Compiled 4300 to 3018 computations (29.8% saved)

prune15.9s (5.3%)

Counts
63257 → 2410
Compiler

Compiled 127006 to 90331 computations (28.9% saved)

regimes15.3s (5.1%)

Counts
4884 → 377
Calls

43 calls:

3.7s
x
3.5s
eps
1.2s
(/.f64 1 n)
1.1s
b
918.0ms
c
Compiler

Compiled 55943 to 32814 computations (41.3% saved)

rewrite15.1s (5.1%)

Algorithm
101×batch-egg-rewrite
Rules
55477×log1p-expm1-u
44504×prod-diff
43817×expm1-log1p-u
37338×expm1-udef
30790×log-prod
Stop Event
101×node limit
Counts
786 → 28486

preprocess11.3s (3.8%)

Algorithm
31×egg-herbie
Rules
35660×fma-def
12306×div-sub
12068×fma-neg
9698×sub-neg
8284×distribute-lft-neg-in
Stop Event
16×saturated
15×node limit
Compiler

Compiled 11717 to 7068 computations (39.7% saved)

series7.3s (2.4%)

Counts
786 → 10324
Calls

3114 calls:

TimeVariablePointExpression
2.9s
x
@inf
(/.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (+.f64 x 1)))) (exp.f64 (cbrt.f64 x)))
365.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
98.0ms
x
@inf
(log1p.f64 (tan.f64 (+.f64 x eps)))
95.0ms
x
@-inf
(log.f64 (+.f64 1 (expm1.f64 (sin.f64 (*.f64 1/2 (fma.f64 2 x eps))))))
82.0ms
x
@-inf
(log.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x)))

bsearch4.5s (1.5%)

Algorithm
136×binary-search
44×left-value
Stop Event
131×narrow-enough
5×predicate-same
Results
1.8s11941×body256valid
1.2s2688×body1024valid
529.0ms1480×body512valid
357.0ms596×body2048valid
181.0ms1405×body256invalid
100.0ms423×body256infinite
22.0ms24×body1024infinite
11.0ms67×body256unsamplable
Compiler

Compiled 26549 to 19500 computations (26.6% saved)

analyze2.5s (0.8%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.2%9.8%0%0%0%0
24.1%21.7%68.5%9.8%0%0%0%1
35.6%31%56%9.8%0%3.2%0%2
50%41.9%41.9%9.8%0%6.4%0%3
58.1%48.2%34.8%9.8%0%7.3%0%4
65.3%53.6%28.5%9.8%0%8.1%0%5
67.8%55.3%26.2%10%0%8.5%0%6
70.8%56.7%23.4%10.5%0%9.3%0.1%7
72.9%58.2%21.6%10.6%0%9.5%0.1%8
74.3%58.9%20.3%10.7%0%9.8%0.3%9
75.6%59.3%19.2%10.9%0%10.4%0.3%10
77%60.2%18%10.9%0%10.6%0.3%11
77.7%60.5%17.3%11%0%10.9%0.3%12
Compiler

Compiled 421 to 309 computations (26.6% saved)

end3.0ms (0%)

Profiling

Loading profile data...