Time: 13.7m
Passed: 12/19
Tests: 30
Bits: 179/342
Date:Thursday, January 10th, 2019
Commit:dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019010
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
x00782.0ms»
subtraction fraction0.00.028.4s»
sqrt times0.50.45.5s»
r*sin(b)/cos(a+b), B14.70.424.1s»
r*sin(b)/cos(a+b), A14.70.524.5s»
neg log0.00.06.2s»
jeff quadratic root 219.58.424.3s»
jeff quadratic root 119.713.620.1s»
fabs fraction 200924.0ms»
fabs fraction 11.71.710.0s»
exp neg sub0.00.35.4s»
cos(2*x)/(cos^2(x)*sin^2(x))27.45.621.5s»
VandenBroeck and Keller, Equation (24)0.20.217.3s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.344.5s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.228.528.555.7s»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.23.62.31.2m»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.92.852.5s»
NMSE problem 3.2.133.36.816.3s»
Linear.V4:$cdot from linear-1.19.1.30.00.037.8s»
Linear.Matrix:det44 from linear-1.19.1.325.325.42.7m»
Linear.Matrix:det33 from linear-1.19.1.311.811.922.4s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.39.710.234.4s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.114.21.53.8s»
Fuzzer 00231.131.113.9s»
Fuzzer 0010.30.35.8s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.15.33.717.2s»
Bouland and Aaronson, Equation (25)0.20.043.8s»
(+ x (- (tan (+ y z)) (tan a)))13.30.331.5s»
sqrt sqr31.9003.8s»
The quadratic formula (r1)33.26.720.619.9s»

Details

simplify6.1m

Calls

5023 calls:

Slowest
905.0ms
(/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a)))
824.0ms
(* t (* (+ b c) (* (- a (/ 5.0 6.0)) (* t 3.0))))
810.0ms
(* (* (* (* a a) (* a a)) (* a a)) (* (* (+ 1 a) (+ 1 a)) (+ 1 a)))
781.0ms
(* (* (* (* a a) (* a a)) (* a a)) (* (* (+ 1 a) (+ 1 a)) (+ 1 a)))
759.0ms
(* (/ t (sqrt (+ t a))) (* (+ b c) (* (- a (/ 5.0 6.0)) (cbrt (* (* t 3.0) (* t 3.0))))))

sample3.5m

Algorithm
60×intervals

prune2.3m

series38.0s

Calls

348 calls:

Slowest
4.0s
(/ (* (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))) (* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b)))))
642.0ms
(/ x (/ y (* (* (pow z y) (exp (- b))) (* (pow a t) (pow a (- 1.0))))))
567.0ms
(* (exp x) (exp (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
548.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
533.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

regimes23.1s

Accuracy

Total 38.2b remaining (23.5%)

6.4b0%Linear.Matrix:det44 from linear-1.19.1.3
6.0b-3%Linear.Matrix:det33 from linear-1.19.1.3
5.6b-7.5%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.8b-60.6%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
2.5b40.3%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

bsearch7.7s

rewrite4.3s

Algorithm
103×rewrite-expression-head
Calls

348 calls:

Slowest
162.0ms
(* (exp x) (exp (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
92.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
86.0ms
(+ (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a))))))
78.0ms
(sqrt (+ (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a)))))))
77.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))))
Rules
1154×add-sqr-sqrt
1135×*-un-lft-identity
1064×add-cube-cbrt
678×add-exp-log
622×times-frac
580×add-cbrt-cube
526×pow1
480×add-log-exp
395×associate-*r/
365×associate-*r*
350×flip3--
350×flip--
324×associate-*l*
272×frac-times
266×cbrt-div
251×associate-/r*
224×flip-+
224×flip3-+
208×associate-*l/
206×exp-prod
182×associate-/r/
181×frac-sub
159×associate-/l*
159×prod-exp
147×sqrt-prod
144×div-inv
139×distribute-rgt-neg-in
139×distribute-lft-neg-in
128×*-commutative
127×frac-add
124×sqrt-div
121×sub-neg
95×cbrt-unprod
93×cbrt-prod
81×distribute-rgt-in
81×distribute-lft-in
79×pow-prod-down
75×frac-2neg
75×clear-num
55×log-pow
54×associate-/l/
52×difference-of-squares
51×sin-mult
50×div-exp
49×pow-to-exp
47×neg-mul-1
46×neg-sub0
43×cbrt-undiv
38×log-prod
36×pow1/2
35×pow1/3
35×un-div-inv
35×diff-log
34×sum-log
32×exp-neg
30×+-commutative
30×rem-sqrt-square
29×rec-exp
27×cos-mult
26×exp-diff
26×pow-neg
26×div-sub
25×tan-quot
24×associate-+l+
24×associate-+r+
24×associate--r+
22×distribute-lft-out
21×distribute-lft-out--
21×log-div
19×pow-pow
19×associate-+l-
17×exp-sum
16×pow-flip
15×associate--l+
14×inv-pow
13×distribute-frac-neg
13×rem-exp-log
13×pow-sub
12×sub-div
12×unpow2
10×distribute-neg-frac
9×pow-prod-up
9×unpow-prod-down
8×associate-+r-
7×associate--l-
7×pow-unpow
4×pow2
4×cos-2
4×pow-plus
4×rem-log-exp
3×distribute-lft-neg-out
3×pow-exp
3×distribute-rgt-neg-out
3×difference-of-sqr-1
2×distribute-rgt-out--
2×pow3
2×neg-log
2×sqrt-unprod
2×exp-to-pow
2×cos-sum
2×tan-sum
2×rem-cbrt-cube
2×distribute-neg-in
1×log-rec
1×rem-square-sqrt
1×distribute-rgt-out

localize3.4s

end1.0ms