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

simplify45.6m (59.9%)

series16.2m (21.3%)

Calls

2322 calls:

2.0m
(fma (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)) (* (- (* x y) (* z t)) (- (* a b) (* c i))))
12.8s
(/ (* (cbrt (fma a (+ t y) (fma x z (* y (- z b))))) (cbrt (fma a (+ t y) (fma x z (* y (- z b)))))) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))
3.2s
(+ (+ (/ (+ x z) (/ y (- (pow x 1) z))) (/ (fma z -1 z) (/ y (+ x z)))) y)
2.9s
(+ (+ (/ (+ x z) (/ y (- (pow (cbrt x) 3) z))) (/ (fma z -1 z) (/ y (+ x z)))) y)
2.0s
(/ (/ (fma (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y))) 2.0) 3.0) (fma (cos y) (/ (/ (- (* 3.0 3.0) 5.0) (+ 3.0 (sqrt 5.0))) 2.0) (fma (cos x) (/ (- (sqrt 5.0) 1.0) 2.0) 1.0)))

prune5.6m (7.3%)

sample5.5m (7.3%)

Algorithm
537×intervals
Results
1.7m2583741×body80valid
28.8s505202×body80nan
24.6s47093×body1280valid
13.3s42806×body640valid
5.6s5761×body2560valid
5.3s24323×body320valid
1.8s13488×body160valid
1.2s1586×body10240exit
159.0ms700×body640nan
144.0ms501×body1280nan
139.0ms45×body5120valid
70.0ms415×body320nan
24.0ms235×body160nan

rewrite1.8m (2.4%)

Algorithm
869×rewrite-expression-head
Calls

2323 calls:

5.4s
(log (+ (- (fma 1.0 (/ x (pow y 2)) (/ x y)) (/ 1.0 y)) (+ (/ (- x y) (pow (cbrt (- 1.0 y)) 3)) (- (/ (- x y) (pow (cbrt (- 1.0 y)) 3))))))
5.4s
(+ (+ (/ (+ x z) (/ y (- (pow (cbrt x) 3) z))) (/ (fma z -1 z) (/ y (+ x z)))) y)
5.2s
(log (+ (- 1.0 (/ (- x y) (pow (cbrt (- 1.0 y)) 3))) (+ (/ (- x y) (pow (cbrt (- 1.0 y)) 3)) (- (/ (- x y) (pow (cbrt (- 1.0 y)) 3))))))
3.9s
(+ (+ (/ (+ x z) (/ y (- (pow x 1) z))) (/ (fma z -1 z) (/ y (+ x z)))) y)
1.7s
(/ (* (* (cosh x) (* (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (cbrt y))) (cbrt y)) (* z x))
Rules
48788×times-frac
45840×*-un-lft-identity
42953×add-sqr-sqrt
31094×add-cube-cbrt
9741×prod-diff
9449×add-exp-log
7559×add-cbrt-cube
6893×sqrt-prod
6774×cbrt-prod
5856×pow1
5331×associate-*r*
4501×distribute-lft-out--
4369×difference-of-squares
3331×associate-*l*
3071×add-log-exp
3062×associate-/r*
3015×distribute-lft-out
2669×prod-exp
2618×div-inv
2325×expm1-log1p-u
2324×log1p-expm1-u
2225×associate-/l*
2205×cbrt-unprod
2187×cbrt-div
2115×associate-/r/
2040×distribute-rgt-in distribute-lft-in
2035×div-exp
1969×flip3-- flip--
1591×pow-prod-down
1488×cbrt-undiv
1378×associate-*r/
1326×unpow-prod-down
1238×frac-times
1179×unswap-sqr
1055×fma-def
1049×associate-*l/
853×pow1/3
828×swap-sqr
813×flip-+ flip3-+
724×log-prod
694×cube-prod
622×*-commutative
614×distribute-lft-neg-in
581×associate-+l+
550×distribute-rgt-neg-in fma-neg
546×sqrt-div
521×cos-sum
488×clear-num frac-2neg
469×sqrt-pow1
406×associate--l+
391×associate-/l/
388×sub-neg
366×sin-sum
326×associate-+r+
317×pow1/2
307×fma-udef
299×pow-prod-up
261×sqr-pow
258×log-pow
238×distribute-rgt-out
233×sum-log
232×1-exp
226×rec-exp
206×pow-sqr
178×diff-log
165×frac-sub
146×+-commutative
143×pow-exp
141×pow-unpow
136×frac-add
135×exp-sum
107×pow-to-exp
104×div-sub
93×pow-plus neg-mul-1
83×rem-sqrt-square pow2 distribute-rgt-out--
79×cube-mult unpow3
78×unpow2
69×pow-pow
68×pow-flip
64×tanh-def
62×inv-pow
58×log-div
49×cube-div
48×sum-cubes
40×exp-prod
36×rem-log-exp sinh-def
35×sqrt-unprod
33×associate--r+
32×distribute-rgt-neg-out
31×un-div-inv
27×associate-+l-
24×sub-div hypot-def cosh-def
23×rem-cube-cbrt
20×rem-square-sqrt
19×distribute-neg-in
17×sqrt-undiv unsub-neg
15×distribute-lft1-in associate-+r-
14×unpow-prod-up neg-sub0
12×rem-exp-log rem-cbrt-cube distribute-neg-frac
11×difference-of-sqr-1
10×difference-of-sqr--1 distribute-lft-neg-out hypot-udef
9×exp-diff
7×distribute-frac-neg
6×unpow1/3 cos-diff diff-cos pow-sub neg-log associate--r-
5×pow-neg associate--l- distribute-rgt1-in count-2 cube-neg
4×sqrt-pow2 expm1-log1p expm1-udef exp-to-pow
2×e-exp-1 log1p-udef exp-neg log1p-expm1 tan-quot sin-diff
1×sin-cos-mult difference-cubes

regimes1.1m (1.4%)

Accuracy

Total 210.7b remaining (41.6%)

Threshold costs 29.1b (5.7%)

20.0b37%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
19.3b-5.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.1b58.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.5b15.5%Numeric.Signal:interpolate from hsignal-0.2.7.1
8.7b7.6%Linear.Matrix:det33 from linear-1.19.1.3

localize13.1s (0.3%)

bsearch5.6s (0.1%)

end6.0ms (0.0%)