Time: 13.3m
Passed: 30/31
Tests: 36
Bits: 1016/1127
Date:Wednesday, January 16th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019016
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.20.113.7s»
sintan (problem 3.4.5)31.00.01.0m»
quad2p (problem 3.2.1, positive)33.26.821.2s»
quad2m (problem 3.2.1, negative)33.56.824.7s»
exp with complex power real part (p55)0.00.013.5s»
exp with complex power imaginary part (p55)43.643.626.6s»
cos2 (problem 3.4.1)30.70.324.9s»
Euler formula real part (p55)0.00.017.2s»
Euler formula imaginary part (p55)43.60.731.2s»
3.9.2 real part (p56)61.9015.5s»
3.9.2 imaginary part (p56)0015.9s»
3.9.1 real part (p56)0025.2s»
3.9.1 imaginary part (p56)0025.6s»
2nthrt (problem 3.4.6)29.820.335.4s»
2log (problem 3.3.6)29.20.114.7s»
2frac (problem 3.3.1)14.30.312.0s»
2cos (problem 3.3.5)39.60.718.8s»
2cbrt (problem 3.3.4)29.60.648.7s»
tanhf (example 3.4)30.00.00.011.6s»
quadp (p42, positive)33.213.420.718.4s»
quadm (p42, negative)33.510.520.627.5s»
qlog (example 3.10)60.80.00.417.4s»
logs (example 3.8)63.00.00.012.2s»
logq (problem 3.4.3)58.30.30.318.4s»
invcot (example 3.9)59.90.30.134.4s»
expq3 (problem 3.4.2)58.63.414.139.5s»
expq2 (section 3.11)39.50.539.07.6s»
expm1 (example 3.7)58.80.00.52.8s»
expax (section 3.5)29.70.00.29.4s»
exp2 (problem 3.3.7)29.90.60.025.0s»
3frac (problem 3.3.3)9.80.10.327.8s»
2tan (problem 3.3.2)37.00.615.042.8s»
2sqrt (example 3.1)29.60.20.212.7s»
2sin (example 3.3)37.10.514.917.5s»
2isqrt (example 3.6)19.50.30.716.6s»
2atan (example 3.5)14.80.30.36.7s»

Details

simplify5.3m

Calls

5864 calls:

Slowest
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.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)))
1.3s
(* (* (* (* (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5)) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5))) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5))) (* (* (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5)) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5))) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5)))) (* (* (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5)) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5))) (fma eps (fma -2/3 (* eps eps) -2) (* (pow eps 5) -2/5))))
1.0s
(+ (* (pow (- (* (exp x) (exp x)) (* 2 2)) 3) (pow (exp x) 3)) (* (pow (+ (exp x) 2) 3) (pow (exp 0) 3)))
986.0ms
(- (+ (/ (log -1) n) (+ 1 (/ 1 (* x n)))) (/ (log (/ -1 x)) n))

sample5.1m

Algorithm
56×intervals
16×halfpoints
Results
337996×(pre true 80)
94388×(body real 80)
71190×(body nan 80)
67089×(body real 1280)
41788×(body real 640)
20132×(body real 320)
17341×(body real 2560)
12612×(body exit 10240)
11114×(body real 160)
659×(body nan 1280)
641×(body nan 640)
471×(body real 5120)
389×(body nan 320)
182×(body nan 160)

prune1.5m

series27.6s

Calls

352 calls:

Slowest
519.0ms
(/ (* (expm1 (* (+ a b) eps)) (/ eps (expm1 (* eps a)))) (expm1 (* eps b)))
494.0ms
(fma (+ (tan x) (tan eps)) (* (/ 1 (- (* 1 1) (* (* (tan x) (tan eps)) (* (tan x) (tan eps))))) (fma (tan eps) (tan x) 1)) (- (tan x)))
443.0ms
(* (/ (expm1 (* (+ a b) eps)) (expm1 (* eps b))) (/ eps (expm1 (* eps a))))
430.0ms
(/ (expm1 (* (+ a b) eps)) (/ (expm1 (* eps b)) (/ eps (expm1 (* eps a)))))
397.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))

regimes3.9s

Accuracy

Total 17.4b remaining (15.6%)

4.8b82.9%quadm (p42, negative)
3.3b0%expq3 (problem 3.4.2)
2.1b81.7%2nthrt (problem 3.4.6)
1.2b95%quad2m (problem 3.2.1, negative)
1.1b95.3%quad2p (problem 3.2.1, positive)

localize3.6s

rewrite3.5s

Algorithm
114×rewrite-expression-head
Calls

352 calls:

Slowest
824.0ms
(- (* b_2 b_2) (* a c))
419.0ms
(sqrt (- (* b_2 b_2) (* a c)))
63.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
57.0ms
(+ (- (/ 1 (+ x 1)) (/ 2 x)) (/ 1 (- x 1)))
56.0ms
(+ (pow (- (exp x) 2) 3) (pow (exp (- x)) 3))
Rules
1726×add-sqr-sqrt
1719×*-un-lft-identity
1531×add-cube-cbrt
802×prod-diff
789×times-frac
624×add-exp-log
606×pow1
576×add-cbrt-cube
467×sqrt-prod
441×add-log-exp
346×log1p-expm1-u
344×expm1-log1p-u
248×div-inv
228×unpow-prod-down
209×associate-/r*
196×associate-/r/
178×associate-*l*
175×cbrt-prod
175×fma-neg
170×associate-*r*
154×cube-prod
152×associate-/l*
122×flip3--
122×flip-+
122×flip3-+
122×flip--
108×sqrt-div
104×associate-*r/
86×fma-def
85×prod-exp
84×pow-prod-down
81×difference-of-squares
79×cbrt-unprod
72×log-prod
68×pow1/2
67×frac-2neg
67×clear-num
64×tan-quot
61×div-exp
56×cbrt-undiv
56×sub-neg
56×distribute-lft-out--
54×pow1/3
54×log-pow
53×*-commutative
51×distribute-lft-out
48×frac-times
47×pow-prod-up
42×rem-sqrt-square
41×neg-mul-1
40×fma-udef
38×diff-log
37×pow-plus
35×associate-/l/
34×associate-*l/
33×unpow3
33×cube-mult
29×associate-+l+
28×pow-unpow
27×cbrt-div
26×exp-prod
23×pow2
23×+-commutative
22×rec-exp
21×pow-flip
21×exp-sum
21×div-sub
17×log-div
15×inv-pow
14×rem-log-exp
14×neg-sub0
14×frac-add
13×sum-log
12×pow-pow
12×cube-div
11×expm1-udef
10×frac-sub
10×distribute-rgt-in
10×pow-to-exp
10×distribute-lft-in
8×associate--l-
8×sin-mult
7×expm1-log1p
7×pow-exp
7×pow3
7×sqrt-unprod
6×exp-diff
5×exp-neg
5×log1p-def
4×*.c-commutative
4×sqr-sin
4×distribute-rgt-out--
4×complex-mul-def
4×log1p-udef
3×rem-cube-cbrt
3×log1p-expm1
3×associate-+l-
3×rem-square-sqrt
3×rem-cbrt-cube
2×sin-sum
2×cube-unmult
2×associate--l+
2×sub-div
2×+.c-commutative
2×distribute-rgt-neg-in
2×tan-sum
2×cos-sum
2×distribute-lft-neg-in
1×diff-atan
1×associate-+r+
1×distribute-frac-neg
1×associate--r+
1×difference-cubes
1×frac-2neg-c
1×exp-to-pow
1×sum-cubes
1×rem-exp-log
1×diff-sin
1×diff-cos

bsearch2.9s

end1.0ms