Time: 15.6m
Passed: 13/19
Tests: 30
Bits: 190/317
Date:Tuesday, January 22nd, 2019
Commit:45d4082dea7f80b56c44622251112721670e87cb on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019022
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
x00662.0ms»
subtraction fraction0.00.026.2s»
sqrt times0.50.55.4s»
r*sin(b)/cos(a+b), B14.90.454.2s»
r*sin(b)/cos(a+b), A14.90.321.8s»
neg log0.00.03.8s»
jeff quadratic root 219.49.019.4s»
jeff quadratic root 119.29.122.2s»
fabs fraction 200849.0ms»
fabs fraction 11.60.310.8s»
exp neg sub0.00.07.7s»
cos(2*x)/(cos^2(x)*sin^2(x))27.55.921.8s»
VandenBroeck and Keller, Equation (24)0.20.216.2s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.331.8s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.228.128.353.5s»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.24.14.12.5m»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.91.950.2s»
NMSE problem 3.2.133.57.314.6s»
Linear.V4:$cdot from linear-1.19.1.30.00.054.7s»
Linear.Matrix:det44 from linear-1.19.1.32.0m»
Linear.Matrix:det33 from linear-1.19.1.311.711.424.2s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.39.04.956.3s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.114.50.48.2s»
Fuzzer 00231.331.315.1s»
Fuzzer 0010.30.34.9s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.14.83.018.7s»
Bouland and Aaronson, Equation (25)0.20.031.3s»
(+ x (- (tan (+ y z)) (tan a)))12.90.21.1m»
sqrt sqr32.3003.9s»
The quadratic formula (r1)33.47.420.615.4s»

Details

simplify8.2m

Calls

5671 calls:

Slowest
1.1s
(* (* (* (* (sin a) (sin a)) (sin a)) (* (* (sin b) (sin b)) (sin b))) (* (* (* (sin a) (sin b)) (* (sin a) (sin b))) (* (sin a) (sin b))))
909.0ms
(/ (* (* (/ 1 (- (acos a))) (/ 1 (- (acos a)))) (/ 1 (- (acos a)))) (* (* (/ 1 a) (/ 1 a)) (/ 1 a)))
867.0ms
(/ (* (* (- y z) (- y z)) (- y z)) (* (* (- (+ t 1.0) z) (- (+ t 1.0) z)) (- (+ t 1.0) z)))
837.0ms
(cbrt (* (* (* (tan y) (tan z)) (* (tan y) (sin z))) (* (sin y) (sin z))))
829.0ms
(* (* (sqrt (+ (* t t) (- (* a a) (* t a)))) (+ a (/ 5.0 6.0))) (* (+ b c) (+ (* (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0))) (+ (* (* (- a (/ 5.0 6.0)) 2.0) (* (- a (/ 5.0 6.0)) 2.0)) (* (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))))

prune2.6m

sample2.5m

Algorithm
59×intervals
Results
49.3s263359×body80valid
34.8s208778×body80nan
26.1s21508×body1280valid
12.8s10915×body640valid
6.7s5267×body2560valid
3.1s5030×body320valid
1.3s2612×body160valid
765.0ms16512×pre80true
235.0ms235×body5120valid

series56.4s

Calls

350 calls:

Slowest
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.5s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

regimes27.3s

Accuracy

Total 26.0b remaining (20.5%)

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

bsearch5.6s

rewrite4.4s

Algorithm
103×rewrite-expression-head
Calls

350 calls:

Slowest
130.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
119.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
117.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
106.0ms
(* (/ (sin b) (- (* (* (* (cos a) (cos b)) (cos a)) (cos b)) (* (* (sin a) (sin b)) (* (sin a) (sin b))))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))
101.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
Rules
1181×associate-*r/
1167×add-sqr-sqrt
1151×*-un-lft-identity
1138×associate-*l/
1112×add-cube-cbrt
829×times-frac
819×frac-times
775×add-exp-log
758×flip3--
758×flip--
705×add-cbrt-cube
631×pow1
618×frac-sub
488×tan-quot
466×add-log-exp
393×associate-*l*
342×sqrt-div
327×associate-*r*
271×flip-+
271×flip3-+
257×associate-/l/
246×associate-/r*
232×cbrt-div
205×associate-/l*
205×associate-/r/
204×cbrt-prod
177×div-inv
164×prod-exp
152×sqrt-prod
124×pow-prod-down
123×cbrt-unprod
121×sub-neg
120×*-commutative
108×div-exp
95×distribute-rgt-in
95×distribute-lft-in
91×cbrt-undiv
87×unpow-prod-down
84×sin-mult
78×frac-2neg
78×clear-num
75×cos-mult
57×pow1/3
44×pow1/2
41×frac-add
37×pow-to-exp
36×neg-sub0
35×un-div-inv
33×diff-log
31×sum-log
31×div-sub
31×pow-prod-up
29×rem-sqrt-square
26×exp-neg
25×distribute-lft-neg-in
25×sub-div
25×distribute-rgt-neg-in
24×pow-neg
23×+-commutative
22×difference-of-squares
20×rec-exp
18×exp-diff
18×associate-+r+
18×exp-sum
17×log-prod
16×associate-+l+
16×pow-plus
14×associate--r+
13×pow-flip
13×distribute-lft-out--
13×inv-pow
12×exp-prod
12×pow-sub
11×distribute-lft-out
11×pow2
11×pow-pow
11×unpow2
10×neg-mul-1
10×associate-+l-
8×pow-exp
8×log-div
8×associate--l+
6×associate--l-
5×rem-exp-log
5×log-pow
4×cos-2
3×sqrt-unprod
2×associate-+r-
2×distribute-rgt-neg-out
2×distribute-frac-neg
2×tan-sum
2×distribute-neg-frac
2×rem-square-sqrt
2×cos-sum
2×distribute-rgt-out
1×pow-unpow
1×pow3
1×rem-cbrt-cube
1×rem-log-exp

localize3.7s

end2.0ms