Date:Wednesday, May 17th, 2023
Commit:5c5cbfdd on main
Hostname:nightly with Racket 8.6
Seed:2023137
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: 7.2min)

sample1.6min (21.8%)

Results
49.2s296889×body256valid
19.9s14832×body2048valid
11.8s21782×body1024valid
5.1s18696×body256infinite
4.0s12401×body512valid
1.8s202×body8192exit
680.0ms848×body4096valid
576.0ms2813×body256invalid
166.0ms191×body1024infinite
115.0ms253×body512infinite
64.0ms396×body256unsamplable
23.0ms20×body2048infinite
Bogosity

eval1.3min (18.6%)

Compiler

Compiled 3469710 to 1965439 computations (43.4% saved)

rewrite1.0min (14.3%)

Algorithm
412×batch-egg-rewrite
Rules
277834×add-sqr-sqrt
272310×*-un-lft-identity
256668×add-cube-cbrt
250260×add-cbrt-cube
148444×add-exp-log
Stop Event
412×node limit
Counts
972 → 53670

simplify1.0min (14.3%)

Algorithm
496×egg-herbie
Rules
274832×associate-*r*
246348×associate-/l*
245066×*-commutative
239216×associate-*l*
236124×associate-/r*
Stop Event
11×done
59×saturated
31×fuel
437×node limit
Counts
73736 → 93285
Compiler

Compiled 8589 to 5360 computations (37.6% saved)

prune38.2s (8.9%)

Counts
111069 → 2421
Compiler

Compiled 75173 to 50157 computations (33.3% saved)

regimes34.4s (8%)

Counts
5485 → 590
Calls

92 calls:

6.1s
a
4.5s
c
4.1s
b
2.3s
d
1.4s
n
Compiler

Compiled 86597 to 48138 computations (44.4% saved)

localize14.8s (3.4%)

Compiler

Compiled 31109 to 17388 computations (44.1% saved)

soundness13.0s (3%)

Rules
42050×*-commutative
37656×distribute-lft-in
34868×fma-def
33452×associate-/r*
32750×associate-*r*
Stop Event
6×saturated
78×node limit
Compiler

Compiled 8441 to 4780 computations (43.4% saved)

bsearch11.3s (2.6%)

Algorithm
330×binary-search
10×left-value
Stop Event
324×narrow-enough
6×predicate-same
Results
6.6s36548×body256valid
1.6s3264×body1024valid
733.0ms748×body2048valid
561.0ms1849×body512valid
309.0ms2865×body256invalid
290.0ms1667×body256infinite
50.0ms80×body1024infinite
48.0ms128×body512infinite
12.0ms7×body4096valid
Compiler

Compiled 83158 to 57675 computations (30.6% saved)

analyze11.1s (2.6%)

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)

end4.1s (1%)

Compiler

Compiled 8211 to 4333 computations (47.2% saved)

series3.9s (0.9%)

Counts
972 → 20024
Calls

5505 calls:

TimeVariablePointExpression
270.0ms
t
@0
(*.f64 (*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
114.0ms
t
@-inf
(*.f64 (*.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) (sqrt.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))))
105.0ms
t
@-inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)
71.0ms
i
@-inf
(log.f64 (/.f64 i n))
66.0ms
i
@inf
(/.f64 (*.f64 (log.f64 (/.f64 i n)) (*.f64 n 100)) i)

preprocess3.0s (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...