Details

simplify43.2m (60.9%)

sample9.0m (12.7%)

Algorithm
538×intervals
Results
3.6m2650031×body80valid
56.4s507359×body80nan
37.2s46999×body1280valid
24.8s42558×body640valid
9.6s24687×body320valid
8.2s5431×body2560valid
3.1s13738×body160valid
1.3s1498×body10240exit
613.0ms688×body640nan
185.0ms475×body1280nan
171.0ms39×body5120valid
79.0ms414×body320nan
24.0ms212×body160nan

series8.8m (12.3%)

Calls

2612 calls:

1.7m
(/ 1 (/ (+ i (* (+ (* (+ (* (+ y a) y) b) y) c) y)) (+ t (* (+ 230661.510616 (* (+ (* (+ (* x y) z) y) 27464.7644705) y)) y))))
17.4s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
15.7s
(* (/ (sqrt (- x y)) (+ (sqrt 2.0) (sqrt (+ x y)))) (/ (sqrt (- x y)) (- (sqrt 2.0) (sqrt (+ x y)))))
5.8s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
5.6s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

prune5.9m (8.3%)

rewrite2.5m (3.6%)

Algorithm
903×rewrite-expression-head
Calls

2612 calls:

3.7s
(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
3.1s
(* (cbrt (+ (+ (+ (+ y z) z) y) t)) (cbrt (+ (+ (+ (+ y z) z) y) t)))
3.0s
(* (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* 5.0 y))) (cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* 5.0 y))))
2.3s
(- (/ (/ 1 1) (/ (/ y x) (/ 1 y))) 3.0)
1.7s
(* x (+ (+ (+ (+ y z) z) y) t))
Rules
52155×times-frac
41011×add-sqr-sqrt
40317×*-un-lft-identity
28445×add-cube-cbrt
12740×add-exp-log
9302×add-cbrt-cube
8731×associate-*r*
8248×cbrt-prod
7188×pow1
4816×sqrt-prod
4682×associate-*l*
4289×difference-of-squares
4077×add-log-exp
3941×prod-exp
3747×distribute-lft-out--
3734×associate-/r*
3163×div-exp
3001×cbrt-unprod
2765×cbrt-div
2757×div-inv
2734×flip3-- flip--
2477×associate-*r/
2345×associate-/l*
2340×associate-*l/
2304×distribute-lft-out
2178×frac-times
2137×pow-prod-down
2023×associate-/r/
1965×cbrt-undiv
1788×flip-+ flip3-+
1608×unswap-sqr
1231×log-prod
1136×unpow-prod-down
985×pow1/3
977×distribute-rgt-in distribute-lft-in
952×swap-sqr
821×*-commutative
763×sqrt-div
710×frac-sub
643×sub-neg
626×associate-/l/
558×sum-log
551×clear-num frac-2neg
529×distribute-rgt-neg-in
520×distribute-lft-neg-in
513×sqrt-pow1
463×sqr-pow
450×cube-prod
377×1-exp
365×pow-prod-up
332×pow1/2
328×+-commutative
312×associate--l+
311×rec-exp
310×frac-add
287×pow-sqr
273×associate-+r+
269×diff-log
265×pow-exp
242×associate-+l+
231×pow-to-exp
207×log-pow
176×exp-sum
140×neg-mul-1
136×pow-plus
121×pow2
119×div-sub
115×pow-unpow
105×exp-prod
103×rem-sqrt-square
88×log-div
86×cube-div
80×pow-flip
65×inv-pow
64×associate--r+
61×unpow2
59×un-div-inv
53×pow-pow
50×tanh-def
47×rem-log-exp
44×unpow3 cube-mult
36×distribute-rgt-out-- sub-div
34×unpow-prod-up
33×sinh-def
32×associate-+l-
31×associate-+r-
30×sum-cubes
28×sqrt-unprod distribute-rgt-out
23×unsub-neg
22×difference-cubes rem-square-sqrt
21×cosh-def
17×neg-sub0
16×distribute-lft-neg-out
15×distribute-rgt-neg-out
14×rem-exp-log
13×associate--r-
12×distribute-neg-frac
11×rem-cube-cbrt
10×exp-diff associate--l-
8×unpow1/3 neg-log
7×diff-cos pow-sub
6×distribute-rgt1-in
5×distribute-lft1-in count-2 distribute-frac-neg sin-mult
4×difference-of-sqr-1 cos-mult
3×rem-cbrt-cube sin-neg cos-diff
2×cos-sum sqrt-undiv sqrt-pow2 exp-neg tan-quot exp-to-pow sin-diff
1×pow-div sin-cos-mult pow3 acos-asin

regimes1.1m (1.6%)

Accuracy

Total 207.5b remaining (37.1%)

Threshold costs 25.2b (4.5%)

17.4b14.9%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
13.4b56.4%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.7b-11.3%Linear.Matrix:det44 from linear-1.19.1.3
9.6b58.6%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.4b61.6%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

localize17.9s (0.4%)

bsearch9.1s (0.2%)

end4.0ms (0.0%)