Details

simplify30.2m (44.9%)

series16.0m (23.9%)

Calls

2276 calls:

28.1s
(fma (* (cbrt (* (/ (- y z) (- a z)) (- t x))) (cbrt (* (/ (- y z) (- a z)) (- t x)))) (cbrt (* (/ (- y z) (- a z)) (- t x))) x)
4.0s
(* (- (fma (+ y x) z (* a (+ y t))) (* b y)) (/ 1 (* (cbrt (+ x (+ y t))) (cbrt (+ x (+ y t))))))
2.1s
(* (cbrt (fma a (- 1.0 t) (fma (- 1.0 y) z (fma b (- (+ t y) 2.0) x)))) (cbrt (fma a (- 1.0 t) (fma (- 1.0 y) z (fma b (- (+ t y) 2.0) x)))))
1.9s
(* (/ 1 (cbrt (fma (fma y (fma (+ y a) y b) c) y i))) (/ (fma (fma y (fma y (fma y x z) 27464.7644705) 230661.510616) y t) (cbrt (fma (fma y (fma (+ y a) y b) c) y i))))
1.4s
(* (cbrt (fma y (log y) (- x z))) (cbrt (fma y (log y) (- x z))))

prune10.0m (14.8%)

sample7.4m (11.0%)

Algorithm
538×intervals
Results
3.0m2586367×body80valid
57.9s518606×body80nan
40.0s46757×body1280valid
23.8s44201×body640valid
9.6s25224×body320valid
7.6s5511×body2560valid
2.8s13839×body160valid
1.4s1526×body10240exit
574.0ms442×body1280nan
168.0ms655×body640nan
152.0ms41×body5120valid
90.0ms457×body320nan
29.0ms247×body160nan

regimes1.9m (2.8%)

Accuracy

Total 195.6b remaining (37.5%)

Threshold costs 23.8b (4.6%)

12.5b59.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.5b-1.7%Development.Shake.Progress:decay from shake-0.15.5
11.6b44.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.9b49.9%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.4b62.1%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

rewrite1.2m (1.7%)

Algorithm
854×rewrite-expression-head
Calls

2280 calls:

1.7s
(* (/ (/ (/ 1.0 x) (sqrt (fma z z 1.0))) (sqrt (sqrt (fma z z 1.0)))) (/ (/ 1 y) (sqrt (sqrt (fma z z 1.0)))))
1.6s
(* (* (* (* (- x (/ 16.0 116.0)) (* (cbrt 3.0) (cbrt 3.0))) (sqrt (cbrt 3.0))) (sqrt (cbrt 3.0))) y)
926.0ms
(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* (sqrt x) (+ y (- (/ (/ 1.0 x) 9.0) 1.0)))))
850.0ms
(* (sqrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y))) (sqrt (+ x (/ (exp (* y (log (/ y (+ z y))))) y))))
697.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
Rules
68120×times-frac
54219×*-un-lft-identity
51828×add-sqr-sqrt
38220×add-cube-cbrt
11514×prod-diff
10302×add-exp-log
9501×sqrt-prod
7709×add-cbrt-cube
6718×cbrt-prod
6029×pow1
5114×distribute-lft-out--
4640×difference-of-squares
4462×associate-*l*
4324×associate-*r*
3446×div-inv
3422×distribute-lft-out
3235×associate-/r*
3085×prod-exp
3031×add-log-exp
2514×associate-/r/
2497×div-exp
2481×cbrt-div
2415×distribute-rgt-in distribute-lft-in
2344×cbrt-unprod
2283×log1p-expm1-u
2282×expm1-log1p-u
2210×flip-- flip3--
2107×associate-/l*
1851×frac-times
1670×cbrt-undiv
1665×pow-prod-down
1439×associate-*l/
1298×unswap-sqr
1255×associate-*r/
1136×associate-+r+
975×pow1/3
966×swap-sqr
873×flip-+ flip3-+
748×associate--l+
687×log-prod
662×fma-neg
605×*-commutative
498×sqrt-div
451×frac-2neg clear-num
428×sub-neg
415×associate-+l+
410×fma-udef
374×associate-/l/
365×sqrt-pow1
359×1-exp
339×pow-prod-up
317×fma-def
293×frac-sub
286×rec-exp
261×pow-sqr
245×log-pow
234×diff-log
209×pow1/2
184×sum-log
163×tanh-def
154×pow-plus
133×cos-sum
126×pow2
108×+-commutative
97×div-sub
70×pow-unpow
67×rem-log-exp
62×exp-prod unpow-prod-down
61×rem-sqrt-square
58×pow-flip
55×inv-pow
53×log-div
51×distribute-rgt-neg-in
49×distribute-lft-neg-in
48×cube-unmult
44×associate--r+
43×frac-add
40×sinh-def
39×exp-sum
38×un-div-inv distribute-rgt-out
35×distribute-lft-neg-out
22×pow-pow associate-+l-
21×difference-cubes
20×pow-exp associate-+r- sqr-pow
19×sqrt-unprod distribute-rgt-out--
18×rem-exp-log
16×pow-to-exp unsub-neg
15×cos-mult
14×distribute-rgt-neg-out sub-div hypot-def
13×cosh-def rem-square-sqrt
12×associate--l-
10×pow3 count-2
8×distribute-lft1-in distribute-neg-frac
7×distribute-rgt1-in neg-mul-1
6×unpow1/3 sqr-cos cos-diff e-exp-1
5×rem-cbrt-cube associate--r-
4×expm1-log1p expm1-udef tan-quot expm1-def
3×exp-diff log1p-expm1 log1p-udef
2×neg-sub0 sqrt-undiv difference-of-sqr-1 exp-to-pow pow-div diff-cos
1×neg-log exp-neg unpow-prod-up sin-mult

localize26.9s (0.7%)

bsearch6.6s (0.2%)

end6.0ms (0.0%)