Date:Thursday, April 13th, 2023
Commit:e093b807 on main
Hostname:nightly with Racket 8.6
Seed:2023103
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.9min)

sample47.1s (26.6%)

Results
15.1s113083×body256valid
14.1s28122×body1024valid
7.9s3157×body8192exit
4.3s14090×body512valid
2.2s4747×body1024invalid
1.1s1569×body2048valid
647.0ms2383×body512invalid
601.0ms3319×body256infinite
427.0ms2801×body256invalid
117.0ms210×body1024infinite
66.0ms229×body512infinite
31.0ms147×body256unsamplable
6.0ms10×body2048invalid
1.0ms1×body4096invalid
Bogosity

simplify27.4s (15.5%)

Algorithm
240×egg-herbie
Rules
128758×associate-*r*
120802×*-commutative
111820×distribute-lft-in
110476×associate-*l*
109784×associate-/l*
Stop Event
3×done
32×saturated
16×fuel
208×node limit
Counts
35604 → 41105
Compiler

Compiled 2001 to 1331 computations (33.5% saved)

eval23.4s (13.2%)

Compiler

Compiled 1265975 to 620094 computations (51% saved)

rewrite19.9s (11.2%)

Algorithm
202×batch-egg-rewrite
Rules
155180×add-sqr-sqrt
152556×*-un-lft-identity
142906×add-cube-cbrt
141554×add-cbrt-cube
89194×associate-*l/
Stop Event
202×node limit
Counts
498 → 26365

prune18.4s (10.4%)

Counts
50503 → 1740
Compiler

Compiled 43194 to 29774 computations (31.1% saved)

regimes13.6s (7.7%)

Counts
3796 → 167
Calls

51 calls:

1.6s
x
1.5s
a
1.3s
b
789.0ms
r
764.0ms
c
Compiler

Compiled 47517 to 21527 computations (54.7% saved)

analyze12.3s (6.9%)

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

Compiler

Compiled 8740 to 4264 computations (51.2% saved)

soundness3.7s (2.1%)

Algorithm
29×egg-herbie
Rules
18854×associate-*r*
16924×*-commutative
16316×associate-/r*
15456×sqr-pow
15274×associate-*l*
Stop Event
3×saturated
26×node limit
Compiler

Compiled 2089 to 1062 computations (49.2% saved)

series2.3s (1.3%)

Counts
498 → 9220
Calls

2544 calls:

TimeVariablePointExpression
116.0ms
x
@0
(sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 4)))
82.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
81.0ms
b
@inf
(log.f64 (*.f64 (sin.f64 b) (/.f64 r (cos.f64 (+.f64 b a)))))
62.0ms
x
@inf
(pow.f64 (cos.f64 x) 3/2)
61.0ms
x
@0
(*.f64 (sqrt.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 4))) (sqrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x)))))

bsearch2.0s (1.1%)

Algorithm
52×binary-search
10×left-value
Stop Event
48×narrow-enough
3×predicate-failed
1×predicate-same
Results
843.0ms4791×body256valid
438.0ms881×body1024valid
249.0ms1446×body256invalid
166.0ms396×body512valid
91.0ms75×body2048valid
89.0ms554×body256infinite
4.0ms12×body512infinite
4.0ms8×body1024infinite
Compiler

Compiled 9549 to 6676 computations (30.1% saved)

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

end1.1s (0.6%)

Compiler

Compiled 1973 to 1018 computations (48.4% saved)

Profiling

Loading profile data...