Details

simplify42.1m (63.8%)

sample9.1m (13.8%)

Algorithm
538×intervals
Results
3.6m2655677×body80valid
57.9s510036×body80nan
46.2s47180×body1280valid
24.1s43357×body640valid
9.7s25192×body320valid
7.6s5770×body2560valid
4.4s13949×body160valid
1.6s1650×body10240exit
224.0ms512×body1280nan
209.0ms51×body5120valid
164.0ms672×body640nan
80.0ms448×body320nan
30.0ms238×body160nan

series5.8m (8.7%)

Calls

2481 calls:

3.4s
(- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (+ b c)) (* (* (* (cbrt t) (cbrt t)) (- (* b b) (* c c))) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
2.1s
(/ (- (* (* z (/ (sqrt (+ t a)) (cbrt t))) (+ b c)) (* (* (* (cbrt t) (cbrt t)) (- (* b b) (* c c))) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* (* (cbrt t) (cbrt t)) (+ b c)))
2.0s
(cbrt (/ (+ (* z (- t a)) (* x y)) (+ (* z (- b y)) y)))
1.5s
(* (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))))
1.4s
(* (cbrt (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z))))) (cbrt (+ (* 0.5 x) (* y (+ (- 1.0 z) (log z))))))

prune5.2m (7.9%)

rewrite2.3m (3.5%)

Algorithm
877×rewrite-expression-head
Calls

2481 calls:

2.9s
(+ (+ (+ (+ (+ x y) y) x) z) x)
2.7s
(/ (+ x (- (pow (/ y (- t (/ x z))) 1) (/ 1 (/ (- (* t z) x) x)))) (+ x 1.0))
2.5s
(+ x (+ (* (* a (* (cbrt (/ (- y z) (- (+ t 1.0) z))) (cbrt (/ (- y z) (- (+ t 1.0) z))))) (cbrt (/ (- y z) (- (+ t 1.0) z)))) (* (- x) (/ (- y z) (- (+ t 1.0) z)))))
1.4s
(* (+ (* (+ (* (* (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) (cbrt (* (+ (* (+ (* x y) z) y) 27464.7644705) y))) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
1.3s
(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (* 2 (log (cbrt t))) (- a 0.5))) (* (- a 0.5) (log (pow t 1/3))))
Rules
37578×times-frac
34484×add-sqr-sqrt
34096×*-un-lft-identity
22832×add-cube-cbrt
11471×add-exp-log
9018×add-cbrt-cube
7411×cbrt-prod
7396×associate-*r*
6995×pow1
4430×associate-*l*
4357×sqrt-prod
3904×add-log-exp
3659×difference-of-squares
3619×distribute-lft-out--
3358×prod-exp
3286×associate-/r*
2754×cbrt-unprod
2664×div-exp
2152×associate-*r/
2107×distribute-lft-out
2090×associate-/l*
2083×flip3-- flip--
2059×pow-prod-down
1973×div-inv
1941×cbrt-undiv
1897×associate-*l/
1854×flip-+ flip3-+
1789×cbrt-div
1722×associate-/r/
1603×unswap-sqr
1556×frac-times
1257×unpow-prod-down
1070×log-prod
1034×swap-sqr
1022×distribute-rgt-in distribute-lft-in
921×sqrt-div
860×pow1/3
818×*-commutative
812×sqrt-pow1
700×sub-neg
686×frac-sub
684×associate-/l/
529×clear-num frac-2neg
496×sum-log
470×associate--l+
419×cube-prod
416×pow-prod-up
408×pow1/2
340×frac-add
310×diff-log
307×1-exp
298×rec-exp
296×pow-sqr
291×associate-+r+
273×+-commutative
257×sqr-pow
208×associate-+l+
194×pow-exp
180×pow-unpow
163×log-pow
162×exp-sum
126×pow-plus
121×distribute-rgt-neg-in distribute-lft-neg-in
118×pow-to-exp
111×div-sub
109×rem-sqrt-square
106×pow2
98×pow-pow
94×exp-prod
90×associate--r+
84×distribute-rgt-out-- pow-flip
67×inv-pow
61×log-div
59×tanh-def
54×un-div-inv
39×unpow2
38×associate-+l-
36×neg-mul-1
33×cube-div associate-+r- rem-log-exp
31×distribute-rgt-out
28×unpow3 cube-mult
26×rem-cube-cbrt distribute-lft-neg-out
25×sqrt-unprod
22×sinh-def
21×sum-cubes distribute-neg-frac
19×sub-div unsub-neg rem-square-sqrt
18×cosh-def
16×rem-exp-log neg-sub0
15×exp-diff
14×exp-neg unpow-prod-up associate--l-
13×distribute-rgt-neg-out
11×associate--r-
10×rem-cbrt-cube
9×difference-cubes pow-sub
8×cos-sum tan-quot
7×distribute-rgt1-in neg-log
6×sqrt-undiv cos-diff distribute-lft1-in count-2
5×sqrt-pow2 unpow1/3
4×e-exp-1 diff-cos difference-of-sqr-1
3×exp-to-pow
1×distribute-frac-neg distribute-neg-in

regimes1.1m (1.7%)

Accuracy

Total 214.5b remaining (40.8%)

Threshold costs 28.0b (5.3%)

19.1b40.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
18.1b13.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.4b60.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b58.9%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.0b14.3%Linear.Matrix:det33 from linear-1.19.1.3

localize17.0s (0.4%)

bsearch9.4s (0.2%)

end5.0ms (0.0%)