Time: 12.6m
Passed: 29/31
Tests: 36
Bits: 983/1133
Date:Thursday, January 10th, 2019
Commit:dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019010
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)4.50.116.6s»
sintan (problem 3.4.5)31.80.029.5s»
quad2p (problem 3.2.1, positive)33.16.720.4s»
quad2m (problem 3.2.1, negative)33.36.823.6s»
exp with complex power real part (p55)0.00.016.4s»
exp with complex power imaginary part (p55)44.044.027.7s»
cos2 (problem 3.4.1)31.50.216.1s»
Euler formula real part (p55)0.00.08.3s»
Euler formula imaginary part (p55)44.00.725.7s»
3.9.2 real part (p56)61.9014.8s»
3.9.2 imaginary part (p56)0015.2s»
3.9.1 real part (p56)0024.9s»
3.9.1 imaginary part (p56)0024.7s»
2nthrt (problem 3.4.6)29.318.633.5s»
2log (problem 3.3.6)29.60.18.3s»
2frac (problem 3.3.1)14.40.310.2s»
2cos (problem 3.3.5)39.50.819.2s»
2cbrt (problem 3.3.4)30.00.648.1s»
tanhf (example 3.4)30.80.00.011.9s»
quadp (p42, positive)33.213.720.616.9s»
quadm (p42, negative)33.36.720.733.1s»
qlog (example 3.10)61.00.00.318.6s»
logs (example 3.8)63.00012.7s»
logq (problem 3.4.3)58.70.20.215.5s»
invcot (example 3.9)59.90.30.133.7s»
expq3 (problem 3.4.2)58.63.414.439.5s»
expq2 (section 3.11)40.90.440.59.1s»
expm1 (example 3.7)58.80.00.44.7s»
expax (section 3.5)29.10.00.24.7s»
exp2 (problem 3.3.7)30.00.60.017.0s»
3frac (problem 3.3.3)9.70.50.326.1s»
2tan (problem 3.3.2)37.014.014.758.7s»
2sqrt (example 3.1)30.130.00.215.7s»
2sin (example 3.3)37.00.514.617.2s»
2isqrt (example 3.6)19.90.80.734.2s»
2atan (example 3.5)14.90.30.36.2s»

Details

sample5.1m

Algorithm
56×intervals
16×halfpoints

simplify4.8m

Calls

5098 calls:

Slowest
5.0s
(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.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)))
839.0ms
(* (- (/ -2 x) (- 1 x)) (- x 1))
819.0ms
(+ (* 7/2 (/ (exp (* 1/3 (- (log 2/945) (* 5 (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 2/945) (* 5 (log (/ 1 x)))))) (* 161/4 (/ (exp (* 1/3 (- (log 2/945) (* 5 (log (/ 1 x)))))) (pow x 4)))))
749.0ms
(* (- (* (- b) (- b)) (* (sqrt (fma (* a -4) c (* b b))) (sqrt (fma (* a -4) c (* b b))))) 1)

prune1.3m

series29.3s

Calls

333 calls:

Slowest
715.0ms
(cbrt (fma 1/360 (pow x 6) (* x x)))
677.0ms
(cbrt (cbrt (* (* (fma -27/2800 (pow x 4) -1/2) (fma -27/2800 (pow x 4) -1/2)) (fma -27/2800 (pow x 4) -1/2))))
632.0ms
(cbrt (cbrt (* (* (fma -27/2800 (pow x 4) -1/2) (fma -27/2800 (pow x 4) -1/2)) (fma -27/2800 (pow x 4) -1/2))))
631.0ms
(* (cbrt (fma 1/360 (pow x 6) (* x x))) (cbrt (fma 1/360 (pow x 6) (* x x))))
630.0ms
(cbrt (fma 1/360 (pow x 6) (* x x)))

bsearch3.9s

regimes3.8s

Accuracy

Total 12.8b remaining (8.5%)

3.4b0%expq3 (problem 3.4.2)
1.3b94.5%quad2m (problem 3.2.1, negative)
1.3b89.2%2nthrt (problem 3.4.6)
1.3b94.8%quad2p (problem 3.2.1, positive)
1.2b95.1%quadm (p42, negative)

localize2.7s

rewrite2.0s

Algorithm
112×rewrite-expression-head
Calls

333 calls:

Slowest
70.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (/ (* (sin x) (tan eps)) (cos x)))) (tan x))
59.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
57.0ms
(+ (+ (/ (/ 2 x) (* x x)) (/ 2 (pow x 7))) (/ 2 (pow x 5)))
45.0ms
(/ (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) a)
45.0ms
(+ (- (exp x) 2) (exp (- x)))
Rules
1603×*-un-lft-identity
1469×add-sqr-sqrt
1293×add-cube-cbrt
755×prod-diff
512×add-exp-log
485×pow1
458×add-cbrt-cube
437×times-frac
432×add-log-exp
326×expm1-log1p-u
325×log1p-expm1-u
284×cbrt-prod
271×div-inv
259×sqrt-prod
212×unpow-prod-down
208×fma-neg
173×associate-*l*
157×distribute-lft-out
155×associate-*r*
153×cube-prod
144×associate-/r*
104×associate-/l*
99×flip3--
99×flip--
93×associate-/r/
89×flip-+
89×fma-def
89×flip3-+
81×difference-of-squares
79×cbrt-div
74×log-prod
72×pow1/3
56×distribute-lft-out--
54×frac-2neg
54×clear-num
52×associate-/l/
52×sub-neg
51×frac-times
51×prod-exp
51×associate-*l/
48×pow-prod-down
48×pow1/2
45×cbrt-unprod
45×associate-*r/
43×frac-add
42×frac-sub
42×neg-mul-1
41×*-commutative
40×pow-unpow
40×diff-log
38×sqrt-div
36×cube-mult
35×div-exp
34×tan-quot
34×pow-flip
34×unpow3
33×cbrt-undiv
33×exp-prod
33×fma-udef
30×associate-+l+
28×rem-sqrt-square
26×log-pow
25×pow-prod-up
23×rec-exp
21×inv-pow
21×un-div-inv
19×sum-log
19×+-commutative
18×exp-sum
18×log-div
15×div-sub
13×pow-to-exp
12×pow2
12×pow-plus
12×rem-log-exp
11×neg-sub0
10×pow-pow
9×expm1-udef
9×pow-exp
8×associate--l-
8×log1p-udef
6×log1p-expm1
6×rem-exp-log
6×associate-+l-
6×unpow-prod-up
5×expm1-log1p
5×associate--l+
4×exp-diff
4×log1p-def
4×*.c-commutative
4×complex-mul-def
3×rem-cube-cbrt
3×pow3
3×rem-cbrt-cube
3×sin-mult
2×distribute-lft-neg-out
2×sin-sum
2×associate-+r-
2×associate-+r+
2×distribute-frac-neg
2×distribute-rgt-in
2×sqrt-unprod
2×sub0-neg
2×+.c-commutative
2×sum-cubes
2×sqr-sin
2×exp-neg
2×distribute-rgt-out--
2×rem-square-sqrt
2×cos-sum
2×tan-sum
2×distribute-lft-in
2×pow-sub
1×diff-atan
1×cube-unmult
1×associate--r+
1×frac-2neg-c
1×diff-sin
1×difference-cubes
1×diff-cos

end1.0ms