Time: 12.8m
Passed: 30/31
Tests: 36
Bits: 1002/1129
Date:Monday, January 21st, 2019
Commit:41534ba9a5a4da8e4e9dad98698119b99dce2613 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019021
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.123.5s»
sintan (problem 3.4.5)31.70.035.9s»
quad2p (problem 3.2.1, positive)33.410.616.2s»
quad2m (problem 3.2.1, negative)33.16.615.7s»
exp with complex power real part (p55)0.00.016.7s»
exp with complex power imaginary part (p55)43.443.424.8s»
cos2 (problem 3.4.1)31.50.217.2s»
Euler formula real part (p55)0.00.034.4s»
Euler formula imaginary part (p55)43.40.838.0s»
3.9.2 real part (p56)61.9016.7s»
3.9.2 imaginary part (p56)0022.1s»
3.9.1 real part (p56)0023.4s»
3.9.1 imaginary part (p56)0023.8s»
2nthrt (problem 3.4.6)29.521.423.7s»
2log (problem 3.3.6)29.00.010.1s»
2frac (problem 3.3.1)14.30.16.7s»
2cos (problem 3.3.5)39.40.814.9s»
2cbrt (problem 3.3.4)29.30.512.3s»
tanhf (example 3.4)30.70.00.010.7s»
quadp (p42, positive)33.510.720.521.1s»
quadm (p42, negative)33.19.120.420.3s»
qlog (example 3.10)60.80.50.317.2s»
logs (example 3.8)63.00.0011.4s»
logq (problem 3.4.3)58.60.20.29.0s»
invcot (example 3.9)59.90.30.121.9s»
expq3 (problem 3.4.2)58.93.114.137.3s»
expq2 (section 3.11)40.30.739.949.5s»
expm1 (example 3.7)58.60.50.512.6s»
expax (section 3.5)30.00.30.210.7s»
exp2 (problem 3.3.7)29.10.60.012.3s»
3frac (problem 3.3.3)9.90.10.354.3s»
2tan (problem 3.3.2)37.215.414.840.0s»
2sqrt (example 3.1)29.40.20.211.2s»
2sin (example 3.3)37.20.414.816.0s»
2isqrt (example 3.6)19.50.40.630.8s»
2atan (example 3.5)14.70.40.45.5s»

Details

simplify5.2m

Calls

4605 calls:

Slowest
3.9s
(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.7s
(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.8s
(+ (* (* x (+ (* (- (* x x) (* 1 1)) (- x -1)) (* (- x 1) (- (* x x) (* -1 -1))))) (+ -1 x)) (* (* (- x 1) (- x -1)) (* (* (+ x -1) (- (* -1 -1) (* x x))) 2)))
1.5s
(+ (+ (- (* (- (* (- (* (/ (- 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.4s
(* (+ (* (+ x 1) (+ x 1)) (- (* (+ x -1) (+ x -1)) (* (+ x 1) (+ x -1)))) (- x -1))

sample5.0m

Algorithm
56×intervals
16×halfpoints
Results
1.1m66725×body1280valid
39.3s17699×body2560valid
25.1s41523×body640valid
14.5s12998×body10240exit
11.6s94095×body80valid
8.4s20769×body320valid
7.1s70767×body80nan
2.7s10866×body160valid
1.7s47605×pre80true
746.0ms694×body1280nan
627.0ms691×body640nan
552.0ms343×body320nan
532.0ms480×body5120valid
54.0ms186×body160nan

prune1.3m

series24.4s

Calls

379 calls:

Slowest
618.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (+ (* (* (* a eps) (* a eps)) (+ (* eps (* 1/6 a)) 1/2)) (* a eps)) (- (exp (* b eps)) 1)))
424.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
421.0ms
(- (/ 1 (/ (- 1 (/ (* (sin x) (tan eps)) (cos x))) (+ (tan x) (tan eps)))) (tan x))
409.0ms
(- (/ 1 (/ (- 1 (* (tan x) (tan eps))) (+ (tan x) (tan eps)))) (tan x))
384.0ms
(* (cbrt (* 1/3 x)) (cbrt (* 1/3 x)))

regimes5.6s

Accuracy

Total 26.2b remaining (20.6%)

5.3b81.3%quadp (p42, positive)
5.2b81.3%quad2p (problem 3.2.1, positive)
3.7b85.9%quadm (p42, negative)
2.9b0%expq3 (problem 3.4.2)
2.8b74.4%2nthrt (problem 3.4.6)

localize3.0s

bsearch2.6s

rewrite2.5s

Algorithm
118×rewrite-expression-head
Calls

379 calls:

Slowest
54.0ms
(/ (- (sqrt (- (pow b_2 2) (* a c))) b_2) a)
49.0ms
(* (+ (* (* (* a eps) (* a eps)) (+ (* eps (* 1/6 a)) 1/2)) (* a eps)) (- (exp (* b eps)) 1))
40.0ms
(/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (+ (* (* (* a eps) (* a eps)) (+ (* eps (* 1/6 a)) 1/2)) (* a eps)) (- (exp (* b eps)) 1)))
38.0ms
(* (/ (cbrt (- (* (* x 1/144) x) (* (+ 1/2 (/ 1 x)) (+ 1/2 (/ 1 x))))) (cbrt (- (* 1/12 x) (- (/ 1 x) -1/2)))) (/ (cbrt (- (* (* x 1/144) x) (* (+ 1/2 (/ 1 x)) (+ 1/2 (/ 1 x))))) (cbrt (- (* 1/12 x) (- (/ 1 x) -1/2)))))
37.0ms
(* (- (sqrt (- (* b b) (* (* 4 a) c))) b) (/ 1 (* 2 a)))
Rules
1263×*-un-lft-identity
1175×add-sqr-sqrt
989×add-cube-cbrt
648×times-frac
625×pow1
610×add-exp-log
532×add-cbrt-cube
523×add-log-exp
254×associate-/r*
234×cbrt-prod
233×associate-*r*
232×div-inv
226×flip-+
226×flip3-+
207×associate-/r/
205×flip3--
205×flip--
178×associate-*l*
174×associate-*l/
172×sqrt-prod
165×log-pow
157×distribute-lft-out
136×log-prod
134×associate-*r/
121×associate-/l*
114×frac-times
104×frac-add
103×sub-neg
101×cbrt-div
84×difference-of-squares
84×unpow-prod-down
77×pow1/2
75×sqrt-div
73×cube-prod
66×frac-2neg
66×clear-num
64×*-commutative
62×associate-/l/
57×prod-exp
55×pow-prod-down
54×div-exp
53×cbrt-unprod
52×distribute-lft-out--
50×diff-log
46×pow1/3
45×cbrt-undiv
45×frac-sub
41×exp-prod
35×pow-flip
35×distribute-rgt-out
34×rem-log-exp
34×rec-exp
30×tan-quot
30×+-commutative
30×rem-sqrt-square
29×sum-log
29×distribute-rgt-in
29×distribute-lft-in
27×log-div
26×inv-pow
25×difference-of-sqr-1
23×pow-prod-up
20×div-sub
18×pow-to-exp
18×un-div-inv
17×exp-sum
16×pow-unpow
16×cube-mult
15×complex-mul-def
12×associate-+l+
12×associate--l+
12×pow2
12×pow-plus
11×distribute-lft1-in
10×distribute-rgt1-in
9×unpow3
8×pow-exp
8×distribute-rgt-out--
7×associate-+r+
7×sum-cubes
7×pow-pow
6×neg-sub0
6×rem-cube-cbrt
6×associate--l-
6×rem-exp-log
5×exp-diff
5×*.c-commutative
5×sin-mult
4×sqrt-unprod
4×sqr-sin
4×associate-+l-
4×rem-square-sqrt
4×cube-div
3×+.c-commutative
3×rem-cbrt-cube
2×associate-*l*.c
2×sin-sum
2×tan-sum
2×frac-2neg-c
2×exp-neg
2×complex-add-def
2×cos-sum
2×unpow1/3
1×diff-atan
1×cos-mult
1×pow3
1×sub-div
1×associate-+r-
1×difference-cubes
1×exp-to-pow
1×diff-sin
1×associate-+l+.c
1×diff-cos

end1.0ms