Details

simplify45.8m (57.8%)

series16.0m (20.2%)

Calls

2284 calls:

3.5s
(fma (* (* t (* z y)) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (pow (* 27.0 (* k j)) 1)))))
3.5s
(fma (* (* t y) (* z x)) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
3.4s
(fma (* (* t (* z y)) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
3.3s
(fma (* (* (* t y) z) x) 18.0 (fma c b (- (fma 4.0 (fma t a (* x i)) (* (* j 27.0) k)))))
3.0s
(* (cbrt (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))) (cbrt (fma (- x 1.0) (log y) (* (- z 1.0) (- (log 1.0) (fma 1.0 y (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))))

sample8.0m (10.1%)

Algorithm
537×intervals
Results
3.4m2578525×body80valid
1.0m508913×body80nan
42.3s47482×body1280valid
22.7s42104×body640valid
13.2s25159×body320valid
8.8s5697×body2560valid
3.8s13973×body160valid
2.1s1563×body10240exit
319.0ms668×body640nan
174.0ms48×body5120valid
172.0ms490×body1280nan
87.0ms416×body320nan
30.0ms239×body160nan

prune6.4m (8.0%)

rewrite1.8m (2.2%)

Algorithm
852×rewrite-expression-head
Calls

2286 calls:

8.1s
(log (+ (- (pow (cbrt 1.0) 3) (/ (- x y) (pow (cbrt (- 1.0 y)) 3))) (+ (/ (- x y) (pow (cbrt (- 1.0 y)) 3)) (- (/ (- x y) (pow (cbrt (- 1.0 y)) 3))))))
2.6s
(* (* x (* (* (/ (* (pow a t) (pow a (- 1.0))) (exp b)) (pow z y)) (exp (+ b (- b))))) (/ 1 y))
2.3s
(* (* x (* (* (/ (pow a (- t 1.0)) (exp b)) (pow z y)) (exp (+ b (- b))))) (/ 1 y))
1.4s
(+ (- (/ z (/ a y)) (/ t (/ a y))) x)
1.3s
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
Rules
76276×times-frac
64943×*-un-lft-identity
61497×add-sqr-sqrt
45785×add-cube-cbrt
20180×prod-diff
10125×add-exp-log
8756×sqrt-prod
7635×cbrt-prod
7510×add-cbrt-cube
6686×distribute-lft-out--
5750×difference-of-squares
5649×pow1
5135×associate-*r*
4629×associate-*l*
4153×div-inv
3592×prod-exp
3530×distribute-lft-out
3278×associate-/r/
3198×distribute-rgt-in distribute-lft-in
3080×associate-/r*
2991×add-log-exp
2528×associate-/l*
2351×associate-+l+
2342×div-exp
2288×log1p-expm1-u expm1-log1p-u
2277×unpow-prod-down
2168×cbrt-unprod
2080×flip-- flip3--
1930×cube-prod
1543×cbrt-undiv
1419×unswap-sqr
1365×pow-prod-down
1219×cbrt-div
1201×log-prod
1161×frac-times
1117×associate-*l/
1109×fma-def
1044×associate-*r/
1012×flip-+ flip3-+
917×fma-neg
812×swap-sqr
801×log-pow
797×pow1/3
617×*-commutative
604×associate-+r+
539×sqrt-pow1
502×sqrt-div
496×clear-num frac-2neg
467×exp-prod
426×sub-neg
392×associate-/l/
381×sqr-pow
376×pow1/2
335×pow-exp
327×associate--l+
315×pow-to-exp
305×distribute-rgt-neg-in
287×fma-udef
285×distribute-lft-neg-in pow-prod-up
261×1-exp
250×unpow3 cube-mult
230×rec-exp
201×diff-log
198×pow-sqr
185×sum-log
177×exp-sum
152×frac-add
148×frac-sub
128×pow-unpow
122×+-commutative
114×distribute-rgt-out
105×div-sub
99×rem-sqrt-square
93×pow-plus
89×pow-pow
86×distribute-rgt-out--
83×pow2
72×pow-flip
71×tanh-def
70×distribute-neg-frac
63×cube-div
58×inv-pow
57×rem-log-exp
54×log-div unpow2
51×sinh-def
49×neg-mul-1
47×unpow-prod-up
46×exp-diff
38×cos-sum
36×un-div-inv
28×sub-div
27×unsub-neg associate-+l-
26×associate-+r- associate--r+
25×sqrt-unprod neg-sub0
24×rem-cube-cbrt
22×distribute-lft-neg-out
18×rem-square-sqrt
16×rem-exp-log
14×hypot-def
13×distribute-lft1-in distribute-rgt1-in
12×cosh-def
11×hypot-udef rem-cbrt-cube
10×sum-cubes
9×count-2 distribute-rgt-neg-out associate--l-
7×expm1-udef tan-quot associate--r-
6×pow-div cos-diff expm1-log1p distribute-frac-neg
5×diff-cos exp-neg
4×sqrt-undiv log1p-udef unpow1/3 log1p-expm1
3×sqrt-pow2
2×pow-sub neg-log pow-neg exp-to-pow
1×difference-cubes pow3 cube-unmult

regimes54.4s (1.1%)

Accuracy

Total 185.8b remaining (38.8%)

Threshold costs 29.7b (6.2%)

19.3b37.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
15.6b14%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.4b57.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.5b9.6%Linear.Matrix:det33 from linear-1.19.1.3
7.4b11.3%Numeric.Signal:interpolate from hsignal-0.2.7.1

localize16.2s (0.3%)

bsearch6.6s (0.1%)

end6.0ms (0.0%)