Time: 13.4m
Passed: 14/19
Tests: 30
Bits: 178/317
Date:Tuesday, January 22nd, 2019
Commit:45d4082dea7f80b56c44622251112721670e87cb on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019022
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
x00717.0ms»
subtraction fraction0.00.028.8s»
sqrt times0.50.55.8s»
r*sin(b)/cos(a+b), B14.90.423.6s»
r*sin(b)/cos(a+b), A14.90.320.8s»
neg log0.00.03.8s»
jeff quadratic root 219.413.518.3s»
jeff quadratic root 119.213.519.3s»
fabs fraction 200919.0ms»
fabs fraction 11.60.28.3s»
exp neg sub0.00.06.2s»
cos(2*x)/(cos^2(x)*sin^2(x))27.55.922.4s»
VandenBroeck and Keller, Equation (24)0.20.220.9s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.349.7s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.228.128.255.3s»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.24.11.950.7s»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.91.847.0s»
NMSE problem 3.2.133.57.320.4s»
Linear.V4:$cdot from linear-1.19.1.30.00.052.8s»
Linear.Matrix:det44 from linear-1.19.1.32.0m»
Linear.Matrix:det33 from linear-1.19.1.311.711.423.7s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.39.05.055.9s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.114.50.48.8s»
Fuzzer 00231.331.313.5s»
Fuzzer 0010.30.34.6s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.14.83.018.8s»
Bouland and Aaronson, Equation (25)0.20.027.8s»
(+ x (- (tan (+ y z)) (tan a)))12.90.255.5s»
sqrt sqr32.3003.8s»
The quadratic formula (r1)33.413.420.617.1s»

Details

simplify6.2m

Calls

4945 calls:

Slowest
1.1s
(* (+ (* (log (sqrt (+ x y))) (log (sqrt (+ x y)))) (- (* (+ (log (sqrt (+ x y))) (log z)) (+ (log (sqrt (+ x y))) (log z))) (* (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))))) (- (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))))
949.0ms
(* (* (* (* a a) (* a a)) (* a a)) (* (* (+ 1 a) (+ 1 a)) (+ 1 a)))
911.0ms
(* (* (* (* (tan y) (tan y)) (tan y)) (* (* (tan z) (tan z)) (tan z))) (* (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* (tan y) (tan z))))
905.0ms
(cbrt (* (* (- (* (log (sqrt (+ x y))) (log (sqrt (+ x y)))) (* (+ (log (sqrt (+ x y))) (log z)) (+ (log (sqrt (+ x y))) (log z)))) (- (* (log (sqrt (+ x y))) (log (sqrt (+ x y)))) (* (+ (log (sqrt (+ x y))) (log z)) (+ (log (sqrt (+ x y))) (log z))))) (- (* (log (sqrt (+ x y))) (log (sqrt (+ x y)))) (* (+ (log (sqrt (+ x y))) (log z)) (+ (log (sqrt (+ x y))) (log z))))))
898.0ms
(* (* (* (* b b) (* b b)) (* b b)) (* (* (- 1 (* 3 a)) (- 1 (* 3 a))) (- 1 (* 3 a))))

sample2.5m

Algorithm
59×intervals
Results
52.1s263359×body80valid
34.3s208778×body80nan
25.2s21508×body1280valid
12.0s10915×body640valid
6.2s5267×body2560valid
3.0s5030×body320valid
1.2s2612×body160valid
856.0ms16512×pre80true
229.0ms235×body5120valid

prune2.5m

series1.0m

Calls

341 calls:

Slowest
5.1s
(cbrt (* (* (sqrt (+ (fma b a (* z t)) (fma i c (* x y)))) (sqrt (+ (fma b a (* z t)) (fma i c (* x y))))) (sqrt (+ (fma b a (* z t)) (fma i c (* x y))))))
4.9s
(sqrt (+ (fma b a (* z t)) (fma i c (* x y))))
4.9s
(sqrt (+ (fma b a (* z t)) (fma i c (* x y))))
4.3s
(sqrt (+ (fma b a (* z t)) (fma i c (* x y))))
4.3s
(sqrt (+ (fma b a (* z t)) (fma i c (* x y))))

regimes21.9s

Accuracy

Total 22.1b remaining (15.9%)

5.1b13.8%Linear.Matrix:det33 from linear-1.19.1.3
2.3b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.2b45.7%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
1.8b92.3%NMSE problem 3.2.1
1.8b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

bsearch4.5s

localize3.5s

rewrite3.4s

Algorithm
104×rewrite-expression-head
Calls

341 calls:

Slowest
478.0ms
(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
147.0ms
(/ (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
128.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
78.0ms
(cbrt (* (* (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z)))) (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z)))))
56.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
Rules
1251×*-un-lft-identity
1238×add-sqr-sqrt
1163×add-cube-cbrt
669×times-frac
651×add-exp-log
605×add-cbrt-cube
517×pow1
408×add-log-exp
344×expm1-log1p-u
341×log1p-expm1-u
328×associate-*l*
321×associate-*r*
307×frac-times
277×prod-diff
244×tan-quot
236×sqrt-prod
227×flip3--
227×flip--
227×associate-*l/
226×associate-/r*
210×associate-*r/
199×div-inv
164×associate-/r/
160×associate-/l*
160×cbrt-div
156×flip-+
156×flip3-+
150×cbrt-prod
126×sqrt-div
126×distribute-rgt-in
126×distribute-lft-in
112×*-commutative
105×sub-neg
101×prod-exp
97×fma-neg
82×div-exp
79×cbrt-unprod
73×cbrt-undiv
72×frac-2neg
72×clear-num
72×fma-def
65×pow-prod-down
54×associate-/l/
49×distribute-lft-out
46×pow1/2
45×frac-sub
41×neg-mul-1
37×rem-sqrt-square
36×associate-+l+
36×pow1/3
30×associate-+r+
30×associate--r+
29×fma-udef
28×log-pow
28×div-sub
27×log-prod
25×distribute-rgt-neg-in
25×distribute-lft-neg-in
24×sin-mult
23×+-commutative
23×diff-log
22×rec-exp
18×cos-mult
15×sum-log
15×difference-of-squares
15×pow-to-exp
15×associate-+l-
14×neg-sub0
13×pow-flip
13×distribute-lft-out--
13×inv-pow
12×log-div
12×exp-prod
11×sub-div
10×exp-sum
10×associate--l+
10×pow-prod-up
9×unpow-prod-down
9×frac-add
7×un-div-inv
6×associate--l-
6×pow-plus
5×pow2
5×unpow2
5×hypot-def
4×exp-diff
4×associate-+r-
4×pow-unpow
4×cos-2
4×rem-exp-log
4×pow-sub
4×pow-neg
3×expm1-log1p
3×expm1-udef
3×log1p-expm1
3×log1p-udef
3×pow3
3×distribute-frac-neg
3×rem-cbrt-cube
2×pow-exp
2×distribute-rgt-neg-out
2×sqrt-unprod
2×pow-pow
2×tan-sum
2×distribute-neg-frac
2×cos-sum
1×unpow-prod-up
1×distribute-lft-neg-out
1×rem-square-sqrt
1×distribute-rgt-out

end1.0ms