Time: 13.9m
Passed: 13/19
Tests: 30
Bits: 175/342
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
x00644.0ms»
subtraction fraction0.00.033.1s»
sqrt times0.50.45.2s»
r*sin(b)/cos(a+b), B14.70.425.7s»
r*sin(b)/cos(a+b), A14.70.422.0s»
neg log0.00.09.1s»
jeff quadratic root 219.513.118.5s»
jeff quadratic root 119.713.619.2s»
fabs fraction 200970.0ms»
fabs fraction 11.71.710.0s»
exp neg sub0.00.02.6s»
cos(2*x)/(cos^2(x)*sin^2(x))27.45.621.7s»
VandenBroeck and Keller, Equation (24)0.20.237.7s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.351.8s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.228.528.544.3s»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.23.61.549.4s»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.92.845.2s»
NMSE problem 3.2.133.36.824.9s»
Linear.V4:$cdot from linear-1.19.1.30.00.719.5s»
Linear.Matrix:det44 from linear-1.19.1.325.325.42.5m»
Linear.Matrix:det33 from linear-1.19.1.311.811.929.1s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.39.77.444.7s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.114.21.54.2s»
Fuzzer 00231.131.115.5s»
Fuzzer 0010.30.36.2s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.15.33.721.4s»
Bouland and Aaronson, Equation (25)0.20.029.2s»
(+ x (- (tan (+ y z)) (tan a)))13.30.31.1m»
sqrt sqr31.9003.5s»
The quadratic formula (r1)33.29.620.624.2s»

Details

simplify6.2m

Calls

5455 calls:

Slowest
966.0ms
(* (* (* (* a a) (* a a)) (* a a)) (* (* (+ 1 a) (+ 1 a)) (+ 1 a)))
938.0ms
(/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a)))
912.0ms
(* (* (* (* a a) (* a a)) (* a a)) (* (* (+ 1 a) (+ 1 a)) (+ 1 a)))
911.0ms
(* (- (* (* y2 t) (* y2 t)) (* (* y y3) (* y y3))) (- (* (* c y4) (* c y4)) (* (* a y5) (* a y5))))
763.0ms
(* (* (* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (cbrt (- a 0.5)))) (* (cbrt (- a 0.5)) (cbrt (- a 0.5)))) (* (- a 0.5) (* (* (log t) (log t)) (log t))))

sample3.5m

Algorithm
60×intervals

prune2.4m

series33.0s

Calls

338 calls:

Slowest
573.0ms
(/ y (* (* 1 (pow z y)) (exp (fma t (log a) (- b)))))
512.0ms
(* (cbrt (- a 0.5)) (log t))
463.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
462.0ms
(/ x (* (/ y (* (* 1 (pow z y)) (exp (fma t (log a) (- b))))) (pow a 1.0)))
457.0ms
(* (/ 1 (fma (fma (* y y) (+ a y) (fma y b c)) y i)) (fma (* y y) (fma (fma x y z) y 27464.7644705) (fma 230661.510616 y t)))

regimes24.7s

Accuracy

Total 40.2b remaining (24.1%)

6.6b0%Linear.Matrix:det44 from linear-1.19.1.3
5.9b-0.8%Linear.Matrix:det33 from linear-1.19.1.3
5.2b28.2%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
4.2b84.2%The quadratic formula (r1)
2.8b-62.3%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

bsearch5.2s

localize3.5s

rewrite2.8s

Algorithm
103×rewrite-expression-head
Calls

338 calls:

Slowest
80.0ms
(exp (+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a))))
79.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
60.0ms
(cbrt (* (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (sin a) (sin b))))
56.0ms
(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a)))
48.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (tan z)) (cos y)))) (tan a))
Rules
1651×*-un-lft-identity
1574×add-sqr-sqrt
1471×add-cube-cbrt
919×times-frac
641×prod-diff
605×add-exp-log
549×add-cbrt-cube
519×pow1
433×add-log-exp
431×associate-*l*
338×expm1-log1p-u
338×log1p-expm1-u
314×associate-*r*
229×flip--
229×flip3--
219×div-inv
205×sqrt-prod
190×cbrt-div
169×associate-/r*
169×associate-/r/
163×exp-prod
152×fma-neg
150×associate-/l*
150×cbrt-prod
139×frac-times
139×associate-*l/
133×associate-+r+
125×distribute-lft-neg-in
125×distribute-rgt-neg-in
121×associate-*r/
116×*-commutative
115×distribute-rgt-in
115×distribute-lft-in
110×flip-+
110×flip3-+
97×sub-neg
94×neg-mul-1
94×prod-exp
82×cbrt-unprod
73×pow-prod-down
68×distribute-lft-out
65×frac-2neg
65×clear-num
55×difference-of-squares
54×fma-def
50×log-pow
47×div-exp
45×pow1/3
44×cbrt-undiv
41×frac-sub
40×log-prod
37×associate-/l/
36×fma-udef
30×associate--r+
30×pow1/2
30×sin-mult
30×diff-log
29×rem-sqrt-square
26×sqrt-div
25×neg-sub0
25×distribute-lft-out--
23×tan-quot
20×div-sub
19×+-commutative
16×associate-+l+
16×rec-exp
15×sum-log
15×pow-prod-up
15×associate-+l-
14×log-div
13×distribute-frac-neg
12×pow-flip
12×exp-sum
11×pow-plus
11×pow-to-exp
11×inv-pow
10×cos-mult
10×distribute-neg-frac
9×exp-diff
9×rem-exp-log
9×unpow-prod-down
8×associate--l+
8×pow2
8×sub-div
7×associate--l-
6×distribute-lft-neg-out
6×associate-+r-
6×difference-of-sqr-1
6×exp-neg
6×frac-add
5×unpow2
5×un-div-inv
4×distribute-rgt-out--
4×cos-2
4×rem-log-exp
3×pow3
3×pow-sub
3×pow-neg
2×pow-exp
2×distribute-rgt-neg-out
2×pow-pow
2×tan-sum
2×cos-sum
2×rem-cbrt-cube
1×pow-unpow
1×log-rec
1×sqrt-unprod
1×exp-to-pow
1×distribute-rgt-out

end1.0ms