Details

simplify27.2m (52.0%)

sample8.1m (15.5%)

Algorithm
538×intervals
Results
2.9m2588858×body80valid
56.3s511085×body80nan
40.2s47698×body1280valid
23.6s42940×body640valid
8.3s24093×body320valid
7.2s5461×body2560valid
3.1s13212×body160valid
2.3s1583×body10240exit
301.0ms495×body1280nan
194.0ms632×body640nan
192.0ms49×body5120valid
118.0ms421×body320nan
29.0ms240×body160nan

prune6.5m (12.5%)

series6.3m (12.1%)

Calls

2547 calls:

8.7s
(* (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))) (* (cbrt (- y z)) (cbrt (- y z))))
3.7s
(* (cbrt (log (- 1.0 (/ y x)))) (cbrt (log (- 1.0 (/ y x)))))
2.5s
(/ (+ 2.0 (* (* (* (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)))))
1.9s
(* (/ (cbrt (- z t)) (cbrt (cbrt (- a t)))) (* (/ (cbrt (- z t)) (cbrt (- a t))) (/ y (cbrt (- a t)))))
1.8s
(/ (+ 2.0 (* (* (* (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 (sqrt 5.0)) 2.0) (cos y)))))

rewrite2.5m (4.8%)

Algorithm
895×rewrite-expression-head
Calls

2547 calls:

3.1s
(* (* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (cbrt (/ 1 (- (+ t 1.0) z)))) (- a x))
3.0s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
1.5s
(* x (+ (+ (+ (+ y z) z) y) t))
1.2s
(* (* (- y z) (/ (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (- (+ t 1.0) z)))) (- a x))
1.1s
(/ (- (* z (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* (* (- a (/ 5.0 6.0)) (* t 3.0)) (/ t (sqrt (+ t a)))))
Rules
80128×times-frac
61476×*-un-lft-identity
52951×add-sqr-sqrt
38762×add-cube-cbrt
36039×sqrt-prod
12046×add-exp-log
9164×add-cbrt-cube
8948×cbrt-prod
8075×distribute-lft-out
6535×pow1
6246×associate-*r*
5167×associate-*l*
4644×difference-of-squares
4123×distribute-lft-out--
3913×add-log-exp
3792×cbrt-div
3586×prod-exp
3575×associate-/r*
3172×unpow-prod-down
3113×div-inv
2983×associate-/l*
2906×flip3-- flip--
2865×div-exp
2842×cbrt-unprod
2696×associate-/r/
2394×associate-*r/
2332×frac-times
2308×associate-*l/
2004×cbrt-undiv
1862×pow-prod-down
1833×flip-+ flip3-+
1619×unswap-sqr
1331×sqrt-div
1314×swap-sqr
1035×pow1/3
986×distribute-rgt-in distribute-lft-in
941×log-prod
815×*-commutative
805×sqr-pow
710×sub-neg
677×cube-prod
655×frac-sub
651×associate-/l/
514×clear-num frac-2neg
488×sum-log
461×sqrt-pow1
388×associate--l+
340×1-exp
319×unpow2
302×associate-+r+
293×rec-exp
288×+-commutative
286×pow-prod-up
284×diff-log
249×log-pow
236×pow1/2
233×pow-exp
228×pow-sqr
212×frac-add
196×associate-+l+
170×exp-prod
162×pow-unpow
161×pow-to-exp
147×rem-sqrt-square
142×div-sub
107×pow-pow
105×pow-plus
99×pow2
80×associate--r+
64×pow-flip
61×inv-pow
60×log-div
54×unpow3 cube-mult tanh-def
53×un-div-inv
52×cube-div
48×distribute-rgt-neg-in
47×distribute-lft-neg-in
46×distribute-rgt-out sinh-def
41×distribute-lft-neg-out
40×rem-log-exp
36×associate-+l-
26×unsub-neg associate-+r-
24×difference-cubes
22×distribute-rgt-neg-out
21×rem-cube-cbrt
20×distribute-rgt-out-- neg-mul-1
19×sub-div
17×exp-sum
14×sqrt-unprod associate--r-
13×exp-diff rem-square-sqrt
12×distribute-neg-frac
10×associate--l- cosh-def
9×rem-cbrt-cube
8×tan-quot
7×distribute-rgt1-in
6×sqrt-pow2 distribute-lft1-in unpow1/3 difference-of-sqr-1
5×neg-log sqrt-undiv rem-exp-log count-2 neg-sub0
4×diff-cos sum-cubes exp-to-pow
3×cos-diff unpow-prod-up
2×distribute-neg-in sin-mult cos-mult cos-sum
1×exp-neg pow-sub pow-neg

regimes1.2m (2.2%)

Accuracy

Total 201.3b remaining (38.6%)

Threshold costs 26.5b (5.1%)

13.3b41.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.2b61.6%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.8b12.3%Data.Colour.Matrix:determinant from colour-2.3.3, A
9.9b58.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.8b15.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

localize17.5s (0.6%)

bsearch9.6s (0.3%)

end5.0ms (0.0%)