Time: 12.6m
Passed: 30/31
Tests: 36
Bits: 1017/1126
Date:Friday, January 18th, 2019
Commit:41534ba9a5a4da8e4e9dad98698119b99dce2613 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019018
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.40.114.7s»
sintan (problem 3.4.5)31.80.024.0s»
quad2p (problem 3.2.1, positive)32.86.621.3s»
quad2m (problem 3.2.1, negative)33.36.420.4s»
exp with complex power real part (p55)0.00.014.4s»
exp with complex power imaginary part (p55)43.243.226.5s»
cos2 (problem 3.4.1)31.50.427.0s»
Euler formula real part (p55)0.00.019.4s»
Euler formula imaginary part (p55)43.20.735.5s»
3.9.2 real part (p56)61.9016.3s»
3.9.2 imaginary part (p56)0021.3s»
3.9.1 real part (p56)0024.8s»
3.9.1 imaginary part (p56)0023.8s»
2nthrt (problem 3.4.6)29.623.327.7s»
2log (problem 3.3.6)28.80.115.6s»
2frac (problem 3.3.1)14.20.17.9s»
2cos (problem 3.3.5)39.50.716.2s»
2cbrt (problem 3.3.4)29.22.227.3s»
tanhf (example 3.4)30.70.00.011.2s»
quadp (p42, positive)32.86.520.242.5s»
quadm (p42, negative)33.310.120.620.6s»
qlog (example 3.10)61.20.40.321.8s»
logs (example 3.8)63.00012.9s»
logq (problem 3.4.3)58.60.20.215.9s»
invcot (example 3.9)60.00.30.123.1s»
expq3 (problem 3.4.2)58.63.414.426.5s»
expq2 (section 3.11)40.20.839.817.2s»
expm1 (example 3.7)58.50.50.55.9s»
expax (section 3.5)29.00.80.218.2s»
exp2 (problem 3.3.7)29.60.60.127.2s»
3frac (problem 3.3.3)9.90.10.239.6s»
2tan (problem 3.3.2)36.90.515.142.4s»
2sqrt (example 3.1)29.20.20.29.7s»
2sin (example 3.3)36.90.515.014.7s»
2isqrt (example 3.6)19.70.40.614.7s»
2atan (example 3.5)14.70.30.37.7s»

Details

simplify4.9m

Calls

5101 calls:

Slowest
4.5s
(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.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)))
1.2s
(+ (+ (- (* (- (* (- (* (/ (- 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
(/ (* (* (/ 1 (log (+ 1 x))) (/ 1 (log (+ 1 x)))) (/ 1 (log (+ 1 x)))) (* (* (/ 1 (log (- 1 x))) (/ 1 (log (- 1 x)))) (/ 1 (log (- 1 x)))))
1.2s
(- (log (/ (+ (- (* a c)) 0) a)) (log (+ (sqrt (- (* b_2 b_2) (* a c))) b_2)))

sample4.9m

Algorithm
56×intervals
16×halfpoints
Results
1.1m66229×body1280valid
40.0s17755×body2560valid
25.1s41776×body640valid
14.2s12491×body10240exit
12.1s94362×body80valid
8.3s20763×body320valid
6.9s71407×body80nan
3.1s10761×body160valid
2.2s47353×pre80true
807.0ms687×body1280nan
593.0ms668×body640nan
512.0ms470×body5120valid
231.0ms353×body320nan
64.0ms209×body160nan

prune1.4m

series25.5s

Calls

380 calls:

Slowest
882.0ms
(- (* (/ (+ (tan x) (tan eps)) (- (* 1 1) (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (+ 1 (* (tan x) (tan eps)))) (tan x))
396.0ms
(/ (- (sqrt (- (* b_2 b_2) (* a c))) b_2) a)
359.0ms
(* (cbrt (* 1/3 x)) (cbrt 1/3))
358.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
350.0ms
(* (cbrt (* 1/3 x)) (cbrt (* 1/3 x)))

rewrite5.1s

Algorithm
121×rewrite-expression-head
Calls

380 calls:

Slowest
602.0ms
(log (- (cbrt (* (* (* (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (cbrt (+ x 1)))) (cbrt x)))
521.0ms
(exp (log (- (cbrt (* (* (* (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (cbrt (+ x 1)))) (cbrt x))))
245.0ms
(- (cbrt (* (* (* (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (cbrt (+ x 1)))) (cbrt x))
236.0ms
(- (cbrt (* (* (* (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (cbrt (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (cbrt (+ x 1)))) (cbrt x))
136.0ms
(/ (+ (+ 4 (+ (pow (exp x) 4) (* (exp x) -8))) (* (exp x) (+ (exp x) 2))) (+ (* (+ (exp x) 2) (exp (+ x x))) (* 4 (exp x))))
Rules
1319×add-sqr-sqrt
1316×*-un-lft-identity
1087×add-cube-cbrt
795×times-frac
701×add-exp-log
685×pow1
634×add-cbrt-cube
535×cbrt-div
525×add-log-exp
348×flip-+
348×flip3-+
333×sqrt-prod
303×associate-*r*
280×frac-times
232×associate-*l*
232×associate-*l/
202×associate-/l*
201×div-inv
180×associate-*r/
177×flip3--
177×flip--
171×associate-/r*
140×associate-/r/
125×sqrt-div
123×log-prod
115×cbrt-prod
106×pow-prod-down
102×prod-exp
95×difference-of-squares
94×cbrt-unprod
89×sub-neg
84×associate-/l/
81×log-pow
78×*-commutative
75×distribute-lft-out--
74×pow1/3
73×div-exp
68×frac-2neg
68×clear-num
66×cbrt-undiv
66×pow1/2
65×distribute-lft-out
60×tan-quot
58×log-div
55×frac-add
51×diff-log
45×pow-prod-up
42×unpow-prod-down
40×pow-unpow
34×+-commutative
33×sum-log
31×rem-sqrt-square
29×div-sub
27×distribute-rgt-in
27×distribute-lft-in
26×rec-exp
25×pow2
25×pow-plus
25×associate--l+
24×exp-prod
22×associate-+r+
22×difference-of-sqr-1
21×pow-flip
20×rem-log-exp
19×frac-sub
17×associate-+l+
16×associate-+l-
15×complex-mul-def
14×neg-sub0
14×inv-pow
13×exp-sum
13×pow-to-exp
12×associate--l-
11×pow-exp
11×pow-pow
10×cube-prod
10×sqrt-unprod
10×sin-mult
10×distribute-rgt-out--
7×exp-diff
6×associate-+r-
5×*.c-commutative
5×unpow3
5×rem-square-sqrt
5×cube-mult
4×difference-cubes
4×sqr-sin
4×rem-exp-log
3×exp-neg
3×log-rec
3×sub-div
3×difference-of-sqr--1
3×unpow2
3×+.c-commutative
3×un-div-inv
3×unsub-neg
2×associate-*l*.c
2×cos-mult
2×sin-sum
2×rem-cube-cbrt
2×pow3
2×complex-add-def
2×cos-sum
2×tan-sum
2×rem-cbrt-cube
1×diff-atan
1×associate--r+
1×exp-to-pow
1×diff-sin
1×associate-+l+.c
1×diff-cos

regimes3.9s

Accuracy

Total 17.6b remaining (16.1%)

4.5b84%quadm (p42, negative)
3.4b0%expq3 (problem 3.4.2)
1.8b77.8%2nthrt (problem 3.4.6)
1.0b96%quad2p (problem 3.2.1, positive)
0.9b96.3%quadp (p42, positive)

bsearch3.3s

localize3.3s

end1.0ms