Time: 13.0m
Passed: 29/31
Tests: 36
Bits: 1004/1133
Date:Thursday, January 10th, 2019
Commit:dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019010
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
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)4.50.114.4s»
sintan (problem 3.4.5)31.80.024.1s»
quad2p (problem 3.2.1, positive)33.16.716.8s»
quad2m (problem 3.2.1, negative)33.36.815.7s»
exp with complex power real part (p55)0.00.016.5s»
exp with complex power imaginary part (p55)44.044.027.1s»
cos2 (problem 3.4.1)31.50.216.7s»
Euler formula real part (p55)0.00.08.2s»
Euler formula imaginary part (p55)44.00.726.1s»
3.9.2 real part (p56)61.9015.9s»
3.9.2 imaginary part (p56)0022.0s»
3.9.1 real part (p56)0024.3s»
3.9.1 imaginary part (p56)0025.3s»
2nthrt (problem 3.4.6)29.320.825.4s»
2log (problem 3.3.6)29.60.114.0s»
2frac (problem 3.3.1)14.40.14.0s»
2cos (problem 3.3.5)39.50.816.7s»
2cbrt (problem 3.3.4)30.00.714.5s»
tanhf (example 3.4)30.80.00.012.0s»
quadp (p42, positive)33.26.720.622.9s»
quadm (p42, negative)33.36.720.724.5s»
qlog (example 3.10)61.00.30.320.6s»
logs (example 3.8)63.00012.9s»
logq (problem 3.4.3)58.70.20.216.4s»
invcot (example 3.9)59.90.30.121.7s»
expq3 (problem 3.4.2)58.60.314.440.4s»
expq2 (section 3.11)40.90.640.556.0s»
expm1 (example 3.7)58.80.40.435.8s»
expax (section 3.5)29.10.20.210.5s»
exp2 (problem 3.3.7)30.00.60.021.4s»
3frac (problem 3.3.3)9.70.10.344.0s»
2tan (problem 3.3.2)37.00.514.745.5s»
2sqrt (example 3.1)30.130.00.215.4s»
2sin (example 3.3)37.00.514.617.2s»
2isqrt (example 3.6)19.90.40.730.0s»
2atan (example 3.5)14.90.30.36.8s»

Details

simplify5.2m

Calls

4616 calls:

Slowest
4.0s
(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)))
3.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)))
1.2s
(+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2)))
1.1s
(* (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (/ (sin x) (cos eps))) (/ (* (* (sin x) (sin x)) (sin x)) (* (* (cos eps) (cos eps)) (cos eps))))
1.1s
(+ (+ (- (* (- (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- (* (/ (- 1) 2) (/ (- 1) 2)) (* (/ (sqrt 3) 2) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (/ (- 1) 2) (/ (sqrt 3) 2)) (* (/ (sqrt 3) 2) (/ (- 1) 2))) (/ (- 1) 2))) (/ (sqrt 3) 2))) (- (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (sqrt 3) 2)))) (- (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))))

sample5.1m

Algorithm
56×intervals
16×halfpoints

prune1.4m

series27.0s

Calls

376 calls:

Slowest
984.0ms
(- (/ (+ (tan x) (tan eps)) (/ (- (* 1 1) (* (* (tan x) (tan eps)) (* (tan x) (tan eps)))) (+ 1 (* (tan x) (tan eps))))) (tan x))
492.0ms
(* (cbrt 1/3) (* (cbrt x) (cbrt (* 1/3 x))))
455.0ms
(- x (tan x))
446.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
398.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

regimes4.2s

Accuracy

Total 12.6b remaining (9.7%)

2.7b76.1%2nthrt (problem 3.4.6)
1.3b94.5%quad2m (problem 3.2.1, negative)
1.2b94.8%quadp (p42, positive)
1.2b95%quad2p (problem 3.2.1, positive)
1.2b95.1%quadm (p42, negative)

localize3.3s

rewrite3.2s

Algorithm
118×rewrite-expression-head
Calls

376 calls:

Slowest
148.0ms
(/ (+ (* x x) (- (* (* (+ (* x 1/6) 1/2) (* x x)) (* (+ (* x 1/6) 1/2) (* x x))) (* x (* (+ (* x 1/6) 1/2) (* x x))))) (cbrt (+ (pow x 3) (pow (* (+ (* x 1/6) 1/2) (* x x)) 3))))
129.0ms
(* (* (/ (exp x) (- (pow (exp x) 3) (pow 1 3))) (* (cbrt (+ (exp (+ x x)) (+ 1 (exp x)))) (cbrt (+ (exp (+ x x)) (+ 1 (exp x)))))) (cbrt (+ (exp (+ x x)) (+ 1 (exp x)))))
95.0ms
(/ (+ (pow x 3) (pow (* (+ (* x 1/6) 1/2) (* x x)) 3)) (+ (* x x) (- (* (* (+ (* x 1/6) 1/2) (* x x)) (* (+ (* x 1/6) 1/2) (* x x))) (* x (* (+ (* x 1/6) 1/2) (* x x))))))
81.0ms
(- (+ (+ 1 (log n)) (- (/ 1/2 n) (/ 1/6 (* n n)))) 1)
68.0ms
(- (/ (+ (tan x) (tan eps)) (/ (- (* 1 1) (* (* (tan x) (tan eps)) (* (tan x) (tan eps)))) (+ 1 (* (tan x) (tan eps))))) (tan x))
Rules
1221×*-un-lft-identity
1211×add-sqr-sqrt
924×add-cube-cbrt
668×add-exp-log
650×pow1
584×add-cbrt-cube
523×add-log-exp
519×times-frac
304×associate-*l*
285×associate-*r*
250×cbrt-div
241×flip-+
241×flip3-+
237×div-inv
224×frac-times
220×associate-*l/
198×log-prod
188×cbrt-prod
178×flip3--
178×flip--
162×sqrt-prod
152×associate-/r*
146×associate-*r/
140×distribute-lft-out
125×difference-of-squares
125×associate-/r/
117×associate-/l*
106×prod-exp
99×cbrt-unprod
97×pow-prod-down
94×sub-neg
88×log-pow
82×distribute-lft-out--
80×sqrt-div
80×*-commutative
76×pow1/3
75×associate-/l/
63×frac-add
61×pow1/2
60×tan-quot
59×diff-log
56×div-exp
56×frac-2neg
56×clear-num
55×exp-prod
49×frac-sub
47×cbrt-undiv
43×pow-prod-up
42×rem-log-exp
42×unpow-prod-down
30×log-div
29×cube-prod
29×rem-sqrt-square
28×pow-flip
24×+-commutative
24×cube-mult
22×pow-plus
21×rec-exp
21×pow2
21×distribute-rgt-in
21×un-div-inv
21×div-sub
21×distribute-lft-in
20×sum-log
18×inv-pow
17×difference-cubes
16×pow-to-exp
16×pow-unpow
15×complex-mul-def
14×difference-of-sqr-1
12×associate-+l+
11×associate--l+
11×neg-sub0
11×sum-cubes
10×exp-sum
9×associate--l-
9×associate--r+
8×unpow3
7×pow-pow
6×exp-diff
6×pow-exp
6×sqrt-unprod
6×sin-mult
6×rem-exp-log
6×associate-+l-
5×*.c-commutative
4×rem-cube-cbrt
4×rem-square-sqrt
3×+.c-commutative
2×sin-sum
2×associate-+r-
2×associate-+r+
2×sqr-sin
2×tan-sum
2×exp-neg
2×unpow2
2×distribute-rgt-out--
2×complex-add-def
2×cos-sum
2×associate-*l*.c
1×distribute-lft1-in
1×diff-atan
1×cube-unmult
1×frac-2neg-c
1×exp-to-pow
1×associate-+l+.c
1×diff-sin
1×diff-cos

bsearch2.8s

end2.0ms