Details

series14.4m (55.5%)

Calls

2273 calls:

3.5s
(fma (- (* c a) (* y i)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* t i)))))
3.3s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
1.5s
(/ (+ (* x y) (* z (- t a))) (+ y (+ (* z (fma (* (cbrt b) (cbrt b)) (cbrt b) (- (* y 1)))) (* z (fma (- y) 1 y)))))
1.2s
(* (/ (/ (pow (pow a (- 1/2)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) y) (* (/ (pow (/ 1 (sqrt a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) x))

prune4.5m (17.2%)

sample3.7m (14.3%)

Algorithm
538×intervals
Results
1.1m2587992×body80valid
19.9s516746×body80nan
17.6s47510×body1280valid
9.5s44209×body640valid
4.2s5694×body2560valid
3.6s25211×body320valid
1.2s13207×body160valid
775.0ms1614×body10240exit
130.0ms50×body5120valid
94.0ms672×body640nan
89.0ms486×body1280nan
40.0ms387×body320nan
14.0ms220×body160nan

simplify1.3m (5.0%)

rewrite1.1m (4.4%)

Algorithm
853×rewrite-expression-head
Calls

2275 calls:

1.2s
(* x (+ (+ (+ (+ y z) z) y) t))
1.0s
(* (* (* (- x (/ 16.0 116.0)) (* (pow (cbrt 3.0) 2) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))))) (cbrt (cbrt 3.0))) y)
977.0ms
(+ (+ (/ (/ t (* z 3.0)) y) (- (/ (/ y z) 3.0))) (/ (/ y z) 3.0))
808.0ms
(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
701.0ms
(* a (- (- (log 1.0) (+ (* 1/2 (/ (pow z 2) (pow 1.0 2))) (* 1.0 z))) b))
Rules
73180×times-frac
61825×*-un-lft-identity
57419×add-sqr-sqrt
41718×add-cube-cbrt
13625×prod-diff
10495×add-exp-log
7689×cbrt-prod
7552×add-cbrt-cube
6930×sqrt-prod
6694×distribute-lft-out--
6139×difference-of-squares
5784×pow1
5339×associate-*r*
5100×unpow-prod-down
3997×associate-*l*
3796×distribute-lft-out
3570×distribute-rgt-in distribute-lft-in
3568×div-inv
3322×associate-/r*
3041×add-log-exp
2935×prod-exp
2904×associate-/r/
2887×associate-/l*
2824×div-exp
2277×log1p-expm1-u expm1-log1p-u
2246×fma-def
2073×cbrt-unprod
1835×flip-- flip3--
1834×cbrt-div
1748×cube-prod
1635×cbrt-undiv
1589×associate-+r+
1548×pow-prod-down
1220×unswap-sqr
1028×flip-+ flip3-+
1001×log-prod
987×associate-*r/
975×pow1/3
923×swap-sqr
867×frac-times
708×fma-neg
700×associate-*l/
660×fma-udef sqr-pow
657×associate--l+
583×*-commutative
557×associate-+l+
526×exp-sum
495×clear-num frac-2neg
422×log-pow
417×associate-/l/
410×frac-sub
409×sub-neg
393×1-exp
369×sqrt-pow1
334×rec-exp
317×pow-exp
275×associate--r+
264×pow-prod-up
245×sum-log
235×unpow3 cube-mult
234×sqrt-div
212×pow-sqr
202×tanh-def
189×diff-log
186×pow1/2
184×unpow2
160×pow-to-exp
150×+-commutative
127×div-sub
106×pow-flip
102×pow-plus
94×pow2
86×exp-prod
78×distribute-rgt-out--
69×rem-sqrt-square inv-pow
67×frac-add
56×distribute-rgt-neg-in
51×distribute-lft-neg-in
50×log-div
45×associate-+l-
44×distribute-rgt-neg-out
42×pow-unpow
41×distribute-rgt-out
37×un-div-inv sub-div
34×sinh-def
26×rem-log-exp
23×cos-sum
21×neg-mul-1
20×hypot-def cosh-def
18×cube-div pow-pow
16×distribute-lft-neg-out
14×sqrt-unprod
13×unsub-neg
12×associate-+r-
11×rem-square-sqrt sqrt-undiv
8×associate--l- associate--r-
7×hypot-udef
6×rem-cube-cbrt distribute-lft1-in
5×rem-exp-log unpow1/3 distribute-rgt1-in count-2 expm1-log1p expm1-udef rem-cbrt-cube
4×log1p-udef log1p-expm1 diff-cos neg-sub0 tan-quot
3×cos-diff log-rec
2×exp-diff pow3 exp-neg neg-log distribute-neg-in mul-1-neg
1×difference-cubes sqrt-pow2 distribute-frac-neg sin-mult cos-mult distribute-neg-frac

regimes42.0s (2.7%)

Accuracy

Total 171.2b remaining (36.4%)

Threshold costs 26.9b (5.7%)

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.5b0%Data.Colour.Matrix:determinant from colour-2.3.3, A
6.7b17.4%Linear.Matrix:det33 from linear-1.19.1.3
6.4b22.7%Numeric.Signal:interpolate from hsignal-0.2.7.1

localize9.2s (0.6%)

bsearch3.5s (0.2%)

end5.0ms (0.0%)