Herbie run

Date:Wednesday, November 8th, 2023
Commit:b9f1b06c on sin-exponent-test
Hostname:nightly with Racket 8.6
Seed:2023312
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.9min)

series2.5min (36.6%)

Counts
686 → 10743
Calls

3017 calls:

TimeVariablePointExpression
2.5min
x
@inf
(pow.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) 3) 1/3)
276.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
96.0ms
eps
@0
(pow.f64 (cbrt.f64 (-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))) 3)
80.0ms
x
@inf
(log1p.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))))
75.0ms
eps
@inf
(log1p.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))))
Results

sample1.5min (21.1%)

Results
34.0s39322×body2048valid
25.9s65952×body1024valid
12.8s100530×body256valid
7.9s36583×body512valid
1.5s2220×body4096valid
1.5s10987×body256infinite
898.0ms1131×body1024invalid
634.0ms5188×body256invalid
432.0ms3905×body256unsamplable
431.0ms3002×body256precondition
382.0ms157×body1024infinite
276.0ms598×body512invalid
89.0ms182×body512infinite
7.0ms7×body2048invalid
5.0ms3×body2048infinite
Bogosity

soundness35.5s (8.6%)

Rules
138248×fma-def
75286×fma-neg
56998×log-prod
56674×times-frac
53104×associate-*r*
Stop Event
4×saturated
187×node limit
Compiler

Compiled 17595 to 11227 computations (36.2% saved)

localize34.7s (8.4%)

Compiler

Compiled 12394 to 6782 computations (45.3% saved)

eval26.9s (6.5%)

Compiler

Compiled 1258671 to 765527 computations (39.2% saved)

simplify18.9s (4.6%)

Algorithm
127×egg-herbie
Rules
74564×fma-def
43914×times-frac
43070×fma-neg
42872×associate-*r*
39060×log-prod
Stop Event
30×saturated
8×done
22×fuel
97×node limit
Counts
38611 → 35869
Compiler

Compiled 3777 to 2613 computations (30.8% saved)

regimes14.2s (3.4%)

Counts
4802 → 351
Calls

42 calls:

3.0s
x
2.7s
eps
1.6s
c
892.0ms
a
794.0ms
b
Compiler

Compiled 52007 to 30715 computations (40.9% saved)

prune14.1s (3.4%)

Counts
53760 → 2562
Compiler

Compiled 123918 to 87874 computations (29.1% saved)

rewrite13.4s (3.2%)

Algorithm
97×batch-egg-rewrite
Rules
53592×log1p-expm1-u
44384×expm1-log1p-u
34610×prod-diff
30928×expm1-udef
28560×log-prod
Stop Event
97×node limit
Counts
686 → 27868

preprocess10.2s (2.5%)

Algorithm
31×egg-herbie
Rules
44322×fma-def
13194×fma-neg
9610×div-sub
9430×associate-/r*
9282×distribute-rgt-in
Stop Event
16×saturated
15×node limit
Compiler

Compiled 10609 to 6410 computations (39.6% saved)

bsearch4.4s (1.1%)

Algorithm
138×binary-search
34×left-value
Stop Event
136×narrow-enough
2×predicate-same
Results
1.6s11340×body256valid
1.4s2804×body1024valid
469.0ms1828×body512valid
453.0ms718×body2048valid
138.0ms668×body256infinite
95.0ms938×body256invalid
16.0ms16×body1024infinite
4.0ms22×body256unsamplable
1.0ms2×body4096valid
Compiler

Compiled 27154 to 20006 computations (26.3% saved)

analyze2.8s (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)

end3.0ms (0%)

Profiling

Loading profile data...