Time: 19.1m
Passed: 30/31
Tests: 36
Bits: 1024/1129
Date:Tuesday, January 15th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:pavpan-dyn-cs-washington-edu
Points:256
Fuel:4
Seed:1042149663
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.11.1m»
sintan (problem 3.4.5)30.90.038.7s»
quad2p (problem 3.2.1, positive)33.06.427.2s»
quad2m (problem 3.2.1, negative)33.08.631.5s»
exp with complex power real part (p55)0.00.019.7s»
exp with complex power imaginary part (p55)43.643.629.6s»
cos2 (problem 3.4.1)30.70.231.4s»
Euler formula real part (p55)0.00.020.4s»
Euler formula imaginary part (p55)43.50.741.6s»
3.9.2 real part (p56)61.9020.5s»
3.9.2 imaginary part (p56)0028.0s»
3.9.1 real part (p56)0028.4s»
3.9.1 imaginary part (p56)0029.8s»
2nthrt (problem 3.4.6)28.822.242.7s»
2log (problem 3.3.6)29.80.115.1s»
2frac (problem 3.3.1)14.80.113.9s»
2cos (problem 3.3.5)39.90.426.4s»
2cbrt (problem 3.3.4)30.10.721.8s»
tanhf (example 3.4)29.90.00.016.0s»
quadp (p42, positive)33.06.520.432.4s»
quadm (p42, negative)33.06.720.235.4s»
qlog (example 3.10)60.90.40.336.9s»
logs (example 3.8)63.00018.7s»
logq (problem 3.4.3)58.60.20.225.7s»
invcot (example 3.9)59.90.30.158.0s»
expq3 (problem 3.4.2)58.83.214.22.7m»
expq2 (section 3.11)39.80.739.416.1s»
expm1 (example 3.7)58.60.50.56.4s»
expax (section 3.5)29.00.30.220.2s»
exp2 (problem 3.3.7)29.30.70.018.7s»
3frac (problem 3.3.3)10.10.10.332.9s»
2tan (problem 3.3.2)37.70.415.555.1s»
2sqrt (example 3.1)30.20.20.217.1s»
2sin (example 3.3)37.70.815.425.2s»
2isqrt (example 3.6)20.10.40.725.6s»
2atan (example 3.5)15.40.40.411.9s»

Details

simplify7.6m

Calls

4711 calls:

Slowest
5.6s
(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)))
5.2s
(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.1s
(sqrt (/ (* (cbrt (+ (exp (+ x x)) (- 1 (exp x)))) (cbrt (+ (exp (+ x x)) (- 1 (exp x))))) (/ (* (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (cbrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))) (sqrt (+ (exp x) 1)))))
1.7s
(+ (* (- (* (- 2) (/ (- 1) 2)) (* 0 (/ (sqrt 3) 2))) (/ (sqrt 3) 2)) (* (+ (* (- 2) (/ (sqrt 3) 2)) (* 0 (/ (- 1) 2))) (/ (- 1) 2)))
1.7s
(+ (+ (- (* (- (* (- (* (/ (- 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))))

sample7.4m

Algorithm
56×intervals
16×halfpoints
Results
338718×(pre true 80)
93906×(body real 80)
71788×(body nan 80)
66573×(body real 1280)
42672×(body real 640)
20547×(body real 320)
17400×(body real 2560)
12900×(body exit 10240)
10644×(body real 160)
661×(body nan 1280)
609×(body nan 640)
445×(body real 5120)
356×(body nan 320)
217×(body nan 160)

prune2.2m

series43.7s

Calls

382 calls:

Slowest
1.1s
(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (+ (* (* (* a eps) (* a eps)) (+ (* eps (* 1/6 a)) 1/2)) (* a eps)) (- (exp (* b eps)) 1)))
687.0ms
(- (/ (+ (/ (sin eps) (cos eps)) (/ (sin x) (cos x))) (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps))))) (tan x))
624.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
590.0ms
(exp (log (* (cbrt (* 1/12 x)) (cbrt (* 1/12 x)))))
578.0ms
(* (cbrt (* 1/12 x)) (cbrt (* 1/12 x)))

regimes6.5s

Accuracy

Total 15.8b remaining (15.1%)

3.1b88.7%quad2m (problem 3.2.1, negative)
3.1b0%expq3 (problem 3.4.2)
1.7b79.1%2nthrt (problem 3.4.6)
1.1b95.9%quadm (p42, negative)
1.0b95.6%quadp (p42, positive)

localize5.6s

rewrite5.1s

Algorithm
119×rewrite-expression-head
Calls

382 calls:

Slowest
187.0ms
(- (+ (+ 1 (log n)) (- (/ 1/2 n) (/ 1/6 (* n n)))) 1)
185.0ms
(- (/ (+ (/ (sin eps) (cos eps)) (/ (sin x) (cos x))) (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps))))) (tan x))
125.0ms
(+ (- (/ (/ 1 (sqrt (+ x 1))) (sqrt (+ x 1))) (/ 2 x)) (/ 1 (- x 1)))
89.0ms
(/ (+ (pow (/ 1 a) 3) (pow (/ 1 b) 3)) (+ (* (/ 1 a) (/ 1 a)) (- (* (/ 1 b) (/ 1 b)) (* (/ 1 a) (/ 1 b)))))
88.0ms
(+ (/ (+ (+ (* x -2) -2) x) (* (+ x 1) x)) (/ 1 (- x 1)))
Rules
1300×*-un-lft-identity
1200×add-sqr-sqrt
942×add-cube-cbrt
628×add-exp-log
604×pow1
587×times-frac
567×add-log-exp
565×add-cbrt-cube
347×sqrt-prod
245×associate-/r/
243×associate-*r/
243×div-inv
242×associate-*r*
215×frac-add
201×associate-*l/
184×associate-*l*
176×associate-/r*
169×flip-+
169×flip3-+
168×distribute-lft-out
168×un-div-inv
167×flip3--
167×flip--
164×frac-times
162×log-prod
162×frac-sub
154×associate-/l*
127×sqrt-div
102×unpow-prod-down
100×sub-neg
99×cbrt-prod
98×difference-of-squares
86×log-pow
84×cube-prod
84×distribute-lft-out--
75×pow1/2
74×pow-prod-down
71×*-commutative
71×prod-exp
66×diff-log
65×cbrt-unprod
64×frac-2neg
64×clear-num
62×cbrt-div
61×pow1/3
55×sub-div
52×div-exp
52×associate-/l/
46×cbrt-undiv
39×rem-sqrt-square
39×log-div
37×sum-log
33×+-commutative
31×tan-quot
28×exp-prod
25×difference-of-sqr-1
24×pow-prod-up
23×rem-log-exp
22×pow-flip
21×rec-exp
19×div-sub
16×distribute-rgt-in
16×distribute-lft-in
15×complex-mul-def
14×inv-pow
13×associate--l+
12×neg-sub0
12×pow2
12×pow-plus
12×associate--l-
12×pow-unpow
12×sum-cubes
11×cube-mult
9×associate-+l+
9×sqrt-unprod
8×exp-sum
7×associate-+r+
6×distribute-rgt-out--
6×sin-mult
5×exp-diff
5×*.c-commutative
5×rem-exp-log
4×associate-+r-
4×unpow3
4×pow-to-exp
4×pow-pow
4×exp-neg
4×associate-+l-
4×rem-square-sqrt
4×cube-div
3×pow-div
3×sin-sum
3×pow-exp
3×+.c-commutative
2×associate-*l*.c
2×cos-mult
2×neg-mul-1
2×sqr-sin
2×distribute-rgt-neg-in
2×tan-sum
2×complex-add-def
2×cos-sum
2×distribute-lft-neg-in
1×quot-tan
1×diff-atan
1×rem-cube-cbrt
1×sin-cos-mult
1×pow3
1×distribute-frac-neg
1×associate--r+
1×difference-cubes
1×frac-2neg-c
1×unpow2
1×diff-sin
1×associate-+l+.c
1×rem-cbrt-cube
1×diff-cos

bsearch3.8s

end1.0ms