Details

simplify45.8m (64.8%)

sample9.3m (13.1%)

Algorithm
539×intervals
Results
3.7m2656360×body80valid
57.8s513829×body80nan
41.2s46699×body1280valid
26.2s42969×body640valid
11.5s24961×body320valid
7.1s5687×body2560valid
2.7s13574×body160valid
1.8s1598×body10240exit
178.0ms479×body1280nan
170.0ms699×body640nan
126.0ms43×body5120valid
73.0ms436×body320nan
24.0ms234×body160nan

series5.8m (8.2%)

Calls

2569 calls:

2.0s
(* (/ (cbrt (- y z)) (cbrt (- a z))) (/ (- t x) (cbrt (- a z))))
1.4s
(+ (* (pow (/ x (sqrt 1.0)) 3) (/ 1/8 (pow (+ (sqrt 1.0) 1.0) 2))) (+ (* 1/4 (/ (/ (pow x 3) 1.0) (pow (+ (sqrt 1.0) 1.0) 3))) (* (/ (pow x 2) (* (sqrt 1.0) (pow (+ (sqrt 1.0) 1.0) 2))) -1/2)))
1.3s
(* (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))) (+ (* z (- t a)) (* x y))))
1.1s
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))

prune5.5m (7.8%)

rewrite2.7m (3.8%)

Algorithm
903×rewrite-expression-head
Calls

2569 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))
3.1s
(+ (+ (+ (+ (+ x y) y) x) z) x)
2.7s
(+ (+ (* (pow (/ x (sqrt 1.0)) 3) (/ 1/8 (pow (+ (sqrt 1.0) 1.0) 2))) (+ (* 1/4 (/ (/ (pow x 3) 1.0) (pow (+ (sqrt 1.0) 1.0) 3))) (* (/ (pow x 2) (* (sqrt 1.0) (pow (+ (sqrt 1.0) 1.0) 2))) -1/2))) (/ x (+ (sqrt 1.0) 1.0)))
2.3s
(/ (- (+ x (/ (/ z (- (* t z) x)) (/ 1 y))) (/ x (- (* t z) x))) (+ x 1.0))
Rules
49843×times-frac
48554×*-un-lft-identity
38329×add-sqr-sqrt
26903×add-cube-cbrt
25828×sqrt-prod
12402×add-exp-log
9427×add-cbrt-cube
8365×distribute-lft-out
6833×pow1
5877×associate-*r*
4886×cbrt-prod
4847×associate-*l*
4098×add-log-exp
3928×prod-exp
3809×difference-of-squares
3608×associate-/r*
3311×distribute-lft-out--
3095×cbrt-unprod
2926×associate-/l*
2889×div-exp
2075×cbrt-undiv
2072×associate-/r/
2059×div-inv
1980×associate-*r/
1896×flip-+ flip3-+
1866×pow-prod-down
1858×flip3-- flip--
1587×sqrt-div
1478×unswap-sqr
1443×associate-*l/
1385×frac-times
1357×unpow-prod-down
1347×cbrt-div
831×distribute-rgt-in distribute-lft-in
813×*-commutative
730×pow1/3
721×swap-sqr
710×log-prod
700×sub-neg
653×sqrt-pow1
583×associate-/l/
567×sum-log
558×clear-num frac-2neg
518×cube-prod
482×frac-sub
403×pow1/2
385×pow-prod-up
335×sqr-pow
310×diff-log
303×+-commutative
297×frac-add
290×1-exp
284×pow-exp
265×rec-exp
261×pow-sqr
254×associate--l+
240×pow-to-exp
222×associate-+r+
216×associate-+l+
180×pow-unpow
157×log-pow
131×pow-plus
129×rem-sqrt-square
115×div-sub
109×pow2
99×exp-sum
96×distribute-rgt-neg-in distribute-lft-neg-in
89×pow-flip
83×inv-pow
80×tanh-def
75×unpow2
71×pow-pow
65×log-div
58×exp-prod
55×associate--r+
52×sum-cubes
45×difference-of-sqr--1
42×associate-+l- rem-log-exp
40×sinh-def
39×cube-div un-div-inv
34×distribute-rgt-out-- difference-of-sqr-1
33×distribute-rgt-neg-out
32×sqrt-unprod associate-+r-
28×distribute-rgt-out
24×distribute-lft-neg-out
22×unsub-neg rem-square-sqrt
20×neg-mul-1
19×sub-div
18×unpow3 cube-mult
17×difference-cubes
16×rem-cube-cbrt rem-exp-log
14×exp-diff sin-mult cosh-def
11×associate--l-
10×pow-sub
8×unpow-prod-up
7×unpow1/3 associate--r-
6×distribute-rgt1-in
5×distribute-lft1-in count-2 distribute-neg-frac
4×sqrt-pow2 diff-cos rem-cbrt-cube
3×cos-diff neg-sub0
2×neg-log exp-to-pow cos-sum tan-quot
1×pow-div sqrt-undiv sin-cos-mult pow3 exp-neg remove-double-div distribute-frac-neg

regimes1.1m (1.6%)

Accuracy

Total 209.5b remaining (37.3%)

Threshold costs 26.6b (4.7%)

17.8b18%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.0b61.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

localize16.8s (0.4%)

bsearch11.8s (0.3%)

end5.0ms (0.0%)