Date:Monday, May 1st, 2023
Commit:e093b807 on main
Hostname:nightly with Racket 8.6
Seed:2023121
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.9s (28.6%)

Results
14.7s113291×body256valid
14.2s27915×body1024valid
8.5s3189×body8192exit
4.5s13989×body512valid
2.4s4920×body1024invalid
1.3s1669×body2048valid
682.0ms3295×body256infinite
659.0ms2429×body512invalid
332.0ms2815×body256invalid
104.0ms276×body512infinite
103.0ms212×body1024infinite
100.0ms151×body256unsamplable
5.0ms8×body2048invalid
3.0ms1×body8192invalid
1.0ms1×body4096invalid
Bogosity

simplify25.1s (15%)

Algorithm
229×egg-herbie
Rules
120664×associate-*r*
111794×*-commutative
103580×associate-/l*
102338×distribute-lft-in
100650×associate-*l*
Stop Event
5×unsound
4×done
32×saturated
15×fuel
192×node limit
Counts
33296 → 37873
Compiler

Compiled 2268 to 1541 computations (32.1% saved)

eval20.2s (12.1%)

Compiler

Compiled 1182217 to 570973 computations (51.7% saved)

rewrite18.2s (10.8%)

Algorithm
191×batch-egg-rewrite
2×egg-rewrite
1×egg-rewrite-iter-limit
Rules
156382×add-sqr-sqrt
153852×*-un-lft-identity
144022×add-cube-cbrt
142672×add-cbrt-cube
80124×add-exp-log
Stop Event
1×iter limit
193×node limit
Counts
471 → 23994

prune16.8s (10%)

Counts
45453 → 1888
Compiler

Compiled 52357 to 35829 computations (31.6% saved)

regimes13.4s (8%)

Counts
4136 → 173
Calls

51 calls:

1.9s
x
1.9s
b
1.7s
a
1.3s
r
765.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
Compiler

Compiled 57708 to 30860 computations (46.5% saved)

analyze11.9s (7.1%)

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)

localize3.9s (2.3%)

Compiler

Compiled 8573 to 3894 computations (54.6% saved)

soundness2.9s (1.7%)

Algorithm
25×egg-herbie
Rules
13426×associate-/r*
13310×*-commutative
12960×fma-def
12924×associate-*r*
12152×sqr-pow
Stop Event
2×saturated
23×node limit
Compiler

Compiled 2481 to 1508 computations (39.2% saved)

series2.9s (1.7%)

Counts
471 → 9283
Calls

2577 calls:

TimeVariablePointExpression
229.0ms
hi
@0
(-.f64 1 (/.f64 (-.f64 x hi) lo))
122.0ms
x
@0
(cbrt.f64 (sqrt.f64 (hypot.f64 x x)))
109.0ms
b
@inf
(log.f64 (/.f64 (*.f64 (sin.f64 b) r) (cos.f64 b)))
92.0ms
x
@0
(*.f64 (cbrt.f64 (*.f64 2 (*.f64 x x))) (sqrt.f64 (cbrt.f64 (*.f64 2 (*.f64 x x)))))
76.0ms
b
@inf
(log.f64 (*.f64 (sin.f64 b) (/.f64 r (cos.f64 (+.f64 b a)))))

bsearch2.0s (1.2%)

Algorithm
64×binary-search
4×left-value
Stop Event
55×narrow-enough
4×predicate-failed
5×predicate-same
Results
865.0ms4926×body256valid
492.0ms913×body1024valid
218.0ms519×body512valid
97.0ms791×body256invalid
90.0ms52×body2048valid
86.0ms539×body256infinite
6.0ms15×body1024infinite
4.0ms10×body512infinite
Compiler

Compiled 10869 to 7437 computations (31.6% 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 2216 to 1219 computations (45% saved)

Profiling

Loading profile data...