Details

simplify1.9hr (67.1%)

prune19.4m (11.6%)

series12.1m (7.3%)

Calls

2568 calls:

2.3m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
15.9s
(/ (* (cbrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))) (cbrt (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))))) (* (cbrt (- (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (- (+ (+ (* x y) (* z t)) (* a b)) (* c i)))))
13.3s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
13.1s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
7.9s
(* (/ (cbrt (- y z)) (- (+ t 1.0) z)) (- a x))

sample9.9m (5.9%)

Algorithm
536×intervals
Results
4.2m2601393×body80valid
58.6s457395×body80nan
47.5s47249×body1280valid
30.1s44209×body640valid
11.5s24610×body320valid
9.1s5509×body2560valid
4.0s14111×body160valid
2.1s1578×body10240exit
288.0ms685×body640nan
223.0ms479×body1280nan
165.0ms47×body5120valid
109.0ms419×body320nan
44.0ms243×body160nan

regimes6.1m (3.7%)

Accuracy

Total 212.1b remaining (39.4%)

Threshold costs 23.9b (4.5%)

13.5b48%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
13.1b44.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.0b57.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.6b55%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
8.2b15.9%Linear.Matrix:det33 from linear-1.19.1.3

rewrite5.3m (3.1%)

Algorithm
892×rewrite-expression-head
Calls

2568 calls:

7.3s
(/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (+ (* (+ (* (sqrt (+ (* (+ x 43.3400022514) x) 263.505074721)) (* (* (* (cbrt (sqrt (+ (* (+ x 43.3400022514) x) 263.505074721))) (cbrt (sqrt (+ (* (+ x 43.3400022514) x) 263.505074721)))) (cbrt (sqrt (+ (* (+ x 43.3400022514) x) 263.505074721)))) x)) 313.399215894) x) 47.066876606))
6.7s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
5.1s
(* (/ (+ (* 0.27061 x) 2.30753) (+ (* (* 1.0 1.0) 1.0) (* (* (+ 0.99229 (* x 0.04481)) (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x))) x))) (+ (* 1.0 1.0) (- (* (* (+ 0.99229 (* x 0.04481)) x) (* (+ 0.99229 (* x 0.04481)) x)) (* 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
5.1s
(/ (+ (* (* 1.0 1.0) 1.0) (* (* (- 0.75 (/ (- z x) y)) 4.0) (* (* (- 0.75 (/ (- z x) y)) 4.0) (* (- 0.75 (/ (- z x) y)) 4.0)))) (+ (* (* (- 0.75 (/ (- z x) y)) 4.0) (- (* (- 0.75 (/ (- z x) y)) 4.0) 1.0)) (* 1.0 1.0)))
4.5s
(/ (- (* (* (* x x) x) (* (* x x) x)) (* (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* y 4.0) z))) (+ (* (* x x) (* x x)) (+ (* (* (* y 4.0) z) (* (* y 4.0) z)) (* (* x x) (* (* y 4.0) z)))))
Rules
36541×times-frac
35218×*-un-lft-identity
33630×add-sqr-sqrt
22284×add-cube-cbrt
12172×add-exp-log
9964×cbrt-div
9496×add-cbrt-cube
8336×pow1
7547×cbrt-prod
6169×associate-*r*
5426×associate-*l*
5196×sqrt-prod
5022×frac-times
4256×flip3-- flip--
4022×prod-exp
3997×add-log-exp
3820×distribute-lft-out--
3539×difference-of-squares
3388×associate-*l/
3305×associate-/r*
3274×cbrt-unprod
2951×distribute-lft-out
2890×associate-*r/
2568×insert-posit16
2508×div-exp
2498×pow-prod-down
2350×associate-/r/
2217×flip-+ flip3-+
2177×associate-/l*
1911×cbrt-undiv
1869×sqrt-div
1842×div-inv
1533×unswap-sqr
1462×sqrt-pow1
1363×log-prod
1135×distribute-rgt-in distribute-lft-in
1116×swap-sqr
1105×pow1/3
849×*-commutative
834×pow-prod-up
729×sub-neg
654×pow1/2
642×associate-/l/
567×log-pow
553×frac-sub
531×sum-log
499×frac-2neg clear-num
493×pow-sqr
469×exp-prod
386×frac-add
360×associate-+r+
345×associate--l+
303×1-exp
293×diff-log
273×+-commutative
260×rec-exp
252×pow-plus
234×associate-+l+
178×pow2
139×pow-exp
120×distribute-rgt-out-- rem-sqrt-square
113×div-sub
98×sub-div
93×unpow-prod-down
92×pow3
86×exp-sum
74×log-div
70×pow-flip rem-log-exp
63×associate--r+
57×cube-unmult tanh-def
54×inv-pow
51×distribute-rgt-out
49×difference-cubes
48×un-div-inv
45×pow-to-exp
40×sqrt-unprod
38×distribute-lft-neg-out
33×associate-+l-
32×pow-unpow
29×rem-exp-log
25×distribute-rgt-neg-in rem-square-sqrt
22×associate-+r-
21×distribute-lft-neg-in sqr-pow
18×unpow-prod-up sinh-def
17×unsub-neg
16×exp-diff
15×pow-pow
13×cos-mult sum-cubes
12×associate--r-
10×associate--l- cosh-def
9×neg-mul-1 unpow1/3 rem-cbrt-cube
8×sqrt-undiv distribute-rgt-neg-out
6×difference-of-sqr-1 count-2 distribute-rgt1-in
5×distribute-lft1-in exp-to-pow sqr-cos
4×diff-cos
3×sin-mult distribute-frac-neg cos-diff
2×neg-sub0 neg-log tan-quot cos-sum
1×remove-posit16 pow-sub exp-neg remove-double-div

localize1.9m (1.1%)

bsearch14.4s (0.1%)

end5.0ms (0.0%)