Date:Tuesday, May 9th, 2023
Commit:16332b09 on main
Hostname:nightly with Racket 8.6
Seed:2023129
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.6min)

sample1.5min (22.2%)

Results
45.2s296824×body256valid
18.3s14842×body2048valid
11.7s21896×body1024valid
5.1s18737×body256infinite
4.0s12325×body512valid
1.5s202×body8192exit
784.0ms865×body4096valid
493.0ms3009×body256invalid
134.0ms190×body1024infinite
84.0ms216×body512infinite
65.0ms433×body256unsamplable
29.0ms28×body2048infinite
Bogosity

eval1.2min (18.2%)

Compiler

Compiled 3523641 to 2013290 computations (42.9% saved)

simplify58.7s (14.8%)

Algorithm
501×egg-herbie
Rules
262434×associate-*r*
251102×*-commutative
238646×associate-/l*
237160×associate-/r*
234936×distribute-lft-in
Stop Event
2×unsound
12×done
59×saturated
30×fuel
440×node limit
Counts
72176 → 90375
Compiler

Compiled 8448 to 5157 computations (39% saved)

rewrite42.5s (10.7%)

Algorithm
417×batch-egg-rewrite
5×egg-rewrite-iter-limit
12×egg-rewrite
Rules
294854×add-sqr-sqrt
288792×*-un-lft-identity
272258×add-cube-cbrt
262258×add-cbrt-cube
166712×add-exp-log
Stop Event
5×iter limit
429×node limit
Counts
960 → 52703

prune41.5s (10.5%)

Counts
112031 → 2369
Compiler

Compiled 74370 to 49672 computations (33.2% saved)

regimes38.2s (9.6%)

Counts
4947 → 607
Calls

91 calls:

9.5s
a
6.5s
b
5.7s
c
3.6s
d
1.3s
x
Compiler

Compiled 84973 to 46589 computations (45.2% saved)

localize15.6s (3.9%)

Compiler

Compiled 32327 to 18012 computations (44.3% saved)

analyze10.6s (2.7%)

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)

bsearch9.4s (2.4%)

Algorithm
351×binary-search
7×left-value
Stop Event
343×narrow-enough
8×predicate-same
Results
6.4s42281×body256valid
718.0ms1606×body1024valid
594.0ms2020×body256invalid
372.0ms1206×body512valid
286.0ms427×body2048valid
151.0ms1147×body256infinite
110.0ms179×body1024infinite
38.0ms104×body512infinite
8.0ms16×body4096valid
Compiler

Compiled 80132 to 55190 computations (31.1% saved)

soundness8.1s (2%)

Algorithm
56×egg-herbie
Rules
36942×fma-def
32252×associate-*r*
30942×*-commutative
28398×+-commutative
27144×associate-/r*
Stop Event
7×saturated
49×node limit
Compiler

Compiled 6200 to 3712 computations (40.1% saved)

end4.9s (1.2%)

Compiler

Compiled 8069 to 4008 computations (50.3% saved)

series4.2s (1.1%)

Counts
960 → 19431
Calls

5424 calls:

TimeVariablePointExpression
250.0ms
b
@-inf
(/.f64 a (-.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))) b))
179.0ms
t
@0
(*.f64 (pow.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) (pow.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4) 3))
90.0ms
t
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 2)
64.0ms
a
@0
(*.f64 (/.f64 1/2 a) (-.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))) (*.f64 b b)))
61.0ms
i
@0
(-.f64 (log.f64 i) (log.f64 n))

preprocess2.9s (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...