Time: 22.5m
Passed: 30/31
Tests: 36
Bits: 1026/1133
Date:Tuesday, January 15th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:pavpan-dyn-cs-washington-edu
Points:256
Fuel:4
Seed:1137770271
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.136.1s»
sintan (problem 3.4.5)30.70.042.4s»
quad2p (problem 3.2.1, positive)33.77.529.8s»
quad2m (problem 3.2.1, negative)33.07.328.5s»
exp with complex power real part (p55)0.00.016.9s»
exp with complex power imaginary part (p55)43.543.534.1s»
cos2 (problem 3.4.1)30.50.229.1s»
Euler formula real part (p55)0.00.025.3s»
Euler formula imaginary part (p55)43.50.847.3s»
3.9.2 real part (p56)61.9020.8s»
3.9.2 imaginary part (p56)0029.7s»
3.9.1 real part (p56)0029.7s»
3.9.1 imaginary part (p56)0029.5s»
2nthrt (problem 3.4.6)30.022.445.1s»
2log (problem 3.3.6)30.00.119.7s»
2frac (problem 3.3.1)15.10.115.4s»
2cos (problem 3.3.5)39.80.431.4s»
2cbrt (problem 3.3.4)30.42.227.4s»
tanhf (example 3.4)29.70.00.017.0s»
quadp (p42, positive)33.77.320.841.4s»
quadm (p42, negative)33.07.220.839.0s»
qlog (example 3.10)60.90.50.443.0s»
logs (example 3.8)63.00023.9s»
logq (problem 3.4.3)58.60.20.222.5s»
invcot (example 3.9)59.90.30.136.6s»
expq3 (problem 3.4.2)58.83.214.11.3m»
expq2 (section 3.11)39.70.739.21.2m»
expm1 (example 3.7)58.60.10.411.0s»
expax (section 3.5)29.70.60.212.7s»
exp2 (problem 3.3.7)29.70.60.01.8m»
3frac (problem 3.3.3)10.50.10.32.7m»
2tan (problem 3.3.2)37.40.615.61.1m»
2sqrt (example 3.1)30.40.20.218.4s»
2sin (example 3.3)37.30.415.625.4s»
2isqrt (example 3.6)20.60.70.726.4s»
2atan (example 3.5)15.60.40.49.4s»

Details

simplify10.3m

Calls

5296 calls:

Slowest
5.6s
(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)))
5.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)))
1.7s
(+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2)))
1.6s
(+ (+ (- (* (- (* (- (* (/ (- 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.5s
(- (* (- b) (- b)) (* (sqrt (- (pow b 2) (* 4 (* a c)))) (sqrt (- (pow b 2) (* 4 (* a c))))))

sample7.7m

Algorithm
56×intervals
16×halfpoints
Results
66205×1.7m(body real 1280)
17289×59.2s(body real 2560)
42256×45.5s(body real 640)
12948×22.1s(body exit 10240)
93594×17.7s(body real 80)
21485×16.0s(body real 320)
71536×11.8s(body nan 80)
338738×11.6s(pre true 80)
11051×4.9s(body real 160)
692×1.3s(body nan 1280)
466×1.0s(body real 5120)
661×847.0ms(body nan 640)
372×306.0ms(body nan 320)
183×91.0ms(body nan 160)

prune2.5m

series43.7s

Calls

366 calls:

Slowest
2.4s
(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (- (exp (* a eps)) 1) (+ (* eps b) (* (* (* eps b) (* eps b)) (+ (* b (* 1/6 eps)) 1/2)))))
1.5s
(- (* (/ (+ (tan x) (tan eps)) (- (* 1 1) (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
653.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps))))) (tan x))
636.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
578.0ms
(* (cbrt (* 1/3 x)) (cbrt 1/3))

regimes7.0s

Accuracy

Total 14.9b remaining (13.9%)

3.1b0%expq3 (problem 3.4.2)
1.7b92.7%quad2p (problem 3.2.1, positive)
1.5b93.9%quad2m (problem 3.2.1, negative)
1.4b94%quadm (p42, negative)
1.4b93.9%quadp (p42, positive)

rewrite6.7s

Algorithm
115×rewrite-expression-head
Calls

366 calls:

Slowest
293.0ms
(- (+ (+ 1 (log n)) (- (/ 1/2 n) (/ 1/6 (* n n)))) 1)
249.0ms
(log (- (cbrt (* (* (cbrt (+ x 1)) (cbrt (+ x 1))) (* (* (cbrt (cbrt (+ x 1))) (cbrt (cbrt (+ x 1)))) (cbrt (cbrt (+ x 1)))))) (cbrt x)))
241.0ms
(/ (- (- (- (* -1/3 (pow x 6)) (* x x)) (* 1/2 (pow x 4))) (log (+ 1 x))) (log (+ 1 x)))
143.0ms
(/ (- (* (- (/ 1 (+ x 1)) (/ 2 x)) (- (/ 1 (+ x 1)) (/ 2 x))) (* (/ 1 (- x 1)) (/ 1 (- x 1)))) (- (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1))))
139.0ms
(- (cbrt (* (* (cbrt (+ x 1)) (cbrt (+ x 1))) (* (* (cbrt (cbrt (+ x 1))) (cbrt (cbrt (+ x 1)))) (cbrt (cbrt (+ x 1)))))) (cbrt x))
Rules
1381×*-un-lft-identity
1315×add-sqr-sqrt
1092×add-cube-cbrt
872×times-frac
656×pow1
636×add-exp-log
583×add-cbrt-cube
513×add-log-exp
407×frac-times
323×sqrt-prod
322×flip3--
322×flip--
292×frac-sub
290×associate-*l/
284×flip-+
284×flip3-+
280×associate-*r*
236×sqrt-div
222×associate-*l*
221×associate-*r/
209×cbrt-div
198×div-inv
188×associate-/r*
162×log-prod
146×log-pow
143×distribute-lft-out--
138×associate-/l*
136×difference-of-squares
129×cbrt-prod
117×sub-neg
107×exp-prod
106×associate-/l/
103×associate-/r/
100×pow-prod-down
94×prod-exp
84×cbrt-unprod
82×*-commutative
70×distribute-lft-out
68×neg-sub0
67×exp-neg
63×exp-diff
63×tan-quot
62×diff-log
57×pow1/2
55×frac-2neg
55×clear-num
52×pow1/3
52×div-exp
48×cbrt-undiv
47×pow-prod-up
44×un-div-inv
43×frac-add
38×log-div
32×distribute-rgt-in
32×distribute-lft-in
31×associate--l+
29×rec-exp
27×+-commutative
27×rem-sqrt-square
26×pow-plus
24×rem-log-exp
24×pow-flip
24×pow-unpow
23×pow2
22×sum-log
22×difference-of-sqr-1
22×div-sub
22×unpow-prod-down
19×inv-pow
15×complex-mul-def
13×associate--l-
12×pow-to-exp
10×exp-sum
9×sqrt-unprod
8×associate-+l+
8×sin-mult
8×neg-mul-1
6×associate--r+
6×associate-+l-
5×*.c-commutative
5×pow3
5×unpow3
5×cube-mult
5×sqr-sin
5×rem-square-sqrt
4×pow-exp
4×rem-cbrt-cube
3×sin-sum
3×pow-pow
3×+.c-commutative
3×distribute-rgt-out--
2×associate-*l*.c
2×cos-mult
2×associate-+r+
2×tan-sum
2×unpow2
2×rem-exp-log
2×cos-sum
2×associate--r-
2×complex-add-def
1×diff-atan
1×associate-+r-
1×sin-cos-mult
1×distribute-frac-neg
1×sub-div
1×frac-2neg-c
1×diff-sin
1×associate-+l+.c
1×diff-cos

localize6.1s

bsearch4.3s

end1.0ms