Date:Thursday, July 6th, 2023
Commit:b6e17b25 on asinh-taylor-bug
Hostname:nightly with Racket 8.6
Seed:2023187
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: 2.8min)

sample48.7s (28.7%)

Results
15.9s113169×body256valid
14.3s27928×body1024valid
8.5s3248×body8192exit
4.0s14107×body512valid
2.5s4884×body1024invalid
1.1s1660×body2048valid
694.0ms2487×body512invalid
612.0ms3324×body256infinite
394.0ms2728×body256invalid
168.0ms238×body1024infinite
90.0ms257×body512infinite
29.0ms155×body256unsamplable
3.0ms1×body8192invalid
Bogosity

simplify25.7s (15.1%)

Algorithm
222×egg-herbie
Rules
117966×associate-*r*
114208×*-commutative
111938×associate-/l*
101980×associate-*l*
101176×associate-/r*
Stop Event
5×done
32×saturated
14×fuel
190×node limit
Counts
33020 → 38398
Compiler

Compiled 2459 to 1635 computations (33.5% saved)

eval20.6s (12.1%)

Compiler

Compiled 1270660 to 603912 computations (52.5% saved)

rewrite17.6s (10.4%)

Algorithm
184×batch-egg-rewrite
Rules
130164×add-sqr-sqrt
127996×*-un-lft-identity
119872×add-cube-cbrt
118794×add-cbrt-cube
86240×associate-*l/
Stop Event
184×node limit
Counts
446 → 24207

regimes15.4s (9.1%)

Counts
4417 → 176
Calls

53 calls:

2.1s
x
2.1s
a
1.5s
b
1.1s
r
785.0ms
(tan.f64 a)
Compiler

Compiled 59426 to 30892 computations (48% saved)

prune15.4s (9.1%)

Counts
46863 → 1737
Compiler

Compiled 47863 to 32699 computations (31.7% saved)

analyze11.6s (6.8%)

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)

localize4.1s (2.4%)

Compiler

Compiled 8749 to 3974 computations (54.6% saved)

soundness3.3s (2%)

Algorithm
26×egg-herbie
Rules
14972×fma-def
14816×associate-*r*
14230×*-commutative
14134×associate-/r*
12550×sqr-pow
Stop Event
3×saturated
23×node limit
Compiler

Compiled 2171 to 1368 computations (37% saved)

series2.6s (1.5%)

Counts
446 → 8794
Calls

2454 calls:

TimeVariablePointExpression
104.0ms
b
@0
(pow.f64 (pow.f64 (*.f64 (sin.f64 b) (/.f64 r (cos.f64 (+.f64 b a)))) 3) 1/3)
80.0ms
z
@inf
(log.f64 (+.f64 (tan.f64 (+.f64 y z)) (-.f64 x (tan.f64 a))))
67.0ms
y
@-inf
(log1p.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 y z)) a)))
55.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
53.0ms
w
@inf
(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))

bsearch2.2s (1.3%)

Algorithm
49×binary-search
16×left-value
Results
864.0ms1311×body1024valid
701.0ms3726×body256valid
310.0ms704×body512valid
122.0ms101×body2048valid
98.0ms1111×body256invalid
44.0ms291×body256infinite
4.0ms15×body512infinite
3.0ms7×body1024infinite
Compiler

Compiled 8786 to 6279 computations (28.5% saved)

preprocess1.4s (0.8%)

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)

end1.2s (0.7%)

Compiler

Compiled 2399 to 1261 computations (47.4% saved)

Profiling

Loading profile data...