Details

simplify20.6m (39.8%)

prune9.8m (18.8%)

sample9.0m (17.3%)

Algorithm
540×intervals
Results
3.5m2659691×body80valid
55.2s523238×body80nan
38.8s47212×body1280valid
21.7s42789×body640valid
8.6s24810×body320valid
7.8s5687×body2560valid
3.5s13973×body160valid
1.8s1575×body10240exit
417.0ms41×body5120valid
222.0ms505×body1280nan
210.0ms677×body640nan
78.0ms436×body320nan
23.0ms201×body160nan

series7.6m (14.7%)

Calls

2546 calls:

1.7m
(/ 1 (/ (+ i (* y (+ c (* y (+ (* (+ a y) y) b))))) (+ (* (+ 230661.510616 (* (+ 27464.7644705 (* y (+ (* x y) z))) y)) y) t)))
4.2s
(+ (pow (+ (* z t) (* x y)) 3) (pow (* b a) 3))
3.8s
(+ (pow (* b a) 3) (pow (+ (* y x) (* z t)) 3))
3.8s
(+ (pow (+ (* z t) (* x y)) 3) (pow (* b a) 3))
3.6s
(+ (* (/ z (* (cbrt t) (cbrt t))) (* (sqrt (+ t a)) (+ c b))) (* (* (cbrt t) (- (* c c) (* b b))) (- a (- (/ (/ 2.0 3.0) t) (/ 5.0 6.0)))))

regimes2.1m (4.1%)

Accuracy

Total 257.9b remaining (50%)

Threshold costs 24.5b (4.7%)

19.2b37%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
16.8b-6.5%Linear.Matrix:det44 from linear-1.19.1.3
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
10.5b37.7%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1

rewrite2.0m (3.8%)

Algorithm
892×rewrite-expression-head
Calls

2546 calls:

3.7s
(* (* (/ x y) (exp (- (- (+ (* (- (log z)) y) (- (log (pow a t))))) b))) (pow (/ 1 (pow a 1.0)) 1.0))
3.1s
(/ (+ x (/ (/ (/ z (cbrt t)) (cbrt t)) (/ (cbrt t) y))) (+ 1.0 (+ (* b (/ y t)) a)))
1.3s
(* (/ x y) (exp (- (- (+ (* (- (log z)) y) (- (log (pow a t))))) b)))
1.3s
(* (cbrt (+ (* (+ (+ (+ y y) (+ z z)) t) x) (* 5.0 y))) (cbrt (+ (* (+ (+ (+ y y) (+ z z)) t) x) (* 5.0 y))))
1.2s
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
64898×times-frac
49342×*-un-lft-identity
47250×add-sqr-sqrt
33869×add-cube-cbrt
12189×add-exp-log
10435×cbrt-prod
9341×add-cbrt-cube
7387×sqrt-prod
6857×pow1
6368×associate-*r*
5031×difference-of-squares
4896×associate-*l*
4456×distribute-lft-out--
4211×add-log-exp
4201×associate-/r*
3704×prod-exp
3546×distribute-lft-out
3019×div-exp
2958×div-inv
2860×cbrt-unprod
2799×associate-/l*
2479×associate-*r/
2245×flip3-- flip--
2098×pow-prod-down
2048×unpow-prod-down
2046×associate-/r/
2031×flip-+ flip3-+
1981×frac-times
1932×cbrt-undiv
1736×associate-*l/
1525×cbrt-div
1371×unswap-sqr
1301×distribute-rgt-in distribute-lft-in
1159×log-prod
1022×sqrt-div
812×*-commutative
806×cube-prod
747×associate-/l/
739×sub-neg
736×frac-add
733×pow1/3
678×sqrt-pow1
663×sqr-pow
659×swap-sqr
583×sum-log
547×frac-2neg clear-num
476×associate-+l+
412×associate-+r+
394×distribute-rgt-neg-in
390×distribute-lft-neg-in
372×diff-log
353×pow1/2
350×pow-exp
327×1-exp
324×+-commutative
312×associate--l+
307×rec-exp
293×pow-prod-up
266×frac-sub
255×pow-to-exp
252×log-pow
237×exp-prod
203×pow-sqr
168×associate--r+
165×pow-unpow
133×div-sub
129×pow-pow
107×rem-sqrt-square
103×neg-mul-1
86×pow-plus
79×unpow2
74×pow2
66×pow-flip
59×inv-pow
55×cube-div
54×sin-mult
51×unpow3 cube-mult
50×tanh-def
44×un-div-inv
41×rem-cube-cbrt associate-+r-
40×distribute-rgt-out--
38×associate-+l-
37×distribute-rgt-neg-out
36×log-div
34×distribute-lft-neg-out rem-log-exp
30×distribute-rgt-out
27×unsub-neg
25×distribute-neg-in
24×sum-cubes
22×associate--l- sinh-def
20×sqrt-unprod
19×difference-cubes
18×sub-div cosh-def rem-cbrt-cube
17×exp-sum
16×neg-log distribute-neg-frac rem-square-sqrt
15×associate--r-
12×neg-sub0 exp-diff
11×rem-exp-log
10×distribute-frac-neg distribute-rgt1-in
9×unpow-prod-up distribute-lft1-in
7×count-2
6×tan-quot
5×unpow1/3 diff-cos
4×difference-of-sqr-1 cos-sum exp-to-pow
3×sqrt-undiv cube-unmult cos-diff sqrt-pow2
1×cos-mult pow-sub exp-neg acos-asin

localize28.0s (0.9%)

bsearch16.8s (0.5%)

end6.0ms (0.0%)