Details

simplify24.5m (38.3%)

series16.4m (25.5%)

Calls

2248 calls:

19.1s
(* (sqrt (fma (- y z) (- t x) x)) (* (sqrt (sqrt (fma (- t x) (- y z) x))) (sqrt (sqrt (fma (- t x) (- y z) x)))))
8.9s
(sqrt (fma (- 1.0 y) z (fma (- 1.0 t) a (fma b (- (+ t y) 2.0) x))))
8.1s
(sqrt (fma (- 1.0 y) z (fma (- 1.0 t) a (fma b (- (+ t y) 2.0) x))))
6.6s
(* (cbrt (fma (log c) (- b 0.5) (fma x (log y) a))) (cbrt (fma (log c) (- b 0.5) (fma x (log y) a))))
6.1s
(* (cbrt (fma (log c) (- b 0.5) (fma x (log y) a))) (* (* (cbrt (cbrt (fma (- b 0.5) (log c) (fma (log y) x a)))) (cbrt (cbrt (fma (- b 0.5) (log c) (fma (log y) x a))))) (cbrt (cbrt (fma (- b 0.5) (log c) (fma (log y) x a))))))

prune11.3m (17.6%)

sample8.4m (13.1%)

Algorithm
539×intervals
Results
3.0m2587437×body80valid
56.1s523238×body80nan
40.2s47212×body1280valid
21.3s42789×body640valid
8.8s24810×body320valid
8.0s5687×body2560valid
3.4s13973×body160valid
2.4s1575×body10240exit
689.0ms505×body1280nan
231.0ms677×body640nan
154.0ms41×body5120valid
131.0ms436×body320nan
26.0ms201×body160nan

regimes1.7m (2.6%)

Accuracy

Total 206.1b remaining (46.8%)

Threshold costs 24.8b (5.6%)

20.2b42%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
15.1b18.9%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
12.4b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.6b48.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.3b32.7%Development.Shake.Progress:decay from shake-0.15.5

rewrite1.2m (1.9%)

Algorithm
844×rewrite-expression-head
Calls

2250 calls:

1.2s
(* (/ x (cbrt z)) (/ (cbrt (/ (sin y) y)) (/ (cbrt z) (cbrt (/ (sin y) y)))))
1.0s
(* (- (* x 0.5) y) (* (* (exp (/ t (/ 2.0 t))) (sqrt z)) (sqrt 2.0)))
791.0ms
(* (* (* (* (sqrt z) (pow (exp (/ t 2.0)) t)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (fma x 0.5 (- y))) (cbrt (sqrt 2.0)))
723.0ms
(- (/ (/ (- 1.0) 9.0) x) (/ (/ y 3.0) (sqrt x)))
648.0ms
(+ (+ (/ (- x) (/ z y)) y) (/ x z))
Rules
102001×times-frac
71975×*-un-lft-identity
70462×add-sqr-sqrt
57371×add-cube-cbrt
21721×prod-diff
11973×cbrt-prod
10173×add-exp-log
7737×sqrt-prod
7621×add-cbrt-cube
6526×associate-*r*
5384×pow1
4900×distribute-lft-out--
4842×div-inv
4791×difference-of-squares
3879×associate-*l*
3218×associate-/r*
3016×add-log-exp
2903×prod-exp
2776×distribute-rgt-neg-in
2758×distribute-lft-neg-in
2730×distribute-rgt-in distribute-lft-in
2683×div-exp
2644×distribute-lft-out
2421×associate-/l*
2322×associate-/r/
2257×log1p-expm1-u
2253×expm1-log1p-u
2090×fma-def
2087×cbrt-unprod
1593×cbrt-undiv unpow-prod-down
1422×flip3-- flip--
1413×pow-prod-down
1189×unswap-sqr
979×log-prod
901×neg-mul-1
833×flip-+ flip3-+
818×associate-+r+
807×associate-*l/
801×associate-+l+
799×associate-*r/
788×cube-prod
747×fma-neg
659×pow1/3
618×frac-times
592×*-commutative
540×swap-sqr
535×cbrt-div
488×frac-2neg clear-num
411×sqr-pow
396×fma-udef
381×sqrt-pow1
374×associate-/l/
343×1-exp
332×sub-neg
322×associate--l+
300×rec-exp
299×pow-exp
272×log-pow
251×pow1/2
250×sum-log
240×sqrt-div
215×pow-to-exp
209×associate--r+
193×pow-prod-up
186×unpow-prod-up
177×diff-log
153×+-commutative
151×pow-sqr
134×difference-of-sqr--1
129×unpow3 cube-mult
125×pow-unpow
113×exp-prod
111×div-sub
101×frac-add
96×rem-sqrt-square
90×frac-sub
75×pow-flip
68×inv-pow
63×exp-sum pow-pow
62×pow-plus
61×pow2
58×distribute-rgt-out--
54×un-div-inv
51×distribute-neg-frac
33×tanh-def rem-log-exp
32×associate-+r-
31×unpow2 log-div
29×rem-cube-cbrt distribute-lft-neg-out cos-sum
26×associate-+l-
25×distribute-rgt-out
19×sub-div
18×neg-sub0 sqrt-unprod
17×cube-div
16×cosh-def rem-square-sqrt difference-cubes rem-cbrt-cube
15×hypot-def unsub-neg
13×sinh-def
10×distribute-rgt-neg-out rem-exp-log associate--r-
9×expm1-log1p expm1-udef exp-diff distribute-lft1-in
8×log1p-expm1 log1p-udef
7×distribute-rgt1-in distribute-frac-neg neg-log associate--l- count-2
6×sum-cubes hypot-udef tan-quot distribute-neg-in
5×diff-cos sin-mult
4×exp-to-pow
3×pow-sub cos-diff
2×unpow1/2 unpow1/3 sqrt-pow2
1×sqrt-undiv pow3

localize26.1s (0.7%)

bsearch7.7s (0.2%)

end6.0ms (0.0%)