Date:Thursday, December 22nd, 2022
Commit:d611f941 on main
Hostname:nightly with Racket 8.6
Seed:2022356
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: 6.0min)

sample1.5min (24.5%)

Results
46.7s297163×body256valid
17.6s14931×body2048valid
11.4s21762×body1024valid
4.9s19389×body256infinite
3.4s12029×body512valid
2.1s202×body8192exit
635.0ms867×body4096valid
625.0ms2957×body256invalid
175.0ms214×body1024infinite
88.0ms223×body512infinite
60.0ms392×body256unsamplable
23.0ms24×body2048infinite
Bogosity

eval1.1min (18.6%)

Compiler

Compiled 3221322 to 1882722 computations (41.6% saved)

simplify50.7s (14.1%)

Algorithm
476×egg-herbie
Rules
251090×associate-*r*
237988×*-commutative
237740×associate-/l*
236798×distribute-lft-in
218436×associate-*l*
Stop Event
2×unsound
14×done
58×saturated
28×fuel
416×node limit
Counts
67161 → 84262
Compiler

Compiled 7774 to 4925 computations (36.6% saved)

rewrite36.7s (10.2%)

Algorithm
392×batch-egg-rewrite
6×egg-rewrite-iter-limit
14×egg-rewrite
Rules
286984×add-sqr-sqrt
281074×*-un-lft-identity
265062×add-cube-cbrt
255234×add-cbrt-cube
147406×add-exp-log
Stop Event
6×iter limit
406×node limit
Counts
892 → 49008

prune35.0s (9.7%)

Counts
103278 → 2201
Compiler

Compiled 65330 to 44409 computations (32% saved)

regimes30.1s (8.4%)

Counts
4627 → 552
Calls

92 calls:

5.0s
a
3.9s
b
3.3s
c
2.2s
d
1.9s
v
Compiler

Compiled 73265 to 41286 computations (43.6% saved)

localize13.2s (3.7%)

Compiler

Compiled 30422 to 17201 computations (43.5% saved)

analyze11.0s (3%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
6.4%3.5%51%45.5%0%0%0%1
6.4%3.5%51%45.5%0%0%0%2
20.5%10.9%42.4%45.5%0%1.2%0%3
26.9%14.3%38.7%45.5%0%1.5%0%4
34.9%18.2%34%45.6%0.6%1.7%0%5
38.2%19.4%31.4%45.6%1.9%1.7%0%6
44.8%22%27.2%45.6%3%2.2%0%7
48.2%23.4%25.2%45.7%3.6%2.2%0.1%8
52.7%25%22.5%45.7%4.1%2.5%0.1%9
57.3%26.9%20%45.7%4.5%2.7%0.2%10
61%28.3%18%45.7%4.9%2.8%0.2%11
64.7%29.7%16.2%45.7%5.2%2.9%0.3%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

bsearch10.6s (2.9%)

Algorithm
307×binary-search
8×left-value
Results
5.4s33046×body256valid
1.7s3254×body1024valid
1.5s1224×body2048valid
371.0ms1333×body512valid
342.0ms1942×body256infinite
259.0ms2634×body256invalid
116.0ms55×body4096valid
89.0ms168×body1024infinite
84.0ms257×body512infinite
9.0ms9×body2048infinite
Compiler

Compiled 72022 to 50389 computations (30% saved)

soundness8.5s (2.4%)

Algorithm
59×egg-herbie
Rules
39266×fma-def
38122×*-commutative
33966×associate-/r*
31974×associate-*r*
30262×associate-*l*
Stop Event
6×saturated
53×node limit
Compiler

Compiled 22828 to 15536 computations (31.9% saved)

end3.8s (1%)

Compiler

Compiled 7422 to 4002 computations (46.1% saved)

series3.2s (0.9%)

Counts
892 → 18111
Calls

5049 calls:

TimeVariablePointExpression
74.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
70.0ms
i
@0
(-.f64 (log.f64 i) (log.f64 n))
64.0ms
c
@-inf
(/.f64 a (+.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)))))
56.0ms
i
@inf
(*.f64 100 (*.f64 n (/.f64 (*.f64 n (-.f64 (log.f64 i) (log.f64 n))) i)))
50.0ms
i
@-inf
(log.f64 (/.f64 i n))

preprocess2.5s (0.7%)

Algorithm
84×egg-herbie
Rules
23512×fma-def
17930×distribute-lft-in
17024×*-commutative
15010×+-commutative
14462×distribute-rgt-in
Stop Event
5×unsound
54×saturated
25×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

Profiling

Loading profile data...