Date:Friday, December 13th, 2019
Commit:92b838e9 on show-bad-nightlies
Hostname:warfa with Racket 7.5
Seed:2019347
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

simplify5.5m (50.4%)

sample2.8m (25.1%)

Algorithm
56×intervals
16×halfpoints
Results
34.9s66935×body1280valid
24.5s17316×body2560valid
12.0s42685×body640valid
5.5s12537×body10240exit
4.2s93699×body80valid
3.6s20180×body320valid
2.4s64272×body80nan
1.3s10796×body160valid
811.0ms47290×pre80true
419.0ms634×body1280nan
331.0ms716×body640nan
246.0ms477×body5120valid
104.0ms372×body320nan
35.0ms210×body160nan

prune1.4m (12.4%)

series51.3s (7.8%)

Calls

380 calls:

1.7s
(cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))
1.5s
(cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))
1.5s
(cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))
1.4s
(cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))
1.3s
(cbrt (fma 0.0021164021164021165 (pow x 5) (* 0.3333333333333333 x)))

rewrite17.8s (2.7%)

Algorithm
120×rewrite-expression-head
Calls

380 calls:

816.0ms
(* (/ 1.0 x) (- (/ 1 n) (/ (- (log x)) (pow n 2))))
765.0ms
(* (/ 1.0 x) (- (/ 1 n) (/ (- (log x)) (pow n 2))))
534.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
365.0ms
(- (/ (/ (+ (tan x) (tan eps)) (* (cbrt (- 1 (* (tan x) (tan eps)))) (cbrt (- 1 (* (tan x) (tan eps)))))) (cbrt (- 1 (* (tan x) (tan eps))))) (tan x))
301.0ms
(- (/ (/ (+ (tan eps) (tan x)) (cbrt (- 1 (* (tan x) (tan eps))))) (* (cbrt (- 1 (* (tan x) (tan eps)))) (cbrt (- 1 (* (tan x) (tan eps)))))) (tan x))
Rules
14932×times-frac
13474×*-un-lft-identity
12770×add-sqr-sqrt
10956×add-cube-cbrt
9267×prod-diff
3023×unpow-prod-down
2638×distribute-rgt-in distribute-lft-in
1990×sqrt-prod
1925×distribute-rgt-neg-in
1865×distribute-lft-neg-in
1575×pow1
1215×add-exp-log
1189×log-pow
1091×sqr-pow
975×add-cbrt-cube
900×cbrt-prod
825×div-inv
805×distribute-lft-out
787×difference-of-squares
712×unpow2
705×cube-prod
601×add-log-exp
563×associate-*l*
550×fma-neg
520×associate-/r/
505×associate-/l*
504×distribute-lft-out--
477×neg-mul-1
476×log-prod
451×associate-*r*
372×expm1-log1p-u
369×log1p-expm1-u
362×cbrt-div
351×flip-- flip3--
345×exp-sum
310×exp-prod
290×associate-/r*
288×div-exp
272×prod-exp
249×associate-+l+
198×cbrt-undiv
186×sqrt-div
184×flip-+ flip3-+
172×cbrt-unprod
150×frac-times
147×unpow3 cube-mult
146×unswap-sqr
144×associate-*r/
114×associate-*l/
109×fma-def
107×sqrt-pow1
96×sub-neg
91×diff-log
83×pow-prod-down
82×pow-unpow
74×associate-/l/ frac-2neg clear-num
72×pow1/2
58×*-commutative
53×tan-quot
52×pow-exp
49×pow-to-exp
46×log-div
39×swap-sqr
38×div-sub
35×rem-sqrt-square fma-udef
30×frac-sub
28×pow1/3
26×sum-log
25×pow-prod-up
23×pow-pow rem-log-exp
22×exp-diff
20×associate--l+
19×difference-cubes pow-sqr +-commutative
18×rec-exp 1-exp
17×neg-sub0
13×complex-mul-def associate--r+
12×rem-cube-cbrt hypot-def
10×associate--l- frac-add
8×rem-exp-log
7×neg-log
6×sqrt-unprod associate--r- pow2 pow-plus associate-+l-
4×cube-div sub-div *.c-commutative pow-flip distribute-frac-neg
3×log1p-udef log1p-expm1 +.c-commutative rem-square-sqrt rem-cbrt-cube exp-to-pow
2×inv-pow exp-neg complex-add-def cos-sum sin-mult tan-sum distribute-rgt-neg-out sin-sum
1×associate-+l+.c sin-cos-mult sqrt-pow2 un-div-inv diff-atan diff-cos expm1-log1p associate-+r+ associate-*l*.c distribute-rgt-out-- expm1-udef associate-+r- diff-sin

regimes4.7s (0.7%)

Accuracy

Total 20.7b remaining (11.2%)

Threshold costs 7.0b (3.8%)

4.5b83.5%quadm (p42, negative)
3.8b51.6%expq3 (problem 3.4.2)
3.3b71.2%2nthrt (problem 3.4.6)
1.1b95.4%expax (section 3.5)
1.0b95.8%quad2m (problem 3.2.1, negative)

bsearch3.3s (0.5%)

localize3.0s (0.5%)

end1.0ms (0.0%)