Date:Thursday, February 23rd, 2023
Commit:f090ba30 on fix-report-link
Hostname:nightly with Racket 8.6
Seed:2023054
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)

sample47.0s (27.5%)

Results
15.2s113006×body256valid
13.7s28074×body1024valid
8.7s3279×body8192exit
3.9s14139×body512valid
2.0s4975×body1024invalid
1.2s1645×body2048valid
736.0ms3372×body256infinite
594.0ms2483×body512invalid
360.0ms2802×body256invalid
179.0ms246×body1024infinite
90.0ms243×body512infinite
48.0ms168×body256unsamplable
6.0ms4×body4096invalid
1.0ms2×body2048invalid
Bogosity

simplify24.7s (14.5%)

Algorithm
230×egg-herbie
Rules
128576×associate-*r*
118518×*-commutative
109290×associate-/l*
109174×associate-*l*
106440×distribute-lft-in
Stop Event
2×unsound
4×done
32×saturated
15×fuel
196×node limit
Counts
32207 → 36792
Compiler

Compiled 2455 to 1607 computations (34.5% saved)

eval22.9s (13.4%)

Compiler

Compiled 1397251 to 699250 computations (50% saved)

rewrite17.8s (10.4%)

Algorithm
192×batch-egg-rewrite
Rules
144178×add-sqr-sqrt
141834×*-un-lft-identity
132764×add-cube-cbrt
131546×add-cbrt-cube
91908×add-exp-log
Stop Event
192×node limit
Counts
458 → 23254

regimes16.8s (9.8%)

Counts
5064 → 183
Calls

51 calls:

2.0s
a
1.9s
x
1.8s
b
1.7s
r
1.1s
c
Compiler

Compiled 72493 to 34714 computations (52.1% saved)

prune15.4s (9%)

Counts
46911 → 1911
Compiler

Compiled 55199 to 36882 computations (33.2% saved)

analyze12.0s (7%)

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.4s (2.6%)

Compiler

Compiled 9892 to 4720 computations (52.3% saved)

soundness2.7s (1.6%)

Algorithm
22×egg-herbie
Rules
12618×fma-def
12328×associate-*r*
11738×associate-/r*
11620×*-commutative
11532×sqr-pow
Stop Event
2×saturated
20×node limit
Compiler

Compiled 1976 to 919 computations (53.5% saved)

series2.4s (1.4%)

Counts
458 → 8934
Calls

2514 calls:

TimeVariablePointExpression
275.0ms
b
@-inf
(log.f64 (*.f64 r (sin.f64 b)))
106.0ms
y
@-inf
(pow.f64 (-.f64 (exp.f64 (log1p.f64 (cbrt.f64 (+.f64 (tan.f64 (+.f64 y z)) (-.f64 x (tan.f64 a)))))) 1) 3)
54.0ms
l
@0
(/.f64 (pow.f64 l (exp.f64 w)) (log.f64 (+.f64 1 (expm1.f64 (exp.f64 w)))))
54.0ms
l
@0
(pow.f64 l (exp.f64 w))
54.0ms
z
@-inf
(pow.f64 (-.f64 (exp.f64 (log1p.f64 (cbrt.f64 (+.f64 (tan.f64 (+.f64 y z)) (-.f64 x (tan.f64 a)))))) 1) 3)

bsearch2.0s (1.2%)

Algorithm
12×left-value
56×binary-search
Results
800.0ms4596×body256valid
589.0ms1092×body1024valid
228.0ms539×body512valid
138.0ms1416×body256invalid
62.0ms385×body256infinite
20.0ms29×body2048valid
16.0ms36×body1024infinite
7.0ms23×body512infinite
Compiler

Compiled 10235 to 6951 computations (32.1% 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 2372 to 1188 computations (49.9% saved)

Profiling

Loading profile data...