Details

simplify44.6m (53.6%)

series16.9m (20.3%)

Calls

2268 calls:

2.0m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
51.2s
(/ (- (* (* (fma (log y) (+ y 0.5) z) (fma (log y) (+ y 0.5) z)) (fma (log y) (+ y 0.5) z)) (* y (* y y))) (+ (* (fma (log y) (+ y 0.5) z) (fma (log y) (+ y 0.5) z)) (+ (* y y) (* (fma (log y) (+ y 0.5) z) y))))
20.8s
(* (cbrt (fma y (- (log z) t) (* (- (fma -1/2 (* (/ z 1.0) (/ z 1.0)) (- (log 1.0) (* 1.0 z))) b) a))) (cbrt (fma y (- (log z) t) (* (- (fma -1/2 (* (/ z 1.0) (/ z 1.0)) (- (log 1.0) (* 1.0 z))) b) a))))
4.1s
(* (cbrt (- (fma (log y) (+ y 0.5) z) y)) (cbrt (- (fma (log y) (+ y 0.5) z) y)))
4.1s
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))

prune10.6m (12.7%)

sample7.5m (9.0%)

Algorithm
539×intervals
Results
3.1m2596417×body80valid
58.5s521056×body80nan
39.4s46614×body1280valid
23.4s42405×body640valid
10.3s25177×body320valid
8.2s5716×body2560valid
3.2s13604×body160valid
1.7s1585×body10240exit
224.0ms509×body1280nan
205.0ms651×body640nan
114.0ms41×body5120valid
93.0ms445×body320nan
31.0ms221×body160nan

regimes1.8m (2.2%)

Accuracy

Total 181.5b remaining (37%)

Threshold costs 28.8b (5.9%)

13.5b46.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.8b59.5%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.6b47.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.1b34.2%Development.Shake.Progress:decay from shake-0.15.5
7.9b3.4%Data.Colour.Matrix:determinant from colour-2.3.3, A

rewrite1.3m (1.6%)

Algorithm
855×rewrite-expression-head
Calls

2269 calls:

1.8s
(- (+ (+ (/ x y) (/ (/ 2.0 t) z)) (/ 2.0 t)) 2.0)
1.6s
(* x (- (/ y z) (/ (/ t (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))))
1.3s
(+ (+ (/ (- z x) (/ t y)) (/ (fma x -1 x) (/ t y))) x)
1.2s
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (log (sqrt t)) (- a 0.5)))
1.1s
(/ (+ x (- (/ y (- t (/ x z))) (/ x (- (* t z) x)))) (+ x 1.0))
Rules
102619×times-frac
75608×*-un-lft-identity
72922×add-sqr-sqrt
53291×add-cube-cbrt
27986×sqrt-prod
16123×prod-diff
9405×add-exp-log
8300×difference-of-squares
7692×add-cbrt-cube
6699×distribute-lft-out--
5938×pow1
5434×distribute-rgt-in distribute-lft-in
4570×distribute-lft-out
4508×cbrt-prod
4415×associate-*r*
4301×div-inv
3587×associate-/r*
3344×associate-/l*
3219×associate-/r/
3057×add-log-exp
3028×associate-*l*
2369×div-exp
2323×prod-exp
2272×log1p-expm1-u
2269×expm1-log1p-u
2131×flip3-- flip--
2033×cbrt-unprod
1691×cbrt-undiv
1507×pow-prod-down
1260×frac-times
1115×cbrt-div
1088×flip-+ flip3-+
1083×associate-*l/
1064×log-prod
1048×associate-*r/
1046×fma-def
1010×unswap-sqr
982×sqrt-div
755×pow1/3
729×fma-neg
717×sqrt-pow1
628×swap-sqr
571×associate-+r+
552×*-commutative
546×frac-2neg clear-num
473×associate-/l/
457×pow-prod-up
412×pow1/2
411×sub-neg
318×1-exp
315×fma-udef
308×rec-exp
295×associate-+l+
251×log-pow
246×exp-sum
235×pow-sqr
226×diff-log
223×associate--r+
222×associate--l+
200×sum-log
193×frac-add
155×pow-plus
123×+-commutative div-sub
119×pow-flip
107×pow2
105×rem-sqrt-square
82×inv-pow unpow-prod-down
79×frac-sub
70×exp-prod
63×rem-log-exp log-div
56×pow3
46×un-div-inv
32×cube-prod
31×distribute-rgt-out--
29×distribute-rgt-out
28×sqrt-unprod
27×associate-+l-
26×cosh-def
25×distribute-rgt-neg-in distribute-lft-neg-in
24×cube-unmult cos-sum
23×hypot-def
22×distribute-lft-neg-out difference-cubes
21×sinh-def
20×sub-div rem-exp-log
18×distribute-rgt-neg-out
17×sqr-pow neg-mul-1 rem-square-sqrt
14×associate-+r-
13×unsub-neg
12×pow-unpow rem-cbrt-cube
9×pow-exp exp-to-pow diff-cos
8×associate--l- pow-pow associate--r-
6×neg-sub0 exp-diff tanh-def sum-cubes count-2
5×distribute-rgt1-in distribute-lft1-in pow-to-exp cos-diff
3×expm1-log1p expm1-udef log1p-expm1 log1p-udef
2×sqrt-undiv cos-neg exp-neg tan-quot sin-diff sin-neg
1×sin-sum sqrt-pow2 hypot-udef remove-double-div unpow-prod-up unpow1/3 e-exp-1

localize26.2s (0.5%)

bsearch5.4s (0.1%)

end7.0ms (0.0%)