Herbie run

Date:Friday, October 6th, 2023
Commit:f10612bf on report-tolerance
Hostname:nightly with Racket 8.6
Seed:2023279
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)

sample1.9min (31.1%)

Results
41.6s33286×body2048valid
36.1s62178×body1024valid
14.6s87095×body256valid
11.0s33334×body512valid
2.7s12874×body256infinite
1.5s2074×body4096valid
1.4s1201×body1024invalid
1.0s7405×body256unsamplable
739.0ms5311×body256invalid
559.0ms594×body512invalid
225.0ms506×body1024unsamplable
205.0ms291×body2048unsamplable
186.0ms147×body1024infinite
123.0ms178×body512infinite
66.0ms241×body512unsamplable
6.0ms6×body2048invalid
1.0ms2×body2048infinite
Bogosity

localize50.1s (13.8%)

Compiler

Compiled 14220 to 7152 computations (49.7% saved)

soundness47.8s (13.2%)

Rules
163970×fma-def
103740×fma-neg
80480×associate-*r*
80294×log-prod
66028×associate-*l*
Stop Event
2×saturated
213×node limit
Compiler

Compiled 18765 to 11386 computations (39.3% saved)

eval47.6s (13.1%)

Compiler

Compiled 1414669 to 844848 computations (40.3% saved)

simplify25.1s (6.9%)

Algorithm
127×egg-herbie
Rules
80034×fma-def
53394×associate-*r*
48152×associate-*l*
47304×fma-neg
44534×times-frac
Stop Event
5×done
28×saturated
23×fuel
99×node limit
Counts
36267 → 35851
Compiler

Compiled 4177 to 2861 computations (31.5% saved)

prune21.7s (6%)

Counts
56945 → 2157
Compiler

Compiled 110259 to 74982 computations (32% saved)

regimes17.1s (4.7%)

Counts
3882 → 371
Calls

43 calls:

4.0s
x
3.5s
eps
1.2s
b
1.1s
b_2
1.0s
c
Compiler

Compiled 47668 to 26881 computations (43.6% saved)

rewrite16.4s (4.5%)

Algorithm
99×batch-egg-rewrite
Rules
62790×pow1
59574×add-exp-log
59548×log1p-expm1-u
59512×expm1-log1p-u
54394×add-log-exp
Stop Event
99×node limit
Counts
760 → 25479

preprocess8.3s (2.3%)

Algorithm
28×egg-herbie
Rules
42740×fma-def
13078×fma-neg
9294×associate-/r*
9220×div-sub
9054×distribute-rgt-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 9643 to 6000 computations (37.8% saved)

bsearch6.5s (1.8%)

Algorithm
135×binary-search
44×left-value
Stop Event
134×narrow-enough
1×predicate-same
Results
2.8s13018×body256valid
1.9s2513×body1024valid
518.0ms595×body2048valid
435.0ms1033×body512valid
284.0ms1846×body256invalid
76.0ms343×body256infinite
16.0ms57×body256unsamplable
11.0ms17×body4096valid
0.0ms1×body512infinite
Compiler

Compiled 27538 to 20158 computations (26.8% saved)

series4.8s (1.3%)

Counts
760 → 10788
Calls

3507 calls:

TimeVariablePointExpression
111.0ms
x
@-inf
(log.f64 (*.f64 (+.f64 -1 (cos.f64 eps)) (cos.f64 x)))
106.0ms
x
@inf
(log.f64 (*.f64 (sin.f64 (*.f64 1/2 (+.f64 eps (+.f64 x x)))) (sin.f64 (+.f64 (*.f64 1/2 eps) 0))))
106.0ms
eps
@inf
(log.f64 (*.f64 (sin.f64 (*.f64 1/2 (+.f64 eps (+.f64 x x)))) (sin.f64 (+.f64 (*.f64 1/2 eps) 0))))
85.0ms
x
@0
(*.f64 (sin.f64 (*.f64 (+.f64 eps 0) 1/2)) (*.f64 2 (cos.f64 (*.f64 1/2 (+.f64 eps (+.f64 x x))))))
77.0ms
c
@0
(log.f64 (*.f64 (neg.f64 c) a))

analyze4.2s (1.2%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
27.4%24.9%66%9.1%0%0%0%1
39%34.7%54.4%9.1%0%1.8%0%2
51%44.1%42.4%9.1%0%4.5%0%3
58.9%50.1%35%9.1%0%5.8%0%4
65.5%55%29%9.1%0%6.9%0%5
67.8%56.6%26.9%9.1%0%7.5%0%6
70.2%57.8%24.6%9.1%0%8.4%0.1%7
72.2%59.3%22.8%9.1%0%8.7%0.1%8
73.5%60%21.6%9.1%0%9.1%0.3%9
74.7%60.5%20.4%9.1%0%9.7%0.3%10
76.2%61.5%19.2%9.1%0%9.9%0.4%11
76.9%61.8%18.5%9.1%0%10.2%0.4%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

end6.0ms (0%)

Profiling

Loading profile data...