Time: 13.5m
Passed: 12/19
Tests: 30
Bits: 179/344
Date:Wednesday, January 16th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019016
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
x001.2s»
subtraction fraction0.00.022.8s»
sqrt times0.50.56.2s»
r*sin(b)/cos(a+b), B15.40.426.2s»
r*sin(b)/cos(a+b), A15.40.325.9s»
neg log0.00.04.9s»
jeff quadratic root 219.68.724.2s»
jeff quadratic root 119.513.822.1s»
fabs fraction 2001.1s»
fabs fraction 11.70.913.3s»
exp neg sub0.00.06.5s»
cos(2*x)/(cos^2(x)*sin^2(x))26.75.918.1s»
VandenBroeck and Keller, Equation (24)0.20.215.3s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.339.4s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.228.728.81.1m»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.24.13.439.8s»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.91.951.6s»
NMSE problem 3.2.133.510.319.3s»
Linear.V4:$cdot from linear-1.19.1.30.00.032.5s»
Linear.Matrix:det44 from linear-1.19.1.326.127.42.5m»
Linear.Matrix:det33 from linear-1.19.1.311.912.232.2s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.39.65.145.6s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.113.91.74.2s»
Fuzzer 00230.830.813.9s»
Fuzzer 0010.20.25.5s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.15.53.821.3s»
Bouland and Aaronson, Equation (25)0.20.041.8s»
(+ x (- (tan (+ y z)) (tan a)))13.20.234.8s»
sqrt sqr32.2003.9s»
The quadratic formula (r1)33.28.720.720.4s»

Details

simplify6.0m

Calls

4435 calls:

Slowest
925.0ms
(/ (* (* (* 4 (* c a)) (* 4 (* c a))) (* 4 (* c a))) (* (* (* (* 2 a) (* 2 a)) (* 2 a)) (* (* (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))))
897.0ms
(* (* (* (* a a) (* a a)) (* a a)) (* (* (+ 1 a) (+ 1 a)) (+ 1 a)))
875.0ms
(* (* (* (/ 1 a) (/ 1 a)) (/ 1 a)) (* (* (- (- b_2) (sqrt (- (* b_2 b_2) (* a c)))) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))) (- (- b_2) (sqrt (- (* b_2 b_2) (* a c))))))
872.0ms
(cbrt (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 3) (pow (* c i) 3)))
833.0ms
(- (* (- b) (- b)) (* (sqrt (- (pow b 2) (* 4 (* a c)))) (sqrt (- (pow b 2) (* 4 (* a c))))))

sample3.5m

Algorithm
60×intervals
Results
589754×(pre true 80)
336107×(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

series36.6s

Calls

337 calls:

Slowest
1.1s
(* (cbrt (+ (log (+ x y)) (log z))) (cbrt (+ (log (+ x y)) (log z))))
933.0ms
(+ (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)) x)
684.0ms
(cbrt (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
548.0ms
(* (* x (* (* (pow z y) (exp (- b))) (* (pow a t) (pow a (- 1.0))))) (/ 1 y))
512.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))

regimes25.3s

Accuracy

Total 38.6b remaining (23.3%)

8.2b-16.3%Linear.Matrix:det44 from linear-1.19.1.3
4.7b83.2%NMSE problem 3.2.1
3.8b0%Linear.Matrix:det33 from linear-1.19.1.3
3.3b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
3.2b35.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1

bsearch12.0s

rewrite4.3s

Algorithm
101×rewrite-expression-head
Calls

337 calls:

Slowest
169.0ms
(+ (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)) x)
123.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
116.0ms
(* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))))
108.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))))
88.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
Rules
1042×add-sqr-sqrt
1028×*-un-lft-identity
949×add-cube-cbrt
633×add-exp-log
559×add-cbrt-cube
536×times-frac
506×pow1
475×add-log-exp
322×associate-*r*
287×associate-/r*
274×associate-*r/
257×associate-*l*
243×flip3--
243×flip--
179×frac-times
170×flip-+
170×flip3-+
168×cbrt-prod
143×associate-/l*
143×cbrt-div
138×associate-*l/
134×div-inv
131×associate-/r/
124×prod-exp
123×sub-neg
115×sqrt-prod
108×*-commutative
90×sqrt-div
83×frac-sub
79×cbrt-unprod
74×distribute-rgt-in
74×distribute-lft-in
73×frac-2neg
73×clear-num
69×pow-prod-down
62×pow1/3
59×neg-sub0
55×associate-/l/
53×div-exp
49×un-div-inv
45×cbrt-undiv
44×exp-neg
42×diff-log
34×difference-of-squares
34×sin-mult
34×pow1/2
33×distribute-lft-neg-in
33×distribute-rgt-neg-in
32×sum-log
32×pow-neg
31×rem-sqrt-square
30×cos-mult
30×pow-to-exp
30×frac-add
29×exp-diff
26×rec-exp
26×+-commutative
25×distribute-lft-out
22×distribute-neg-frac
22×div-sub
21×pow-sub
20×tan-quot
19×exp-sum
19×distribute-lft-out--
18×associate-+r+
18×associate--r+
17×sub-div
17×exp-prod
16×pow-flip
15×inv-pow
15×associate--l+
14×associate-+l+
14×associate-+l-
12×pow-prod-up
12×log-pow
12×distribute-neg-in
11×neg-mul-1
10×associate--l-
9×log-prod
7×pow-unpow
7×pow2
7×pow-plus
6×unpow-prod-up
6×log-div
6×unpow2
6×unpow-prod-down
5×distribute-lft-neg-out
4×associate-+r-
4×cos-2
3×rem-exp-log
2×pow-exp
2×distribute-frac-neg
2×pow-pow
2×cos-sum
2×tan-sum
2×distribute-rgt-out
1×distribute-rgt-out--
1×neg-log
1×difference-of-sqr-1
1×sqrt-unprod
1×difference-cubes
1×rem-log-exp

localize3.3s

end1.0ms