Date:Thursday, May 18th, 2023
Commit:5c5cbfdd on main
Hostname:nightly with Racket 8.6
Seed:2023138
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.2min)

sample48.4s (25.1%)

Results
14.9s113148×body256valid
14.2s27890×body1024valid
8.6s3282×body8192exit
4.4s14163×body512valid
2.6s5007×body1024invalid
1.3s1663×body2048valid
716.0ms3355×body256infinite
711.0ms2533×body512invalid
365.0ms2836×body256invalid
117.0ms223×body1024infinite
76.0ms252×body512infinite
28.0ms143×body256unsamplable
3.0ms1×body8192invalid
2.0ms1×body4096invalid
1.0ms1×body2048invalid
Bogosity

rewrite30.7s (15.9%)

Algorithm
203×batch-egg-rewrite
Rules
165306×add-sqr-sqrt
162588×*-un-lft-identity
152180×add-cube-cbrt
150750×add-cbrt-cube
88982×add-exp-log
Stop Event
203×node limit
Counts
490 → 23783

simplify28.3s (14.7%)

Algorithm
241×egg-herbie
Rules
124214×*-commutative
122954×associate-*r*
116796×distribute-lft-in
105528×associate-*l*
101038×associate-/l*
Stop Event
4×done
2×unsound
32×saturated
15×fuel
207×node limit
Counts
32977 → 38100
Compiler

Compiled 2003 to 1263 computations (36.9% saved)

eval23.9s (12.4%)

Compiler

Compiled 1318662 to 618113 computations (53.1% saved)

prune18.7s (9.7%)

Counts
48662 → 1917
Compiler

Compiled 55053 to 36880 computations (33% saved)

regimes13.0s (6.7%)

Counts
3909 → 147
Calls

53 calls:

2.7s
x
1.1s
a
1.0s
c
1.0s
s
810.0ms
b
Compiler

Compiled 55500 to 25472 computations (54.1% saved)

analyze12.6s (6.6%)

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

Compiler

Compiled 9547 to 4321 computations (54.7% saved)

soundness4.8s (2.5%)

Rules
16102×associate-/r*
13338×distribute-lft-in
12570×associate-*r*
12420×*-commutative
12156×fma-def
Stop Event
2×saturated
32×node limit
Compiler

Compiled 3501 to 1538 computations (56.1% saved)

series2.2s (1.1%)

Counts
490 → 9175
Calls

2577 calls:

TimeVariablePointExpression
108.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
100.0ms
w
@inf
(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
66.0ms
x
@0
(pow.f64 (*.f64 x (*.f64 x 2)) 1/4)
55.0ms
x
@inf
(*.f64 (fmod.f64 (exp.f64 x) 1) (-.f64 1 x))
44.0ms
l
@inf
(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))

bsearch1.7s (0.9%)

Algorithm
43×binary-search
9×left-value
Stop Event
37×narrow-enough
4×predicate-failed
2×predicate-same
Results
742.0ms4169×body256valid
254.0ms2416×body256invalid
203.0ms389×body1024valid
184.0ms784×body256infinite
132.0ms126×body2048valid
108.0ms312×body512valid
5.0ms16×body512infinite
4.0ms6×body1024infinite
Compiler

Compiled 9736 to 6498 computations (33.3% saved)

preprocess1.5s (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.6%)

Compiler

Compiled 2012 to 1014 computations (49.6% saved)

Profiling

Loading profile data...