Details

simplify38.8m (57.7%)

prune9.4m (14.0%)

sample8.1m (12.0%)

Algorithm
539×intervals
Results
3.5m2650395×body80valid
1.0m537826×body80nan
38.9s46444×body1280valid
25.5s44586×body640valid
8.4s25567×body320valid
7.3s5711×body2560valid
3.8s13639×body160valid
2.3s1543×body10240exit
167.0ms655×body640nan
142.0ms479×body1280nan
91.0ms34×body5120valid
76.0ms417×body320nan
76.0ms239×body160nan

series5.9m (8.8%)

Calls

2478 calls:

5.9s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.5s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.9s
(+ (* (* a b) (* (* a b) (* a b))) (* (+ (* x y) (* z t)) (* (+ (* x y) (* z t)) (+ (* x y) (* z t)))))
2.9s
(* (/ 1 (+ (sqrt 2.0) (sqrt (+ x y)))) (- (/ x (- (sqrt 2.0) (sqrt (+ x y)))) (/ y (- (sqrt 2.0) (sqrt (+ x y))))))
1.7s
(* (/ (cbrt (- z t)) (cbrt (cbrt (- a t)))) (* (/ (cbrt (- z t)) (cbrt (- a t))) (/ y (cbrt (- a t)))))

regimes2.2m (3.3%)

Accuracy

Total 191.2b remaining (35.2%)

Threshold costs 24.9b (4.6%)

12.9b58.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.2b-33%Linear.Matrix:det44 from linear-1.19.1.3
9.6b58.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.4b39.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
7.1b63.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

rewrite2.2m (3.2%)

Algorithm
878×rewrite-expression-head
Calls

2478 calls:

5.6s
(+ (+ (+ (+ (+ (* (log (cbrt y)) (* 3 x)) z) t) a) (* (- b 0.5) (log c))) (* y i))
2.5s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
2.3s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
2.2s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
2.1s
(* (cbrt (+ x (+ z (+ (+ y x) (+ y x))))) (cbrt (+ x (+ z (+ (+ y x) (+ y x))))))
Rules
36532×times-frac
35183×*-un-lft-identity
32523×add-sqr-sqrt
22328×add-cube-cbrt
12699×cbrt-div
12307×associate-*r/
11906×add-exp-log
9187×add-cbrt-cube
6939×pow1
6342×frac-times
6126×cbrt-prod
6077×associate-*r*
5158×associate-*l*
4403×frac-sub
3885×add-log-exp
3662×flip3-- flip--
3627×distribute-lft-out--
3578×prod-exp
3524×difference-of-squares
3409×distribute-lft-out
3347×associate-/r*
2930×cbrt-unprod
2831×div-exp
2667×tanh-def
2566×sqrt-prod
2542×associate-*l/
2487×associate-/l*
2408×associate-/r/
2033×pow-prod-down
1980×div-inv
1937×cbrt-undiv
1681×flip-+ flip3-+
1465×log-prod
1240×unswap-sqr
1056×distribute-rgt-in distribute-lft-in
999×swap-sqr
823×pow1/3
798×*-commutative
656×sub-neg
571×sqrt-div
547×associate-/l/
539×frac-2neg clear-num
493×sum-log
385×pow-prod-up
347×log-pow
325×exp-prod
324×1-exp
319×associate--l+
318×sqrt-pow1
310×diff-log
302×rec-exp
300×associate-+r+
279×pow-sqr
276×+-commutative
260×frac-add
218×pow1/2
184×associate-+l+
178×pow-plus
158×exp-sum
144×div-sub
136×cube-unmult
134×pow2
85×rem-log-exp log-div
81×pow3
76×distribute-rgt-neg-in rem-sqrt-square
70×distribute-lft-neg-in
69×pow-flip
65×inv-pow
64×pow-exp
63×associate--r+
59×distribute-rgt-out
53×difference-cubes unpow-prod-down
52×distribute-rgt-out--
46×pow-unpow
44×un-div-inv
41×sum-cubes
40×cosh-def associate-+l-
37×associate-+r-
35×pow-pow
33×distribute-lft-neg-out
30×cos-mult
26×neg-mul-1
23×sqr-pow
22×sub-div rem-exp-log pow-to-exp
20×unpow1/3
19×sqrt-unprod
16×sinh-def unsub-neg
15×distribute-rgt-neg-out associate--r-
14×rem-cbrt-cube count-2
13×sqr-cos
12×associate--l- rem-square-sqrt
10×distribute-lft1-in distribute-rgt1-in
9×exp-diff
7×exp-to-pow
6×unpow-prod-up
5×sin-2 diff-cos
4×neg-sub0
3×sqrt-undiv cos-diff
2×pow-sub exp-neg tan-quot cos-sum exp-lft-cube e-exp-1
1×sin-sum distribute-frac-neg sin-cos-mult sin-mult sum-cos sqr-neg

localize27.8s (0.7%)

bsearch12.1s (0.3%)

end5.0ms (0.0%)