Date:Wednesday, January 18th, 2023
Commit:fcdb6f71 on main
Hostname:nightly with Racket 8.6
Seed:2023018
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.0s (26.8%)

Results
15.0s113133×body256valid
13.8s27727×body1024valid
8.3s3275×body8192exit
3.9s14312×body512valid
2.4s5118×body1024invalid
1.3s1692×body2048valid
842.0ms2539×body512invalid
542.0ms3340×body256infinite
364.0ms2931×body256invalid
100.0ms216×body1024infinite
76.0ms239×body512infinite
41.0ms1×body8192invalid
24.0ms145×body256unsamplable
2.0ms1×body4096invalid
Bogosity

simplify25.2s (14.3%)

Algorithm
231×egg-herbie
Rules
128982×associate-*r*
118990×*-commutative
114082×associate-/l*
112724×distribute-lft-in
108592×associate-*l*
Stop Event
3×done
1×unsound
32×saturated
16×fuel
198×node limit
Counts
34868 → 40067
Compiler

Compiled 2160 to 1420 computations (34.3% saved)

eval24.0s (13.7%)

Compiler

Compiled 1359949 to 655161 computations (51.8% saved)

rewrite19.3s (11%)

Algorithm
193×batch-egg-rewrite
1×egg-rewrite-iter-limit
3×egg-rewrite
Rules
145988×add-sqr-sqrt
143630×*-un-lft-identity
134400×add-cube-cbrt
126762×add-cbrt-cube
79806×add-exp-log
Stop Event
1×iter limit
196×node limit
Counts
467 → 25388

prune17.3s (9.8%)

Counts
50986 → 1737
Compiler

Compiled 46013 to 30895 computations (32.9% saved)

regimes15.3s (8.7%)

Counts
4426 → 175
Calls

51 calls:

2.3s
x
1.9s
a
1.2s
b
1.1s
r
756.0ms
s
Compiler

Compiled 55496 to 25202 computations (54.6% saved)

analyze11.3s (6.4%)

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)

series4.2s (2.4%)

Counts
467 → 9461
Calls

2463 calls:

TimeVariablePointExpression
306.0ms
x
@0
(pow.f64 (*.f64 (pow.f64 (hypot.f64 x x) 1/4) (pow.f64 (cbrt.f64 (hypot.f64 x x)) 1/4)) 2)
271.0ms
x
@0
(cbrt.f64 (pow.f64 (hypot.f64 x x) 1/6))
170.0ms
x
@0
(*.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x)))
103.0ms
x
@0
(*.f64 (sqrt.f64 (pow.f64 (*.f64 (pow.f64 (hypot.f64 x x) 1/4) (pow.f64 (cbrt.f64 (hypot.f64 x x)) 1/4)) 2)) (*.f64 (sqrt.f64 (cbrt.f64 (hypot.f64 x x))) (sqrt.f64 (hypot.f64 x x))))
101.0ms
a
@inf
(log.f64 (+.f64 (/.f64 b (cos.f64 a)) 1))

localize4.2s (2.4%)

Compiler

Compiled 9662 to 4110 computations (57.5% saved)

soundness3.2s (1.8%)

Algorithm
29×egg-herbie
Rules
16656×*-commutative
16586×associate-*r*
16500×associate-/r*
14106×fma-def
13616×associate-/l*
Stop Event
3×saturated
26×node limit
Compiler

Compiled 2394 to 1096 computations (54.2% saved)

bsearch2.2s (1.2%)

Algorithm
11×left-value
57×binary-search
Results
920.0ms4974×body256valid
564.0ms1189×body1024valid
220.0ms519×body512valid
196.0ms968×body256infinite
111.0ms865×body256invalid
37.0ms51×body2048valid
1.0ms3×body1024infinite
Compiler

Compiled 11351 to 7963 computations (29.8% saved)

preprocess1.3s (0.7%)

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 2054 to 1036 computations (49.6% saved)

Profiling

Loading profile data...