Details

sample4.1m (26.1%)

Algorithm
539×intervals
Results
1.3m2665705×body80valid
19.7s511540×body80nan
17.5s48330×body1280valid
9.4s43248×body640valid
4.0s5673×body2560valid
3.5s25023×body320valid
1.3s13734×body160valid
785.0ms1624×body10240exit
97.0ms691×body640nan
89.0ms37×body5120valid
84.0ms473×body1280nan
42.0ms411×body320nan
16.0ms249×body160nan

series3.9m (24.8%)

Calls

2512 calls:

3.2s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
2.3s
(* (/ (cbrt (- y z)) (cbrt (cbrt (- a z)))) (* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z)))))
1.9s
(/ (+ 2.0 (* (* (log (pow (exp (sqrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (/ (+ (* 3.0 3.0) (- 5.0)) (+ 3.0 (sqrt 5.0))) 2.0) (cos y)))))
730.0ms
(/ (/ 1 (+ y (* z (- b y)))) (/ 1 (+ (* x y) (* z (- t a)))))
705.0ms
(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))

prune3.8m (23.9%)

rewrite1.7m (10.9%)

Algorithm
877×rewrite-expression-head
Calls

2512 calls:

2.4s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
2.0s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.8s
(* y (+ (+ (- (+ (* 2 (log (cbrt (sqrt z)))) 1.0) z) (log (cbrt (sqrt z)))) (log (sqrt z))))
1.2s
(* x (+ (+ (+ (+ y z) z) y) t))
1.1s
(* x (+ (+ (+ y (+ z z)) y) t))
Rules
43131×times-frac
36542×*-un-lft-identity
36202×add-sqr-sqrt
24678×add-cube-cbrt
12013×add-exp-log
8919×add-cbrt-cube
7054×cbrt-prod
6625×pow1
6022×associate-*r*
4916×associate-*l*
4268×sqrt-prod
4025×add-log-exp
3991×difference-of-squares
3704×distribute-lft-out--
3613×prod-exp
3445×associate-/r*
3021×div-exp
2817×cbrt-unprod
2507×distribute-lft-out
2345×associate-/l*
2249×flip3-- flip--
2239×div-inv
2169×cbrt-div
2060×associate-/r/
1961×cbrt-undiv
1930×pow-prod-down
1812×associate-*r/
1803×unpow-prod-down
1624×flip-+ flip3-+
1504×associate-*l/
1503×frac-times
1413×unswap-sqr
1379×log-prod
1257×distribute-rgt-in distribute-lft-in
938×sqrt-div
903×pow1/3
769×*-commutative
729×sub-neg
691×swap-sqr
637×cube-prod
562×sum-log
555×associate-/l/
520×sqrt-pow1
515×clear-num frac-2neg
384×pow-exp
381×associate-+r+
378×associate-+l+
371×sqr-pow
364×associate--l+
356×1-exp
348×frac-sub
321×log-pow
315×rec-exp
311×diff-log
309×+-commutative
285×pow1/2
272×pow-prod-up
245×frac-add
219×pow-sqr
171×exp-sum
161×pow-to-exp
138×exp-prod
127×pow-unpow
119×distribute-rgt-out
115×div-sub
99×pow-plus
98×rem-sqrt-square
91×pow2
78×unpow2
75×pow-pow
69×tanh-def
63×log-div
62×cube-div
61×pow-flip
59×inv-pow
56×associate--r+
53×associate-+l-
41×distribute-rgt-neg-out
39×un-div-inv
38×rem-log-exp
37×distribute-rgt1-in
36×distribute-lft1-in count-2
34×distribute-rgt-neg-in distribute-lft-neg-in unpow3 cube-mult
29×distribute-rgt-out--
26×rem-cube-cbrt
25×associate-+r-
23×unsub-neg distribute-lft-neg-out
22×neg-mul-1
20×difference-cubes unpow-prod-up
18×sqrt-unprod sinh-def
17×sub-div
16×rem-exp-log sum-cubes cosh-def
15×rem-square-sqrt
13×associate--l-
11×rem-cbrt-cube
8×unpow1/3
7×sqrt-pow2 associate--r-
6×neg-sub0
5×pow-div exp-diff log-rec exp-to-pow
4×distribute-neg-in diff-cos tan-quot
3×distribute-neg-out cos-diff neg-log sin-mult cos-mult
2×cos-sum pow-sub sqrt-undiv
1×pow3 exp-neg mul-1-neg

simplify1.2m (7.5%)

Algorithm
1416×egg-herbie

regimes47.8s (5.0%)

Accuracy

Total 216.2b remaining (37.6%)

Threshold costs 24.4b (4.2%)

17.3b19.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.8b47.7%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.5b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.2b-10.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
9.9b59.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

localize9.8s (1.0%)

bsearch6.2s (0.7%)

end4.0ms (0.0%)