Time: 14.6m
Passed: 29/31
Tests: 36
Bits: 1015/1130
Date:Tuesday, January 22nd, 2019
Commit:45d4082dea7f80b56c44622251112721670e87cb on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019022
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
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)4.20.114.6s»
sintan (problem 3.4.5)31.40.059.3s»
quad2p (problem 3.2.1, positive)33.48.717.9s»
quad2m (problem 3.2.1, negative)33.57.319.6s»
exp with complex power real part (p55)0.00.013.2s»
exp with complex power imaginary part (p55)43.543.525.8s»
cos2 (problem 3.4.1)31.20.318.4s»
Euler formula real part (p55)0.00.09.2s»
Euler formula imaginary part (p55)43.50.831.1s»
3.9.2 real part (p56)61.9014.3s»
3.9.2 imaginary part (p56)0015.3s»
3.9.1 real part (p56)0024.9s»
3.9.1 imaginary part (p56)0025.6s»
2nthrt (problem 3.4.6)29.019.043.9s»
2log (problem 3.3.6)29.60.110.3s»
2frac (problem 3.3.1)14.30.410.0s»
2cos (problem 3.3.5)39.50.717.9s»
2cbrt (problem 3.3.4)29.90.446.7s»
tanhf (example 3.4)30.30.00.011.4s»
quadp (p42, positive)33.413.520.618.2s»
quadm (p42, negative)33.57.520.321.0s»
qlog (example 3.10)61.00.00.313.9s»
logs (example 3.8)63.00011.7s»
logq (problem 3.4.3)58.60.20.220.2s»
invcot (example 3.9)59.90.30.127.6s»
expq3 (problem 3.4.2)58.73.314.126.1s»
expq2 (section 3.11)40.50.540.18.0s»
expm1 (example 3.7)58.60.00.52.9s»
expax (section 3.5)29.70.00.22.8s»
exp2 (problem 3.3.7)29.80.60.011.1s»
3frac (problem 3.3.3)10.10.20.225.2s»
2tan (problem 3.3.2)36.60.614.92.9m»
2sqrt (example 3.1)30.00.20.210.9s»
2sin (example 3.3)36.70.514.818.1s»
2isqrt (example 3.6)19.95.70.744.3s»
2atan (example 3.5)14.90.40.46.3s»

Details

simplify7.0m

Calls

6925 calls:

Slowest
4.9s
(re (+.c (+.c (+.c (+.c (+.c (+.c (*.c (*.c (*.c (*.c (*.c (complex -1 1) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (*.c (*.c (*.c (*.c (*.c (complex 6 0) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (*.c (*.c (complex 15 0) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (*.c (complex 20 0) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (complex 15 0) (complex -1 1)) (complex -1 1))) (*.c (complex 6 0) (complex -1 1))) (complex 1 0)))
4.8s
(im (+.c (+.c (+.c (+.c (+.c (+.c (*.c (*.c (*.c (*.c (*.c (complex -1 1) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (*.c (*.c (*.c (*.c (*.c (complex 6 0) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (*.c (*.c (complex 15 0) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (*.c (complex 20 0) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (complex 15 0) (complex -1 1)) (complex -1 1))) (*.c (complex 6 0) (complex -1 1))) (complex 1 0)))
1.2s
(* (* (* (* (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5)) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5))) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5))) (* (* (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5)) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5))) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5)))) (* (* (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5)) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5))) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5))))
897.0ms
(- (+ n (* 1/2 (pow n 2))) (+ (* n (log n)) 1))
896.0ms
(- (+ (* 2 (/ 1 (pow x 4))) (* 2 (/ 1 (pow x 2)))) (* 2 (/ 1 (pow x 3))))

sample4.9m

Algorithm
56×intervals
16×halfpoints
Results
1.1m66665×body1280valid
37.7s17419×body2560valid
26.1s41702×body640valid
14.1s12840×body10240exit
11.4s93957×body80valid
8.2s21039×body320valid
7.0s72005×body80nan
2.7s10842×body160valid
2.0s47436×pre80true
888.0ms473×body5120valid
681.0ms654×body1280nan
530.0ms689×body640nan
413.0ms171×body160nan
194.0ms390×body320nan

prune1.5m

series23.0s

Calls

326 calls:

Slowest
559.0ms
(fma (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (+ 1 (* (tan x) (tan eps))) (- (tan x)))
528.0ms
(log (exp (* (cbrt (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))) (cbrt (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))))
402.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
365.0ms
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (/ eps (expm1 (* eps a))))
335.0ms
(log1p (pow eps 3))

regimes3.3s

Accuracy

Total 17.2b remaining (15%)

3.3b0%expq3 (problem 3.4.2)
3.2b86.5%quad2p (problem 3.2.1, positive)
2.0b91.6%quadm (p42, negative)
1.8b92.3%quad2m (problem 3.2.1, negative)
1.6b86.2%2nthrt (problem 3.4.6)

localize2.8s

bsearch2.6s

rewrite2.1s

Algorithm
111×rewrite-expression-head
Calls

326 calls:

Slowest
49.0ms
(- (+ (exp x) (exp (- x))) 2)
44.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
40.0ms
(* (sin (* eps 1/2)) (- (* (cos (* 1/2 eps)) (cos x)) (* (sin (* 1/2 eps)) (sin x))))
40.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
37.0ms
(log (exp (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n)))))
Rules
2603×*-un-lft-identity
2464×add-sqr-sqrt
2273×add-cube-cbrt
2148×times-frac
1406×prod-diff
590×add-exp-log
543×pow1
543×add-cbrt-cube
533×div-inv
418×add-log-exp
341×sqrt-prod
317×expm1-log1p-u
317×log1p-expm1-u
268×unpow-prod-down
261×fma-neg
238×associate-*r*
219×associate-*l*
213×associate-/r/
201×distribute-lft-out
186×cbrt-prod
163×associate-/r*
138×cube-prod
136×associate-/l*
134×flip3--
134×flip--
105×log-prod
100×flip-+
100×flip3-+
92×difference-of-squares
86×prod-exp
82×associate-*r/
80×cbrt-unprod
79×sqrt-div
74×pow-prod-down
70×fma-def
63×frac-2neg
63×clear-num
63×pow1/2
63×sub-neg
59×div-exp
58×tan-quot
57×frac-times
57×distribute-lft-out--
56×*-commutative
54×cbrt-undiv
51×associate-/l/
49×associate-*l/
45×log-pow
44×frac-sub
43×diff-log
41×exp-sum
38×pow-prod-up
35×pow1/3
35×pow-flip
33×fma-udef
32×rem-sqrt-square
29×unpow3
29×cube-mult
28×associate-+l+
28×rec-exp
23×inv-pow
22×+-commutative
22×pow-plus
21×un-div-inv
20×pow2
20×log-div
18×neg-mul-1
17×div-sub
16×pow-unpow
16×exp-prod
15×pow-to-exp
13×rem-log-exp
13×frac-add
12×sin-mult
11×sum-log
11×unpow1/3
9×associate--l+
9×distribute-rgt-in
9×distribute-lft-in
7×neg-sub0
7×associate--l-
6×expm1-udef
6×sqr-sin
5×cos-mult
5×sqrt-unprod
5×rem-square-sqrt
4×expm1-log1p
4×exp-diff
4×log1p-def
4×cbrt-div
4×*.c-commutative
4×complex-mul-def
4×associate-+l-
3×sub-div
3×distribute-rgt-out--
3×cos-sum
3×log1p-udef
2×sin-sum
2×log1p-expm1
2×pow-exp
2×pow3
2×+.c-commutative
2×pow-pow
2×distribute-rgt-neg-in
2×exp-neg
2×tan-sum
2×distribute-lft-neg-in
1×diff-atan
1×associate-+r+
1×sin-cos-mult
1×distribute-frac-neg
1×associate--r+
1×frac-2neg-c
1×exp-to-pow
1×diff-sin
1×difference-cubes
1×rem-cbrt-cube
1×diff-cos
1×associate--r-

end1.0ms