Details

simplify30.4m (44.2%)

series15.7m (22.9%)

Calls

2341 calls:

2.1m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
7.7s
(cbrt (fma (/ (- y z) (- a z)) (- t x) x))
5.6s
(sqrt (fma i c (fma z t (fma y x (* a b)))))
5.1s
(sqrt (fma i c (fma z t (fma y x (* a b)))))
2.2s
(fma x x (+ (* (- t (* z z)) (* y 4.0)) (* (fma (- z) z (* z z)) (* y 4.0))))

prune10.9m (15.8%)

sample8.2m (11.9%)

Algorithm
537×intervals
Results
2.8m2567906×body80valid
57.0s492703×body80nan
40.5s47295×body1280valid
24.1s44365×body640valid
9.3s24571×body320valid
7.9s5804×body2560valid
4.0s13837×body160valid
1.6s1656×body10240exit
260.0ms705×body640nan
160.0ms42×body5120valid
151.0ms460×body1280nan
74.0ms370×body320nan
29.0ms233×body160nan

regimes1.9m (2.7%)

Accuracy

Total 208.0b remaining (41.3%)

Threshold costs 23.5b (4.7%)

13.4b56.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b52.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
10.9b14.1%Development.Shake.Progress:decay from shake-0.15.5
7.7b9.7%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.4b63.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite1.2m (1.8%)

Algorithm
876×rewrite-expression-head
Calls

2345 calls:

2.9s
(* (* (* (* (* (cbrt (sqrt 2.0)) (cbrt (cbrt (sqrt 2.0)))) (* (cbrt (sqrt 2.0)) (cbrt (cbrt (sqrt 2.0))))) (* (sqrt z) (- (* x 0.5) y))) (cbrt (cbrt (sqrt 2.0)))) (exp (/ (* t t) 2.0)))
2.2s
(/ (- (+ (/ (/ x y) (/ 1 x)) y) (/ z (/ y z))) 2.0)
1.2s
(- (+ (/ (/ x y) (/ 1 x)) y) (/ z (/ y z)))
945.0ms
(* (+ (- (* (* (cbrt (/ y z)) (cbrt (/ y z))) (cbrt (/ y z))) (/ t (- 1.0 z))) (* (/ t (- 1.0 z)) 0)) x)
793.0ms
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
Rules
77989×times-frac
63932×*-un-lft-identity
60781×add-sqr-sqrt
45152×add-cube-cbrt
16666×prod-diff
10321×sqrt-prod
9577×add-exp-log
8651×cbrt-prod
7783×add-cbrt-cube
6590×pow1
6492×distribute-lft-out--
6169×difference-of-squares
4623×associate-*r*
4315×associate-*l*
3999×div-inv
3977×frac-sub
3793×frac-times
3563×associate-/r/
3142×associate-/r*
3125×add-log-exp
3031×distribute-lft-out
2860×cbrt-div
2704×associate-/l*
2615×tanh-def
2546×prod-exp
2529×flip-- flip3--
2347×expm1-log1p-u
2346×log1p-expm1-u
2273×distribute-rgt-in distribute-lft-in
2252×div-exp
2225×cbrt-unprod
1915×pow-prod-down
1595×cbrt-undiv
1204×log-prod
1171×unswap-sqr
1166×swap-sqr
1163×associate-*l/
977×pow1/3
947×fma-neg
943×associate-+r+
933×flip-+ flip3-+
917×associate-*r/
613×*-commutative
508×frac-2neg clear-num
429×pow-prod-up
421×fma-def
418×fma-udef
415×sqrt-pow1
405×sub-neg
382×associate-/l/
301×pow-sqr
299×1-exp
277×sqrt-div
271×rec-exp
229×diff-log
220×pow1/2
211×associate-+l+
210×log-pow
203×exp-sum
200×sum-log
196×associate--l+
185×pow-plus
140×pow2
134×+-commutative
116×distribute-rgt-neg-in
103×pow-flip
99×div-sub
98×distribute-lft-neg-in
86×rem-sqrt-square
73×inv-pow
62×distribute-rgt-out-- log-div
56×exp-prod
53×rem-log-exp
44×distribute-rgt-out
43×un-div-inv
36×neg-mul-1
33×frac-add
30×cos-sum
28×pow3
27×associate-+r-
23×associate--r+ unpow-prod-down
22×sub-div
20×cube-unmult
19×rem-exp-log
18×pow-unpow
17×sinh-def
16×hypot-def
15×distribute-lft-neg-out distribute-rgt-neg-out cosh-def
13×difference-cubes unsub-neg
12×sqr-pow sqrt-unprod pow-pow
11×rem-square-sqrt count-2
10×associate-+l- rem-cbrt-cube
9×distribute-lft1-in associate--r-
8×pow-exp diff-cos expm1-def
7×distribute-rgt1-in pow-to-exp
6×neg-sub0 exp-diff
5×difference-of-sqr-1 cos-diff
4×expm1-log1p expm1-udef exp-to-pow
3×cos-mult log1p-expm1 associate--l- log1p-udef
2×sqrt-undiv rem-cube-cbrt sum-cubes distribute-neg-frac cos-neg tan-quot e-exp-1
1×cube-prod sin-sum sin-cos-mult remove-double-div unpow3 neg-log cube-mult hypot-udef sqr-cos exp-neg unpow1/3 sin-diff sin-neg

localize26.8s (0.6%)

bsearch6.6s (0.2%)

end6.0ms (0.0%)