Time: 11.6m
Passed: 30/31
Tests: 36
Bits: 1013/1127
Date:Wednesday, January 16th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019016
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.123.6s»
sintan (problem 3.4.5)31.00.028.6s»
quad2p (problem 3.2.1, positive)33.26.817.7s»
quad2m (problem 3.2.1, negative)33.510.318.5s»
exp with complex power real part (p55)0.00.012.3s»
exp with complex power imaginary part (p55)43.643.627.2s»
cos2 (problem 3.4.1)30.70.223.4s»
Euler formula real part (p55)0.00.09.0s»
Euler formula imaginary part (p55)43.60.727.3s»
3.9.2 real part (p56)61.9016.8s»
3.9.2 imaginary part (p56)0022.6s»
3.9.1 real part (p56)0024.4s»
3.9.1 imaginary part (p56)0025.6s»
2nthrt (problem 3.4.6)29.822.727.8s»
2log (problem 3.3.6)29.20.110.7s»
2frac (problem 3.3.1)14.30.38.5s»
2cos (problem 3.3.5)39.60.917.8s»
2cbrt (problem 3.3.4)29.60.612.9s»
tanhf (example 3.4)30.00.00.011.7s»
quadp (p42, positive)33.28.720.722.5s»
quadm (p42, negative)33.510.420.622.6s»
qlog (example 3.10)60.80.50.417.1s»
logs (example 3.8)63.00.00.012.5s»
logq (problem 3.4.3)58.30.30.315.3s»
invcot (example 3.9)59.90.30.121.0s»
expq3 (problem 3.4.2)58.63.414.149.1s»
expq2 (section 3.11)39.51.139.014.3s»
expm1 (example 3.7)58.80.40.53.7s»
expax (section 3.5)29.70.50.29.7s»
exp2 (problem 3.3.7)29.90.60.012.4s»
3frac (problem 3.3.3)9.80.10.337.0s»
2tan (problem 3.3.2)37.00.415.038.0s»
2sqrt (example 3.1)29.60.20.213.2s»
2sin (example 3.3)37.10.514.917.5s»
2isqrt (example 3.6)19.50.60.716.7s»
2atan (example 3.5)14.80.30.39.7s»

Details

sample5.1m

Algorithm
56×intervals
16×halfpoints
Results
337996×(pre true 80)
94388×(body real 80)
71190×(body nan 80)
67089×(body real 1280)
41788×(body real 640)
20132×(body real 320)
17341×(body real 2560)
12612×(body exit 10240)
11114×(body real 160)
659×(body nan 1280)
641×(body nan 640)
471×(body real 5120)
389×(body nan 320)
182×(body nan 160)

simplify3.9m

Calls

4301 calls:

Slowest
4.4s
(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)))
4.0s
(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.4s
(+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2)))
1.3s
(+ (+ (- (* (- (* (- (* (/ (- 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.2s
(* (* (* (* x x) (* x x)) (* x x)) (* (* (+ 1 (cos x)) (+ 1 (cos x))) (+ 1 (cos x))))

prune1.3m

series28.3s

Calls

365 calls:

Slowest
1.3s
(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (+ (* eps b) (* (* (* eps b) (* eps b)) (+ (* b (* 1/6 eps)) 1/2)))))
705.0ms
(- (sqrt (pow (+ x 1) (/ 1 n))) (sqrt (pow x (/ 1 n))))
504.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (+ (* (* (* a eps) (* a eps)) (+ (* eps (* 1/6 a)) 1/2)) (* a eps)) (- (exp (* b eps)) 1)))
437.0ms
(* (cbrt (* 1/3 x)) (cbrt 1/3))
410.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

regimes4.6s

Accuracy

Total 24.0b remaining (21%)

4.7b83.2%quad2m (problem 3.2.1, negative)
4.7b83.2%quadm (p42, negative)
3.3b0%expq3 (problem 3.4.2)
3.0b88.5%quadp (p42, positive)
1.3b85.1%2nthrt (problem 3.4.6)

localize3.0s

rewrite2.7s

Algorithm
116×rewrite-expression-head
Calls

365 calls:

Slowest
84.0ms
(- (+ (+ 1 (log n)) (- (/ 1/2 n) (/ 1/6 (* n n)))) 1)
79.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
59.0ms
(/ (- (sqrt (- (pow b 2) (* 4 (* a c)))) b) (* 2 a))
45.0ms
(* (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))) (* -2 (sin (* eps 1/2))))
41.0ms
(sqrt (- (* b_2 b_2) (* a c)))
Rules
1120×add-sqr-sqrt
1103×*-un-lft-identity
905×add-cube-cbrt
645×add-exp-log
616×pow1
560×add-cbrt-cube
505×times-frac
500×add-log-exp
271×associate-*r*
241×sqrt-prod
232×associate-/r*
205×associate-*l*
198×flip3--
198×flip--
181×associate-*l/
176×flip-+
176×flip3-+
166×associate-/r/
148×div-inv
143×associate-/l*
141×log-prod
124×sqrt-div
102×cbrt-prod
102×associate-*r/
99×difference-of-squares
93×sub-neg
92×log-pow
91×frac-times
82×pow-prod-down
81×cbrt-div
81×prod-exp
80×*-commutative
75×pow1/3
72×cbrt-unprod
64×frac-2neg
64×clear-num
62×div-exp
59×distribute-lft-out--
57×distribute-lft-out
55×pow1/2
53×diff-log
50×cbrt-undiv
47×associate-/l/
44×unpow-prod-down
44×log-div
40×pow-unpow
39×tan-quot
31×pow-prod-up
30×associate-+r+
30×frac-add
29×rec-exp
29×rem-sqrt-square
26×pow-flip
26×distribute-rgt-in
26×+-commutative
26×distribute-lft-in
25×exp-prod
23×sum-log
23×rem-log-exp
21×cube-prod
21×difference-of-sqr-1
20×div-sub
18×pow2
18×pow-plus
17×frac-sub
17×inv-pow
15×complex-mul-def
13×associate--l-
13×associate--l+
12×pow-to-exp
11×neg-sub0
10×associate-+l+
10×associate-+l-
9×pow-pow
8×pow-exp
7×sin-mult
6×unpow3
6×sqrt-unprod
6×cube-mult
5×*.c-commutative
5×sqr-sin
5×distribute-rgt-out--
4×exp-sum
4×rem-exp-log
3×pow-div
3×exp-diff
3×sin-sum
3×+.c-commutative
3×rem-square-sqrt
2×rem-cube-cbrt
2×associate-+r-
2×neg-mul-1
2×sub-div
2×distribute-rgt-neg-in
2×tan-sum
2×exp-neg
2×complex-add-def
2×cos-sum
2×associate-*l*.c
2×distribute-lft-neg-in
1×diff-atan
1×sqrt-undiv
1×sin-cos-mult
1×distribute-frac-neg
1×associate--r+
1×difference-cubes
1×frac-2neg-c
1×unpow2
1×associate-+l+.c
1×diff-sin
1×diff-cos
1×associate--r-

bsearch2.0s

end1.0ms