Details

series11.0m (48.9%)

Calls

315 calls:

Slowest
4.3s
(fma (- (* (* (sqrt 18.0) (* (sqrt 18.0) (* x y))) z) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
3.8s
(fma (- (* (* (* x 18.0) y) z) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
3.8s
(fma (- (* 18.0 (* (* x y) z)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
3.7s
(fma (- (* (* 18.0 (* x y)) z) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
1.3s
(fma (- (* i a) (* z c)) b (fma (- (* t c) (* y i)) j (* (* (- (* z y) (* t a)) (* (cbrt x) (cbrt x))) (cbrt x))))

prune4.2m (18.6%)

simplify4.0m (18.0%)

sample2.7m (12.0%)

Algorithm
59×intervals
Results
48.9s263387×body80valid
34.0s208137×body80nan
29.6s21465×body1280valid
12.4s10819×body640valid
7.4s5448×body2560valid
3.8s5120×body320valid
1.4s16512×pre80true
1.2s2524×body160valid
237.0ms234×body5120valid

regimes17.2s (1.3%)

Accuracy

Total 26.4b remaining (20%)

Threshold costs 4.3b (3.2%)

4.5b84.1%The quadratic formula (r1)
4.2b85.1%NMSE problem 3.2.1
4.0b16.9%Linear.Matrix:det33 from linear-1.19.1.3
2.9b0%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.0b58.5%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite9.8s (0.7%)

Algorithm
96×rewrite-expression-head
Calls

319 calls:

Slowest
262.0ms
(* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
256.0ms
(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
249.0ms
(* (- c b) (- (/ 5.0 6.0) (- (/ (/ 2.0 t) 3.0) a)))
237.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
216.0ms
(* (* (sqrt 18.0) (* (sqrt 18.0) (* x y))) z)
Rules
21055×times-frac
12278×*-un-lft-identity
11639×add-sqr-sqrt
10198×add-cube-cbrt
8334×cbrt-prod
2562×distribute-rgt-neg-in
2521×distribute-lft-neg-in
1796×add-exp-log
1682×prod-diff
1143×add-cbrt-cube
1079×pow1
810×neg-mul-1
617×div-inv
605×associate-*r*
603×prod-exp
543×div-exp
534×distribute-lft-out--
500×distribute-lft-out
465×difference-of-squares
457×add-log-exp
442×associate-*l*
394×associate-/l*
359×cbrt-unprod
321×associate-/r*
320×expm1-log1p-u
319×log1p-expm1-u insert-posit16
313×pow-prod-down
289×sqrt-prod
256×fma-def
215×cbrt-undiv
186×distribute-rgt-in distribute-lft-in
180×fma-neg
175×associate-/r/
172×flip3-- flip--
152×1-exp
150×swap-sqr
144×unswap-sqr
126×log-pow
114×associate--r+
110×rec-exp
106×associate-*l/
105×associate-+r+
91×frac-times
86×tan-quot
85×cbrt-div
84×unpow-prod-up
82×associate-*r/
77×*-commutative
67×log-prod
64×sub-neg
61×frac-2neg clear-num
60×sqrt-div flip-+ associate-/l/ flip3-+
59×pow-prod-up
54×frac-sub fma-udef
53×diff-log
52×exp-prod
49×exp-sum
45×pow-sqr
40×associate-+l+
34×pow1/3
32×sqrt-pow1 pow1/2
31×pow-unpow
30×rem-sqrt-square
29×sum-log
28×distribute-neg-frac
27×pow-plus
25×unpow-prod-down
21×associate--l+ sin-mult
19×pow-exp div-sub associate-+l-
18×pow-flip
17×pow2
15×+-commutative
14×neg-sub0 inv-pow
13×distribute-frac-neg
12×frac-add log-div
10×cos-mult pow-to-exp
9×sqr-pow e-exp-1 pow-sub
7×associate--l- sub-div pow-pow
6×neg-log un-div-inv distribute-rgt-out
5×distribute-lft-neg-out rem-exp-log
4×associate--r-
3×pow-div exp-diff distribute-rgt-neg-out
2×associate-+r- distribute-rgt-out-- cos-2 cos-sum tan-sum
1×expm1-log1p expm1-udef log1p-expm1 log1p-udef pow3 difference-of-sqr-1 sqrt-unprod sqr-sin exp-to-pow sqr-neg remove-posit16 rem-log-exp rem-cbrt-cube

localize5.7s (0.4%)

bsearch1.4s (0.1%)

end1.0ms (0.0%)