Details

simplify46.0m (57.9%)

series16.2m (20.4%)

Calls

2243 calls:

4.9s
(pow (cbrt (cbrt (fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t))))) 4)
4.5s
(pow (cbrt (cbrt (fma (log c) (- b 0.5) (+ a (+ (fma x (log y) z) t))))) 4)
3.8s
(+ (* (+ y 0.5) (fma 2/3 (log y) (log (sqrt (cbrt y))))) (* (+ y 0.5) (log (sqrt (cbrt y)))))
3.4s
(- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k)))
3.3s
(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.0%)

Algorithm
539×intervals
Results
3.4m2588071×body80valid
1.1m527145×body80nan
41.4s46248×body1280valid
26.3s43633×body640valid
9.5s25372×body320valid
7.9s5518×body2560valid
3.7s13361×body160valid
1.5s1546×body10240exit
263.0ms691×body640nan
185.0ms482×body1280nan
149.0ms49×body5120valid
79.0ms425×body320nan
28.0ms225×body160nan

prune6.2m (7.8%)

rewrite1.8m (2.2%)

Algorithm
853×rewrite-expression-head
Calls

2247 calls:

18.1s
(- (- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* j (* 27.0 k)))
1.7s
(* 6.0 (+ (- (/ (/ 2.0 (sqrt 3.0)) (sqrt 3.0)) z) (fma z -1 z)))
1.4s
(+ (* (- y x) (* 6.0 (+ (- (/ (/ 2.0 (sqrt 3.0)) (sqrt 3.0)) z) (fma z -1 z)))) x)
1.2s
(* (- y x) (* 6.0 (+ (- (/ (/ 2.0 (sqrt 3.0)) (sqrt 3.0)) z) (fma z -1 z))))
834.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
Rules
70017×times-frac
54634×*-un-lft-identity
54440×add-sqr-sqrt
41197×add-cube-cbrt
13231×prod-diff
9263×add-exp-log
7534×cbrt-prod
7324×add-cbrt-cube
5829×pow1
5654×associate-*r*
5174×difference-of-squares
5085×sqrt-prod
4590×distribute-lft-out--
3870×distribute-rgt-in distribute-lft-in
3701×div-inv
3410×associate-/r*
3366×associate-*l*
2949×add-log-exp
2614×associate-/l*
2398×prod-exp
2314×distribute-lft-out
2298×div-exp
2250×log1p-expm1-u
2248×expm1-log1p-u
2120×associate-/r/
1935×cbrt-unprod
1630×pow-prod-down
1571×cbrt-undiv
1471×flip3-- flip--
1238×unswap-sqr
1119×unpow-prod-down
1019×log-prod
991×fma-def
944×associate--l+
891×flip-+ flip3-+
814×associate-*r/
808×associate-+l+
796×cbrt-div
767×frac-times
736×pow1/3
704×swap-sqr
703×associate-*l/
651×sqrt-pow1
597×fma-neg
586×sqrt-div
579×*-commutative
543×cube-prod
494×clear-num frac-2neg
391×sub-neg
389×associate-/l/
360×associate-+r+
354×sqr-pow
321×fma-udef
308×pow1/2
280×pow-prod-up
270×1-exp
255×unpow-prod-up
252×rec-exp
240×log-pow
226×pow-unpow
210×pow-sqr
202×diff-log
192×sum-log
169×pow-exp
144×pow-to-exp
121×+-commutative
113×div-sub
100×frac-add
94×distribute-rgt-neg-in
93×pow-pow
92×distribute-lft-neg-in
88×rem-sqrt-square
83×unpow3 cube-mult pow-plus
81×log-div
77×frac-sub
76×pow2
71×pow-flip
65×unpow2
64×inv-pow
56×rem-log-exp
55×exp-sum
47×exp-prod
39×un-div-inv
32×neg-mul-1 associate-+l- tanh-def
31×associate--r+
24×sqrt-unprod
23×distribute-rgt-out cos-sum
20×cosh-def
19×rem-square-sqrt sinh-def
18×associate-+r- distribute-rgt-out--
16×rem-cube-cbrt
14×hypot-def
13×sub-div
12×distribute-neg-frac
11×distribute-lft-neg-out
10×cube-div
9×hypot-udef unsub-neg
8×unpow1/3 associate--l- associate--r- rem-cbrt-cube
7×difference-cubes expm1-udef neg-sub0
6×exp-diff distribute-lft1-in distribute-rgt1-in count-2
5×rem-exp-log sqrt-pow2
4×log1p-udef log1p-expm1 diff-cos pow-sub expm1-log1p sin-mult distribute-rgt-neg-out
3×cos-diff neg-log
2×distribute-frac-neg cos-mult cube-unmult exp-to-pow tan-quot
1×sqrt-undiv sin-cos-mult pow3 exp-neg

regimes56.3s (1.2%)

Accuracy

Total 207.0b remaining (39.9%)

Threshold costs 22.3b (4.3%)

19.2b38.6%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
13.1b45.4%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.3b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.9b-9.5%Data.Colour.Matrix:determinant from colour-2.3.3, A
8.7b23.4%Numeric.Signal:interpolate from hsignal-0.2.7.1

localize15.1s (0.3%)

bsearch6.5s (0.1%)

end6.0ms (0.0%)