Herbie run

Date:Saturday, December 2nd, 2023
Commit:84ed007b on platform-cost
Hostname:nightly with Racket 8.6
Seed:2023336
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.6min (26%)

Results
36.6s39445×body2048valid
25.1s60716×body1024valid
15.9s108244×body256valid
8.7s33825×body512valid
1.5s11107×body256infinite
1.4s2240×body4096valid
1.1s1101×body1024invalid
709.0ms3108×body256precondition
641.0ms4795×body256invalid
417.0ms3763×body256unsamplable
212.0ms564×body512invalid
199.0ms157×body1024infinite
95.0ms194×body512infinite
8.0ms7×body2048invalid
5.0ms6×body2048infinite
3.0ms2×body8192valid
Bogosity

soundness52.6s (14.7%)

Rules
57607×*-commutative
56634×associate-*r*
55955×associate-*r/
52074×+-commutative
46971×associate-*l*
Stop Event
3×unsound
3×saturated
229×node limit
Compiler

Compiled 21400 to 13502 computations (36.9% saved)

eval48.7s (13.6%)

Compiler

Compiled 2085576 to 1278239 computations (38.7% saved)

localize46.9s (13.1%)

Compiler

Compiled 14464 to 7637 computations (47.2% saved)

simplify30.3s (8.5%)

Algorithm
146×egg-herbie
Rules
42628×associate-*r*
40024×associate-*l*
37897×associate-/l*
37591×+-commutative
35935×*-commutative
Stop Event
3×done
2×unsound
31×saturated
28×fuel
113×node limit
Counts
52419 → 55519
Compiler

Compiled 4301 to 2973 computations (30.9% saved)

rewrite25.0s (7%)

Algorithm
115×batch-egg-rewrite
Rules
22252×*-commutative
21924×associate-*r/
20937×*-un-lft-identity
18855×associate-/r*
18444×associate-*l/
Stop Event
1×unsound
114×node limit
Counts
815 → 41213

prune23.4s (6.5%)

Counts
82428 → 2410
Compiler

Compiled 120402 to 83501 computations (30.6% saved)

regimes14.5s (4.1%)

Counts
4798 → 387
Calls

43 calls:

3.3s
x
2.6s
eps
1.3s
c
1.0s
(/.f64 1 n)
1.0s
b
Compiler

Compiled 53660 to 31362 computations (41.6% saved)

preprocess11.4s (3.2%)

Algorithm
31×egg-herbie
Rules
8653×fma-def
6188×*-commutative
5793×associate-/r*
5518×distribute-lft-in
5324×+-commutative
Stop Event
16×saturated
15×node limit
Compiler

Compiled 11705 to 6980 computations (40.4% saved)

series5.3s (1.5%)

Counts
815 → 11206
Calls

3222 calls:

TimeVariablePointExpression
289.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
204.0ms
a
@-inf
(pow.f64 (cbrt.f64 (pow.f64 (expm1.f64 (*.f64 a x)) 4)) 2/3)
188.0ms
x
@inf
(log1p.f64 (tan.f64 x))
133.0ms
x
@inf
(exp.f64 (*.f64 -1/2 (log1p.f64 x)))
124.0ms
x
@-inf
(log1p.f64 (tan.f64 x))

bsearch4.5s (1.2%)

Algorithm
131×binary-search
50×left-value
Stop Event
127×narrow-enough
4×predicate-same
Results
1.8s12447×body256valid
1.3s2574×body1024valid
424.0ms1442×body512valid
369.0ms605×body2048valid
167.0ms1521×body256invalid
48.0ms257×body256infinite
24.0ms134×body256unsamplable
15.0ms32×body512infinite
14.0ms15×body1024infinite
2.0ms4×body4096valid
Compiler

Compiled 26960 to 20152 computations (25.3% saved)

analyze2.6s (0.7%)

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)

end6.0ms (0%)

Profiling

Loading profile data...