Details

simplify46.2m (64.2%)

sample9.1m (12.7%)

Algorithm
539×intervals
Results
3.7m2660511×body80valid
55.5s514084×body80nan
38.9s46830×body1280valid
21.3s42437×body640valid
9.8s24791×body320valid
8.2s5541×body2560valid
3.1s13783×body160valid
2.0s1582×body10240exit
274.0ms694×body640nan
224.0ms512×body1280nan
76.0ms385×body320nan
63.0ms24×body5120valid
33.0ms262×body160nan

series6.3m (8.8%)

Calls

2611 calls:

4.1s
(/ (- (* (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b))) (- (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
2.9s
(- (* (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)))
2.3s
(/ (* (cbrt (- (* (* x (+ y z)) (* x (+ y z))) (* (* z 5.0) (* z 5.0)))) (cbrt (- (* (* x (+ y z)) (* x (+ y z))) (* (* z 5.0) (* z 5.0))))) (* (cbrt (- (* x (+ y z)) (* z 5.0))) (cbrt (- (* x (+ y z)) (* z 5.0)))))
1.8s
(+ (* (* 2 (log (cbrt y))) (+ y 0.5)) (* (* (+ y 0.5) 1/3) (log y)))
1.6s
(+ (* (* 2 (log (pow y 1/3))) (+ y 0.5)) (* (+ y 0.5) (log (cbrt y))))

prune6.0m (8.3%)

rewrite2.6m (3.6%)

Algorithm
909×rewrite-expression-head
Calls

2611 calls:

3.5s
(* (* (* (- y z) (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z))))) (cbrt (/ 1 (- (+ t 1.0) z)))) (- a x))
3.2s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
2.5s
(* (* x (sqrt (+ (+ (+ (+ y z) z) y) t))) (sqrt (+ (+ (+ (+ y z) z) y) t)))
2.2s
(+ (* (* (* (sqrt (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt (cbrt 2.0)) (- (sin x) (/ (sin y) 16.0)))) (- (sin y) (/ (sin x) 16.0))) (cos x)) (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos y))))
1.8s
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
33106×add-sqr-sqrt
32351×times-frac
31201×*-un-lft-identity
20627×add-cube-cbrt
11787×add-exp-log
9229×add-cbrt-cube
7549×pow1
7202×associate-*r*
6438×cbrt-prod
5337×associate-*l*
5279×associate-*l/
4819×flip3-- flip--
4110×difference-of-squares
4044×sqrt-prod
3947×add-log-exp
3560×prod-exp
3396×distribute-lft-out--
3336×frac-times
3308×associate-*r/
3120×associate-/r*
2905×cbrt-unprod
2800×cbrt-div
2615×div-exp
2555×frac-sub
2217×pow-prod-down
2097×associate-/l*
1944×distribute-lft-out
1888×associate-/r/
1809×cbrt-undiv
1732×flip-+ flip3-+
1722×div-inv
1718×unswap-sqr
1454×unpow-prod-down
1432×log-prod
1288×distribute-rgt-in distribute-lft-in
1194×sqrt-div
1068×associate-/l/
996×pow1/3
899×swap-sqr
862×*-commutative
767×sub-neg
543×sqr-pow
534×clear-num frac-2neg
493×sqrt-pow1
472×sum-log
456×pow-prod-up
392×associate--l+
385×frac-add
357×associate-+l+
349×pow-sqr
327×cube-prod
319×pow1/2
308×1-exp
302×associate-+r+
290×rec-exp +-commutative
278×pow-exp
274×diff-log
217×pow-to-exp
177×exp-sum
176×pow-plus
168×unpow-prod-up
147×pow-unpow
146×log-pow
139×pow2
133×unpow2
131×rem-sqrt-square
117×div-sub
90×pow-pow
83×difference-of-sqr-1
79×pow-flip
72×inv-pow
71×tanh-def
68×log-div
64×associate--r+
58×distribute-rgt-out--
49×un-div-inv
42×rem-log-exp
37×exp-prod
34×cube-div
32×sinh-def
28×associate-+l-
27×unpow3 cube-mult
25×distribute-rgt-out
24×sqrt-unprod
22×distribute-rgt-neg-out
17×sub-div
16×distribute-rgt-neg-in difference-cubes distribute-lft-neg-in unsub-neg
15×distribute-lft-neg-out unpow1/3 pow-sub rem-square-sqrt associate-+r-
14×exp-diff difference-of-sqr--1
13×rem-exp-log
12×cosh-def
11×rem-cube-cbrt associate--l-
9×sqrt-pow2 neg-sub0
8×associate--r- distribute-neg-frac
7×neg-mul-1
6×distribute-rgt1-in rem-cbrt-cube
5×sum-cubes distribute-lft1-in count-2
4×sin-neg exp-neg cube-unmult sqrt-undiv
3×cos-diff diff-cos sin-diff
2×cos-sum e-exp-1 tan-quot neg-log
1×sin-cos-mult remove-double-div sin-mult exp-to-pow

regimes1.2m (1.7%)

Accuracy

Total 228.3b remaining (40.7%)

Threshold costs 26.1b (4.6%)

15.9b22.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.0b58.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.3b-17.3%Linear.Matrix:det44 from linear-1.19.1.3
11.3b55.2%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
10.1b57.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2

localize19.4s (0.4%)

bsearch9.5s (0.2%)

end4.0ms (0.0%)