Details

simplify30.9m (51.4%)

series19.6m (32.5%)

Calls

2249 calls:

4.4m
(pow (fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c))) 3)
10.1s
(cbrt (* (cbrt (- (+ y x) (fma (log y) (+ y 0.5) z))) (cbrt (- (+ y x) (fma (log y) (+ y 0.5) z)))))
9.5s
(cbrt (* (cbrt (- (+ y x) (fma (log y) (+ y 0.5) z))) (cbrt (- (+ y x) (fma (log y) (+ y 0.5) z)))))
8.4s
(* (cbrt (- (+ y x) (fma (log y) (+ y 0.5) z))) (cbrt (- (+ y x) (fma (log y) (+ y 0.5) z))))
8.3s
(* (cbrt (- (+ y x) (fma (log y) (+ y 0.5) z))) (cbrt (- (+ y x) (fma (log y) (+ y 0.5) z))))

prune4.0m (6.6%)

sample3.8m (6.3%)

Algorithm
537×intervals
Results
1.2m2579083×body80valid
19.4s503644×body80nan
17.3s46859×body1280valid
9.4s42954×body640valid
4.1s5714×body2560valid
3.5s24244×body320valid
1.3s13159×body160valid
789.0ms1597×body10240exit
105.0ms672×body640nan
97.0ms39×body5120valid
96.0ms521×body1280nan
44.0ms409×body320nan
16.0ms240×body160nan

rewrite1.0m (1.7%)

Algorithm
844×rewrite-expression-head
Calls

2251 calls:

2.5s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.3s
(* (* (* (* (- y x) (* (cbrt (sqrt 6.0)) (cbrt (sqrt 6.0)))) (cbrt (sqrt 6.0))) (sqrt 6.0)) z)
822.0ms
(/ (* x (* (exp (- (pow (cbrt (fma y (log z) (* (- t 1.0) (log a)))) 3) b)) (exp (+ (- b) b)))) y)
636.0ms
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
630.0ms
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
Rules
59316×times-frac
54853×*-un-lft-identity
53862×add-sqr-sqrt
35784×add-cube-cbrt
15957×prod-diff
9743×sqrt-prod
9320×add-exp-log
7653×difference-of-squares
7383×add-cbrt-cube
7022×distribute-lft-out--
5800×cbrt-prod
5659×pow1
5257×associate-*r*
3517×distribute-rgt-in distribute-lft-in
3400×frac-times
3362×cbrt-div
3309×associate-/r/
3215×associate-*l*
3173×flip-- flip3--
3142×div-inv
2977×add-log-exp
2863×unpow-prod-down
2741×distribute-lft-out
2684×associate-/r*
2616×prod-exp
2254×expm1-log1p-u
2253×log1p-expm1-u
2190×cbrt-unprod
2081×associate-/l*
2073×div-exp
1812×associate-*r/
1760×cube-prod
1759×associate-*l/
1540×cbrt-undiv
1458×pow-prod-down
1271×log-prod
1091×unswap-sqr log-pow
1034×flip-+ flip3-+
905×sqr-pow
828×pow1/3
788×fma-neg
780×exp-prod
742×swap-sqr
606×*-commutative
577×associate--l+
522×associate-+l+
505×sqrt-pow1
503×fma-def
498×associate-+r+
481×clear-num frac-2neg
446×sqrt-div
414×sub-neg
383×associate-/l/
299×pow1/2
298×associate--r+
267×fma-udef
263×pow-prod-up
262×1-exp
235×rec-exp
220×sum-log
189×pow-sqr
187×unpow3 cube-mult
184×diff-log
145×frac-sub
131×+-commutative
117×pow-unpow
104×pow-exp
95×exp-sum
93×rem-sqrt-square
91×frac-add
87×cos-sum
84×div-sub
81×unpow2 pow-plus
80×pow-flip
77×pow-to-exp
74×pow2 pow-pow
66×inv-pow
58×un-div-inv
54×distribute-rgt-neg-in
53×distribute-lft-neg-in tanh-def
52×difference-cubes
45×log-div
42×rem-log-exp
39×sum-cubes
36×distribute-rgt-out
31×distribute-rgt-out--
27×associate-+l-
22×sub-div
21×neg-mul-1 sinh-def
19×cube-div rem-cube-cbrt sqrt-unprod
16×hypot-def
14×rem-square-sqrt
13×rem-exp-log cosh-def
11×exp-diff associate-+r- associate--l-
10×distribute-rgt-neg-out
9×distribute-rgt1-in hypot-udef
8×distribute-lft-neg-out difference-of-sqr-1 cos-mult
7×cos-diff unsub-neg neg-sub0 rem-cbrt-cube
6×pow-div expm1-log1p expm1-udef
5×distribute-lft1-in count-2 exp-to-pow
4×log1p-udef log1p-expm1 tan-quot sqr-cos
3×sqrt-undiv associate--r-
2×sqrt-pow2 e-exp-1 unpow1/3 exp-neg unpow-prod-up diff-cos neg-log sum-cos
1×pow3 distribute-frac-neg

regimes39.3s (1.1%)

Accuracy

Total 213.4b remaining (41.6%)

Threshold costs 23.7b (4.6%)

20.0b14.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
19.3b38.9%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
13.9b55.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
8.1b-7.4%Linear.Matrix:det33 from linear-1.19.1.3
8.1b4.1%Data.Colour.Matrix:determinant from colour-2.3.3, A

localize9.3s (0.3%)

bsearch4.0s (0.1%)

end5.0ms (0.0%)