Date:Wednesday, May 17th, 2023
Commit:5c5cbfdd on main
Hostname:nightly with Racket 8.6
Seed:2023137
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:simplify
default

Details

Time bar (total: 3.3min)

sample49.7s (25.5%)

Results
15.4s113219×body256valid
14.9s27898×body1024valid
8.2s3287×body8192exit
4.8s14079×body512valid
2.5s4895×body1024invalid
1.4s1668×body2048valid
669.0ms2448×body512invalid
612.0ms3262×body256infinite
350.0ms2784×body256invalid
232.0ms231×body1024infinite
134.0ms248×body512infinite
32.0ms148×body256unsamplable
14.0ms4×body8192invalid
3.0ms4×body2048invalid
Bogosity

rewrite27.0s (13.8%)

Algorithm
195×batch-egg-rewrite
Rules
163702×add-sqr-sqrt
161056×*-un-lft-identity
150840×add-cube-cbrt
149420×add-cbrt-cube
88546×add-exp-log
Stop Event
195×node limit
Counts
476 → 23765

eval26.3s (13.5%)

Compiler

Compiled 1376502 to 646293 computations (53% saved)

simplify25.5s (13.1%)

Algorithm
233×egg-herbie
Rules
120858×associate-*r*
114412×*-commutative
106590×distribute-lft-in
106564×associate-/l*
99622×associate-*l*
Stop Event
5×unsound
1×done
32×saturated
18×fuel
196×node limit
Counts
33080 → 37570
Compiler

Compiled 1858 to 1204 computations (35.2% saved)

prune18.5s (9.5%)

Counts
47687 → 1874
Compiler

Compiled 53295 to 35594 computations (33.2% saved)

regimes17.9s (9.2%)

Counts
4296 → 152
Calls

53 calls:

2.2s
a
1.8s
b
1.7s
r
1.6s
x
942.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
Compiler

Compiled 57528 to 25393 computations (55.9% saved)

analyze12.3s (6.3%)

Algorithm
19×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%72.3%27.7%0%0%0%0
9.1%6.6%65.7%27.7%0%0%0%1
10.9%7.9%64.4%27.7%0%0%0%2
32.8%23.7%48.6%27.7%0%0%0%3
42.8%30.9%41.4%27.7%0%0%0%4
48.9%34.9%36.5%27.7%0%1%0%5
53.3%37.5%32.9%27.7%0.5%1.2%0.3%6
58.9%41%28.7%27.7%0.6%1.7%0.3%7
62.4%43.1%26%27.7%0.9%1.8%0.5%8
65.8%45.2%23.5%27.7%0.9%2.2%0.5%9
69.2%47.3%21%27.7%1.1%2.3%0.6%10
71.3%48.5%19.5%27.7%1.3%2.5%0.6%11
73.2%49.6%18.2%27.7%1.4%2.5%0.6%12
Compiler

Compiled 288 to 205 computations (28.8% saved)

localize5.3s (2.7%)

Compiler

Compiled 10539 to 4540 computations (56.9% saved)

soundness4.7s (2.4%)

Rules
16120×associate-/r*
14770×distribute-lft-in
13938×associate-/l*
13684×*-commutative
12204×associate-*r*
Stop Event
2×saturated
32×node limit
Compiler

Compiled 3238 to 1283 computations (60.4% saved)

series3.4s (1.7%)

Counts
476 → 9296
Calls

2526 calls:

TimeVariablePointExpression
273.0ms
x
@-inf
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (sqrt.f64 (hypot.f64 x x))))
160.0ms
x
@0
(*.f64 (pow.f64 (sqrt.f64 (hypot.f64 x x)) 3/2) (sqrt.f64 (sqrt.f64 (hypot.f64 x x))))
116.0ms
x
@0
(*.f64 (sqrt.f64 (hypot.f64 x x)) (sqrt.f64 (sqrt.f64 (hypot.f64 x x))))
96.0ms
l
@0
(-.f64 (+.f64 1 l) 1)
91.0ms
x
@0
(cbrt.f64 (sqrt.f64 (hypot.f64 x x)))

preprocess1.8s (0.9%)

Algorithm
38×egg-herbie
Rules
8532×fma-def
7066×sqr-pow
5672×associate-/l/
5048×unswap-sqr
4482×*-commutative
Stop Event
3×unsound
28×saturated
7×node limit
Compiler

Compiled 214 to 157 computations (26.6% saved)

bsearch1.7s (0.9%)

Algorithm
47×binary-search
8×left-value
Stop Event
42×narrow-enough
5×predicate-failed
Results
757.0ms3860×body256valid
372.0ms558×body1024valid
194.0ms882×body256infinite
109.0ms1043×body256invalid
83.0ms250×body512valid
44.0ms70×body1024infinite
23.0ms47×body512infinite
21.0ms29×body2048valid
Compiler

Compiled 7811 to 5274 computations (32.5% saved)

end1.0s (0.5%)

Compiler

Compiled 1734 to 815 computations (53% saved)

Profiling

Loading profile data...