Date:Thursday, July 6th, 2023
Commit:b6e17b25 on asinh-taylor-bug
Hostname:nightly with Racket 8.6
Seed:2023187
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.4min)

sample1.5min (23.5%)

Results
45.8s296762×body256valid
19.1s14905×body2048valid
11.7s21913×body1024valid
5.7s19018×body256infinite
3.8s12318×body512valid
1.7s202×body8192exit
693.0ms854×body4096valid
569.0ms2977×body256invalid
151.0ms234×body1024infinite
94.0ms244×body512infinite
60.0ms407×body256unsamplable
14.0ms13×body2048infinite
Bogosity

eval1.2min (18.2%)

Compiler

Compiled 3313963 to 1942771 computations (41.4% saved)

simplify53.7s (14%)

Algorithm
480×egg-herbie
Rules
264830×associate-*r*
237936×*-commutative
231408×distribute-lft-in
229836×associate-/l*
229394×associate-*l*
Stop Event
1×unsound
15×done
59×saturated
27×fuel
420×node limit
Counts
69292 → 86522
Compiler

Compiled 8552 to 5343 computations (37.5% saved)

rewrite41.1s (10.7%)

Algorithm
396×batch-egg-rewrite
12×egg-rewrite
4×egg-rewrite-iter-limit
Rules
283476×add-sqr-sqrt
277618×*-un-lft-identity
261866×add-cube-cbrt
255030×add-cbrt-cube
149010×add-exp-log
Stop Event
4×iter limit
408×node limit
Counts
928 → 50284

prune37.0s (9.7%)

Counts
105057 → 2319
Compiler

Compiled 70884 to 47540 computations (32.9% saved)

regimes34.1s (8.9%)

Counts
4981 → 619
Calls

89 calls:

4.9s
a
4.5s
c
4.2s
b
2.0s
d
2.0s
i
Compiler

Compiled 78424 to 43883 computations (44% saved)

localize15.0s (3.9%)

Compiler

Compiled 32538 to 18470 computations (43.2% saved)

bsearch13.2s (3.4%)

Algorithm
365×binary-search
8×left-value
Results
6.1s33517×body256valid
3.8s6746×body1024valid
1.0s1111×body2048valid
738.0ms3151×body512valid
586.0ms6010×body256invalid
198.0ms1038×body256infinite
51.0ms74×body1024infinite
12.0ms30×body512infinite
4.0ms3×body4096valid
Compiler

Compiled 80584 to 56728 computations (29.6% saved)

analyze10.5s (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)

soundness8.7s (2.3%)

Algorithm
71×egg-herbie
Rules
46532×fma-def
43658×*-commutative
42508×associate-*r*
37950×associate-/r*
36694×+-commutative
Stop Event
6×saturated
65×node limit
Compiler

Compiled 8064 to 4961 computations (38.5% saved)

series4.0s (1%)

Counts
928 → 18966
Calls

5208 calls:

TimeVariablePointExpression
378.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))))
131.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))))
70.0ms
c
@0
(log.f64 (*.f64 c (/.f64 a b)))
69.0ms
c
@-inf
(log.f64 (*.f64 c (/.f64 a b)))
67.0ms
t
@-inf
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 3)

end3.7s (1%)

Compiler

Compiled 8205 to 4367 computations (46.8% saved)

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