Time: 12.1m
Passed: 30/31
Tests: 36
Bits: 1005/1130
Date:Tuesday, January 22nd, 2019
Commit:45d4082dea7f80b56c44622251112721670e87cb on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019022
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.20.113.8s»
sintan (problem 3.4.5)31.40.028.6s»
quad2p (problem 3.2.1, positive)33.48.714.7s»
quad2m (problem 3.2.1, negative)33.57.314.6s»
exp with complex power real part (p55)0.00.012.7s»
exp with complex power imaginary part (p55)43.543.525.3s»
cos2 (problem 3.4.1)31.20.315.3s»
Euler formula real part (p55)0.00.08.0s»
Euler formula imaginary part (p55)43.50.726.0s»
3.9.2 real part (p56)61.9014.1s»
3.9.2 imaginary part (p56)0022.1s»
3.9.1 real part (p56)0024.5s»
3.9.1 imaginary part (p56)0024.0s»
2nthrt (problem 3.4.6)29.022.227.7s»
2log (problem 3.3.6)29.60.115.8s»
2frac (problem 3.3.1)14.30.18.5s»
2cos (problem 3.3.5)39.50.716.8s»
2cbrt (problem 3.3.4)29.90.412.1s»
tanhf (example 3.4)30.30.00.011.6s»
quadp (p42, positive)33.47.420.619.7s»
quadm (p42, negative)33.59.220.321.5s»
qlog (example 3.10)61.00.40.322.9s»
logs (example 3.8)63.00.0012.0s»
logq (problem 3.4.3)58.60.20.220.9s»
invcot (example 3.9)59.90.30.123.8s»
expq3 (problem 3.4.2)58.73.314.139.8s»
expq2 (section 3.11)40.51.140.111.5s»
expm1 (example 3.7)58.60.50.59.5s»
expax (section 3.5)29.70.60.215.7s»
exp2 (problem 3.3.7)29.80.60.013.2s»
3frac (problem 3.3.3)10.10.10.239.3s»
2tan (problem 3.3.2)36.615.314.91.4m»
2sqrt (example 3.1)30.00.20.29.9s»
2sin (example 3.3)36.70.614.815.0s»
2isqrt (example 3.6)19.90.40.730.0s»
2atan (example 3.5)14.90.40.45.2s»

Details

sample4.9m

Algorithm
56×intervals
16×halfpoints
Results
1.1m66665×body1280valid
39.6s17419×body2560valid
26.7s41702×body640valid
14.2s12840×body10240exit
11.5s93957×body80valid
8.9s21039×body320valid
6.3s72005×body80nan
2.8s10842×body160valid
1.5s47436×pre80true
757.0ms654×body1280nan
587.0ms689×body640nan
475.0ms473×body5120valid
260.0ms390×body320nan
104.0ms171×body160nan

simplify4.7m

Calls

4266 calls:

Slowest
4.1s
(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.8s
(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
(+ (+ (- (* (- (* (- (* (/ (- 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))))
1.0s
(+ (+ (+ (* (- (* (- (* (/ (- 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))) (/ (sqrt 3) 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))) (/ (- 1) 2))) (+ (* (- (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (- 1) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))) (/ (- 1) 2)))) (+ (* (- (* 5 (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* 5 (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2))))

prune1.2m

series30.3s

Calls

371 calls:

Slowest
1.7s
(- (* (/ (+ (tan x) (tan eps)) (- (pow 1 3) (pow (* (tan x) (tan eps)) 3))) (+ (+ 1 (* (tan eps) (tan x))) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (tan x))
1.5s
(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (+ (* eps b) (* (* (* eps b) (* eps b)) (+ (* b (* 1/6 eps)) 1/2)))))
1.1s
(- (* (/ (+ (tan x) (tan eps)) (- (pow 1 3) (pow (log (exp (* (tan x) (tan eps)))) 3))) (+ (+ 1 (* (tan eps) (tan x))) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (tan x))
495.0ms
(log (exp (* (cbrt (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))) (cbrt (- (pow (+ 1 x) (/ 1 n)) (pow x (/ 1 n)))))))
480.0ms
(- x (sin x))

regimes3.9s

Accuracy

Total 21.0b remaining (16.9%)

3.6b86%quadm (p42, negative)
3.2b0%expq3 (problem 3.4.2)
3.2b86.6%quad2p (problem 3.2.1, positive)
1.9b92.2%quadp (p42, positive)
1.8b92.3%quad2m (problem 3.2.1, negative)

localize3.4s

rewrite2.9s

Algorithm
117×rewrite-expression-head
Calls

371 calls:

Slowest
341.0ms
(+ (exp x) 1)
87.0ms
(- (* (/ (+ (tan x) (tan eps)) (- (pow 1 3) (pow (* (tan x) (tan eps)) 3))) (+ (+ 1 (* (tan eps) (tan x))) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (tan x))
47.0ms
(- (* (/ (+ (tan x) (tan eps)) (- (pow 1 3) (pow (log (exp (* (tan x) (tan eps)))) 3))) (+ (+ 1 (* (tan eps) (tan x))) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (tan x))
44.0ms
(/ (- (sqrt (- (* b b) (* (* 4 a) c))) b) (* 2 a))
43.0ms
(/ (- (* (sqrt (+ x 1)) (sqrt (+ x 1))) (* (sqrt x) (sqrt x))) (+ (sqrt (+ x 1)) (sqrt x)))
Rules
970×*-un-lft-identity
940×add-sqr-sqrt
758×add-cube-cbrt
608×add-exp-log
604×pow1
554×add-cbrt-cube
508×add-log-exp
476×tan-quot
350×frac-times
312×times-frac
303×associate-*l/
268×associate-*r/
243×flip-+
243×flip3-+
225×associate-*r*
209×flip3--
209×flip--
201×div-inv
179×frac-sub
169×associate-/r/
166×frac-add
163×associate-*l*
154×associate-/r*
153×sqrt-prod
127×log-prod
118×associate-/l*
116×cbrt-prod
105×distribute-lft-out
93×sub-neg
91×sqrt-div
90×difference-of-squares
88×pow-prod-down
80×prod-exp
76×cbrt-unprod
73×associate-/l/
72×*-commutative
66×cbrt-div
65×frac-2neg
65×clear-num
60×pow1/3
55×pow1/2
53×diff-log
52×distribute-lft-out--
49×log-pow
46×div-exp
41×cbrt-undiv
40×pow-prod-up
37×+-commutative
32×unpow-prod-down
30×pow-flip
27×rem-sqrt-square
27×log-div
25×distribute-rgt-in
25×distribute-lft-in
24×sum-log
23×associate-+l+
21×rec-exp
20×pow2
20×pow-plus
20×inv-pow
20×un-div-inv
19×rem-log-exp
18×difference-of-sqr-1
17×associate--l+
17×div-sub
16×cube-prod
16×pow-to-exp
16×pow-unpow
16×exp-prod
15×complex-mul-def
11×unpow1/3
9×sin-mult
8×associate-+r+
7×neg-sub0
6×associate--l-
6×sqr-sin
5×exp-sum
5×*.c-commutative
5×sqrt-unprod
5×associate--r+
5×associate-+l-
5×rem-square-sqrt
4×exp-diff
4×pow-exp
4×unpow3
4×pow-pow
4×cube-mult
3×distribute-rgt-out--
3×cube-div
3×+.c-commutative
2×associate-*l*.c
2×cos-mult
2×sin-sum
2×rem-cube-cbrt
2×difference-of-sqr--1
2×pow3
2×neg-mul-1
2×associate-+r-
2×distribute-rgt-neg-in
2×tan-sum
2×exp-to-pow
2×exp-neg
2×complex-add-def
2×cos-sum
2×rem-cbrt-cube
2×distribute-lft-neg-in
1×distribute-lft1-in
1×diff-atan
1×distribute-frac-neg
1×sub-div
1×difference-cubes
1×frac-2neg-c
1×unpow2
1×rem-exp-log
1×diff-sin
1×associate-+l+.c
1×diff-cos
1×associate--r-

bsearch2.5s

end1.0ms