Details

series14.4m (55.0%)

Calls

2281 calls:

3.6s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
1.8s
(/ (+ (* x y) (* z (- t a))) (+ y (+ (* z (fma (* (cbrt b) (cbrt b)) (cbrt b) (- (* y 1)))) (* z (fma (- y) 1 y)))))
1.2s
(cbrt (* (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) (+ t z)) a))) (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) (+ t z)) a)))))
1.2s
(* (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) (+ t z)) a))) (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) (+ t z)) a))))

prune4.6m (17.6%)

sample3.8m (14.4%)

Algorithm
538×intervals
Results
1.1m2587992×body80valid
20.2s516746×body80nan
17.5s47510×body1280valid
9.7s44209×body640valid
4.2s5694×body2560valid
3.6s25211×body320valid
1.2s13207×body160valid
760.0ms1614×body10240exit
131.0ms50×body5120valid
93.0ms672×body640nan
86.0ms486×body1280nan
37.0ms387×body320nan
14.0ms220×body160nan

simplify1.3m (5.1%)

rewrite1.2m (4.5%)

Algorithm
853×rewrite-expression-head
Calls

2283 calls:

1.2s
(* x (+ (+ (+ (+ y z) z) y) t))
1.1s
(* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))) (cbrt (cbrt 3.0))) y)
815.0ms
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
692.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
691.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
71855×times-frac
60279×*-un-lft-identity
56617×add-sqr-sqrt
40610×add-cube-cbrt
12496×prod-diff
10538×add-exp-log
7676×cbrt-prod
7462×add-cbrt-cube
6939×distribute-lft-out--
6417×sqrt-prod
6401×difference-of-squares
5774×pow1
5445×unpow-prod-down
5415×associate-*r*
4093×cbrt-div
3900×associate-*l*
3462×distribute-rgt-in distribute-lft-in
3461×div-inv
3375×associate-/r*
3326×distribute-lft-out
3168×associate-/r/
3045×add-log-exp
3001×prod-exp
2850×associate-/l*
2768×div-exp
2285×log1p-expm1-u expm1-log1p-u
2237×fma-def
2071×cbrt-unprod
1966×flip--
1965×flip3--
1748×cube-prod
1569×pow-prod-down
1566×cbrt-undiv
1564×frac-times
1481×log-prod
1434×flip-+
1433×flip3-+
1340×associate-+r+
1245×associate-*r/
1180×unswap-sqr
985×associate-*l/
926×pow1/3
810×swap-sqr
716×sqr-pow
689×fma-neg
668×fma-udef
600×associate--l+
594×*-commutative
527×exp-sum
486×clear-num frac-2neg
441×associate-+l+
414×frac-sub
413×associate-/l/
409×sub-neg
384×1-exp
359×sqrt-pow1
352×pow-exp
349×log-pow
327×rec-exp
282×sqrt-div
275×associate--r+
260×pow-prod-up
243×sum-log
235×unpow3 cube-mult
219×unpow2
216×pow1/2
208×pow-sqr
202×tanh-def
190×pow-to-exp
187×diff-log
150×+-commutative
127×div-sub
111×pow-flip
96×pow-plus
91×pow2
85×rem-sqrt-square
83×pow-unpow
79×distribute-rgt-out--
72×exp-prod
66×inv-pow
55×rem-log-exp log-div
51×frac-add
46×distribute-rgt-neg-out
41×distribute-rgt-out associate-+l-
39×un-div-inv
38×sub-div
36×distribute-rgt-neg-in
35×distribute-lft-neg-in
34×sinh-def
23×cos-sum
22×pow-pow
21×cosh-def
20×hypot-def
19×neg-mul-1
18×cube-div sqrt-unprod distribute-lft-neg-out
15×unsub-neg
13×rem-square-sqrt associate-+r-
9×sqrt-undiv
8×associate--l-
7×hypot-udef
6×rem-cube-cbrt unpow1/3 distribute-lft1-in
5×rem-exp-log distribute-rgt1-in count-2 associate--r- rem-cbrt-cube
4×log1p-udef log1p-expm1 diff-cos expm1-log1p expm1-udef tan-quot
3×cos-diff neg-sub0 log-rec
2×exp-diff e-exp-1 pow3 neg-log distribute-neg-in
1×difference-cubes sqrt-pow2 exp-neg sin-mult cos-mult exp-to-pow mul-1-neg

regimes42.5s (2.7%)

Accuracy

Total 170.7b remaining (36.1%)

Threshold costs 26.3b (5.6%)

17.8b15.9%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
15.0b51.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.2b0%Data.Colour.Matrix:determinant from colour-2.3.3, A
6.4b22.8%Numeric.Signal:interpolate from hsignal-0.2.7.1
6.2b24.7%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

localize9.4s (0.6%)

bsearch4.0s (0.3%)

end6.0ms (0.0%)