Details

series7.7m (36.7%)

Calls

328 calls:

2.7m
(pow (cbrt (/ (- (+ f n)) (- f n))) 6)
2.0m
(pow (cbrt (/ (- (+ f n)) (- f n))) 6)
1.8m
(* (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))))) (/ (- y z) (- (+ t 1.0) z)))
8.6s
(/ 1 (/ (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t) (fma y (fma (fma (+ y a) y b) y c) i)))
8.5s
(* (/ 1 (fma (fma (fma (fma x y z) y 27464.7644705) y 230661.510616) y t)) (fma y (fma (fma (+ y a) y b) y c) i))

end5.1m (24.1%)

simplify3.5m (16.7%)

sample2.5m (12.1%)

Algorithm
60×intervals
Results
55.6s297276×body80valid
22.6s207336×body80nan
21.9s21239×body1280valid
7.7s10924×body640valid
5.2s5320×body2560valid
2.3s5206×body320valid
874.0ms16512×pre80true
866.0ms2585×body160valid
139.0ms203×body5120valid

prune1.3m (6.3%)

rewrite21.2s (1.7%)

Algorithm
101×rewrite-expression-head
Calls

328 calls:

4.5s
(* (* (* (/ (/ (pow (sqrt a) (- 1.0)) (cbrt (exp (- b (fma (log z) y (* (log a) t)))))) (cbrt (exp (- b (fma (log z) y (* (log a) t)))))) x) (/ (pow (sqrt a) (- 1.0)) (cbrt (exp (fma y (- (log z)) (fma (- (log a)) t b)))))) (/ 1 y))
1.2s
(* (* (* (* (cbrt z) (cbrt z)) (* 18.0 (* x y))) (cbrt z)) t)
351.0ms
(* (pow cos 2.0) (* (* (* x (pow sin (/ 2.0 2))) (pow sin (/ 2.0 2))) x))
348.0ms
(* (* (* (* x 18.0) y) z) t)
302.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
Rules
10876×times-frac
8021×*-un-lft-identity
7863×add-sqr-sqrt
6759×add-cube-cbrt
3552×add-exp-log
3449×prod-diff
1880×prod-exp
1375×add-cbrt-cube
933×div-inv
868×pow1
857×div-exp
693×associate--l+
666×associate-*r*
631×distribute-rgt-in distribute-lft-in
594×distribute-rgt-neg-in
593×cbrt-prod
566×distribute-lft-neg-in
479×cbrt-unprod
464×unpow-prod-down
454×add-log-exp
427×associate-*l*
389×associate-/r*
380×sqrt-prod
379×difference-of-squares
370×unpow-prod-up
362×associate-/l*
354×distribute-lft-out--
349×pow-exp
345×pow-to-exp
328×log1p-expm1-u expm1-log1p-u
300×distribute-lft-out
290×associate-/r/
276×cbrt-undiv
247×pow-prod-down
220×flip3-- flip--
196×fma-neg
164×neg-mul-1
160×cube-prod
142×tan-quot
135×unswap-sqr
128×pow-unpow
113×rec-exp 1-exp
104×sub-neg
102×*-commutative
101×associate-+r+
96×associate-*r/
80×frac-times
76×sqrt-div
69×clear-num frac-2neg
66×log-pow
62×associate-*l/
61×fma-def
56×flip-+ flip3-+
53×log-prod
52×associate-/l/
50×sqr-pow
46×diff-log
43×exp-prod
41×pow-pow fma-udef
40×exp-sum
38×cbrt-div
36×pow1/2 sqrt-pow1
35×pow1/3
34×sin-mult
32×rem-sqrt-square
29×swap-sqr
25×distribute-neg-in
24×neg-sub0
23×frac-sub cos-mult
22×sum-log
20×cube-div
19×div-sub
16×associate-+l+ pow-flip distribute-frac-neg
14×sub-div
13×associate-+l-
12×rem-exp-log inv-pow pow-sub unpow3 cube-mult +-commutative distribute-neg-frac log-div
11×pow-neg
10×rem-cube-cbrt
8×un-div-inv neg-log
6×frac-add pow-sqr pow-prod-up
5×rem-cbrt-cube associate--l-
4×pow2 associate--r+
3×exp-diff distribute-lft-neg-out pow-plus distribute-rgt-neg-out
2×sqrt-pow2 distribute-rgt-out-- cos-sum associate-+r- associate--r- tan-sum
1×remove-double-div exp-neg unpow1/2 sqrt-unprod cube-neg

regimes19.3s (1.5%)

Accuracy

Total 28.2b remaining (21.4%)

Threshold costs 5.6b (4.2%)

7.7b24.8%Linear.Matrix:det33 from linear-1.19.1.3
3.2b37.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
3.2b88.6%NMSE problem 3.2.1
2.0b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.7b0%cos(2*x)/(cos^2(x)*sin^2(x))

bsearch7.7s (0.6%)

localize4.2s (0.3%)