Details

simplify45.4m (51.2%)

series21.6m (24.4%)

Calls

2384 calls:

5.5m
(fma (- (fma x y c) (/ (* b a) 4.0)) (* (- (fma x y c) (/ (* b a) 4.0)) (- (fma x y c) (/ (* b a) 4.0))) (* (* (/ t 16.0) z) (* (* (/ t 16.0) z) (* (/ t 16.0) z))))
2.0m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
7.6s
(* (* (fma y (- (log z) t) (- (* (log 1.0) a) (* a (fma 1.0 z b)))) (fma y (- (log z) t) (- (* (log 1.0) a) (* a (fma 1.0 z b))))) (fma y (- (log z) t) (- (* (log 1.0) a) (* a (fma 1.0 z b)))))
6.9s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))
6.8s
(cbrt (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

sample9.9m (11.2%)

Algorithm
539×intervals
Results
4.6m2580324×body80valid
1.4m521185×body80nan
55.4s45623×body1280valid
32.5s42617×body640valid
13.4s24576×body320valid
9.7s5426×body2560valid
4.2s13556×body160valid
2.6s1565×body10240exit
380.0ms691×body640nan
238.0ms477×body1280nan
196.0ms43×body5120valid
130.0ms428×body320nan
75.0ms246×body160nan

prune8.7m (9.9%)

regimes1.5m (1.7%)

Accuracy

Total 205.9b remaining (40.9%)

Threshold costs 29.5b (5.9%)

14.1b40.3%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2
14.1b40.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
11.6b62.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.6b47.1%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.0b29.1%Development.Shake.Progress:decay from shake-0.15.5

rewrite57.5s (1.1%)

Algorithm
874×rewrite-expression-head
Calls

2385 calls:

786.0ms
(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
604.0ms
(* (- z t) (* (* y (* (cbrt (/ 1 (- z a))) (cbrt (/ 1 (- z a))))) (cbrt (/ 1 (- z a)))))
555.0ms
(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
503.0ms
(* (sqrt (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))) (sqrt (+ (+ (+ (* x x) (* y y)) (* y y)) (* y y))))
448.0ms
(* (* (* x (cbrt (- (* y z)))) (cbrt (- (* y z)))) (cbrt (- (* y z))))
Rules
65896×times-frac
56593×*-un-lft-identity
53957×add-sqr-sqrt
39621×add-cube-cbrt
13262×prod-diff
10726×add-exp-log
8255×add-cbrt-cube
6790×sqrt-prod
6044×pow1
5806×distribute-lft-out--
5327×difference-of-squares
5006×associate-*r*
4925×associate-*l*
4752×cbrt-prod
4143×associate-/r*
3573×div-inv
3298×add-log-exp
2952×distribute-lft-out
2921×div-exp
2786×associate-/r/
2712×prod-exp
2655×distribute-rgt-in distribute-lft-in
2446×associate-/l*
2388×log1p-expm1-u
2386×expm1-log1p-u
2385×insert-posit16
2155×cbrt-unprod
1965×cbrt-undiv
1683×flip3-- flip--
1489×pow-prod-down
1249×unswap-sqr
1155×flip-+ flip3-+
1130×associate-*r/
1127×fma-neg
1079×associate-*l/
1035×log-prod
997×frac-times
986×fma-def
856×cbrt-div
812×sqrt-div
803×pow1/3
702×swap-sqr
612×*-commutative
570×sqrt-pow1
551×frac-2neg clear-num
476×sub-neg
430×exp-sum
421×associate-+r+
396×associate--l+
393×associate-/l/
383×1-exp
377×rec-exp
370×pow-prod-up
359×fma-udef
355×log-pow
352×associate-+l+
332×pow1/2
282×associate--r+
259×diff-log
247×sum-log
240×pow-sqr
203×exp-prod
149×pow-plus
146×+-commutative
128×frac-sub
115×pow-flip
112×pow2 div-sub
107×rem-sqrt-square
90×unpow-prod-down frac-add
83×inv-pow
74×distribute-rgt-out--
73×pow-unpow
64×tanh-def
63×distribute-rgt-neg-in distribute-lft-neg-in
62×rem-log-exp
60×log-div
59×un-div-inv
53×pow-exp
39×sinh-def
34×pow-to-exp distribute-rgt-out
31×associate-+r- distribute-rgt-neg-out sqr-pow
29×hypot-def
26×pow-pow rem-exp-log
24×sqrt-unprod cosh-def distribute-neg-frac cos-sum
23×exp-diff pow3
18×associate-+l-
17×rem-square-sqrt
16×unsub-neg
15×neg-mul-1
13×distribute-lft-neg-out sub-div
11×associate--l- rem-cbrt-cube
10×pow-div
9×unpow1/3
8×count-2
7×expm1-udef distribute-rgt1-in cube-unmult associate--r-
6×distribute-lft1-in tan-quot diff-cos
5×expm1-log1p neg-sub0 exp-to-pow cos-diff
4×log1p-expm1 difference-of-sqr-1 hypot-udef difference-cubes log1p-udef
3×cos-mult distribute-neg-out sqr-cos
2×cos-neg sin-diff sin-neg
1×sin-sum unpow1/2 sqr-sin sin-mult remove-posit16 exp-neg

localize25.4s (0.5%)

bsearch8.1s (0.2%)

end6.0ms (0.0%)