Details

simplify29.4m (44.8%)

series16.1m (24.5%)

Calls

2258 calls:

20.1s
(* (cbrt (fma y (- (log z) t) (* (- (- (log 1.0) (fma 1/2 (* (/ z 1.0) (/ z 1.0)) (* z 1.0))) b) a))) (cbrt (fma y (- (log z) t) (* (- (- (log 1.0) (fma 1/2 (* (/ z 1.0) (/ z 1.0)) (* z 1.0))) b) a))))
5.9s
(sqrt (fma a (- 1.0 t) (fma (- 1.0 y) z (fma b (- (+ t y) 2.0) x))))
5.3s
(sqrt (fma a (- 1.0 t) (fma (- 1.0 y) z (fma b (- (+ t y) 2.0) x))))
1.9s
(/ (fma y x (+ (* (- (* (cbrt t) (* (cbrt t) (cbrt t))) a) z) (* (fma -1 a a) z))) (fma z (- b y) y))
1.6s
(cbrt (fma y (- (log z) t) (* (- (- (log 1.0) (fma 1/2 (* (/ z 1.0) (/ z 1.0)) (* z 1.0))) b) a)))

prune9.4m (14.2%)

sample7.5m (11.3%)

Algorithm
538×intervals
Results
3.0m2577519×body80valid
59.6s537826×body80nan
41.1s46444×body1280valid
25.8s44586×body640valid
8.9s25567×body320valid
6.6s5711×body2560valid
2.7s13639×body160valid
1.5s1543×body10240exit
174.0ms479×body1280nan
173.0ms655×body640nan
91.0ms34×body5120valid
74.0ms417×body320nan
28.0ms239×body160nan

regimes1.8m (2.7%)

Accuracy

Total 175.5b remaining (33.9%)

Threshold costs 24.4b (4.7%)

12.9b58.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b36.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
7.1b63.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.0b63.4%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
6.9b14.6%Data.Colour.Matrix:determinant from colour-2.3.3, A

rewrite1.1m (1.6%)

Algorithm
842×rewrite-expression-head
Calls

2260 calls:

817.0ms
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
814.0ms
(- (+ y (/ x (/ y x))) (/ z (/ y z)))
625.0ms
(* (* (* (log y) (sqrt (* (cbrt (+ 0.5 y)) (cbrt (+ 0.5 y))))) (sqrt (cbrt (+ 0.5 y)))) (sqrt (+ 0.5 y)))
566.0ms
(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
526.0ms
(/ (fma x (fma x (fma x (fma x 4.16438922228 78.6994924154) 137.519416416) y) z) (* (* (/ (fma (fma (fma (+ 43.3400022514 x) x 263.505074721) x 313.399215894) x 47.066876606) (- (* (* x x) (* x x)) (* (* 2.0 2.0) (* 2.0 2.0)))) (+ (* x x) (* 2.0 2.0))) (+ x 2.0)))
Rules
57859×times-frac
51626×*-un-lft-identity
47595×add-sqr-sqrt
35121×add-cube-cbrt
13430×prod-diff
9074×add-exp-log
7283×add-cbrt-cube
5699×pow1
5541×distribute-lft-out--
5395×sqrt-prod
4892×difference-of-squares
4329×associate-*r*
4055×cbrt-prod
3216×div-inv
3126×distribute-lft-out
3100×associate-*l*
2939×add-log-exp
2733×associate-/r*
2565×associate-/r/
2399×associate-/l*
2343×prod-exp
2268×expm1-log1p-u
2266×log1p-expm1-u
2211×div-exp
2008×distribute-rgt-in distribute-lft-in
1915×cbrt-unprod
1668×flip3-- flip--
1584×cbrt-div
1494×cbrt-undiv
1459×pow-prod-down
1016×associate-*l/
973×unswap-sqr
944×frac-times
918×flip-+ flip3-+
879×associate-*r/
850×log-prod
812×pow1/3
788×fma-neg
678×swap-sqr
644×associate-+r+
544×*-commutative
489×fma-def
482×frac-2neg clear-num
415×sqrt-div
360×sub-neg fma-udef
353×associate-/l/
350×sqrt-pow1
343×log-pow
313×1-exp
310×rec-exp
308×pow-prod-up
292×associate--l+
223×diff-log
222×pow-sqr
213×pow1/2
194×exp-sum
148×sum-log
137×pow-plus
112×pow2
107×div-sub
102×+-commutative
101×exp-prod
87×associate-+l+
78×rem-sqrt-square
76×pow-flip
74×unpow-prod-down
72×distribute-rgt-out
70×frac-add
63×inv-pow
50×log-div
49×associate--r+
46×frac-sub distribute-rgt-out--
45×un-div-inv
43×distribute-rgt-neg-in
35×distribute-lft-neg-in
34×rem-log-exp
29×cos-sum
27×pow-exp
23×pow-unpow pow3
22×associate-+r-
21×cube-unmult sinh-def
20×distribute-lft-neg-out
19×distribute-rgt-neg-out
18×sqrt-unprod
17×rem-exp-log unsub-neg
16×sqr-pow pow-pow associate-+l-
15×expm1-udef sub-div
14×log1p-udef
13×expm1-log1p log1p-expm1 neg-mul-1 pow-to-exp unpow-prod-up difference-cubes
12×associate--l-
11×tanh-def
10×hypot-def rem-square-sqrt rem-cbrt-cube count-2
9×unpow1/3
8×exp-diff
7×associate--r-
6×distribute-rgt1-in cos-mult distribute-lft1-in
5×neg-sub0 cosh-def exp-to-pow diff-cos
4×sqr-cos
3×exp-neg cos-diff expm1-def
2×sqrt-undiv tan-quot sin-mult e-exp-1
1×neg-log pow-sub difference-of-sqr-1 difference-of-sqr--1

localize27.0s (0.7%)

bsearch6.7s (0.2%)

end5.0ms (0.0%)