Details

simplify41.7m (45.4%)

series21.1m (22.9%)

Calls

2292 calls:

5.0m
(fma (* (cbrt x) (cbrt x)) (cbrt x) (+ (* (/ (- y z) (- (+ t 1.0) z)) (fma 1 a (- (* (cbrt x) (* (cbrt x) (cbrt x)))))) (* (/ (- y z) (- (+ t 1.0) z)) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))))))
3.1m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
5.4s
(fma (- (* t c) (* y i)) j (fma (- (* a i) (* z c)) b (+ (* (fma y z (- (* t a))) x) (* (fma (- t) a (* t a)) x))))
3.9s
(fma (- (* a i) (* z c)) b (+ (* (fma y z (- (* t a))) x) (* (fma (- t) a (* t a)) x)))
3.7s
(fma (* y (* x (* z 18.0))) t (- (* b c) (fma 4.0 (fma t a (* i x)) (* 27.0 (* j k)))))

prune15.7m (17.1%)

sample10.1m (11.0%)

Algorithm
538×intervals
Results
4.7m2586182×body80valid
1.4m514607×body80nan
1.0m47406×body1280valid
36.0s42928×body640valid
14.2s24447×body320valid
10.5s5564×body2560valid
4.7s13909×body160valid
2.2s1561×body10240exit
716.0ms688×body640nan
370.0ms490×body1280nan
224.0ms454×body320nan
135.0ms31×body5120valid
56.0ms244×body160nan

regimes1.5m (1.6%)

Accuracy

Total 196.0b remaining (37.8%)

Threshold costs 23.0b (4.4%)

12.2b48.2%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.1b62.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.1b46.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.8b17.1%Development.Shake.Progress:decay from shake-0.15.5
7.8b27.2%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite1.2m (1.3%)

Algorithm
856×rewrite-expression-head
Calls

2293 calls:

6.5s
(log (+ (- 1.0 (/ (/ (/ y (cbrt x)) (cbrt x)) (cbrt x))) (+ (/ (- (/ (/ y (cbrt x)) (cbrt x))) (cbrt x)) (/ (/ (/ y (cbrt x)) (cbrt x)) (cbrt x)))))
2.1s
(+ (/ (- (/ (/ y (cbrt x)) (cbrt x))) (cbrt x)) (/ (/ (/ y (cbrt x)) (cbrt x)) (cbrt x)))
630.0ms
(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (sqrt x) (- (+ y (/ 1.0 (* x 9.0))) 1.0))))
421.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (* (cbrt y) (cbrt y)) (fma (+ y a) y b)) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)))) c) y) i))
418.0ms
(* (/ (cbrt (- x y)) (- z y)) t)
Rules
227864×times-frac
140590×*-un-lft-identity
131602×add-sqr-sqrt
116790×add-cube-cbrt
47571×prod-diff
24068×cbrt-prod
15805×associate-+r+
11469×div-inv
10326×sqrt-prod
9238×add-exp-log
8197×distribute-lft-out--
7900×difference-of-squares
7637×distribute-rgt-in distribute-lft-in
7342×add-cbrt-cube
5591×pow1
4846×distribute-lft-neg-in
4623×associate-/r*
4525×associate-*r*
4098×distribute-rgt-out
3875×associate-/r/
3828×distribute-lft-out
3799×associate-+l+
3596×associate-*l*
3157×add-log-exp
2647×associate-/l*
2446×prod-exp
2370×fma-def
2301×expm1-log1p-u
2295×log1p-expm1-u
2293×insert-posit16
2195×div-exp
1980×flip-- flip3--
1947×cbrt-unprod
1673×distribute-rgt-neg-in
1540×cbrt-undiv
1399×pow-prod-down
1072×unswap-sqr
1018×flip-+ flip3-+
974×fma-neg
903×frac-times
897×associate-*l/
875×associate-*r/
791×cbrt-div
786×pow1/3
781×swap-sqr
754×log-prod
603×associate--l+
579×*-commutative
538×sqrt-pow1
494×associate-/l/
484×frac-2neg clear-num
480×sub-neg
395×sqrt-div
360×log-pow
344×fma-udef
343×exp-sum
308×pow-prod-up
295×1-exp
287×rec-exp
284×pow1/2
253×diff-log
217×sum-log
204×pow-sqr
193×exp-prod
170×associate--r+
139×+-commutative
135×pow3
132×div-sub
130×pow-plus
118×difference-cubes
100×neg-mul-1
98×rem-sqrt-square
96×pow2
78×unpow-prod-down
77×frac-add
70×frac-sub
69×cube-unmult
66×pow-unpow
63×log-div
61×rem-log-exp
56×pow-flip
55×un-div-inv
50×inv-pow
42×sinh-def
37×pow-pow
34×distribute-rgt-out--
28×pow-exp
27×cos-sum
26×rem-exp-log cube-div
25×associate-+l-
24×cosh-def pow-to-exp
23×distribute-lft1-in
22×hypot-def
19×sqr-pow
18×associate-+r- sqrt-unprod
17×associate--r-
15×sub-div
13×expm1-log1p expm1-udef rem-square-sqrt log1p-udef
12×distribute-rgt-neg-out unpow-prod-up
11×log1p-expm1
10×distribute-lft-neg-out diff-cos
9×exp-diff rem-cbrt-cube unsub-neg
7×distribute-rgt1-in tanh-def count-2
6×associate--l- distribute-neg-in
5×exp-to-pow tan-quot
4×neg-sub0 rem-cube-cbrt difference-of-sqr-1
3×cos-diff unpow1/3
2×neg-log
1×cube-prod unpow3 pow-sub sqrt-pow2 cube-mult exp-neg remove-double-div e-exp-1

localize26.3s (0.5%)

bsearch6.5s (0.1%)

end6.0ms (0.0%)