Details

series17.4m (49.9%)

Calls

333 calls:

5.9m
(fma (* (cbrt x) (cbrt x)) (cbrt x) (+ (* (fma 1 a (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (/ (- y z) (- (+ t 1.0) z))) (* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (/ (- y z) (- (+ t 1.0) z)))))
2.0m
(fma (- (* y0 c) (* y1 a)) (- (* y2 x) (* z y3)) (* (- (* a b) (* c i)) (- (* x y) (* z t))))
1.5s
(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
1.3s
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))
1.3s
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))

simplify10.4m (29.9%)

prune3.1m (8.8%)

sample2.1m (6.1%)

Algorithm
58×intervals
Results
36.0s249349×body80valid
22.8s21461×body1280valid
20.7s163433×body80nan
7.5s11186×body640valid
5.6s5235×body2560valid
2.3s4982×body320valid
1.5s16512×pre80true
870.0ms2576×body160valid
200.0ms258×body5120valid

regimes51.8s (2.5%)

Accuracy

Total 22.4b remaining (19.3%)

Threshold costs 6.0b (5.1%)

7.0b15.5%Linear.Matrix:det33 from linear-1.19.1.3
3.1b89.8%NMSE problem 3.2.1
2.5b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
1.6b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.1b0%Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2

rewrite34.9s (1.7%)

Algorithm
99×rewrite-expression-head
Calls

335 calls:

1.1s
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))
811.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
707.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
688.0ms
(* (* (* (* z t) x) y) 18.0)
660.0ms
(* (+ a (- (/ 5.0 6.0) (/ 2.0 (* t 3.0)))) (- c b))
Rules
3829×*-un-lft-identity
3765×add-sqr-sqrt
3179×times-frac
3078×add-exp-log
2805×add-cube-cbrt
1884×prod-exp
1183×add-cbrt-cube
846×pow1
818×prod-diff
698×associate-*r*
624×cbrt-prod
564×associate-*l*
500×div-exp sqrt-prod
487×add-log-exp
411×distribute-rgt-neg-in
410×cbrt-unprod
389×distribute-lft-neg-in
384×pow-exp pow-to-exp
338×log1p-expm1-u
335×expm1-log1p-u insert-posit16
317×difference-of-squares
306×associate-/l*
287×distribute-lft-out--
267×distribute-lft-out
264×associate-/r*
223×pow-prod-down
201×fma-neg
192×cbrt-undiv
185×div-inv
145×flip-- flip3--
131×unswap-sqr
123×neg-mul-1
111×log-prod
107×distribute-rgt-in distribute-lft-in
106×fma-def
103×associate-/r/
99×associate-*l/
97×*-commutative
93×tan-quot
92×log-pow
87×associate-*r/
72×associate-+r+
64×associate-+l+
63×sub-neg
62×sqrt-div
61×frac-times
59×frac-2neg clear-num unpow-prod-down
53×pow1/3 diff-log
51×swap-sqr
49×associate-/l/
47×fma-udef
46×exp-sum
40×flip-+ flip3-+
36×cbrt-div
32×sum-log sqrt-pow1
31×pow1/2
24×1-exp rem-sqrt-square
23×exp-diff
20×neg-sub0 rec-exp
19×sqr-pow exp-prod div-sub associate-+l-
18×sin-mult log-div
16×cos-mult +-commutative
13×frac-sub
12×distribute-neg-frac
11×associate--l+ neg-log
10×rem-exp-log
9×sub-div pow-prod-up distribute-frac-neg frac-add pow-sqr
8×associate--l-
7×pow-unpow distribute-rgt-out--
5×pow-plus rem-log-exp
4×pow-flip expm1-udef pow2 un-div-inv
3×expm1-log1p associate-+r- pow-pow inv-pow
2×tan-sum +-inverses exp-to-pow cos-sum
1×distribute-lft-neg-out log1p-expm1 log1p-udef sqrt-unprod associate--r+ log1p-def

localize21.0s (1.0%)

bsearch2.2s (0.1%)

end1.0ms (0.0%)