Date:Monday, May 15th, 2023
Commit:1f5aabee on main
Hostname:nightly with Racket 8.6
Seed:2023135
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)

sample50.0s (25%)

Results
15.4s112829×body256valid
14.5s28235×body1024valid
8.7s3204×body8192exit
4.3s14056×body512valid
2.8s5050×body1024invalid
1.3s1744×body2048valid
882.0ms2940×body256invalid
793.0ms3456×body256infinite
764.0ms2434×body512invalid
136.0ms199×body1024infinite
78.0ms262×body512infinite
34.0ms160×body256unsamplable
9.0ms3×body8192invalid
8.0ms5×body4096invalid
6.0ms5×body2048invalid
Bogosity

rewrite29.3s (14.7%)

Algorithm
195×batch-egg-rewrite
Rules
149072×add-sqr-sqrt
146662×*-un-lft-identity
137350×add-cube-cbrt
136064×add-cbrt-cube
85342×add-exp-log
Stop Event
195×node limit
Counts
473 → 23694

simplify27.0s (13.5%)

Algorithm
233×egg-herbie
Rules
122066×associate-*r*
117214×*-commutative
115020×associate-/l*
104702×associate-*l*
103568×distribute-lft-in
Stop Event
4×unsound
4×done
32×saturated
15×fuel
197×node limit
Counts
32965 → 38022
Compiler

Compiled 2417 to 1585 computations (34.4% saved)

eval24.6s (12.3%)

Compiler

Compiled 1322857 to 644291 computations (51.3% saved)

regimes19.6s (9.8%)

Counts
4971 → 187
Calls

53 calls:

2.6s
x
2.4s
a
1.6s
b
1.5s
r
944.0ms
z
Compiler

Compiled 72636 to 35232 computations (51.5% saved)

prune19.5s (9.7%)

Counts
47865 → 2101
Compiler

Compiled 63694 to 41985 computations (34.1% saved)

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

localize4.7s (2.4%)

Compiler

Compiled 9242 to 4176 computations (54.8% saved)

soundness4.2s (2.1%)

Algorithm
22×egg-herbie
Rules
19988×associate-/r*
16348×*-commutative
14654×distribute-lft-in
14412×associate-/l*
14082×associate-*r/
Stop Event
2×saturated
38×node limit
Compiler

Compiled 4183 to 2396 computations (42.7% saved)

series2.7s (1.3%)

Counts
473 → 9252
Calls

2523 calls:

TimeVariablePointExpression
247.0ms
x
@-inf
(*.f64 (sqrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x)))
107.0ms
x
@0
(cbrt.f64 (sqrt.f64 (hypot.f64 x x)))
76.0ms
x
@0
(*.f64 (sqrt.f64 (hypot.f64 x x)) (cbrt.f64 (hypot.f64 x x)))
72.0ms
r
@-inf
(log.f64 (*.f64 r (sin.f64 b)))
62.0ms
x
@-inf
(-.f64 (exp.f64 (log1p.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))) 1)

bsearch2.4s (1.2%)

Algorithm
59×binary-search
7×left-value
Stop Event
53×narrow-enough
2×predicate-failed
4×predicate-same
Results
1.0s5372×body256valid
790.0ms1011×body1024valid
210.0ms918×body256infinite
192.0ms420×body512valid
39.0ms46×body2048valid
19.0ms227×body256invalid
Compiler

Compiled 11239 to 7806 computations (30.5% 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.2s (0.6%)

Compiler

Compiled 2339 to 1165 computations (50.2% saved)

Profiling

Loading profile data...