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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

simplify4.9m (49.4%)

sample2.8m (28.1%)

Algorithm
56×intervals
16×halfpoints
Results
34.5s66935×body1280valid
24.1s17316×body2560valid
11.9s42685×body640valid
5.6s12537×body10240exit
4.3s93699×body80valid
4.0s20180×body320valid
2.5s64272×body80nan
1.2s10796×body160valid
770.0ms47290×pre80true
417.0ms634×body1280nan
339.0ms716×body640nan
246.0ms477×body5120valid
106.0ms372×body320nan
35.0ms210×body160nan

series56.8s (9.5%)

Calls

395 calls:

1.4s
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
1.2s
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
1.2s
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
1.2s
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))
1.2s
(cbrt (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))

prune49.1s (8.2%)

rewrite19.9s (3.3%)

Algorithm
120×rewrite-expression-head
Calls

395 calls:

503.0ms
(* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 1)) (* (sqrt (/ (sqrt (+ (exp x) (exp (- x)))) 2.0)) (* (sqrt (/ (+ (exp x) (exp (- x))) 2.0)) (cos y))))
423.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (/ 1.0 (- x 1.0)))
377.0ms
(+ (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (* (* (cbrt (/ 1.0 (- x 1.0))) (cbrt (/ 1.0 (- x 1.0)))) (cbrt (/ 1.0 (- x 1.0)))))
356.0ms
(/ (* (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (+ (* (- (/ 1.0 (+ x 1.0)) (/ 2.0 x)) (- x 1.0)) 1.0)) (* (- x 1.0) (+ (/ 1.0 (+ x 1.0)) (/ 2.0 x))))
307.0ms
(/ (/ 1.0 (sqrt (+ (sqrt (+ x 1.0)) (sqrt x)))) (cbrt (pow (sqrt (+ (sqrt (+ x 1.0)) (sqrt x))) 3)))
Rules
6982×*-un-lft-identity
6744×times-frac
5671×add-sqr-sqrt
4057×sqrt-prod
3862×add-cube-cbrt
1278×add-exp-log
1246×distribute-lft-out
1234×cbrt-prod
1110×unpow-prod-down
979×add-cbrt-cube
844×associate-*l*
737×pow1
732×difference-of-squares
695×cube-prod
684×associate-*r*
680×add-log-exp
491×associate-/l*
460×distribute-lft-out--
381×pow-unpow
371×sqr-pow
335×associate-/r*
328×log-prod
315×prod-exp
278×associate-/r/
259×div-exp
255×div-inv
223×unswap-sqr
220×flip-- flip3--
219×flip-+ flip3-+
194×cbrt-unprod
178×sqrt-div
166×cbrt-undiv
155×log-pow
148×associate-*l/
138×exp-prod
134×associate-*r/
109×sub-neg
105×pow-prod-down
102×unpow2
100×diff-log frac-times
91×sqrt-pow1
84×associate-/l/
77×cbrt-div
75×frac-add pow-exp
71×*-commutative
70×pow-to-exp
68×frac-2neg clear-num
63×exp-sum
58×pow1/2
54×unpow3 cube-mult
52×log-div
51×sum-log
48×distribute-rgt-in distribute-lft-in
43×tan-quot
39×frac-sub
37×rem-sqrt-square
34×rem-log-exp
32×+-commutative
31×distribute-rgt-neg-in
30×div-sub
28×pow1/3
26×pow-pow
22×1-exp
21×exp-diff pow-flip rec-exp
20×associate--l+
18×associate-+l+
17×associate--r+ swap-sqr
15×difference-cubes
14×cube-div
13×complex-mul-def
12×associate-+r+
11×pow-prod-up
10×pow-div rem-cube-cbrt rem-exp-log
9×associate--l- pow-sqr neg-sub0
7×inv-pow
6×distribute-lft-neg-in neg-log neg-mul-1
5×associate-+l-
4×sum-cubes rem-cbrt-cube *.c-commutative exp-to-pow
3×associate-+r- pow2 +.c-commutative pow-plus distribute-frac-neg sin-sum
2×cos-sum sin-cos-mult un-div-inv associate--r- exp-neg complex-add-def sin-mult tan-sum distribute-rgt-neg-out
1×sub0-neg sqrt-pow2 sqrt-unprod associate-+l+.c diff-atan diff-cos unsub-neg rem-square-sqrt associate-*l*.c diff-sin

regimes4.1s (0.7%)

Accuracy

Total 19.8b remaining (11.9%)

Threshold costs 5.7b (3.4%)

4.1b49.3%expq3 (problem 3.4.2)
3.9b85.7%quadm (p42, negative)
3.4b87.6%quadp (p42, positive)
1.8b78.9%2nthrt (problem 3.4.6)
1.0b95.9%quad2m (problem 3.2.1, negative)

localize2.7s (0.5%)

bsearch2.3s (0.4%)

end1.0ms (0.0%)