Time: 18.0m
Passed: 30/31
Tests: 36
Bits: 1015/1128
Date:Friday, January 18th, 2019
Commit:41534ba9a5a4da8e4e9dad98698119b99dce2613 on develop
Hostname:pavpan-dyn-cs-washington-edu
Points:256
Fuel:4
Seed:323378853
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.21.5m»
sintan (problem 3.4.5)30.60.042.0s»
quad2p (problem 3.2.1, positive)33.49.523.6s»
quad2m (problem 3.2.1, negative)33.76.026.9s»
exp with complex power real part (p55)0.00.021.1s»
exp with complex power imaginary part (p55)43.743.730.7s»
cos2 (problem 3.4.1)30.50.136.2s»
Euler formula real part (p55)0.00.013.3s»
Euler formula imaginary part (p55)43.70.836.0s»
3.9.2 real part (p56)61.9019.7s»
3.9.2 imaginary part (p56)0026.6s»
3.9.1 real part (p56)0029.0s»
3.9.1 imaginary part (p56)0028.4s»
2nthrt (problem 3.4.6)29.322.742.8s»
2log (problem 3.3.6)29.60.123.1s»
2frac (problem 3.3.1)15.10.113.7s»
2cos (problem 3.3.5)39.20.822.2s»
2cbrt (problem 3.3.4)30.03.229.0s»
tanhf (example 3.4)29.60.00.015.4s»
quadp (p42, positive)33.47.920.432.5s»
quadm (p42, negative)33.78.720.327.7s»
qlog (example 3.10)60.70.50.434.0s»
logs (example 3.8)63.00.00.016.9s»
logq (problem 3.4.3)58.60.20.230.0s»
invcot (example 3.9)59.90.30.136.0s»
expq3 (problem 3.4.2)58.73.714.460.0s»
expq2 (section 3.11)39.80.739.523.5s»
expm1 (example 3.7)58.70.40.410.1s»
expax (section 3.5)29.31.00.214.2s»
exp2 (problem 3.3.7)29.40.60.028.4s»
3frac (problem 3.3.3)9.90.10.31.2m»
2tan (problem 3.3.2)36.80.614.958.5s»
2sqrt (example 3.1)30.10.20.213.9s»
2sin (example 3.3)36.90.614.924.9s»
2isqrt (example 3.6)19.50.40.623.7s»
2atan (example 3.5)15.50.40.411.5s»

Details

sample7.3m

Algorithm
56×intervals
16×halfpoints
Results
1.6m67359×body1280valid
58.9s17332×body2560valid
43.3s42556×body640valid
21.6s12835×body10240exit
17.9s93284×body80valid
14.4s20549×body320valid
12.6s72345×body80nan
4.6s10651×body160valid
2.1s47402×pre80true
1.2s701×body1280nan
802.0ms432×body5120valid
685.0ms608×body640nan
260.0ms351×body320nan
84.0ms191×body160nan

simplify6.8m

Calls

4215 calls:

Slowest
5.5s
(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.4s
(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.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
(* (* (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)) (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))) (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))

prune2.1m

series41.3s

Calls

358 calls:

Slowest
2.2s
(/ (* 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))
635.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))
625.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
576.0ms
(* (cbrt (* 1/3 x)) (cbrt (* 1/3 x)))

regimes7.3s

Accuracy

Total 22.9b remaining (20.2%)

4.3b84.6%quad2p (problem 3.2.1, positive)
3.6b-13.1%expq3 (problem 3.4.2)
3.4b87%quadm (p42, negative)
2.6b90.7%quadp (p42, positive)
1.7b79.3%2nthrt (problem 3.4.6)

localize5.5s

bsearch5.4s

rewrite4.9s

Algorithm
118×rewrite-expression-head
Calls

358 calls:

Slowest
265.0ms
(log (* (sqrt (- (cbrt (* (* (cbrt (+ x 1)) (cbrt (+ x 1))) (cbrt (+ x 1)))) (cbrt x))) (sqrt (- (cbrt (* (* (cbrt (+ x 1)) (cbrt (+ x 1))) (cbrt (+ x 1)))) (cbrt x)))))
78.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (tan x) (sin eps)) (cos eps)))) (tan x))
73.0ms
(/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a)
67.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
63.0ms
(log (- (cbrt (* (* (cbrt (+ x 1)) (cbrt (+ x 1))) (cbrt (+ x 1)))) (cbrt x)))
Rules
1069×*-un-lft-identity
1050×add-sqr-sqrt
843×add-cube-cbrt
632×pow1
613×add-exp-log
530×add-cbrt-cube
518×add-log-exp
494×times-frac
287×flip-+
287×flip3-+
232×associate-*l/
224×associate-*r*
219×frac-times
214×cbrt-div
193×flip3--
193×flip--
189×log-prod
166×div-inv
163×associate-*l*
149×sqrt-prod
147×cbrt-prod
147×associate-/r*
146×associate-*r/
129×associate-/r/
128×associate-/l*
127×sqrt-div
110×log-pow
101×sub-neg
87×difference-of-squares
83×pow-prod-down
83×distribute-lft-out--
77×prod-exp
75×pow1/3
68×cbrt-unprod
68×*-commutative
65×tan-quot
60×distribute-lft-out
60×diff-log
59×associate-/l/
55×frac-2neg
55×clear-num
52×div-exp
48×log-div
46×pow1/2
46×frac-add
42×cbrt-undiv
34×pow-prod-up
33×rem-log-exp
32×exp-prod
28×sum-log
27×distribute-rgt-in
27×distribute-lft-in
24×+-commutative
23×rem-sqrt-square
21×frac-sub
21×rec-exp
21×pow-plus
21×unpow-prod-down
19×pow-flip
19×difference-of-sqr-1
18×pow2
16×pow-unpow
16×div-sub
15×complex-mul-def
12×associate--l+
12×inv-pow
10×associate-+l+
10×exp-sum
10×cube-mult
8×exp-diff
7×neg-sub0
7×sum-cubes
6×associate-+r+
6×associate--r+
6×rem-exp-log
6×associate-+l-
5×associate--l-
5×*.c-commutative
5×sqrt-unprod
4×pow3
4×pow-to-exp
3×pow-exp
3×unpow3
3×sin-mult
3×pow-pow
3×+.c-commutative
3×rem-cbrt-cube
2×associate-*l*.c
2×sin-sum
2×sqr-sin
2×un-div-inv
2×tan-sum
2×exp-neg
2×rem-square-sqrt
2×cos-sum
2×complex-add-def
1×diff-atan
1×cos-mult
1×associate-+r-
1×frac-2neg-c
1×exp-to-pow
1×unpow2
1×distribute-rgt-out--
1×diff-sin
1×associate-+l+.c
1×diff-cos

end1.0ms