Details

simplify44.9m (64.8%)

sample9.0m (13.0%)

Algorithm
539×intervals
Results
3.6m2656360×body80valid
57.8s513829×body80nan
42.0s46699×body1280valid
23.3s42969×body640valid
9.4s24961×body320valid
7.3s5687×body2560valid
3.2s13574×body160valid
1.5s1598×body10240exit
203.0ms699×body640nan
177.0ms479×body1280nan
164.0ms43×body5120valid
103.0ms436×body320nan
24.0ms234×body160nan

series5.7m (8.3%)

Calls

2564 calls:

2.3s
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))
2.1s
(* (/ (/ (cbrt (- y z)) (cbrt (- a z))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
1.2s
(* (cbrt (+ x (* (- y x) (* (- (/ 2.0 3.0) z) 6.0)))) (cbrt (+ x (* (- y x) (* (- (/ 2.0 3.0) z) 6.0)))))
1.2s
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
923.0ms
(* (log (cbrt y)) (+ (* 3 y) 1.5))

prune5.6m (8.0%)

rewrite2.5m (3.6%)

Algorithm
904×rewrite-expression-head
Calls

2564 calls:

3.5s
(* (sqrt (sqrt x)) (* (sqrt (sqrt x)) (* (sqrt x) (+ (+ (+ (+ y z) z) y) t))))
3.4s
(/ (+ (* (+ (* (+ (* (* (* (* (cbrt (cbrt (* (+ (* x y) z) y))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (cbrt (* (+ (* x y) z) y)))) (cbrt (* (+ (* x y) z) y))) (cbrt (* (+ (* x y) z) y))) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
2.5s
(/ (- (+ x (/ (/ z (- (* t z) x)) (/ 1 y))) (/ x (- (* t z) x))) (+ x 1.0))
1.9s
(* (/ 1 (* (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))) (/ (cbrt (- (+ t 1.0) z)) (- y z)))) (- a x))
1.9s
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
52524×times-frac
49372×*-un-lft-identity
39279×add-sqr-sqrt
27932×add-cube-cbrt
27063×sqrt-prod
12149×add-exp-log
9234×add-cbrt-cube
8428×distribute-lft-out
6910×pow1
5864×associate-*r*
5220×cbrt-prod
4950×associate-*l*
4012×add-log-exp
4000×difference-of-squares
3759×prod-exp
3607×associate-/r*
3130×distribute-lft-out--
2976×cbrt-unprod
2953×associate-/l*
2852×div-exp
2177×associate-/r/
2144×div-inv
2041×cbrt-undiv associate-*r/
2013×flip-+ flip3-+
1910×pow-prod-down
1853×flip3-- flip--
1751×sqrt-div
1474×unswap-sqr
1471×associate-*l/
1469×cbrt-div
1462×frac-times
1402×unpow-prod-down
815×distribute-rgt-in distribute-lft-in
810×*-commutative
756×swap-sqr
731×pow1/3 sqrt-pow1
703×log-prod
683×sub-neg
570×associate-/l/
568×cube-prod
556×clear-num frac-2neg
510×frac-sub
508×sum-log
454×sqr-pow
429×pow1/2
398×pow-prod-up
310×diff-log
297×+-commutative
294×1-exp
269×rec-exp
268×pow-sqr
265×frac-add
259×pow-exp
252×associate--l+
222×associate-+r+
221×pow-to-exp
212×associate-+l+
158×log-pow
150×pow-unpow
141×rem-sqrt-square
131×pow-plus
113×div-sub
110×pow2
107×distribute-rgt-neg-in
105×distribute-lft-neg-in
90×exp-sum
84×pow-flip
80×tanh-def
79×inv-pow
73×pow-pow
66×unpow2
64×log-div
56×sum-cubes
54×exp-prod
51×associate--r+
45×difference-of-sqr--1
43×un-div-inv
42×associate-+l-
41×cosh-def
40×sinh-def
38×distribute-rgt-neg-out
36×rem-log-exp
35×distribute-rgt-out--
34×sqrt-unprod
31×cube-div
30×associate-+r-
25×sub-div
24×rem-square-sqrt
23×unsub-neg distribute-rgt-out neg-mul-1
21×distribute-lft-neg-out
20×unpow-prod-up
19×unpow3 cube-mult
18×rem-cube-cbrt difference-of-sqr-1
17×difference-cubes
15×rem-exp-log
14×sin-mult
10×associate--l-
9×unpow1/3 pow-sub
8×exp-diff
7×sqrt-pow2 associate--r-
6×distribute-rgt1-in
5×distribute-lft1-in count-2 neg-sub0 distribute-neg-frac
4×neg-log diff-cos rem-cbrt-cube
3×distribute-neg-out cos-diff
2×exp-to-pow tan-quot cos-sum
1×pow-div sqrt-undiv sin-cos-mult pow3 exp-neg remove-double-div distribute-frac-neg

regimes1.1m (1.6%)

Accuracy

Total 207.6b remaining (37.1%)

Threshold costs 27.1b (4.8%)

17.8b18%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.1b61.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.6b-18.8%Linear.Matrix:det44 from linear-1.19.1.3
9.9b58.2%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.5b62.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize18.9s (0.5%)

bsearch11.7s (0.3%)

end6.0ms (0.0%)