Herbie run

Date:Saturday, October 28th, 2023
Commit:f24e89ef on platforms
Hostname:nightly with Racket 8.6
Seed:2023301
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: 14.5min)

soundness5.0min (34.6%)

Rules
20568×associate-*r*
20108×*-commutative
17041×associate-/r*
16019×associate-*l*
15745×associate-*r/
Stop Event
5×saturated
88×node limit
Results
Compiler

Compiled 7770 to 4402 computations (43.3% saved)

analyze3.0min (20.8%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
47.5%35%38.7%26.3%0%0%0%2
56%41.2%32.5%26.3%0%0%0%3
65.3%48.1%25.6%26.3%0%0%0%4
68.7%50%22.8%26.3%0%0.9%0%5
70.3%50.9%21.5%26.3%0%1.1%0.2%6
74.5%53.6%18.3%26.3%0%1.6%0.2%7
75.5%54.1%17.6%26.3%0%1.8%0.2%8
77.7%55.5%15.9%26.3%0%2%0.2%9
79.1%56.4%14.9%26.3%0%2.2%0.3%10
79.8%56.8%14.3%26.3%0%2.3%0.3%11
80.5%57.2%13.8%26.3%0%2.4%0.3%12
Results
Compiler

Compiled 295 to 210 computations (28.8% saved)

series1.7min (11.4%)

Counts
357 → 5875
Calls

1764 calls:

TimeVariablePointExpression
1.6min
x
@inf
(pow.f64 (sqrt.f64 (/.f64 (-.f64 x lo) hi)) 2)
3.5s
x
@0
(sqrt.f64 (*.f64 (*.f64 2 x) (cbrt.f64 x)))
135.0ms
x
@0
(log.f64 (cbrt.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))))
82.0ms
a
@-inf
(pow.f64 (pow.f64 (/.f64 (cos.f64 (+.f64 b a)) r) 3) 1/3)
75.0ms
x
@inf
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
Results

localize1.6min (11.2%)

Compiler

Compiled 5627 to 2583 computations (54.1% saved)

eval1.6min (10.8%)

Compiler

Compiled 524036 to 271710 computations (48.2% saved)

sample57.8s (6.6%)

Results
15.8s12858×body8192exit
14.9s24973×body1024valid
13.7s107675×body256valid
5.1s5685×body2048valid
3.7s13565×body512valid
1.9s3992×body1024invalid
1.0s1921×body512invalid
834.0ms4669×body256infinite
307.0ms2352×body256invalid
299.0ms1239×body256unsamplable
76.0ms144×body512infinite
64.0ms153×body1024infinite
3.0ms2×body4096invalid
2.0ms3×body2048invalid
Bogosity

simplify10.6s (1.2%)

Algorithm
68×egg-herbie
Rules
14134×*-commutative
13078×+-commutative
12612×associate-/r*
12527×associate-*r*
11880×associate-/l*
Stop Event
21×saturated
2×done
16×fuel
47×node limit
Counts
22199 → 18182
Compiler

Compiled 1032 to 700 computations (32.2% saved)

rewrite9.5s (1.1%)

Algorithm
50×batch-egg-rewrite
Rules
12365×*-un-lft-identity
10141×add-sqr-sqrt
9483×associate-*r*
8642×add-cube-cbrt
8468×*-commutative
Stop Event
50×node limit
Counts
357 → 16324

regimes7.7s (0.9%)

Counts
2272 → 102
Calls

43 calls:

1.1s
r
1.1s
x
1.0s
a
989.0ms
b
773.0ms
s
Compiler

Compiled 26199 to 11989 computations (54.2% saved)

prune7.1s (0.8%)

Counts
25873 → 1144
Compiler

Compiled 53839 to 35228 computations (34.6% saved)

preprocess4.0s (0.5%)

Algorithm
19×egg-herbie
Rules
4769×fma-def
3513×distribute-lft-in
3123×*-commutative
3085×distribute-rgt-in
2523×associate-+r+
Stop Event
11×saturated
8×node limit
Compiler

Compiled 3331 to 1847 computations (44.6% saved)

bsearch837.0ms (0.1%)

Algorithm
24×binary-search
Stop Event
24×narrow-enough
Results
344.0ms2019×body256valid
235.0ms548×body1024valid
141.0ms354×body512valid
36.0ms249×body256infinite
28.0ms41×body2048valid
5.0ms21×body512infinite
Compiler

Compiled 5034 to 3483 computations (30.8% saved)

end1.0ms (0%)

Profiling

Loading profile data...