Details

simplify40.0m (58.7%)

prune9.3m (13.6%)

sample8.0m (11.7%)

Algorithm
539×intervals
Results
3.5m2659918×body80valid
58.4s525149×body80nan
38.9s47296×body1280valid
24.4s43404×body640valid
9.0s25717×body320valid
6.9s5726×body2560valid
3.0s13857×body160valid
2.1s1623×body10240exit
189.0ms496×body1280nan
167.0ms42×body5120valid
166.0ms653×body640nan
109.0ms420×body320nan
28.0ms245×body160nan

series6.1m (9.0%)

Calls

2563 calls:

7.9s
(* (cbrt (+ (* y (- (log z) t)) (- (* a (- (log 1.0) (* 1.0 z))) (* b a)))) (cbrt (+ (* y (- (log z) t)) (- (* a (- (log 1.0) (* 1.0 z))) (* b a)))))
4.1s
(* (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (+ (+ (* x y) (* z t)) (* a b)))
2.2s
(+ (* (+ y 0.5) (log (pow y 2/3))) (* (+ y 0.5) (log (cbrt y))))
1.4s
(cbrt (* (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x)))))
1.3s
(* (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (+ (+ y z) (+ y z)) t) x))))

regimes2.2m (3.3%)

Accuracy

Total 211.5b remaining (39.8%)

Threshold costs 26.5b (5%)

13.8b23.7%Data.HyperLogLog.Type:size from hyperloglog-0.3.4, A
13.1b46.5%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
12.3b60.7%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.7b59.7%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.2b10.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J

rewrite1.9m (2.8%)

Algorithm
905×rewrite-expression-head
Calls

2563 calls:

2.7s
(* (* (- y z) (* (* (cbrt (/ 1 (- (+ t 1.0) z))) (cbrt (/ 1 (- (+ t 1.0) z)))) (cbrt (/ 1 (- (+ t 1.0) z))))) (- a x))
2.5s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
1.8s
(* (* (sqrt z) (* (- (* x 0.5) y) (* (* (cbrt (sqrt 2.0)) (cbrt (cbrt (sqrt 2.0)))) (* (cbrt (sqrt 2.0)) (cbrt (cbrt (sqrt 2.0))))))) (cbrt (cbrt (sqrt 2.0))))
1.4s
(/ (- (* (* x x) x) (* (* (* y 4.0) z) (* (* (* y 4.0) z) (* (* y 4.0) z)))) (+ (* x x) (+ (* (* (* y 4.0) z) (* (* y 4.0) z)) (* x (* (* y 4.0) z)))))
1.1s
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (+ a (/ 5.0 6.0)) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
Rules
41767×times-frac
35508×*-un-lft-identity
33805×add-sqr-sqrt
24513×add-cube-cbrt
11902×add-exp-log
10162×pow1
9870×add-cbrt-cube
7332×sqrt-prod
6576×associate-*l/
5636×associate-*r/
5465×associate-*r*
5309×cbrt-prod
4422×associate-*l*
4271×frac-times
4244×flip3-- flip--
3879×add-log-exp
3694×prod-exp
3670×associate-/r*
3267×cbrt-unprod
3160×distribute-lft-out--
3073×difference-of-squares
3069×flip-+ flip3-+
3047×pow-prod-down
2624×frac-sub
2568×distribute-lft-out
2545×div-exp
2413×cbrt-div
2224×associate-/l*
2132×div-inv
2068×associate-/r/
2001×cbrt-undiv
1675×sqrt-div
1361×pow-prod-up
1250×unswap-sqr
1227×associate-/l/
1208×log-prod
1011×distribute-rgt-in distribute-lft-in
923×pow1/3
853×swap-sqr
820×*-commutative
693×pow-plus
671×sub-neg
662×pow-sqr
643×sqrt-pow1
530×frac-2neg clear-num
476×sum-log
332×pow1/2
324×pow2
282×associate-+r+ +-commutative
277×associate--l+
269×frac-add
254×1-exp diff-log
242×rec-exp
235×log-pow
190×associate-+l+
143×unpow-prod-down
131×exp-prod
130×div-sub
129×sub-div
106×rem-sqrt-square
97×pow3
93×unpow-prod-up
92×exp-sum
70×tanh-def
67×log-div
65×pow-flip
62×un-div-inv
61×rem-log-exp
57×inv-pow
49×associate--r+ distribute-rgt-out
48×pow-unpow
46×pow-exp
45×cube-unmult
43×sqr-pow
42×distribute-rgt-neg-in
38×rem-exp-log
35×distribute-lft-neg-in pow-pow sinh-def
34×associate-+r-
33×distribute-rgt-out--
29×pow-to-exp associate-+l-
24×sqrt-unprod
23×distribute-lft-neg-out
22×rem-cbrt-cube
20×distribute-rgt-neg-out
19×difference-cubes
18×cos-mult rem-square-sqrt unsub-neg distribute-rgt1-in
17×exp-diff
15×sum-cubes
12×exp-to-pow associate--r-
10×distribute-lft1-in count-2
9×neg-mul-1
8×sqrt-undiv tan-quot
7×unpow1/3 sqr-cos
4×cosh-def cos-sum distribute-neg-frac cos-diff diff-cos
3×neg-sub0 pow-sub associate--l-
1×mul0 exp-neg neg-log acos-asin e-exp-1

localize29.4s (0.7%)

bsearch8.6s (0.2%)

end4.0ms (0.0%)