Details

simplify26.3m (48.1%)

series9.5m (17.4%)

Calls

2465 calls:

1.9m
(/ (* (cbrt (- (* (* y 5.0) (* y 5.0)) (* (* (+ (* 2 (+ y z)) t) x) (* (+ (* 2 (+ y z)) t) x)))) (cbrt (- (* (* y 5.0) (* y 5.0)) (* (* (+ (* 2 (+ y z)) t) x) (* (+ (* 2 (+ y z)) t) x))))) (* (cbrt (- (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (cbrt (- (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))))
1.7m
(/ 1 (/ (+ i (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (+ t (* y (+ 230661.510616 (* y (+ (* (+ (* x y) z) y) 27464.7644705)))))))
14.5s
(/ (/ (- x y) (+ (sqrt 2.0) (sqrt (+ x y)))) (- (sqrt 2.0) (sqrt (+ x y))))
1.5s
(* (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))))
1.3s
(/ 1 (/ (+ y (* z (- b y))) (- (+ (* t z) (* x y)) (* a z))))

sample9.0m (16.5%)

Algorithm
539×intervals
Results
3.6m2655920×body80valid
60.0s529318×body80nan
40.0s47190×body1280valid
22.5s44022×body640valid
9.1s25114×body320valid
6.7s5589×body2560valid
4.0s14121×body160valid
1.6s1600×body10240exit
205.0ms693×body640nan
174.0ms471×body1280nan
120.0ms43×body5120valid
72.0ms410×body320nan
71.0ms260×body160nan

prune5.9m (10.9%)

rewrite2.3m (4.2%)

Algorithm
878×rewrite-expression-head
Calls

2465 calls:

3.5s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
2.8s
(* (/ (- y z) (* (cbrt (cbrt (- a z))) (cbrt (cbrt (- a z))))) (/ (/ (/ (- t x) (cbrt (- a z))) (cbrt (- a z))) (cbrt (cbrt (- a z)))))
2.3s
(* (* x (sqrt (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z))))))) (sqrt (exp (+ (* y (- (log z) t)) (- (* a (- (log 1.0) b)) (* 1.0 (* a z)))))))
1.3s
(- (/ (- x) (- (+ x 1.0))) (/ (/ (- (* y z) x) (- (* t z) x)) (- (+ x 1.0))))
1.3s
(* (+ (* y (* (* (cbrt (+ (* 0.5 (pow z 2)) (* 1.0 z))) (cbrt (+ (* 0.5 (pow z 2)) (* 1.0 z)))) (cbrt (+ (* 0.5 (pow z 2)) (* 1.0 z))))) (log 1.0)) (/ 1 t))
Rules
55931×times-frac
46359×*-un-lft-identity
45092×add-sqr-sqrt
28803×add-cube-cbrt
17200×cbrt-prod
12216×add-exp-log
10180×associate-*r*
9244×add-cbrt-cube
7389×pow1
6193×difference-of-squares
5997×distribute-lft-out--
5154×associate-*l*
3757×prod-exp
3748×sqrt-prod
3743×add-log-exp
3654×associate-/r*
3464×cbrt-div
3254×associate-/r/
2981×cbrt-unprod
2927×distribute-lft-out
2891×div-exp
2882×flip3-- flip--
2367×associate-/l*
2354×div-inv
2321×pow-prod-down
2067×associate-*r/
1927×cbrt-undiv
1859×associate-*l/
1856×frac-times
1638×flip-+ flip3-+
1459×log-prod
1451×unswap-sqr
1156×distribute-rgt-in distribute-lft-in
1151×unpow-prod-down
903×swap-sqr
860×pow1/3
806×*-commutative
764×cube-prod
697×sub-neg
681×sqrt-div
628×sqrt-pow1
585×associate-/l/
530×clear-num frac-2neg
460×sum-log
409×frac-sub
398×1-exp
389×pow-prod-up
370×exp-sum
368×rec-exp
318×pow1/2
310×distribute-rgt-neg-in
304×log-pow
297×pow-sqr
294×associate--l+
274×+-commutative exp-prod
268×distribute-lft-neg-in
264×diff-log
227×frac-add
210×associate-+r+
174×associate-+l+
165×sqr-pow
159×pow-exp
148×pow-unpow
132×pow-plus
123×div-sub
114×pow-to-exp
109×pow2
103×rem-sqrt-square
90×unpow-prod-up
85×pow-pow
80×pow-flip
74×neg-mul-1
63×inv-pow rem-log-exp
62×log-div
57×tanh-def
55×unpow3 cube-mult
52×cube-div
51×associate--r+
47×distribute-rgt-neg-out
46×associate-+l-
44×un-div-inv distribute-lft-neg-out associate-+r-
39×unpow2
34×unsub-neg
33×distribute-rgt-out
29×rem-cube-cbrt
27×sinh-def
24×exp-diff
21×sqrt-unprod cosh-def
18×rem-square-sqrt
16×distribute-rgt-out-- rem-cbrt-cube
15×sub-div
14×rem-exp-log neg-sub0
13×distribute-neg-frac
12×associate--l-
11×unpow1/3
10×sum-cubes associate--r-
9×neg-log
7×pow-sub
6×distribute-rgt1-in
5×pow-neg distribute-lft1-in difference-of-sqr-1 count-2
4×diff-cos sin-mult exp-to-pow
3×distribute-neg-out cos-diff
2×e-exp-1 exp-neg cos-sum tan-quot
1×pow-div sin-cos-mult sqrt-pow2 distribute-neg-in sqrt-undiv distribute-frac-neg

regimes1.2m (2.1%)

Accuracy

Total 217.9b remaining (38.9%)

Threshold costs 28.4b (5.1%)

19.8b37.2%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
19.1b8.2%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.3b51.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b57.1%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.9b-17.3%Linear.Matrix:det44 from linear-1.19.1.3

localize18.1s (0.6%)

bsearch7.9s (0.2%)

end3.0ms (0.0%)