Date:Friday, December 13th, 2019
Commit:92b838e9 on show-bad-nightlies
Hostname:warfa with Racket 7.5
Seed:2019347
Parameters:256 points for 4 iterations
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

Details

series10.9m (57.4%)

Calls

334 calls:

1.9m
(fma (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)) (* (- (* x y) (* z t)) (- (* a b) (* c i))))
1.5s
(cbrt (fma (- a 0.5) (log t) (- (+ (log (+ x y)) (log z)) t)))
1.5s
(cbrt (fma (- a 0.5) (log t) (- (+ (log (+ x y)) (log z)) t)))
1.4s
(cbrt (fma (- a 0.5) (log t) (- (+ (log (+ x y)) (log z)) t)))
1.4s
(cbrt (cbrt (fma (- a 0.5) (log t) (- (+ (log (+ x y)) (log z)) t))))

simplify5.3m (28.0%)

sample1.3m (7.0%)

Algorithm
59×intervals
Results
16.9s263528×body80valid
12.1s21336×body1280valid
12.0s207617×body80nan
4.4s10994×body640valid
3.4s5228×body2560valid
1.5s5197×body320valid
532.0ms16512×pre80true
440.0ms2436×body160valid
90.0ms235×body5120valid

prune53.3s (4.7%)

rewrite18.7s (1.6%)

Algorithm
101×rewrite-expression-head
Calls

335 calls:

2.7s
(/ (* x (exp (- (+ (+ (* y (* 2 (log (cbrt z)))) (* y (log (cbrt z)))) (* (- t 1.0) (log a))) b))) y)
1.2s
(exp (- (+ (+ (* y (* 2 (log (cbrt z)))) (* y (log (cbrt z)))) (* (- t 1.0) (log a))) b))
756.0ms
(+ x (+ (- (/ (+ (tan y) (tan z)) (fma (- (tan y)) (tan z) 1)) (tan a)) 0))
311.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
299.0ms
(* (* (* (* x 18.0) y) z) t)
Rules
7632×times-frac
6907×*-un-lft-identity
5814×add-sqr-sqrt
4331×add-cube-cbrt
2741×add-exp-log
1570×prod-exp
1537×sqrt-prod
1294×add-cbrt-cube
913×prod-diff
831×pow1
730×distribute-lft-out
640×distribute-rgt-neg-in
606×distribute-lft-neg-in
601×distribute-lft-out--
593×difference-of-squares
540×associate-*r*
475×associate-/l*
472×add-log-exp
450×cbrt-unprod
431×div-exp
423×associate-*l*
349×cbrt-prod
342×div-inv
335×log1p-expm1-u expm1-log1p-u
333×associate-/r*
281×pow-to-exp pow-exp
279×associate-/r/
241×unpow-prod-down
237×fma-neg
232×pow-prod-down
216×cbrt-undiv
197×flip3-- flip--
191×cube-prod
128×sqrt-div
125×associate-*r/
116×unswap-sqr
99×*-commutative
86×associate-+r+
82×flip-+ flip3-+
78×unpow-prod-up
76×neg-mul-1
75×pow1/3
74×distribute-rgt-in sub-neg distribute-lft-in
73×cbrt-div
66×clear-num frac-2neg
62×sqrt-pow1
58×log-pow
57×fma-def
54×associate-/l/ log-prod
52×associate-*l/ diff-log
47×sum-cubes
46×exp-prod
40×fma-udef exp-sum
39×tan-quot
37×pow1/2
35×swap-sqr
32×frac-times
29×1-exp
27×sum-log
25×rem-sqrt-square
22×rec-exp
19×sqr-pow
16×pow-prod-up frac-sub
15×div-sub associate-+l- associate--l+
14×pow-sqr sin-mult
13×associate-+l+
12×+-commutative cos-mult log-div
11×frac-add
10×rem-exp-log pow-unpow
8×sub-div neg-sub0
7×pow-pow
6×associate--l-
5×pow2 pow-plus distribute-neg-frac
4×exp-diff inv-pow pow-flip neg-log
3×un-div-inv associate-+r- distribute-frac-neg
2×sqrt-unprod tan-sum cos-sum rem-log-exp
1×unpow3 distribute-rgt-out-- log1p-udef pow-sub cube-mult rem-square-sqrt acos-asin

regimes10.4s (0.9%)

Accuracy

Total 26.8b remaining (21.4%)

Threshold costs 4.6b (3.7%)

7.4b22.6%Linear.Matrix:det33 from linear-1.19.1.3
3.5b87.3%The quadratic formula (r1)
2.3b49.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.1b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
1.9b86.9%jeff quadratic root 1

localize3.3s (0.3%)

bsearch1.2s (0.1%)

end1.0ms (0.0%)