Details

simplify47.2m (58.6%)

series16.1m (20.0%)

Calls

2284 calls:

3.8s
(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.4s
(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)) (pow (* 27.0 (* k j)) 1)))))
2.6s
(/ (fma a (+ t y) (fma x z (* y (- z b)))) (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y))))

sample8.5m (10.6%)

Algorithm
537×intervals
Results
3.1m2578525×body80valid
58.0s508913×body80nan
42.9s47482×body1280valid
25.1s42104×body640valid
10.6s25159×body320valid
8.5s5697×body2560valid
3.7s13973×body160valid
2.3s1563×body10240exit
246.0ms668×body640nan
196.0ms490×body1280nan
130.0ms48×body5120valid
87.0ms416×body320nan
31.0ms239×body160nan

prune5.8m (7.2%)

rewrite1.6m (2.0%)

Algorithm
851×rewrite-expression-head
Calls

2286 calls:

4.6s
(log (+ (- 1.0 (/ (- x y) (pow (cbrt (- 1.0 y)) 3))) (+ (/ (- x y) (pow (cbrt (- 1.0 y)) 3)) (- (/ (- x y) (pow (cbrt (- 1.0 y)) 3))))))
1.2s
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
956.0ms
(* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (/ 1 y))
910.0ms
(* (* (* (* (- y x) (sqrt (sqrt 6.0))) (sqrt (sqrt 6.0))) (sqrt 6.0)) z)
726.0ms
(- (/ 1 (- (/ 2.0 x) (+ 1 (/ y x)))) (/ y (- 2.0 (+ x y))))
Rules
62230×times-frac
55861×*-un-lft-identity
51762×add-sqr-sqrt
38251×add-cube-cbrt
14237×prod-diff
10129×add-exp-log
7454×add-cbrt-cube
7105×sqrt-prod
6316×cbrt-prod
5932×distribute-lft-out--
5653×pow1
5086×associate-*r*
5015×difference-of-squares
3689×associate-*l*
3540×distribute-lft-out
3433×div-inv
3137×prod-exp
3132×associate-/r*
3043×distribute-rgt-in distribute-lft-in
2989×add-log-exp
2887×associate-/r/
2592×associate-/l*
2550×div-exp
2288×log1p-expm1-u
2287×expm1-log1p-u
2103×cbrt-unprod
1890×flip-- flip3--
1546×cbrt-undiv
1402×unpow-prod-down
1353×pow-prod-down
1247×unswap-sqr
1068×fma-def
1048×associate-*l/
1017×cbrt-div
996×flip-+ flip3-+
973×frac-times
933×associate-*r/
917×log-prod
871×fma-neg
814×log-pow
806×associate-+l+
797×pow1/3
760×swap-sqr
682×associate-+r+
612×cube-prod
611×*-commutative
535×sqrt-pow1
517×sqrt-div
500×clear-num frac-2neg
467×exp-prod
419×sub-neg
391×associate-/l/
371×pow1/2
363×pow-exp
342×associate--l+
319×pow-to-exp
278×1-exp
277×pow-prod-up
275×fma-udef
270×sqr-pow
253×rec-exp
198×diff-log
193×pow-sqr
188×sum-log
185×distribute-rgt-neg-in
172×frac-add
167×distribute-lft-neg-in
152×pow-unpow
139×frac-sub
120×+-commutative
118×distribute-rgt-out
105×div-sub
103×rem-sqrt-square
99×pow-pow
91×pow-plus
85×pow-flip
81×pow2
71×tanh-def
70×distribute-rgt-out--
69×distribute-neg-frac
66×inv-pow
60×unpow3 cube-mult
53×sinh-def
48×log-div
47×unpow-prod-up neg-mul-1
45×rem-log-exp
42×unpow2
38×cos-sum
36×un-div-inv
33×cube-div exp-sum
26×associate-+l-
25×sub-div
24×rem-cube-cbrt sqrt-unprod associate--r+
20×distribute-lft-neg-out
17×distribute-lft1-in rem-square-sqrt
16×rem-exp-log
14×associate-+r-
13×distribute-rgt1-in unsub-neg hypot-def
12×cosh-def
11×hypot-udef rem-cbrt-cube
10×sum-cubes neg-sub0
9×exp-diff count-2 distribute-rgt-neg-out associate--l-
7×pow-div tan-quot associate--r-
6×cos-diff expm1-udef
5×diff-cos expm1-log1p distribute-frac-neg
4×unpow1/3 exp-neg
3×sqrt-pow2 log1p-udef log1p-expm1
2×pow3 neg-log exp-to-pow
1×sqrt-undiv difference-cubes pow-sub

regimes57.7s (1.2%)

Accuracy

Total 182.8b remaining (38.6%)

Threshold costs 29.3b (6.2%)

19.1b38.4%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.5b13.3%Numeric.Signal:interpolate from hsignal-0.2.7.1

localize15.5s (0.3%)

bsearch8.0s (0.2%)

end6.0ms (0.0%)