Time: 21.9m
Passed: 14/19
Tests: 30
Bits: 183/318
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
x001.0s»
subtraction fraction0.00.019.2s»
sqrt times0.50.57.2s»
r*sin(b)/cos(a+b), B15.40.539.9s»
r*sin(b)/cos(a+b), A15.40.325.2s»
neg log0.00.05.0s»
jeff quadratic root 219.66.930.3s»
jeff quadratic root 119.513.820.7s»
fabs fraction 2001.1s»
fabs fraction 11.70.220.9s»
exp neg sub0.00.06.5s»
cos(2*x)/(cos^2(x)*sin^2(x))26.75.924.4s»
VandenBroeck and Keller, Equation (24)0.20.218.6s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.342.0s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.228.728.81.3m»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.24.12.056.2s»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.91.947.0s»
NMSE problem 3.2.133.56.825.1s»
Linear.V4:$cdot from linear-1.19.1.30.00.019.2s»
Linear.Matrix:det44 from linear-1.19.1.310.0m»
Linear.Matrix:det33 from linear-1.19.1.311.912.141.6s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.39.65.129.5s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.113.91.54.8s»
Fuzzer 00230.830.815.6s»
Fuzzer 0010.20.26.2s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.15.53.821.1s»
Bouland and Aaronson, Equation (25)0.20.036.2s»
(+ x (- (tan (+ y z)) (tan a)))13.20.246.8s»
sqrt sqr32.2004.3s»
The quadratic formula (r1)33.213.420.717.0s»

Details

simplify6.0m

Calls

4754 calls:

Slowest
1.1s
(* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
1.1s
(- (* (sqrt (fma (* a -4) c (* b b))) (sqrt (fma (* a -4) c (* b b)))) (* b b))
1.1s
(* (* (* (* b b) (* b b)) (* b b)) (* (* (- 1 (* 3 a)) (- 1 (* 3 a))) (- 1 (* 3 a))))
972.0ms
(* (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)) 1)
940.0ms
(/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a)))

sample2.8m

Algorithm
59×intervals
Results
517480×(pre true 80)
263833×(body real 80)
208099×(body nan 80)
21561×(body real 1280)
10685×(body real 640)
5328×(body real 2560)
5159×(body real 320)
2582×(body real 160)
233×(body real 5120)

prune2.1m

series33.0s

Calls

319 calls:

Slowest
677.0ms
(cbrt (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
580.0ms
(fma (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (cbrt (- (* z y) (* t a)))) x (- (* (- (* t c) (* y i)) j) (* (- (* z c) (* i a)) b)))
551.0ms
(fma (- (* z y) (* t a)) x (- (* (- (* t c) (* y i)) j) (* (- (* z c) (* i a)) b)))
520.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
507.0ms
(/ (/ (* x (* (* 1 (pow z y)) (exp (fma t (log a) (- b))))) (pow a 1.0)) y)

regimes14.5s

Accuracy

Total 23.8b remaining (17.6%)

5.1b0%Linear.Matrix:det33 from linear-1.19.1.3
3.1b36.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.0b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.9b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

rewrite3.4s

Algorithm
100×rewrite-expression-head
Calls

323 calls:

Slowest
141.0ms
(* (* r (/ (sin b) (- (* (* (cos a) (cos b)) (* (cos a) (cos b))) (* (* (sin a) (sin b)) (* (sin a) (sin b)))))) (fma (sin b) (sin a) (* (cos b) (cos a))))
82.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
80.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
77.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
69.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
1295×*-un-lft-identity
1260×add-sqr-sqrt
1183×add-cube-cbrt
603×add-exp-log
580×pow1
563×add-cbrt-cube
546×times-frac
415×prod-diff
403×add-log-exp
325×log1p-expm1-u
323×expm1-log1p-u
311×associate-*r*
260×associate-*l*
208×associate-/r*
201×sqrt-prod
184×div-inv
170×cbrt-prod
169×associate-/l*
163×flip3--
163×flip--
154×associate-/r/
130×fma-neg
121×frac-times
121×flip-+
121×flip3-+
119×associate-*r/
116×associate-*l/
110×pow-prod-down
109×cbrt-div
107×prod-exp
103×tan-quot
98×*-commutative
95×cbrt-unprod
90×distribute-lft-neg-in
90×distribute-rgt-neg-in
83×associate-+r+
74×sqrt-div
72×distribute-rgt-in
72×sub-neg
72×distribute-lft-in
71×frac-2neg
71×clear-num
68×neg-mul-1
61×frac-sub
58×fma-def
57×pow1/3
52×associate-/l/
51×sin-mult
49×cos-mult
49×div-exp
46×distribute-lft-out
44×cbrt-undiv
42×fma-udef
35×pow1/2
30×associate--r+
30×rem-sqrt-square
29×diff-log
28×difference-of-squares
28×pow-prod-up
21×neg-sub0
21×log-prod
20×sub-div
19×div-sub
17×associate-+l+
16×distribute-lft-out--
16×+-commutative
15×rec-exp
15×pow-plus
14×exp-sum
14×log-pow
13×sum-log
12×pow-flip
12×associate-+l-
11×pow2
11×pow-to-exp
11×inv-pow
10×log-div
10×distribute-neg-frac
10×distribute-frac-neg
9×associate-+r-
9×associate--l+
9×unpow-prod-down
8×associate--l-
6×un-div-inv
6×exp-prod
5×unpow2
4×cos-2
3×pow-sub
3×pow-neg
2×expm1-log1p
2×expm1-udef
2×distribute-lft-neg-out
2×exp-diff
2×pow-exp
2×log1p-expm1
2×log1p-udef
2×pow-pow
2×tan-sum
2×rem-exp-log
2×cos-sum
1×pow-unpow
1×distribute-rgt-neg-out
1×difference-of-sqr-1
1×sqrt-unprod
1×distribute-rgt-out--
1×sqr-neg
1×rem-log-exp
1×frac-add
1×expm1-def

localize3.3s

bsearch2.6s

end1.0ms